algebraic topology – application of higher algebra and higher category theory to the study of (stable) homotopy theory
The concept of Chern classes of complex vector bundles, as universal characteristic classes in ordinary cohomology, generalizes to any complex oriented generalized cohomology theory: the Conner-Floyd Chern classes (Conner-Floyd 66, Section 7, Adams 74, Section I.4, review in Kochman 96, Section 4.3, Lurie 10, Lectures 4 and 5):
For a generalized cohomology theory, the analog of the first Chern class in -cohomology is what appears in the very definition of complex oriented cohomology. The higher generalized Chern classes are induced from this by the splitting principle. See also at complex oriented cohomology – the cohomology ring of BU(n).
The Conner-Floyd Chern classes in top degree serve as the generalized Thom classes that make every complex vector bundle have orientation in generalized cohomology with respect to any complex oriented cohomology theory (Lurie 10, lecture 5, prop. 6).
The definition of the -Chern classes according to Conner-Floyd 66, Theorem 7.6 proceeds as follows.
Let . Let in
be a complex orientation in -cohomology.
For a complex vector bundle of rank consider the diagram
where
is the projective bundle of , with typical fiber the complex projective spaces , and where in the middle we are displaying the splitting (here) of the pullback bundle of into a direct sum of a line bundle with a remaining vector bundle of rank just .
Using the defining conditions on the total Conner-Floyd Chern class
that
on a complex line bundle we have for the given complex orientation ;
on a direct sum of vector bundles we have the Whitney sum formula
we see from (1) that
and hence
But since is just of rank , we must have , and hence in degree this condition reads as follows:
It is now sufficient to observe that
the -cohomology of is a free -module spanned by the first cup powers of :
and in particular
is an injective function,
because this means that (2) has a unique solution for the classes – these are the Conner-Floyd Chern classes of .
But (3) holds on after pullback along (by standard arguments in complex oriented cohomology theory, e.g. Lurie 10, Lecture 4, Example 8) and hence holds on by the generalized-cohomology version of the Leray-Hirsch theorem (Conner-Floyd 66, Thm. 7.4).
Since this construction is natural, one finds the following universal characteristic classes in -cohomology:
Given a complex oriented cohomology theory with complex orientation , then the -generalized cohomology of the classifying space is freely generated over the graded commutative ring (prop.) by classes for of degree , these are called the Conner-Floyd-Chern classes
Moreover, pullback along the canonical inclusion is the identity on for and sends to zero.
For HZ this reduces to the standard Chern classes.
The concept was introduced for:
Pierre Conner, Edwin Floyd, Theorems 7.5, 7.6 of: The Relation of Cobordism to K-Theories, Lecture Notes in Mathematics 28 Springer 1966 (doi:10.1007/BFb0071091, MR216511)
(with the example of MSp- and of MU-cohomology theory in Section 8)
An early account in a broader context of complex oriented cohomology theory:
More recent accounts:
Stanley Kochman, Section 4.3 of: Bordism, Stable Homotopy and Adams Spectral Sequences, AMS 1996
Dai Tamaki, Akira Kono, Section 3.4 in: Generalized Cohomology, Translations of Mathematical Monographs, American Mathematical Society, 2006 (ISBN: 978-0-8218-3514-2)
Jacob Lurie, Chromatic Homotopy Theory, 2010, lecture 4 (pdf) and lecture 5 (pdf)
Last revised on March 4, 2024 at 22:44:02. See the history of this page for a list of all contributions to it.