[Math] Which torsion classes in integral cohomology are Chern classes of flat bundles

at.algebraic-topologychern-classesvector-bundles

Chern-Weil theory tells us that the integral Chern classes of a flat bundle over a compact manifold (i.e. a bundle admitting a flat connection) are all torsion. Given a compact manifold $M$ whose integral cohomology contains torsion, one can then ask which (even-dimensional) torsion classes appear as the Chern classes of flat bundles. What is known about this question? I would be interested both in statements about specific manifolds and about general (non)-realizability results.

One specific thing that I know: if $S$ is a non-orientable surface, then there is a flat bundle $E\to S$ whose first Chern class is the generator of $H^2 (S; \mathbb{Z}) = \mathbb{Z}/2$. This shows up, for example, in papers of C.-C. Melissa Liu and Nan-Kuo Ho. As Johannes pointed out in the comments, this also shows that the fundamental class of a product of surfaces can be realized by a flat bundle.

However, I suspect that for a product of 3 Klein bottles, not all the 4-dimensional torsion classes can be realized as second Chern classes of flat bundles. In fact, I think I know a proof of this if one restricts to unitary flat connections: the space of unitary representations has too few connected components.

Best Answer

Small correction: For a non-compact manifold $M$, the group $H_{2k-1}(M)$ might not be finitely generated. In this case Chern-Weil does not imply that the $k$th Chern class of a flat bundle on $M$ has finite order. Rather, it just implies that it belongs to the subgroup $Ext(H_{2k-1}(M),\mathbb Z)\subset H^{2k}(M)$.

Positive answer for first Chern class: Use the surjection $Hom(H_1(M),GL_1(\mathbb C))\to Ext(H_1(M),\mathbb Z)$ associated to the exponential exact sequence $0\to \mathbb Z\to \mathbb C\to GL_1(\mathbb C))\to 1$. An element of this $Hom$ group describes a flat complex line bundle on $M$ with prescribed Chern class in the $Ext$ part of $H^2(M)$.

Negative answer in general, for a pretty trivial reason: If $M$ is simply connected, then flat bundles on $M$ are necessarily trivial, but $M$ can still have torsion in $H^{2k}$ if $k>1$.

So a better question is, if $\Gamma$ is a group then can every element of (the $Ext$ part of ?) $H^{2k}(B\Gamma)$ be $c_k$ of a vector bundle arising from a homomorphism $\Gamma\to GL_r(\mathbb C)$ for some $r$? I don't know the answer if $k>1$.

Related Question