homomorfismo de Bockstein

En álgebra homológica , el homomorfismo de Bockstein , introducido por Meyer Bockstein ( 1942 , 1943 , 1958 ) , es un homomorfismo conexo 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 que reduce el grado en uno,

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

Para ser más precisos, C debe 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 tensorial con C (debe aparecer alguna condición de módulo plano ). La construcción de β se realiza mediante el argumento habitual ( lema de la serpiente ).

Una construcción similar se aplica 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${\displaystyle \beta }$asociado a la secuencia de coeficientes

${\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 módulo p de un espacio.

• secuencia espectral de Bockstein

• Bockstein, Meyer (1942), "Sistemas universales de anillos de ∇-homología", CR (Doklady) Acad. Sci. URSS , Nueva Serie, 37 : 243–245 , MR 0008701 
• Bockstein, Meyer (1943), "Un sistema completo de campos de coeficientes para la dimensión ∇-homológica", CR (Doklady) Acad. Sci. URSS , Nueva Serie, 38 : 187–189 , MR 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, MR 0103918 
• Hatcher, Allen (2002), Topología algebraica , Cambridge University Press , ISBN 978-0-521-79540-1, MR 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, MR 0666554