[Math] Chern classes, cohomology classes with real/integer coefficients

algebraic-topologycharacteristic-classesdifferential-geometryhomology-cohomologyvector-bundles

I was searching for online sources on chern classes.

One version is that given a vector bundle $E$ over space $M$, $i^{th}$ chern class is an element of cohomology $H^{2i}(M,\mathbb{Z})$.

Another version is that given a vector bundle $E$ over space $M$, $i^{th}$ chern class is an element of cohomology $H^{2i}(M,\mathbb{R})$.

I got confused sufficiently and came to a conclusion that in first case $M$ was just a topological space(manifold) in which case there is only one obvious notation of cohomology that is singular cohomology with standard choice of coefficients, integers. In second case they are considering smooth manifolds. So, there is a notion of differential forms and deRham cohomology and they are considering deRham cohomology.

But then this Wikipedia article https://en.m.wikipedia.org/wiki/Chern_Weil_homomorphism in subsection chern classes and chern characters says chern class is an element of $H^{2i}(M;\mathbb{Z})$. Moreover it says it is an element in image of chern Weil homomorphism where as chern Weil homomorphism has its codimain as deRham cohomology ring.

Can some one help me to clarify this confusion.

Best Answer

Chern classes can be defined in multiple different but roughly equivalent ways. As you have seen, they can be defined to be certain classes in $H^{2i}(X;\mathbb{Z})$, or they can be defined to be certain classes in $H^{2i}(X;\mathbb{R})$ (in the latter case, usually because they arise naturally via de Rham cohomology). However, these two definitions are very closely related and there is usually no confusion in calling both of them "Chern classes".

To relate the definitions, recall that any space $X$, there is a natural homomorphism $H^*(X;\mathbb{Z})\to H^*(X;\mathbb{R})$, induced by the inclusion map $\mathbb{Z}\to\mathbb{R}$. The two types of Chern classes mentioned above are related by this natural homomorphism: if you take the Chern class in $H^{2i}(X;\mathbb{Z})$ and apply the natural homomorphism $H^{2i}(X;\mathbb{Z})\to H^{2i}(X;\mathbb{R})$, you get the Chern class in $H^{2i}(X;\mathbb{R})$. When people talk about classes in de Rham cohomology as actually being in $H^{*}(X;\mathbb{Z})$, they really mean they are in the image of this homomorphism.

In general, beware that the homomorphism $H^{2i}(X;\mathbb{Z})\to H^{2i}(X;\mathbb{R})$ may not be injective (the kernel is the torsion elements of $H^{2i}(X;\mathbb{Z})$), and so the integral Chern classes are "stronger" than the real Chern classes. For instance, a complex line bundle is determined up to isomorphism by its first integral Chern class, but it is not determined by the first real Chern class (if $H^2(X;\mathbb{Z})$ has torsion).

Related Question