Characterizing flat 2-connections by their holonomy - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T12:00:50Z http://mathoverflow.net/feeds/question/105601 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/105601/characterizing-flat-2-connections-by-their-holonomy Characterizing flat 2-connections by their holonomy Ryan Thorngren 2012-08-27T05:56:44Z 2012-08-27T15:53:00Z <p>Hello,</p> <p>A flat principal $G$-bundle over $X$ is determined by its holonomies, which are (after picking a trivialization) group homomorphisms $\pi_1(X)\rightarrow G$. The fiber of the bundle is not canonically identified with $G$, so these maps are only determined up conjugation by $G$. Equivalently these are gauge transformations at the basepoint where $\pi_1$ is evaluated.</p> <p>Now let $H \overset{t}\rightarrow G$ present a 2-group. With respect to some trivialization, a flat 2-connection on a principal 2-bundle assigns an element of $G$ to a closed curve, and an element $h$ of $H$ to a surface bounding a curve $\gamma$ such that $\gamma$ gets $t(h)$. Flat means that $h$ only depends on the homotopy class of this surface (homotopies fixing $\gamma$). </p> <p>Thus, I expect flat 2-connections are determined by a functor from the path 2-group of $X$ into $(H\rightarrow G)$. My question is : what is the degeneracy of this presentation? In other words, what is analogous to "up to conjugation in $G$" for flat 1-bundles?</p> <p>Thanks.</p> http://mathoverflow.net/questions/105601/characterizing-flat-2-connections-by-their-holonomy/105607#105607 Answer by Konrad Waldorf for Characterizing flat 2-connections by their holonomy Konrad Waldorf 2012-08-27T07:05:50Z 2012-08-27T15:53:00Z <p>Let $\mathcal{P}$ be a principal 2-bundle with structure 2-group a crossed module $t:H \to G$. Then, the holonomy of a connection on $\mathcal{P}$ around a surface $\Sigma$ is a well-defined element $$\mathrm{Hol}_{\mathcal{P}}(\Sigma) \in H/[G,H],$$ where $[G,H]$ is the normal subgroup of $H$ generated by all elements of the form $h^{-1}\alpha(g,h)$, where $\alpha$ denotes the action of $G$ on $H$ of the crossed module. Above quotient generalizes the concept of "conjugacy class".</p> <p>This is explained in detail in my paper with Urs Schreiber</p> <ul> <li><a href="http://arxiv.org/abs/0808.1923" rel="nofollow">Connections on non-abelian Gerbes and their Holonomy</a>,</li> </ul> <p>see Example 5.7. </p> <p>To which extend the elements $\mathrm{Hol}_{\mathcal{P}}(\Sigma) \in H/[G,H]$ characterize the 2-bundle $\mathcal{P}$ I cannot say.</p> <p>Maybe you are willing to drop "flat" upon replacing "holonomy" by "parallel transport": even in the classical world it is true that every principal $G$-bundle with connection is characterized by its parallel transport, may it be flat or not. </p> <p>The same statement remains true in the context of connections on 2-bundles: every principal 2-bundle with connection is characterized by its 2-transport. This is one of the main statements of my above-mentioned paper with Urs.</p>