Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $P\to M$ be some Bundle over $M$. I know that, if $P$ is a trivial bundle it must have curvature zero.

Say I have the converse, my curvature is zero. Does this imply that the bundle ist trivial?

If not, what can actually be said about the bundle, chern classes or it's connection if the curvature is zero? (I'm specifically interested in non-abelian principal G-bundles)

share|improve this question
2  
Do you mean that the curvature is cohomologous to zero (as a differential form)? In general, curvature lets you compute the characteristic classes associated to a vector bundle mod torsion, but that's far from sufficient information to conclude that a vector bundle is trivial, in general. –  Akhil Mathew Jun 10 '12 at 23:04

2 Answers 2

up vote 15 down vote accepted

Your question is imprecise as stated. I'll try to explain 1) how to make it precise, 2) why the answer is No in general, and 3) a situation in which there's a positive answer.

1) Curvature is not inherent to the bundle: given a principal G-bundle, there are usually many different connections on it, which will have different curvature forms. For instance, trivial bundles always admit connections with zero curvature (aka flat connections) but these form a very small part of the space of all connections on the bundle. This is discussed in great detail for Riemann surfaces in Atiyah and Bott's famous paper on Yang-Mills theory from '82.

2) You asked whether having zero curvature (more precisely, having some connection with zero curvature) implies that the bundle is trivial. As Akhil said, the answer is no. The simplest example is that there are non-trivial bundles over non-orientable surfaces $S$, whose first Chern class is the unique non-zero element in $H^2(S;Z)$. These bundles are in fact flat. Melissa Liu and Nan-Kuo Ho have some nice papers about this.

More generally, if $M$ is a manifold then each representation of $\pi_1 M$ into the Lie group $G$ induces a flat $G$-bundle over $M$, namely $(M\times G)/\pi_1 M$, where $\pi_1 M$ acts diagonally. This bundle admits a connection, which essentially comes from pushing the trivial connection on $M\times G$ down to the quotient. It's formal that this connection has curvature zero. Quite often, though, the bundle will be non-trivial (as in the case of non-orientable surfaces, above). Chern-Weil theory (see Milnor-Stasheff, for instance) lets you describe the Chern classes of this bundle in terms of the curvature form, at least when working with real coefficients. This leads to the conclusion that the Chern classes of flat bundles are all torsion, at least over closed manifolds.

3) This leads to one interesting setting in which your question has a positive answer, of sorts: if $M$ is a closed manifold whose integral (co)homology is torsion-free, then any flat $U(n)$ bundle over $M$ is stably-trivial - see my answer here: http://mathoverflow.net/questions/55542/is-there-an-alternative-characterisation-of-vector-bundles-with-vanishing-charact/60245#60245

It's also worth mentioning that bundles admitting a flat (zero curvature) connection are the same as those whose structure group, in the sense of Steenrod's book on fiber bundles, has the discrete topology. This means that the transition functions can be chosen so as to be locally constant, and is also equivalent to saying that the bundle is induced by a representation of the fundamental group (specifically, the holonomy representation built from the connection). Some of these ideas are discussed in Steenrod's book, and also in Spivak volume II (Chapter 9, I think). Morita's books (Geometry of Diff. Forms and Geometry of Characteristic Classes) also have a lot of discussion of flat bundles. I wrote a brief appendix to a paper (arXiv:0710.0681) covering some of these ideas, in particular the fact that each flat bundle can be recovered from its holonomy representation.

share|improve this answer
1  
Great answer :) Thanks! –  Mariano Suárez-Alvarez Jun 11 '12 at 6:48
    
Thanks for the great answer! I just have a small question concerning 2): Did I correctly understand that torsion will still give non-zero chern classes even if the curvature vanishes? –  FMN Jun 11 '12 at 14:52
1  
Frank, in short, yes. If a manifold has torsion in its cohomology, then there can exist flat bundles whose integral Chern classes are non-zero (although these Chern classes will all be torsion classes, so they'll only show up in integral cohomology). It's natural to ask how one can compute these Chern classes from the connection, or equivalently from its holonomy representation. This seems to be hard. –  Dan Ramras Jun 11 '12 at 17:18
    
Thanks again! This was very insightful! –  FMN Jun 12 '12 at 6:00

Kobayashi-Nomizu discuss flat connections in Section II.9 of the first volume of their book and in particular derive the following as a corollary of earlier results.

Let $P \to M$ be a principal bundle equipped with a flat connection. If $M$ is simply connected, then $P$ is trivial.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.