Holonomy representation

For a flat connection, the induced representation of the fundamental group into the structure group via parallel transport.
Holonomy representation

Let π:PM\pi:P\to M be a principal GG-bundle with a . Fix a basepoint xMx\in M and pPxp\in P_x.

For a loop γ\gamma based at xx, let gγGg_\gamma\in G be the element determined by horizontal lifting as in the definition of the :

γ~(1)=pgγ. \widetilde\gamma(1)=p\cdot g_\gamma.

Flatness implies gγg_\gamma depends only on the homotopy class [γ]π1(M,x)[\gamma]\in \pi_1(M,x), and the assignment

ρp:π1(M,x)G,ρp([γ])gγ \rho_p:\pi_1(M,x)\longrightarrow G,\qquad \rho_p([\gamma])\coloneqq g_\gamma

is a group homomorphism. This homomorphism is the holonomy representation (also called the monodromy representation) of the flat connection based at pp.

If one replaces pp by php\cdot h for hGh\in G, then ρph=h1ρph\rho_{p\cdot h}=h^{-1}\rho_p\,h; thus the holonomy representation is well-defined up to conjugation in GG. Conversely, a representation ρ:π1(M,x)G\rho:\pi_1(M,x)\to G determines a flat principal bundle (and flat connection) via the standard (M~×G)/π1(\widetilde M\times G)/\pi_1 construction.

Examples

  1. Circle with U(1)U(1)-monodromy. Flat principal U(1)U(1)-bundles over S1S^1 are classified by a single element eiθU(1)e^{i\theta}\in U(1); the representation sends the generator of π1(S1)Z\pi_1(S^1)\cong \mathbb{Z} to eiθe^{i\theta}, and sends neinθn\mapsto e^{in\theta}.

  2. Trivial flat connection. On M×GM\times G with the product flat connection, horizontal lifts return to the same point in the fiber for every loop, so ρp\rho_p is the trivial homomorphism.

  3. Constructing a flat bundle from a representation. Given any ρ:π1(M,x)G\rho:\pi_1(M,x)\to G, the quotient P=(M~×G)/π1(M)P=(\widetilde M\times G)/\pi_1(M) with the π1\pi_1-action twisted by ρ\rho has a canonical flat connection whose holonomy representation is ρ\rho (up to conjugacy).