Homomorfismo de Bockstein

En álgebra homológica , el homomorfismo de Bockstein , introducido por Meyer Bockstein  (1942, 1943, 1958), es un homomorfismo de conexión asociado a una secuencia exacta corta

${\displaystyle 0\to P\to Q\to R\to 0}$

de grupos abelianos , cuando se introducen como coeficientes en un complejo de cadena C , y que aparece en los grupos de homología como un homomorfismo reductor de grado en uno,

${\displaystyle \beta \colon H_{i}(C,R)\to H_{i-1}(C,P).}$

Para ser más precisos, C debería ser un complejo de grupos abelianos libres , o al menos libres de torsión , y la homología es de los complejos formados por el producto tensor con C (debe entrar alguna condición de módulo plano ). La construcción de β se realiza mediante el argumento habitual ( lema de la serpiente ).

Se aplica una construcción similar a los grupos de cohomología , esta vez aumentando el grado en uno. Así tenemos

${\displaystyle \beta \colon H^{i}(C,R)\to H^{i+1}(C,P).}$

El homomorfismo de Bockstein asociado a la secuencia de coeficientes. ${\displaystyle \beta }$

${\displaystyle 0\to \mathbb {Z} /p\mathbb {Z} \to \mathbb {Z} /p^{2}\mathbb {Z} \to \mathbb {Z} /p\mathbb {Z} \to 0}$

Se utiliza como uno de los generadores del álgebra de Steenrod . Este homomorfismo de Bockstein tiene las dos propiedades siguientes:

${\displaystyle \beta \beta =0}$,

${\displaystyle \beta (a\cup b)=\beta (a)\cup b+(-1)^{\dim a}a\cup \beta (b)}$;

en otras palabras, es una superderivación que actúa sobre la cohomología mod p de un espacio.

Ver también

• Secuencia espectral de Bockstein

Referencias

• Bockstein, Meyer (1942), "Sistemas universales de anillos de homología ∇", CR (Doklady) Acad. Ciencia. URSS , Nueva Serie, 37 : 243–245, SEÑOR  0008701
• Bockstein, Meyer (1943), "Un sistema completo de campos de coeficientes para la dimensión ∇-homológica", CR (Doklady) Acad. Ciencia. URSS , Nueva Serie, 38 : 187–189, SEÑOR  0009115
• Bockstein, Meyer (1958), "Sur la formule des coeficientes Universels pour les groupes d'homologie", Comptes Rendus de l'Académie des Sciences, Série I , 247 : 396–398, SEÑOR  0103918
• Hatcher, Allen (2002), Topología algebraica, Cambridge University Press , ISBN 978-0-521-79540-1, señor  1867354.
• Spanier, Edwin H. (1981), Topología algebraica. Reimpresión corregida , Nueva York-Berlín: Springer-Verlag , págs. xvi+528, ISBN 0-387-90646-0, SEÑOR  0666554