= Solution
For a connected base with a chosen frame at a base point, <flat connections> modulo the <based unitary gauge group> correspond to <flat holonomy representations> $\pi_1(X,x)\to G$. Removing the frame, or allowing the full <unitary bundle gauge group>, also divides by conjugation in $G$. On a prescribed underlying bundle, retain only those representations whose associated flat bundle has that bundle type.
The correspondence can be seen directly. Zero <vector-bundle curvature> makes <parallel transport> invariant under homotopies of paths with fixed endpoints, giving a <group homomorphism> on loops. Conversely, a representation $\rho$ gives the flat bundle $(\widetilde X\times G)/\pi_1(X)$, with the deck action on the first factor and $\rho$ on the second, and the product horizontal distribution descends. If two framed connections have identical holonomies, compare their parallel transports along a path from the base point to each point. The comparison is path independent and defines a <bundle gauge transformation> equal to the identity at the base point. These constructions are inverse. This is <framed flat connections and holonomy>.
The punctured torus retracts onto a wedge of two circles, so its <fundamental group> is the <free group> $F_2$. A representation into $SU(2)$ is specified freely by the two generator images $(A,B)$, with no relation. Every resulting principal $SU(2)$ bundle is trivial, since a bundle with connected structure group over a graph is trivial. Thus no representation is excluded by the fixed trivial-bundle condition. Holonomy depends continuously on a connection, and the flat-bundle construction gives locally continuous choices of representatives as the two matrices vary; local choices of paths in $SU(2)$ give this continuity without requiring a global logarithm. Consequently
$$
\boxed{\widetilde M(T)\cong\operatorname{Hom}(F_2,SU(2))=SU(2)^2\cong S^3\times S^3.}
$$
The last identification is the description of $SU(2)$ by <unit quaternions>. The unbased quotient used next is simultaneous conjugation, not independent conjugation of the two generator images.
Back to article page
