group cohomology, nonabelian group cohomology, Lie group cohomology
cohomology with constant coefficients / with a local system of coefficients
differential cohomology
The ordinary Chern classes are the integral characteristic classes
of the classifying space of the unitary group.
Accordingly these are characteristic classes in ordinary cohomology of U-principal bundles and hence of complex vector bundle
The first Chern class is the unique characteristic class of circle group-principal bundles.
The analogous classes for the orthogonal group are the Pontryagin classes.
More generally, there are generalized Chern classes for any complex oriented cohomology theory (Adams 74, Lurie 10).
For the universal Chern classes
of the classifying space of the unitary group are the cohomology classes of in integral cohomology that are characterized as follows:
and if ;
for , is the canonical generator of ;
under pullback along the inclusion we have ;
under the inclusion we have .
The corresponding total Chern class is the formal sum
The cohomology ring of the classifying space (for the unitary group ) is the polynomial ring on generators of degree 2, called the Chern classes
Moreover, for the canonical inclusion for , then the induced pullback map on cohomology
is given by
(e.g. Kochman 96, theorem 2.3.1)
For , in which case is the infinite complex projective space, we have (prop)
where is the first Chern class. From here we proceed by induction. So assume that the statement has been shown for .
Observe that the canonical map has as homotopy fiber the (2n-1)sphere (prop.) hence there is a homotopy fiber sequence of the form
Consider the induced Thom-Gysin sequence.
In odd degrees it gives the exact sequence
where the right term vanishes by induction assumption, and the middle term since ordinary cohomology vanishes in negative degrees. Hence
Then for the Thom-Gysin sequence gives
where again the right term vanishes by the induction assumption. Hence exactness now gives that
is an epimorphism, and so with the previous statement it follows that
for all .
Next consider the Thom Gysin sequence in degrees
Here the left term vanishes by the induction assumption, while the right term vanishes by the previous statement. Hence we have a short exact sequence
for all . In degrees this says
for some Thom class , which we identify with the next Chern class.
Since free abelian groups are projective objects in Ab, their extensions are all split (the Ext-group out of them vanishes), hence the above gives a direct sum decomposition
Now by another induction over these short exact sequences, the claim follows.
The first Chern class of a bundle is the class of its determinant line bundle
See determinant line bundle for more.
For a complex vector bundle of complex rank , the highest degree Chern class that may generally be non-vanishing is . This is hence often called the top Chern class of the vector bundle.
The top Chern class of a complex vector bundle equals the Euler class of the underlying real vector bundle :
(e.g. Bott-Tu 82 (20.10.6))
The top Chern class of a complex vector bundle equals the pullback of any Thom class on along the zero-section:
(e.g. Bott-Tu 82, Prop. 12.4)
Under the splitting principle all Chern classes are determined by first Chern classes:
Write for the maximal torus inside the unitary group, which is the subgroup of diagonal unitary matrices. Then
is the polynomial ring in generators (to be thought of as the universal first Chern classes of each copy of ; equivalently as the weights of the group characters of ) which are traditionally written :
Write
for the induced map of deloopings/classifying spaces, then the -universal Chern class is uniquely characterized by the fact that its pullback to is the th elementary symmetric polynomial applied to these first Chern classes:
Equivalently, for the formal sum of all the Chern classes, and using the fact that the elementary symmetric polynomials are the degree- piece in , this means that
Since here on the right the first Chern classes appear as the roots of the Chern polynomial, they are also called Chern roots.
See also at splitting principle – Examples – Complex vector bundles and their Chern roots.
(e.g. Kochman 96, theorem 2.3.2, tom Dieck 08, theorem 19.3.2)
For let be the canonical map. Then the induced pullback operation on ordinary cohomology
is a monomorphism.
A proof of lemma , via analysis of the Serre spectral sequence of is indicated in (Kochman 96, p. 40). A proof via transfer of the Euler class of , following (Dupont 78, (8.28)), is indicated at splitting principle (here).
For let be the canonical map. Then the induced pullback operation on ordinary cohomology is of the form
and sends the th Chern class (def. ) to the th elementary symmetric polynomial in the copies of the first Chern class:
First consider the case .
The classifying space is equivalently the infinite complex projective space . Its ordinary cohomology is the polynomial ring on a single generator , the first Chern class (prop.)
Moreover, is the identity and the statement follows.
Now by the Künneth theorem for ordinary cohomology (prop.) the cohomology of the Cartesian product of copies of is the polynomial ring in generators
By prop. the domain of is the polynomial ring in the Chern classes , and by the previous statement the codomain is the polynomial ring on copies of the first Chern class
This allows to compute by induction:
Consider and assume that . We need to show that then also .
Consider then the commuting diagram
where both vertical morphisms are induced from the inclusion
which omits the th coordinate.
Since two embeddings differ by conjugation with an element in , hence by an inner automorphism, the maps and are homotopic, and hence , which is the morphism from prop. .
By that proposition, is the identity on and hence by induction assumption
Since pullback along the left vertical morphism sends to zero and is the identity on the other generators, this shows that
This implies the claim for .
For the case the commutativity of the diagram and the fact that the right map is zero on by prop. shows that the element for all . But by lemma the morphism , is injective, and hence is non-zero. Therefore for this to be annihilated by the morphisms that send to zero, for all , the element must be proportional to all the . By degree reasons this means that it has to be the product of all of them
This completes the induction step.
For , consider the canonical map
(which classifies the Whitney sum of complex vector bundles of rank with those of rank ). Under pullback along this map the universal Chern classes (prop. ) are given by
where we take and if .
So in particular
e.g. (Kochman 96, corollary 2.3.4)
Consider the commuting diagram
This says that for all then
where the last equation is by prop. .
Now the elementary symmetric polynomial on the right decomposes as required by the left hand side of this equation as follows:
where we agree with if . It follows that
We spell out the formulas for the images under the Chern-Weil homomorphism of the Chern classes, Pontrjagin classes and Euler classes as characteristic forms over smooth manifolds.
Let be a smooth manifold.
Write
for the commutative algebra over the real numbers of even-degree differential forms on , under the wedge product of differential forms. This is naturally a graded commutative algebra, graded by form degree, but since we consider only forms in even degree it is actually a plain commutative algebra, too, after forgetting the grading.
Let be a semisimple Lie algebra (such as or ) with Lie algebra representation over the complex numbers of finite dimension (for instance the adjoint representation or the fundamental representation), hence a homomorphism of Lie algebras
to the linear endomorphism ring , regarded here through its commutator as the endomorphism Lie algebra of .
When regarded as an associative ring this is isomorphic to the matrix algebra of square matrices
The tensor product of the -algebras (1) and (2)
is equivalently the matrix algebra with coefficients in the complexification of even-degree differential forms:
The multiplicative unit
in this algebra is the smooth function (differential 0-forms) which is constant on the identity matrix and independent of .
Given a connection on a -principal bundle, we regard its -valued curvature form as an element of this algebra
The total Chern form is the determinant of the sum of the unit (3) with the curvature form (4), and its component in degree , for , is the th Chern form :
By the relation between determinant and trace, this is equal to the exponential of the trace of the logarithm of , this being the exponential series in the trace of the Mercator series in :
Setting in these expressions (5) yields the total Pontrjagin form with degree=-components the Pontrjagin forms :
Hence the first couple of Pontrjagin forms are
(See also, e.g., Nakahara 2003, Exp. 11.5)
For and with the curvature form again regarded as a 2-form valued -square matrix
the Euler form is its Pfaffian of this matrix, hence the following sum over permutations with summands signed by the the signature :
The first of these is, using the Einstein summation convention and the Levi-Civita symbol:
(See also, e.g., Nakahara 2003, Exp. 11.7)
Under the Atiyah-Segal completion map linear representations of a group induce K-theory classes on the classifying space . Their Chern classes are hence invariants of the linear representations themselves.
See at characteristic class of a linear representation for more.
In Yang-Mills theory field configurations with non-vanishing second Chern class (and minimal energy) are called instantons. The second Chern class is the instanton number . For more on this see at SU(2)-instantons from the correct maths to the traditional physics story.
Original articles:
Friedrich Hirzebruch, Chapter 1, Section 4 of: Neue topologische Methoden in der Algebraischen Geometrie, Ergebnisse der Mathematik und Ihrer Grenzgebiete. 1. Folge, Springer 1956 (doi:10.1007/978-3-662-41083-7)
A. Grothendieck, La théorie des classes de Chern, Bulletin de la Société Mathématique de France 86 (1958), p. 137–154, (numdam:BSMF_1958__86__137_0)
Textbook accounts:
Shoshichi Kobayashi, Katsumi Nomizu, Section XII.3 in: Foundations of Differential Geometry, Volume 1, Wiley 1963 (web, ISBN:9780471157335, Wikipedia)
Werner Greub, Stephen Halperin, Ray Vanstone, chapter IX of volume II of Connections, Curvature, and Cohomology Academic Press (1973)
John Milnor, James D. Stasheff, Characteristic Classes, Annals of Mathematics Studies 76, Princeton University Press (1974) (ISBN:9780691081229, doi:10.1515/9781400881826, pdf)
Raoul Bott, Loring Tu, Differential Forms in Algebraic Topology, Graduate Texts in Mathematics 82, Springer 1982 (doi:10.1007/BFb0063500)
Stanley Kochman, section 2.3 of Bordism, Stable Homotopy and Adams Spectral Sequences, AMS 1996
Tammo tom Dieck, Algebraic topology, EMS 2008
With an eye towards mathematical physics:
Mikio Nakahara, Section 11.3 of: Geometry, Topology and Physics, IOP 2003 (doi:10.1201/9781315275826, pdf)
Gerd Rudolph, Matthias Schmidt, Def. 4.2.2 of Differential Geometry and Mathematical Physics: Part II. Fibre Bundles, Topology and Gauge Fields, Theoretical and Mathematical Physics series, Springer 2017 (doi:10.1007/978-94-024-0959-8)
A brief introduction is in chapter 23, section 7
For Conner-Floyd Chern classes in complex oriented cohomology theory:
Frank Adams, part II.2 and part III.10 of Stable homotopy and generalised homology, 1974
Jacob Lurie, Chromatic Homotopy Theory, 2010, lecture 4 (pdf) and lecture 5 (pdf)
See also
Dupont, Curvature and characteristic classes, Springer 1978
Timothy Hosgood, Chern classes of coherent analytic sheaves: a simplicial approach. Université d’Aix-Marseille (AMU), 2020. tel-02882140.
A MathOverflow question discussing references: https://mathoverflow.net/questions/345437/canonical-reference-for-chern-characteristic-classes
Last revised on March 4, 2024 at 22:43:16. See the history of this page for a list of all contributions to it.