group cohomology, nonabelian group cohomology, Lie group cohomology
cohomology with constant coefficients / with a local system of coefficients
differential cohomology
Given any homotopy commutative ring spectrum , then the Boardman homomorphism is the homomorphism from stable homotopy groups (hence from stable homotopy homology theory) to -generalized homology groups that is induced by smash product with the unit map from the sphere spectrum:
For the Eilenberg-MacLane spectrum for ordinary homology, then this reduces to the Hurewicz homomorphism .
Dually, there is the Boardman homomorphism from stable cohomotopy to generalized cohomology induced under forming mapping spectra into the unit map of :
Unifying these two cases, there is the bivariant Boardman homomorphism (Adams 74, p. 58)
Since generalized homology/generalized cohomology is typically more tractable than homotopy groups/cohomotopy (in particular when homology spectra split), the Boardman homomorphism is often used to partially reduce computations of the latter in terms of computations of the former.
One example is the computation of the homotopy groups of MU via the homology of MU (Quillen's theorem on MU), see below.
Consider the unit morphism
from the sphere spectrum to the Eilenberg-MacLane spectrum of the integers. For any topological space/spectrum postcomposition with this morphism induces Boardman homomorphisms of cohomology groups (in fact of commutative rings)
from the stable cohomotopy of in degree to its ordinary cohomology in degree .
(bounds on (co-)kernel of Boardman homomorphism from stable cohomotopy to integral cohomology)
If is a CW-spectrum which
of dimension
then
the kernel of the Boardman homomorphism (1) for
is a -torsion group:
the cokernel of the Boardman homomorphism (1) for
is a -torsion group:
where
is the product of the exponents of the stable homotopy groups of spheres in positive degree .
(estimates for torsion of cokernel of Boardman homomorphism)
Let be a manifold
of dimension
simply connected with
then Prop. asserts that the cokernel of the Boardman homomorphism
in
is 2-torsion:
This is because in this case (2) gives that the relevant torsion degree is
Similarly, if instead the manifold has dimension but sticking to degree , then the estimate is that the cokernel is 4-torsion,
since then
Next for we
(Boardman isomorphism on 2-sphere mod binary icosahedral group)
Consider the binary icosahedral group and its action on the 7-sphere induced via the identification from the diagonal of the canonical action of on the quaternions induced via it being a finite subgroup of SU(2).
On the quotient space the Boardman homomorphism in degree 4 is an isomorphism
from stable cohomotopy in degree 4 to integral cohomology in degree 4.
In terms of the Atiyah-Hirzebruch spectral sequence for stable cohomotopy it is sufficient to see that the two differentials
and
both vanish (all higher differentials on vanish simply for dimensional reasons as is of dimension 7, while there are no differentials into simply because the sphere spectrum is connective, so that the stable homotopy groups of spheres vanish in negative degree).
For to vanish, it is sufficient that
We now first show that this is the case:
First, by the Gysin sequence for the spherical fibration
we have
where is the classifying space of (see e.g. at infinity-action).
Moreover, by the universal coefficient theorem (this Prop.) we have a short exact sequence
This means that it is sufficient to see that
But for every finite subgroup of SU(2) we have (by this Prop.)
where is the abelianization of . Specifically for this does vanish: the binary icosahedral group is a perfect group (this Prop.).
This shows that vanishes on .
Now by a standard argument, the AHSS-differentials between ordinary cohomology groups are stable cohomology operations, and thus, if non-trivial, must be the Steenrod operations (e.g. here, but let’s add a more canonical reference).
This means first of all that if is not trivial then . But since that vanishes on by the above argument, and on for dimension reasons, so that the relevant entries pass as ordinary cohomology groups to the third page of the spectral sequence, it follows similarly that .
But by the Adem relation , the vanishing of on then also implies the vanishing of on this entry.
Used for complex oriented cohomology theories and proof of Quillen's theorem on MU via the homology of MU (…)
(Adams 74, pages 60-62, Lurie 10, lecture 7)
See Boardman homomorphism in tmf
According to Hunton 95, the concept was introduced, in print, in:
Further discussion:
John Frank Adams, part II, section 6 of: Stable homotopy and generalised homology (1974)
John Hunton, The Boardman homomorphism, Contemporary Mathematics 181, 251-251, 1995 (GoogleBooks)
Stanley Kochmann, section 4.3 of: Bordism, Stable Homotopy and Adams Spectral Sequences, AMS 1996
Dominique Arlettaz, The generalized Boardman homomorphisms, Central European Journal of Mathematics March 2004, Volume 2, Issue 1, pp 50-56 (doi:10.2478/BF02475949)
Jacob Lurie, lecture 7 of Chromatic Homotopy Theory, 2010, (pdf)
Akhil Mathew, Torsion exponents in stable homotopy and the Hurewicz homomorphism, Algebr. Geom. Topol. 16 (2016) 1025-1041 (arXiv:1501.07561)
Hadi Zare, On the image of the unstable Boardman map (arXiv:1806.07079)
On the Boardman homomorphism (generalized Hurewicz homomorphism) to tmf:
Last revised on March 9, 2021 at 11:30:13. See the history of this page for a list of all contributions to it.