I’d like to finish the series I started a while back on Chern-Weil theory (and then get back to exponential sums).
So, in the discussion of the Cartan formalism a few days back, we showed that given a vector bundle with a connection on a smooth manifold, we can associate with it a curvature form, which is an -valued 2-form; this is a generalization of the Riemann curvature tensor (as some computations that I don’t feel like posting here will show). In the case of a line bundle, we saw that since was canonically trivialized, we could interpret the curvature form as a plain old 2-form, and in fact it turned out to be a representative — in de Rham cohomology — of the first Chern class of the line bundle. Now we want to see what to do for a vector bundle, where there are going to be a whole bunch of Chern classes.
For a general vector bundle, the curvature (of a connection) will not in itself be a form, but rather a differential form with coefficients in , which is generally not a trivial bundle. In order to get a differential form from this, we shall have to apply an invariant polynomial. In this post, I’ll describe the proof that one indeed gets well-defined characteristic classes (that are actually independent of the connection), and that they coincide with the usually defined topological Chern classes.
1. Invariant polynomials
To get ordinary differential forms from the curvature, we need a polynomial that can be evaluated at for a finite-dimensional vector space , for any such vector space (of fixed dimension).
Definition 1 An invariant -linear form on -by- matrices is a multilinear map , whose inputs are elements of the ring of -by- complex matrices ; this is required to satisfy
We shall write for the function given by .
Given such a form, and given a global section of , we can define . Indeed, induces a canonical map (not linear) . The invariance with respect to conjugation assures this: it does not depend which basis we choose for a fiber of . More generally, given , we can define an ordinary differential form . Note the identity
which follows from the identity for and the fact that everything has even degree. This will be how we use the curvature form to get differential forms.
Let us note that any invariant homogeneous polynomial of degree , , can be obtained by restricting a multilinear map to the diagonal. The construction is explicit combinatorics; in fact, is enough to determine . We omit the details (they won’t be necessary).
In the course of the next proof, we shall need:
Proof: Indeed, we have by invariance:
Differentiating with respect to now gives the result, because .
2. The Chern-Weil homomorphism
Let be a smooth manifold, a smooth vector bundle of dimension . We saw in the last subsection that, given a global -valued 2-form, the application of an invariant polynomial allows one to obtain a global -form (with no twisting). The curvature of any connection is such a global -valued 2-form.
Theorem 3 Let be an invariant -linear form . For any connection on with curvature form , the -form is a closed form. The cohomology class of is independent of the choice of connection.
Proof: The first assertion (closedness) is local, so let us work in a fixed frame where the connection matrix is and the curvature matrix is . Then , locally, where is considered as a matrix of forms and a function on matrices.
We have so, because we are working with even-degree forms,
This proves that is a closed form.
Now we need to show that the cohomology class is independent of the choice of connection. Suppose given two connections on . The strategy will be to consider the one-parameter family of connections and the respective one-parameter family of curvature forms (which will vary smoothly). We will show that the cohomology class of is constant in .
To do this, consider the vector bundle given by pull-back of . We define a connection on by on . Namely, we pull back and to (we can pull back connections along with vector bundles), if is the projection on the second coordinate, we define as the convex combination .
We have two inclusions given by inclusion on and . Then clearly are canonically isomorphic to . Moreover, of is while of is .
Let be the curvature of , and let be the curvatures of . By naturality of the curvature, we have
But by the “homotopy invariance” of de Rham cohomology, the and of a closed form on are cohomologous. This implies the result.
3. The Chern classes
Now, we want to use the general theory of the previous section to describe the Chern classes: that is, we are going to fix polynomials , and then associate invariants to a (smooth) complex vector bundle.
Namely, let be the invariant polynomial described by
The same will be used for matrices of any degree. We shall use the following fact: if are matrices, then
This follows from the canonical decomposition for vector spaces .
Theorem 4 The Chern classes of a complex vector bundle can be calculated as follows: choose a connection on with curvature form , and then
Here, of course, we are identifying singular cohomology with de Rham cohomology.
Proof: It suffices to show that the above construction, which we denote by , satisfies the usual axioms for Chern classes. Then formal arguments, as given earlier, will imply that they coincide with the topological Chern classes (in particular, that they actually come from , which is not obvious here).
- The construction is natural in . Indeed, this follows because if given a map (say, smooth) , then we can pull back a connection on to a connection on . The curvature also pulls back in the natural way.
- If , then is multiplicative: . Here we use the fact that if are connections on , then there is a connection $ \nabla + \nabla’ $ on . (The parallel transport for this corresponds to the direct sum of the parallel transports on given by .) If are the curvatures on , then the curvature on with respect to this new connection is the -valued 2-form . This follows by easy computation in a local frame: the -matrices just add. Now the multiplicativity claim about follows from the result (2), which expresses the analogous multiplicativity on the functions .
- if is a line bundle. This follows in view of the computation already done earlier for line bundles.
With these axioms verified, we can now conclude that the characteristic classes constructed by Chern-Weil theory are ordinary Chern classes.
Note that since , one consequence is that the above construction provides real differential forms (or rather, cohomology classes represented by real forms).
What we have essentially done is, for a manifold with a smooth complex vector bundle of dimension , to give a homomorphism from the algebra of invariant polynomials on -by- matrices to the cohomology ring . In fact, an analog of this theory exists for principal -bundles over any Lie group . (Recall that there is an equivalence of categories between -dimensional vector bundles and principal -bundles, or alternatively with -bundles.) That is, if is the Lie algebra of the compact Lie group , then there is a morphism
defined for every with a principal -bundle. So to every -invariant polynomial function on the Lie algebra , we can define a “characteristic class” of the principal -bundle.
Moreover, with and with the canonical bundle , this map is an isomorphism. (This should be taken with a pinch of salt, because is not a manifold!) In other words, characteristic classes of principal -bundles (that is to say, elements of ) are the same thing -invariant polynomials on the Lie algebra .
This is quite a bit more than we have shown, even in the special case of : it implies that the Chern-Weil construction gives all possible (real-valued) characteristic classes. The actual construction of characteristic classes is given in a similar way, though; one chooses a connection on a principal -bundle on a manifold, takes its curvature (a -valued 2-form on the total space), applies an invariant polynomial, and projects down.