Reduction of the structure group

In mathematics, in particular the theory of principal bundles, one can ask if a principal $G$-bundle over a group $G$ "comes from" a subgroup $H$ of $G$. This is called reduction of the structure group (to $H$), and makes sense for any map $H \to G$, which need not be an inclusion map (despite the terminology).

The notion of G-structures includes many other structures on manifolds, some of them being defined by tensor fields. For example, for the orthogonal group, an O(n)-structure defines a Riemannian metric, and for the special linear group an SL(n,R)-structure is the same as a volume form. For the trivial group, an {e}-structure consists of an absolute parallelism of the manifold.

Definition

Formally, given a G-bundle B and a map H → G (which need not be an inclusion), a reduction of the structure group (from G to H) is an H-bundle $B_H$ and an isomorphism of the associated bundle $B_H \times^H G$ to B.

Note that these do not always exist, nor if they exist are they unique.

As a concrete example, every even-dimensional real vector space is isomorphic to the underlying real space of a complex vector space: it admits a linear complex structure. A real vector bundle admits an almost complex structure if and only if it is isomorphic to the underlying real bundle of a complex vector bundle. This is then a reduction along the inclusion GL(n,C) → GL(2n,R)

In terms of transition maps, a G-bundle can be reduced if and only if the transition maps can be taken to have values in H. Note that the term reduction is misleading: it suggests that H is a subgroup of G, which is often the case, but need not be (for example for spin structures): it's properly called a lifting.

More abstractly, "G-bundles over X" is a functor^[1] in G: given a map H → G, one gets a map from H-bundles to G-bundles by inducing (as above). Reduction of the structure group of a G-bundle B is choosing an H-bundle whose image is B.

The inducing map from H-bundles to G-bundles is in general neither onto nor one-to-one, so the structure group cannot always be reduced, and when it can, this reduction need not be unique. For example, not every manifold is orientable, and those that are orientable admit exactly two orientations.

If H is a Lie subgroup of G, then there is a natural one-to-one correspondence between reductions of a G-bundle B to H and global sections of the fiber bundle B/H obtained by quotienting B by the right action of H. Specifically, the fibration B → B/H is a principal H-bundle over B/H. If σ : X → B/H is a section, then the pullback bundle B_H = σ⁻¹B is a reduction of B.^[2]

Examples

Examples for vector bundles, particularly the tangent bundle of a manifold:

• $GL^+ < GL$ is an orientation, and this is possible if and only if the bundle is orientable
• $SL < GL$ is a volume form; since $SL \to GL^+$ is a deformation retract, a volume form exists if and only if a bundle is orientable
• $SL^{\pm} < GL$ is a pseudo-volume form, and this is always possible
• $O(n) < GL(n)$ is a Riemannian metric; as $O(n)$ is the maximal compact subgroup (so the inclusion is a deformation retract), this is always possible
• $O(1,n-1) < GL(n)$ is a pseudo-Riemannian metric;^[3] there is the topological obstruction to this reduction
• $GL(n,\mathbf{C}) < GL(2n,\mathbf{R})$ is an almost complex structure
• $GL(n,\mathbf{H})\cdot Sp(1) < GL(4n,\mathbf{R})$ (where $GL(n,\mathbf{H})$ is the group of n×n invertible quaternionic matrices acting on $\mathbf{H}^n \cong \mathbf{R}^{4n}$ on the left and Sp(1)=Spin(3) the group of unit quaternions acting on $\mathbf{H}^n$ from the right) is an almost quaternionic structure^[4]
• $\mbox{Spin}(n) \to \mbox{SO}(n)$ (which is not an inclusion: it's a 2-fold covering space) is a spin structure.
• $GL(k) \times GL(n-k) < GL(n)$ decomposes a vector bundle as a Whitney sum (direct sum) of sub-bundles of rank k and n − k.

Integrability

Many geometric structures are stronger than G-structures; they are G-structures with an integrability condition. Thus such a structure requires a reduction of the structure group (and can be obstructed, as below), but this is not sufficient. Examples include complex structure, symplectic structure (as opposed to almost complex structures and almost symplectic structures).

Another example is for a foliation, which requires a reduction of the tangent bundle to a block matrix subgroup, together with an integrability condition so that the Frobenius theorem applies.

See also

• Associated bundle
• G-structure
• Higgs field (classical)

Notes

1. Indeed, it is a bifunctor in G and X.
2. In classical field theory, such a section $\sigma$ describes a classical Higgs field (Sardanashvily, G. (2006). "Geometry of Classical Higgs Fields". International Journal of Geometric Methods in Modern Physics 03: 139. arXiv:hep-th/0510168. doi:10.1142/S0219887806001065.).
3. It is a gravitational field in gauge gravitation theory (Sardanashvily, G. (2006). "Gauge gravitation theory from the geometric viewpoint". Int.J.Geom.Methods Mod.Phys. 3 (1): v–xx. arXiv:gr-qc/0512115.)
4. Besse 1987, §14.61

References

• Steenrod, N. (1972). The Topology of Fibre Bundles. Princeton: Princeton Univ. Press.
• Hirzebruch, F. (1966). Topological Methods in Algebraic Geometry. Berlin: Springer.
• Kobayashi, S.; Nomizu, K. (1963). Foundations of Differential Geometry, Vol.1. New York: Interscience Publ.
• Giachetta, G.; Mangiarotti, L.; Sardanashvily, G. (2009). Advanced Classical Field Theory. Singapore: World Scientific. ISBN 978-981-283-895-7.
• Besse, Arthur (1987). Einstein Manifolds. ISBN 978-3-540-74120-6.