G-Structures — Mathematics Knowledge System

Overview

A G-structure on a smooth n-manifold M is a reduction of the frame bundle GL(n,ℝ) → M to a principal G-subbundle, where G ⊆ GL(n,ℝ) is a Lie subgroup. Different choices of G encode different geometric structures: G = O(n) gives Riemannian metrics, G = GL(n/2,ℂ) gives almost complex structures, G = Sp(n,ℝ) gives symplectic structures, G = G₂ (in dimension 7) gives G₂-geometry. The integrability of a G-structure — whether it is locally equivalent to the standard flat model — is controlled by its torsion.

Intuition

The frame bundle of M consists of all ordered bases for each tangent space. A G-structure picks out a preferred set of frames at each point — those compatible with the geometric structure. For a Riemannian metric, the preferred frames are the orthonormal ones (related by O(n)-transformations). The torsion of the G-structure measures whether the structure is 'flat' — whether coordinates exist in which the structure looks exactly like the model in ℝⁿ.

Formal Definition

Definition

Let M be a smooth n-manifold and GL(n) → GL(M) → M the frame bundle. A G-structure is a principal G-subbundle P ⊆ GL(M), where G ⊆ GL(n,ℝ).

P \subseteq \mathrm{GL}(M), \quad P \text{ principal } G\text{-bundle over } M

G-structure as reduction of frame bundle

\text{O}(n)\text{-structure} \leftrightarrow \text{Riemannian metric}, \quad \text{Sp}(2n)\text{-structure} \leftrightarrow \text{symplectic structure}

Examples of G-structures

T = \mathrm{tor}(\nabla) \in \Omega^2(M; TM): \quad T(X,Y) = \nabla_X Y - \nabla_Y X - [X,Y]

Torsion tensor of a connection adapted to the G-structure

\text{G-structure integrable (flat)} \iff \exists \text{ local coordinates where the structure is standard}

Integrability via local equivalence to flat model

Theorems

Theorem 1: Berger Classification

\text{The Berger list classifies the possible holonomy groups of irreducible, non-locally-symmetric Riemannian manifolds: } \mathrm{SO}(n), \mathrm{U}(n/2), \mathrm{SU}(n/2), \mathrm{Sp}(n/4), \mathrm{Sp}(n/4)\cdot\mathrm{Sp}(1), \mathrm{G}_2 \text{ (dim 7)}, \mathrm{Spin}(7) \text{ (dim 8).}

Theorem 2: Torsion and Integrability

\text{A first-order G-structure (one whose Spencer cohomology group } H^{1,2}(\mathfrak{g}) \text{ vanishes) is locally flat iff its torsion vanishes. Example: } G = \mathrm{O}(n) \text{ (Riemannian geometry) is first-order; torsion-free O(n)-connection = Levi-Civita.}

Theorem 3: Yau's Theorem (for SU(n)-Structures)

\text{On a compact complex manifold with } c_1 = 0, \text{ there exists a Ricci-flat Kähler metric (Calabi-Yau), giving an SU(n)-structure. This was conjectured by Calabi and proved by Yau.}

Worked Examples

1
An O(n)-structure is a principal O(n)-subbundle P ⊆ GL(M). The fiber P_p over p ∈ M consists of all O(n)-related frames at p.
$P_p = \{\text{orthonormal frames at } p\}$
2
Given an O(n)-structure P, define a metric: g_p(u,v) = Σᵢ (e*ⁱ(u))(e*ⁱ(v)) for any frame (e₁,...,eₙ) ∈ P_p, where e*ⁱ is the dual coframe. Since O(n) preserves the standard inner product, g_p is well-defined (independent of the choice of orthonormal frame).
$g_p(u,v) = \sum_{i=1}^n e^i(u)\, e^i(v) \quad \text{for } (e_1,\ldots,e_n) \in P_p$
3
Conversely, given a Riemannian metric g, define P_p = {(e₁,...,eₙ) : g_p(eᵢ,eⱼ) = δᵢⱼ} — the orthonormal frames. This is a principal O(n)-bundle.
$P_p = \{\text{g-orthonormal frames at } p\} \cong \mathrm{O}(n)$
4
These two constructions are inverse to each other, establishing a bijection: {O(n)-structures on M} ↔ {Riemannian metrics on M}.
$\{\text{O}(n)\text{-structures}\} \leftrightarrow \{\text{Riemannian metrics}\}$

✓ Answer

An O(n)-structure (orthonormal frame bundle) is exactly the data of a Riemannian metric. The metric determines orthonormal frames, and the set of orthonormal frames forms an O(n)-principal bundle. This equivalence is the prototype for all G-structure theory.

Practice Problems

Hardfree response

List four different G-structures and the geometric structures they correspond to.

Hardfree response

Explain Berger's classification of Riemannian holonomy and why the list is short.

Quiz

Summary

A G-structure on M is a principal G-subbundle P of the frame bundle, encoding a geometric structure compatible with G ⊆ GL(n).
Key examples: O(n) → Riemannian metric; U(n/2) → Kähler; SU(n/2) → Calabi-Yau; G₂ (dim 7) → exceptional holonomy.
The torsion of a G-structure measures how far it is from the flat model (ℝⁿ with the standard G-invariant tensor).
Berger's classification: the only irreducible holonomy groups are SO(n), U(n/2), SU(n/2), Sp(n/4), Sp(n/4)·Sp(1), G₂, Spin(7).
Torsion-free G-structures with special holonomy (SU, Sp, G₂, Spin(7)) give Ricci-flat metrics — central objects in mathematical physics.