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 E with a connection on a smooth manifold, we can associate with it a curvature form, which is an \hom(E, E)-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 \hom(E, E) 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 {\Theta} (of a connection) will not in itself be a form, but rather a differential form with coefficients in {\hom(E, E)}, 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. (more…)

So, now with the preliminaries on connections and curvature established, and the Chern classes summarized, it’s time to see how they connect with one another. Namely, we want to say that, given a complex vector bundle, we can compute the Chern classes in de Rham cohomology by picking a connection — any connection — on it,  computing the curvature, and then applying various polynomials.

We shall start by warming up with a special case, of a line bundle, where the algebra needed is easier. Let {M} be a smooth manifold, {L \rightarrow M} a complex line bundle. Let {\nabla} be a connection on {L}, and let {\Theta} be the curvature.

Thus, {\Theta} is a global section of {\mathcal{A}^2 \otimes \hom(L, L)}; but since {L} is a line bundle, this bundle is canonically identified with {\mathcal{A}^2}. (Recall the notation that \mathcal{A}^k is the bundle (or sheaf) of smooth k-forms on the manifold M.)

Proposition 1 (Chern-Weil for line bundles) {\Theta} is a closed form, and the image in { H^2(M; \mathbb{C})} is {2\pi i} times the first Chern class of the line bundle {L}. (more…)