Transgression map

From HandWiki

In algebraic topology, a transgression map is a way to transfer cohomology classes. It occurs, for example in the inflation-restriction exact sequence in group cohomology, and in integration in fibers. It also naturally arises in many spectral sequences; see spectral sequence#Edge maps and transgressions.

Inflation-restriction exact sequence

Main page: Inflation-restriction exact sequence

The transgression map appears in the inflation-restriction exact sequence, an exact sequence occurring in group cohomology. Let G be a group, N a normal subgroup, and A an abelian group which is equipped with an action of G, i.e., a homomorphism from G to the automorphism group of A. The quotient group [math]\displaystyle{ G/N }[/math] acts on

[math]\displaystyle{ A^N = \{ a \in A : na = a \text{ for all } n \in N\}. }[/math]

Then the inflation-restriction exact sequence is:

[math]\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). }[/math]

The transgression map is the map [math]\displaystyle{ H^1(N, A)^{G/N} \to H^2(G/N, A^N) }[/math].

Transgression is defined for general [math]\displaystyle{ n\in \N }[/math],

[math]\displaystyle{ H^n(N, A)^{G/N} \to H^{n+1}(G/N, A^N) }[/math],

only if [math]\displaystyle{ H^i(N, A)^{G/N} = 0 }[/math] for [math]\displaystyle{ i\le n-1 }[/math].[1]

References

  1. Gille & Szamuely (2006) p.67

External links