Reduction of structure group; reduction of a connection

Intuition [Beginner]

A fibre bundle with structure group $G$ uses the group $G$ to glue the local product patches together. A reduction of the structure group means you can rebuild the same bundle using a smaller group $H$ sitting inside $G$.

Think of a picture frame. You could describe it using the full group of all linear transformations $GL(n)$, but if the frame happens to be rectangular, you only need the smaller group of rotations $O(n)$ to describe how the corners fit together. The $O(n)$-structure is a reduction of the $GL(n)$-structure.

The key question is: when can you reduce? Not always. A bundle with a metric (a way to measure lengths in each fibre) admits a reduction from $GL(n)$ to $O(n)$. The metric data is extra structure that picks out a smaller symmetry group.

A reduction of a connection goes further: given a connection on the big bundle, you ask whether it restricts to a connection on the reduced bundle. This happens when the connection respects the reduced structure — for example, a connection that preserves lengths corresponds to a connection on the orthonormal frame bundle.

Visual [Beginner]

A 2-dimensional vector space with two sets of basis vectors drawn. The full set of all bases forms a $GL(2)$-torsor. The orthonormal bases form an $O(2)$-subtorsor. A section of the associated bundle selects a distinguished inner product at each point.

A Riemannian metric reduces the structure group from $GL(n)$ to $O(n)$.

Worked example [Beginner]

On any smooth manifold $M$, the tangent bundle $TM$ has structure group $GL(n,\mathbb{R})$. A Riemannian metric $g$ on $M$ provides an inner product on each tangent space. The orthonormal frame bundle $O(M)$ consists of frames $(e_1,\dots ,e_n)$ with $g(e_i,e_j)={\delta }_{ij}$.

$O(M)$ is a principal $O(n)$-bundle and sits inside the full frame bundle $\mathrm{Fr}(M)$ (a principal $GL(n)$-bundle) as a reduction. The inclusion $O(n)\hookrightarrow GL(n)$ embeds $O(M)$ into $\mathrm{Fr}(M)$ as a submanifold preserved by the restricted $O(n)$-action.

Conversely, a reduction of $\mathrm{Fr}(M)$ to $O(n)$ is the same thing as a Riemannian metric. The metric is recovered by declaring the orthonormal frames to be orthonormal.

Check your understanding [Beginner]

Formal definition [Intermediate+]

Definition (Reduction of structure group). Let $P\to B$ be a principal $G$-bundle and $H\subset G$ a subgroup. A reduction of $P$ to $H$ is a principal $H$-bundle $Q\to B$ together with an $H$-equivariant bundle map $Q\hookrightarrow P$ covering the identity on $B$, such that the induced map $Q{\times }_{H}G\to P$ is an isomorphism.

Theorem (Reductions and sections). Reductions of $P$ to $H$ are in bijection with sections of the associated bundle $E=P{\times }_G(G/H)$.

Proof sketch. Given a section $s:B\to E$, define $Q=\{u\in P:[u,eH]=s(\pi (u))\}$. This is a principal $H$-subbundle. Conversely, given $Q\hookrightarrow P$, the map $b\mapsto [q,eH]$ for any $q\in Q_b$ is well-defined and gives a section of $E$. These constructions are mutually inverse. $\square$

Definition (Reduction of a connection). A connection form $\omega$ on $P$ reduces to $Q$ if $Q$ is horizontal for the restriction $\omega {|}_Q$ and $\omega {|}_Q$ takes values in $\mathfrak{h}\subset \mathfrak{g}$. Equivalently, the horizontal distribution $HP$ is tangent to $Q$ along $Q$.

Key theorem with proof [Intermediate+]

Theorem (Existence of reductions). A principal $G$-bundle $P\to B$ admits a reduction to $H\subset G$ if and only if the classifying map $f:B\to BG$ factors (up to homotopy) through $BH$.

Proof. The fibration $G/H\to BH\to BG$ gives a long exact sequence. A section of $P{\times }_G(G/H)$ exists if and only if the obstruction in $[B,BG]$ lifts to $[B,BH]$. The classifying map of $P$ is the homotopy class of a map $f:B\to BG$, and the reduction exists iff $f$ lifts through $BH\to BG$. The obstruction classes live in the cohomology groups $H^{k+1}(B;{\pi }_k(G/H))$. $\square$

Bridge. The existence of a reduction is governed by the same classifying-space machinery that classifies principal bundles via homotopy classes of maps; the fibre of $BG\leftarrow BH$ is $G/H$, and the reduction problem translates to a section problem on the associated bundle $P{\times }_G(G/H)$. The Lie subgroup inclusion $H\hookrightarrow G$ induces the map $BH\to BG$, and the obstruction to lifting the classifying map is measured by characteristic classes, specifically those that vanish when the structure group reduces. The reduction of a connection further requires that the connection form respect the reduced structure, imposing an algebraic condition on the curvature valued in the complement $\mathfrak{g}/\mathfrak{h}$.

Exercises [Intermediate+]

Advanced results [Master]

G-structures. A $G$-structure on an $n$-manifold $M$ is a reduction of the frame bundle $\mathrm{Fr}(M)$ from $GL(n)$ to a subgroup $G$. Examples: $O(n)$ (Riemannian metric), $G{L}^{+}(n)$ (orientation), $SL(n)$ (volume form), $\mathrm{CO}(n)$ (conformal class of metrics), $U(n/2)$ (almost complex structure).

