I've come across a comment in a paper that hints at a relation between the set of (flat) connections for a principal bundle and the homotopy group of the base of the bundle. Can anyone tell me what the exact correspondence is here? Is the homotopy space some kind of moduli space for the flat connections?
$\begingroup$
$\endgroup$
6
asked Mar 8, 2011 at 19:18
-
2$\begingroup$ To a flat principal connection you can assign its holonomy group. In general, I believe that the answer to your question is an explicit bijective correspondence between moduli space of flat connections modulo gauge equivalence and the set $\mathrm{Hom}(\pi_1(B),G)/G$, where $B$ is the base manifold, $G$ is the principal group and the action of $G$ on homomorphisms is via conjugation on their image. $\endgroup$– Vít TučekCommented Mar 8, 2011 at 19:30
-
$\begingroup$ Given a flat connection for $E\to B$ the parallel transport along two different curves starting and ending at the same points is the same. This is essentially due to Stokes' theorem and the flatness of the connection. Therefore, given a smooth loop $\gamma$ one can parallel transport along $\gamma$ to get an element of $G$. When you quotient out by gauge equivalence on one side, you quotient out by the conjugation action on the right side. $\endgroup$– Somnath BasuCommented Mar 8, 2011 at 22:10
-
1$\begingroup$ @Somnath Basu: You missed the word homotopic in your first sentence. If the two curves are not homotopic, parallel transport can detect it. $\endgroup$– José Figueroa-O'FarrillCommented Mar 8, 2011 at 22:58
-
4$\begingroup$ To clarify RoBoT's answer a tiny bit. Flat connections on a principal G-bundle P modulo gauge equivalence are in bijection (by taking the holonomy) with a union of some of the components of $\Hom(\pi_1(B),G)/conj$. To get all components you need to consider all (isomorphism classes of) principal G-bunldes over $B$. Also, with some care one can show this identification preserves more structure, i.e. is a homeo, or a (real or complex) analytic isomorphism, etc. $\endgroup$– PaulCommented Mar 8, 2011 at 23:34
-
1$\begingroup$ @Robot and pAuL: Why don't you guys formulate your answers as answers, as opposed to comments? $\endgroup$– André HenriquesCommented Mar 9, 2011 at 16:52
|
Show 1 more comment
1 Answer
$\begingroup$
$\endgroup$
1
The comments have addressed relating fundamental group and a flat connection. Something can be said about the moduli space of flat connections. Goldman, in http://www.springerlink.com/content/g468047131514211/, considers the moduli space of flat connections over a surface genus $>1$. He defines a symplectic form and relates is to the free homotopy classes of closed curves. Karshon, in http://www.jstor.org/stable/2159424, and Abbaspour and Zeinalian, in http://www.msp.warwick.ac.uk/agt/2007/07/b009.html, discuss some generalizations.
Here is a brief description of Goldman's work. Let $S$ be a surface of genus $g>1$. The moduli space of flat connections over $S$ has singularities, but at manifold points the tangent space can be identified with the first cohomology of $S$ with coefficients in a flat bundle, $H^1(S; \text{flat bundle})$ (defined in the paper). A two form is defined by taking the cup product of two elements in $H^1(S; \text{flat bundle})$ and evaluating the product on $[S]$. This form is closed and non-degenerate- a symplectic form. Then the smooth functions on the moduli space of flat connections, denoted $C^\infty(\text{moduli space})$, with the Poisson bracket is a Lie algebra.
Let $\hat \pi$ be the conjugacy classes of elements in $\pi_1(S)$- i.e. the free homotopy classes of closed curves in $S$ and let $\mathbb{Z} \hat \pi$ be the free abelian group generated by the classes. The Goldman bracket is a Lie bracket on $\mathbb{Z} \hat \pi$ defined by choosing representatives, taking the free homotopy class represented by the composition of the curves at intersection points, and taking the sum of all such classes. This is well-defined and satisfies the Jacobi identity.
A closed curve in $S$ defines a function on the moduli space of flat connections defined by taking the trace of the holonomy of the curve with respect to a connection. Since the connections are flat, the function is independent of choice of representative in $\mathbb{Z} \hat \pi$. Goldman shows that this map $$\mathbb{Z} \hat \pi \rightarrow C^\infty(\text{moduli space}) $$ is a map of Lie algebras.
answered Mar 10, 2011 at 16:40
-
$\begingroup$ The links to
springerlink.comandmsp.warwick.ac.ukare broken. I'm also unable to find any copies saved on the Wayback Machine. $\endgroup$ Commented Nov 17, 2022 at 11:21