Gauge transformations and connection moduli

A gauge automorphism of a principal bundle covers the identity of the base and commutes with its right action. It can be represented on the total space by an equivariant group-valued function, or locally by compatible maps into the structure group. The displayed action is the pullback convention for connections. On a nontrivial bundle, arbitrary unrelated maps on overlapping charts are not a gauge transformation: their compatibility is inherited from the bundle transitions. A global map from the base to the group describes gauges only after a trivialization has been chosen.

Curvature changes by conjugation, so invariant polynomials and traces of holonomy are unchanged. For a loop based at $x$, the holonomy matrix transforms by $g(x)^{-1}Ug(x)$. An open-path transport matrix has different gauge factors at its endpoints and is not a scalar gauge invariant by itself. These facts distinguish quantities that can label a moduli problem from quantities that merely encode a chosen frame. They also give direct algebraic checks on a proposed transformation law.

The space of smooth connections on a fixed bundle is affine, modeled on adjoint-valued one-forms. Dividing by the gauge group produces a moduli set; imposing an equation such as flatness gives a smaller moduli problem. A stabilizer consists of gauges fixing a connection and can vary between points. For this reason the naive quotient need not be a smooth manifold. Analytic constructions often use Sobolev completions and slices, together with hypotheses excluding or controlling reducible connections. Those are additional results, not automatic consequences of writing a quotient symbol.

For a connected base, a covariantly constant gauge transformation is determined by its value at one point, and that value must commute with the holonomy group. This relates stabilizers to centralizers. Using gauges fixed at a base point removes this freedom in many transport descriptions, but changes the equivalence relation. Flat connections on bundles over suitable connected manifold bases correspond to holonomy representations up to conjugacy when one allows the corresponding bundle constructions; prescribing one underlying bundle may select only part of that representation space.

Every smooth $U(1)$ connection on the trivial bundle over a circle is flat. Write its imaginary potential as $i f(\theta)d\theta$. A periodic gauge can remove the zero-average part of $f$, leaving the constant average $a$. Gauge maps $e^{ik\theta}$ are single-valued precisely for integer $k$ and shift this constant by $k$ under our action. Thus retaining only gauges homotopic to the identity would produce a different quotient from retaining the full smooth gauge group.

The resulting full moduli set is $\mathbb R/\mathbb Z$, detected by the phase $e^{-2\pi i a}$. Constant gauges stabilize every connection because the group is abelian; this does not erase the distinction between different phases. The parameter circle is an unusually simple example. For nonabelian groups and more complicated bases, conjugacy classes, singular strata, and compatibility relations among several loops appear. The elementary circle calculation is a model for checking conventions, not a general regularity theorem for connection moduli.