Obstruction theory for reductions. The obstruction to reducing $P$ from $G$ to $H$ lives in $H^{k+1}(B;{\pi }_k(G/H))$ via the Postnikov tower of $G/H\to BH\to BG$. For $G=O(n)$ to $SO(n)$: the obstruction is the first Stiefel-Whitney class $w_1\in H^1(B;\mathbb{Z}/2)$. For $SO(n)$ to $\mathrm{Spin}(n)$: the obstruction is $w_2\in H^2(B;\mathbb{Z}/2)$.

Induced connections. If $\omega$ is a connection on $P$ that reduces to $Q$, the curvature $\Omega$ of $\omega$ restricts to a $\mathfrak{h}$-valued form on $Q$. The $\mathfrak{g}/\mathfrak{h}$-component of the curvature vanishes on $Q$ if and only if the connection reduces.

Synthesis. Reductions of structure group connect the topology of a bundle to the geometry of its fibres; a reduction constrains the transition functions to lie in a smaller subgroup, which corresponds geometrically to selecting extra structure (a metric, an orientation, a complex structure) on each fibre. The classifying space framework translates the reduction problem into a homotopy lifting problem, and the obstruction classes are the characteristic classes that detect when the bundle has more structure than its topology alone requires. The induced connection on a reduction ties the differential-geometric data of the connection to the algebraic data of the subgroup, with the curvature components in the complement $\mathfrak{g}/\mathfrak{h}$ measuring the failure of the connection to respect the reduced structure.

Full proof set [Master]

Proposition (Metric implies $O(n)$-reduction). Every Riemannian metric $g$ on $M$ determines a unique reduction of $\mathrm{Fr}(M)$ to $O(M)$.

Proof. Define $O(M)=\{u\in \mathrm{Fr}(M):g(u{e}_i,u{e}_j)={\delta }_{ij}\}$ where $(e_i)$ is the standard basis of ${\mathbb{R}}^n$. This is a closed submanifold of $\mathrm{Fr}(M)$ since the condition $u^{T}gu=I$ is smooth. The right action of $O(n)$ preserves this condition: $(ug{)}^{T}g(ug)=g^T{u}^{T}gug=g^{T}Ig=I$ for $g\in O(n)$. The action is free and transitive on each fibre of $O(M)$ by the Gram-Schmidt process. Hence $O(M)$ is a principal $O(n)$-bundle and a reduction of $\mathrm{Fr}(M)$. $\square$

Proposition (Connection reduction criterion). A connection $\omega$ on $P$ reduces to $Q$ if and only if the $\mathfrak{g}/\mathfrak{h}$-component of $\omega {|}_{TQ}$ vanishes.

Proof. If $\omega$ reduces to $Q$, then by definition $\omega {|}_{TQ}$ takes values in $\mathfrak{h}$, so the $\mathfrak{g}/\mathfrak{h}$-component vanishes. Conversely, if $\omega {|}_{TQ}$ takes values in $\mathfrak{h}$, then the horizontal distribution $H_{u}P=\ker {\omega }_u$ is contained in $T_{u}Q$ for $u\in Q$ (since $T_{u}Q$ is the kernel of the $\mathfrak{g}/\mathfrak{h}$-projection restricted to $T_{u}P$). Hence $Q$ is preserved by parallel transport, and $\omega {|}_Q$ is a connection form on $Q$. $\square$

Connections [Master]

The general fibre bundle 03.05.00 establishes the principal bundle framework; reductions select sub-bundles with smaller structure groups, corresponding to additional geometric structure on the fibres.

The vertical subbundle 03.05.06 and connection machinery 03.05.11 are prerequisites because a reduction of a connection requires the horizontal distribution to be tangent to the reduced sub-bundle.

Characteristic classes detect obstructions to reductions: the Stiefel-Whitney classes $w_1$ and $w_2$ are the obstructions to orientability and spin structure respectively 03.05.13.

Bibliography [Master]

@book{steenrod1951,
  author = {Steenrod, Norman},
  title = {The Topology of Fibre Bundles},
  publisher = {Princeton Univ. Press},
  year = {1951}
}

@book{kobayashi-nomizu,
  author = {Kobayashi, Shoshichi and Nomizu, Katsumi},
  title = {Foundations of Differential Geometry},
  volume = {1},
  publisher = {Wiley},
  year = {1963}
}

@book{husemoller,
  author = {Husemoller, Dale},
  title = {Fibre Bundles},
  edition = {3},
  publisher = {Springer},
  year = {1994}
}

Historical & philosophical context [Master]

The concept of reducing the structure group emerged naturally from the study of $G$-structures in differential geometry. Weyl (1918) implicitly used the reduction from $GL(n)$ to $O(n)$ when introducing the orthogonal group into metric geometry. Cartan's moving frame method (1920s) is fundamentally about working with reduced frame bundles.

Steenrod (1951) formalized the theory of reductions in the topological setting, establishing the correspondence between reductions and sections of associated bundles. The obstruction-theoretic viewpoint was developed by Serre, Borel, and others in the 1950s.

The philosophical point is that geometric structure on a manifold is encoded as a reduction of the frame bundle: a Riemannian metric reduces to $O(n)$, an almost complex structure to $GL(n/2,\mathbb{C})$, a symplectic form to $Sp(n)$, and so on. Each reduction imposes constraints on what connections are possible, creating a hierarchy of geometric structures where each layer refines the previous one.