2009-10-15 12:17:05 8 Comments

The Lyndon-Hochschild(-Serre) spectral sequence applies to group extensions in a manner analogous to the Serre-Leray spectral sequence applied to a fibration.

Does anyone know of a good description (or reference) of the transgression maps in the Lyndon-Hochschild spectral sequence? MacLane describes them in terms of an additive relation, but I don't find this helpful in computing them.

More generally, I don't know how to calculate the differentials in this spectral sequence. In the Serre spectral sequence, I can see how an exact couple arises and the differentials are straightforward to see if not easy to calculate. But the LHSS arises from a double complex and I'm not sure how to get an exact couple from this.

### Related Questions

#### Sponsored Content

#### 12 Answered Questions

### [SOLVED] Spectral sequences: opening the black box slowly with an example

**2010-11-06 06:33:59****Dylan Wilson****8648**View**110**Score**12**Answer- Tags: spectral-sequences homological-algebra at.algebraic-topology

#### 1 Answered Questions

### [SOLVED] Cap product on Leray-Serre spectral sequences

**2016-02-14 16:10:39****Sergei Ivanov****384**View**9**Score**1**Answer- Tags: reference-request at.algebraic-topology homotopy-theory homological-algebra spectral-sequences

#### 1 Answered Questions

### [SOLVED] How does Poincare duality interact with the Serre spectral sequence?

**2015-11-02 22:23:06****Nick Salter****818**View**22**Score**1**Answer- Tags: at.algebraic-topology

#### 2 Answered Questions

### [SOLVED] Cup product of cohomology in a Serre spectral sequence

**2015-09-25 08:27:15****QSR****779**View**4**Score**2**Answer- Tags: at.algebraic-topology gn.general-topology spectral-sequences fibre-bundles fibration

#### 1 Answered Questions

### [SOLVED] Are there any cool applications of the generalized Atiyah-Hirzebruch(-Serre) spectral sequence?

**2014-03-28 00:12:10****Achim Krause****1239**View**19**Score**1**Answer- Tags: at.algebraic-topology cohomology spectral-sequences

#### 2 Answered Questions

### [SOLVED] stability results for the Atiyah-Hirzebruch spectral sequence

**2014-06-26 01:13:41****Alex Turzillo****422**View**4**Score**2**Answer- Tags: at.algebraic-topology cohomology group-cohomology spectral-sequences cobordism

#### 1 Answered Questions

### [SOLVED] spectral sequence with non-trivial action on coefficients

**2014-06-04 02:01:29****Alex Turzillo****427**View**4**Score**1**Answer- Tags: at.algebraic-topology group-cohomology spectral-sequences

#### 2 Answered Questions

### [SOLVED] Tracking spectral sequence differentials

**2012-04-19 10:41:04****EarthliĆ****601**View**3**Score**2**Answer- Tags: homological-algebra spectral-sequences

#### 1 Answered Questions

### [SOLVED] How to Compute Transgressions in a Serre Spectral Sequence?

**2012-04-18 16:23:32****Zuriel****1559**View**7**Score**1**Answer- Tags: at.algebraic-topology spectral-sequences fibration group-cohomology

## 2 comments

## @Andy Putman 2009-10-15 16:28:03

If you only need the first couple of transgressions, there is a nice description of them in the paper

MR0641328 (83a:18021) Huebschmann, Johannes Automorphisms of group extensions and differentials in the Lyndon\mhy Hochschild\mhy Serre spectral sequence. J. Algebra 72 (1981), no. 2, 296--334.

For concrete calculations, this description is sometimes easier than the abstract nonsense description from the double complex.

## @Tyler Lawson 2009-10-15 12:41:50

A double complex is actually one of the nicest situations to describe differentials explicitly.

Say C{p,q} is a double complex (I'll take the convention that this means that the vertical differential commutes with the horizontal differential) and you have an element x on the r'th page of the spectral sequence in bidegree (p,q).

That actually means that there exists a lift, given by a sequence of elements (x0,x1,x2,...,x{r-1}) with xi in C{p-i,q+i} with the following properties:

x0 is a lift your given element x to the double complex, the vertical differential applied to x0 gives zero, and the horizontal differential applied to any xi coincides with the vertical differential applied to x{i+1}.

Then the d_r differential of x is the equivalence class of the horizontal differential applied to the last class x{r-1}. You can show that this is independent of the choice of lift.

In terms of the exact couple, this comes from filtering the double complex C{p,q} by the subcomplexes just consisting of the first few columns.

edit: I'm using homological conventions rather than cohomological conventions; for cohomology everything goes in the opposite direction and you filter by quotient complexes rather than subcomplexes.