Which torsion classes in integral cohomology are Chern classes of flat bundles? - MathOverflow

Which torsion classes in integral cohomology are Chern classes of flat bundles?

2011-03-24T21:14:31Z

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.

Answer by Tom Goodwillie for Which torsion classes in integral cohomology are Chern classes of flat bundles?

2011-03-25T02:36:05Z

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$.

Answer by Ben Wieland for Which torsion classes in integral cohomology are Chern classes of flat bundles?

2011-03-25T06:43:11Z

The answer to Tom's formulation is no. It's possible if you restrict to finitely generated groups that my argument falls apart, but I doubt this is essential.

Take a group $\Gamma$ so that $B\Gamma^+=K(Q/Z,2n-1)$, ie, $H^k(\Gamma;Z)=H^k(K(Q/Z,2n-1);Z)$. Since $Ext(Q/Z,Z)=\hat Z$, there lots of interesting classes in $H^{2n}(\Gamma;Z)$. If we could lift them to flat bundles over $B\Gamma$, then after applying the plus construction and profinite completion, we would have split $K(\hat Z;2n)$ off of $BU^{\hat{}}$. But the torsion homology of the Eilenberg-MacLane space cannot be a retract of the torsion-free homology of $BU$.

I wanted to work one prime at a time, but $Ext(Q_p/Z_p,Z)=0$.