Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2006/iii/paper-22/3/b/solution
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 22 3 b Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
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 . Removing the frame, or allowing the full unitary bundle gauge group, also divides by conjugation in . 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 gives the flat bundle , with the deck action on the first factor and 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 . A representation into is specified freely by the two generator images , with no relation. Every resulting principal 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 give this continuity without requiring a global logarithm. ConsequentlyThe last identification is the description of by unit quaternions. The unbased quotient used next is simultaneous conjugation, not independent conjugation of the two generator images.
New to topics? Read the docs here!