Proof of the ''trangression theorem'' - MathOverflow

Proof of the ''trangression theorem''

2011-01-20T16:07:13Z

Here is what I would call the transgression theorem. Let $X$ be a pointed space and $\Omega X$ its loop space. There are two maps $H_{p}(\Omega X) \to H_{p+1}(X)$ which should be the same. I am looking for an easy proof.

The first map is by the following procedure:

$$ H_{p}(\Omega X) \cong H_{p+1}(\Sigma \Omega X) \to H_{p+1}(X); $$

the first is the suspension isomorphism (o.k., I should assume $p>0$), the second is given by the evaluation $\Sigma \Omega X \to X$. The other map is given in terms of the homological Leray-Serre spectral sequence for the path-loop fibration $\Omega X \to PX \to X$ ($PX$=path space, $PX \simeq pt$). Note that the differential $d^{p+1}:E^{p+1}_{0,p}\to E^{p+1}_{p+1,0}$ is an isomorphism because $E^{p+2}_{0,p}= E^{p+2}_{p+1,0}=0$ .

Now consider the composition

$$H_{p}(\Omega X) \to H_{0}(X, H_p (\Omega X))=E^{2}_{0,p} \to \ldots \to E^{p+1}_{0,p} \stackrel{(d^{p+1})^{-1}}{\to} E^{p+1}_{p+1,0} \subset E^{2}_{p+1,0}$$ $$= H_{p+1} (X, H_0(\Omega X)) \to H_{p+1}(X).$$

(everything makes perfect sense for nonsimply connected $X$, using local coefficient systems).

Here is my question:

are these maps indeed equal (up to sign)?
is there a proof of this, which does not involve chasing differentials in the spectral sequence and the Hurewicz theorem?

Answer by John Klein for Proof of the ''trangression theorem''

2011-01-20T17:52:52Z

They are equal up to sign.

If $F\to E\to B$ is a Hurewicz fibration, where $B$ is well-pointed, then we have a factorization $E\to E/F \to B$ and we have the Barratt-Puppe extension $E/F \to \Sigma F$. This gives a diagram $$ B \quad \overset{a}\leftarrow \quad E/F \quad \overset{b} \to \quad \Sigma F $$ and when the transgression is defined it is given by the homomorphism these maps induce on homology.

More precisely, if $x \in H_k(\Sigma F)$ lifts to an element $y$ of $H_k(E/F)$ via $b_\ast$, then one defines the transgression of $x$ as $a_*y$. To make this well-defined, you need to take into account the indeterminacy of the lifts $y$ (this is the image of the map $H_k(E) \to H_k(E/F)$ and you must quotient out by this indeterminacy--but this won't matter in your case--cf. below).

(You can see this e.g., in McCleary's book, p. 185)

Now consider the path-loop fibration $\Omega X \to PX \to X$. In this case $E/F$ is identified with $\Sigma \Omega X$ and the map $E/F\to \Sigma F$ is identified with $\pm$ identity. Thus the lift is unique in this case (no indeterminacy) and the transgression is the map $\Sigma \Omega X \to X$ up to sign on homology.

Answer by Eric Wofsey for Proof of the ''trangression theorem''

2011-03-04T17:11:46Z

I don't have much time so this will be sketchy, but I think you can prove it for the cohomology spectral sequence by looking at the universal case of $K(\mathbb{Z},n)$ (and the homology case should follow by dualizing). When $X=K(\mathbb{Z},n)$, both of the groups involved in the two maps are $\mathbb{Z}$, and you know that both maps need to be isomorphisms, so they must agree up to sign. For general $X$, you can then use that any class in $H^n(X)$ is pulled back from $K(\mathbb{Z},n)$ under some map together with the naturality of the spectral sequence.