Let PMP\to M be a over a connected manifold with compact structure group GG, and let AA be a . Using the full , AA is reducible when its strictly contains the subgroup of constant gauge transformations arising from the center Z(G)Z(G):

Stab(A)Z(G).\operatorname{Stab}(A)\supsetneq Z(G).

Equivalently, there is a fixed by AA whose value is not central. A connection is irreducible in this convention when Stab(A)=Z(G)\operatorname{Stab}(A)=Z(G). The definition records extra continuous or discrete symmetry of the connection, not merely nontriviality of the center.

Holonomy and preserved reductions

Evaluation at a point identifies the stabilizer with the of the . Thus AA is reducible exactly when the holonomy has centralizer larger than Z(G)Z(G). For matrix groups this often means that the holonomy group in its defining linear representation preserves a proper decomposition, so AA is to the corresponding .

For a on a Hermitian , a parallel orthogonal splitting into nonzero subbundles makes the connection reducible. The converse takes this form when the stabilizing element has suitable eigenspace decomposition.

Role in gauge quotients

Reducible connections are points with nonminimal isotropy for the gauge action. Their local slice quotients retain this isotropy and can have singular or lower-dimensional strata; a nontrivial stabilizer alone does not prove that a coarse quotient is singular. Gauge-theoretic moduli problems often impose hypotheses excluding reducibles so that a gauge slice has a manifold-like quotient near a solution.

For a nonabelian GG, the flat product connection with trivial holonomy is reducible because its stabilizer contains all constant GG-valued transformations.

Conventions and examples

For an SU(2)SU(2)-connection on a rank-two Hermitian bundle, a preserved splitting E=LL1E=L\oplus L^{-1} is the standard reducible situation. By contrast, the central transformations {±I}\{\pm I\} stabilize every SU(2)SU(2)-connection and do not by themselves make it reducible.

References
  1. Simon K. Donaldson and Peter B. Kronheimer, The Geometry of Four-Manifolds, Oxford University Press, 1990. DOI record. Relevant: §4.2, reducible connections and gauge-theoretic moduli spaces.
  2. Daniel S. Freed and Karen K. Uhlenbeck, Instantons and Four-Manifolds, 2nd ed., Springer, 1991. DOI record. Relevant: Chapter 3, gauge actions, stabilizers, and irreducibility.
  1. Ralph L. Cohen, The Topology of Fiber Bundles, Chapter 2, §3, Theorem 2.18 and its proof, pp. 61–62. Author-hosted notes.