Integrality of Chern classes

Chern–Weil forms representing Chern classes have integral periods and come from integral cohomology classes.
Integrality of Chern classes

Let MM be a and let EME\to M be a complex vector bundle of rank rr, equipped with a \nabla with FF_\nabla.

Theorem (integrality)

Form the total Chern–Weil representative

c(E,)  =  det ⁣(I+i2πF)  =  1+c1(E,)++cr(E,), c(E,\nabla)\;=\;\det\!\left(I+\frac{i}{2\pi}F_\nabla\right) \;=\;1+c_1(E,\nabla)+\cdots+c_r(E,\nabla),

where each ck(E,)c_k(E,\nabla) is a closed of degree 2k2k (closed because its vanishes by Chern–Weil theory and the Bianchi identity).

Then:

  1. The de Rham cohomology class [ck(E,)]HdR2k(M)[c_k(E,\nabla)]\in H^{2k}_{\mathrm{dR}}(M) is independent of the choice of \nabla, and
  2. There exists a unique class ck(E)H2k(M;Z)c_k(E)\in H^{2k}(M;\mathbb{Z}) whose image under the change-of-coefficients map H2k(M;Z)H2k(M;R)HdR2k(M) H^{2k}(M;\mathbb{Z})\to H^{2k}(M;\mathbb{R})\cong H^{2k}_{\mathrm{dR}}(M) equals [ck(E,)][c_k(E,\nabla)].

Equivalently: for every smooth singular 2k2k-cycle Σ\Sigma in MM,

Σck(E,)Z. \int_\Sigma c_k(E,\nabla)\in\mathbb{Z}.

This integrality is the precise sense in which Chern classes are “integral” characteristic classes, even though the Chern–Weil representatives are differential forms.

Examples

  1. Complex line bundles over the 2-sphere.
    For a complex line bundle LS2L\to S^2 with any connection, the 22-form c1(L,)=i2πFc_1(L,\nabla)=\frac{i}{2\pi}F_\nabla satisfies

    S2i2πFZ, \int_{S^2} \frac{i}{2\pi}F_\nabla \in \mathbb{Z},

    and that integer is the degree (first Chern number) of LL.

  2. The tautological line bundle over complex projective space.
    For the tautological line bundle O(1)CPn\mathcal{O}(-1)\to \mathbb{CP}^n, the class c1(O(1))c_1(\mathcal{O}(-1)) generates H2(CPn;Z)ZH^2(\mathbb{CP}^n;\mathbb{Z})\cong\mathbb{Z}. Any Chern–Weil representative integrates to an integer over any embedded CP1CPn\mathbb{CP}^1\subset\mathbb{CP}^n.

  3. Direct sums preserve integrality.
    If E=L1LrE=L_1\oplus\cdots\oplus L_r is a sum of line bundles, then the total Chern class satisfies

    c(E)=j=1r(1+c1(Lj)), c(E)=\prod_{j=1}^r \bigl(1+c_1(L_j)\bigr),

    so each ck(E)c_k(E) lies in integral cohomology and is determined by integral products of the c1(Lj)c_1(L_j).