2010-08-06 11:20:46 8 Comments

If we use homology and cohomology over a field $k$, if a space has homology and cohomology groups of finite type in each degree, then $H_\ast(X;k)$ is dual to $H^\ast(X;k)$ using the universal coefficient theorem for cohomology.

Now, suppose I have a fibration $F \to E \to B$ such that $F$ and $B$ have homology and cohomology over $k$ of finite type in each degree and $\pi_1(B) = 0$ for simplicity. Certainly, the $E_2$-page of the cohomology Serre spectral sequence will be dual to the $E^2$-page homology Serre spectral sequence. My first question is: Is it also true that the differentials for the cohomology spectral sequence are dual as a linear map to the differentials of the homology spectral sequence, and vice versa?

Secondly, the cohomology Serre spectral sequence is a multiplicative one. Is the homology one comultiplicative? If so, is the product for cohomology dual to the coproduct for homology?

Finally, if all of this holds, to which extend can it generalized?

### Related Questions

#### Sponsored Content

#### 1 Answered Questions

### [SOLVED] Serre spectral sequence degeneration in homology vs cohomology

**2018-11-15 20:36:29****Laura****212**View**6**Score**1**Answer- Tags: at.algebraic-topology spectral-sequences

#### 2 Answered Questions

### [SOLVED] Persistence barcodes and spectral sequences

**2015-06-04 07:41:58****Mark Grant****1654**View**26**Score**2**Answer- Tags: at.algebraic-topology spectral-sequences applied-mathematics

#### 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****780**View**4**Score**2**Answer- Tags: at.algebraic-topology gn.general-topology spectral-sequences fibre-bundles fibration

#### 2 Answered Questions

### [SOLVED] cup product and Steenrod operations in Serre spectral sequence

**2015-08-29 02:53:51****QSR****742**View**8**Score**2**Answer- Tags: at.algebraic-topology cohomology spectral-sequences fibration steenrod-algebra

#### 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 comments

## @Sean Tilson 2010-08-07 16:54:41

There is, what my advisor calls, a Atiyah-Hirzebruch-Serre SS that works in generalized homology. You filter the total space just as Tyler says, except instead of applying cellular chains with coefficients in $Z=\pi\_* (HZ)$ we apply cellular chains with coefficients in $E\_* =\pi\_* (E)$ to the filtration. This will work if the usual AH SS collapses/converges for the theory $E$.

As to your question about whether or not the homology SS is comultiplicative, it probably should be. What is true though, is that if X is an H-space, then the differential in the homology Serre SS is a derivation like it is in cohomology.

## @Tyler Lawson 2010-08-06 12:01:21

Yes, this is the case. This is easiest to see using the exact couple formalism. Suppose you have an exact couple, meaning a long exact sequence consisting of maps $i: D \to D$, $j: D \to E$, $k: E \to D$, where all the terms are (possibly graded) vector spaces over a field. Because dualization is exact (as is taking levelwise duals of graded objects), you can verify that the sequence of maps $i^*: D^* \to D^*$, $k^*: D^* \to E^*$, $j^*:E^* \to D^*$ also forms an exact couple and the associated spectral sequence is dual to the original spectral sequence.

The "short" construction of the Serre spectral sequence is obtained in the case where B is a CW-complex (one can reduce to this case by replacing B with a weakly equivalent object), and filtering the total space by the preimages of the skeleta. The long exact sequences in homology and cohomology associated to this filtration are dual to each other, and so when one creates the graded vector spaces forming the exact couple by summing up one gets that the homology and cohomology exact couples are dual to each other.

## @Tyler Lawson 2010-08-07 01:33:43

I suppose I should add the caveat that "easiest to see" is contingent upon already understanding how the exact couple converges to the homology and cohomology in the Serre spectral sequence.