Articulo de referencia

Mapa de transgresión

En topología algebraica, un mapa de transgresión es una forma de transferir clases de cohomología . Aparece, por ejemplo, en la sucesión exacta de restricción de inflación en co...

En topología algebraica, un mapa de transgresión es una forma de transferir clases de cohomología . Aparece, por ejemplo, en la sucesión exacta de restricción de inflación en cohomología de grupos y en la integración en fibras . También surge de forma natural en muchas sucesiones espectrales ; véase sucesión espectral#Mapas de aristas y transgresiones .

secuencia exacta de restricción de inflación

El mapa de transgresión aparece en la secuencia exacta de restricción de inflación , una secuencia exacta que se da en la cohomología de grupos . Sea G un grupo , N un subgrupo normal y A un grupo abeliano equipado con una acción de G , es decir, un homomorfismo de G al grupo de automorfismos de A. El grupo cocienteGRAMO/norte{\displaystyle G/N}actúa en

Anorte={aA:nortea=a a pesar de nortenorte}.{\displaystyle A^{N}=\{a\in A:na=a{\text{ para todo }}n\in N\}.}

Entonces, la secuencia exacta de restricción de inflación es:

0H1(GRAMO/norte,Anorte)H1(GRAMO,A)H1(norte,A)GRAMO/norteH2(GRAMO/norte,Anorte)H2(GRAMO,A).{\displaystyle 0\to H^{1}(G/N,A^{N})\to H^{1}(G,A)\to H^{1}(N,A)^{G/N}\to H^{2}(G/N,A^{N})\to H^{2}(G,A).}

El mapa de transgresión es el mapaH1(norte,A)GRAMO/norteH2(GRAMO/norte,Anorte){\displaystyle H^{1}(N,A)^{G/N}\to H^{2}(G/N,A^{N})}.

La transgresión se define para generalnortenorte{\displaystyle n\in \mathbb {N} },

Hnorte(norte,A)GRAMO/norteHnorte+1(GRAMO/norte,Anorte){\displaystyle H^{n}(N,A)^{G/N}\to H^{n+1}(G/N,A^{N})},

solo siHi(norte,A)GRAMO/norte=0{\displaystyle H^{i}(N,A)^{G/N}=0}parainorte1{\displaystyle i\leq n-1}. [ 1 ]

Notas

  1. ^ Gille y Szamuely (2006) p.67

Referencias