Linear connection via the frame bundle; soldering form

Intuition [Beginner]

A linear connection on a manifold tells you how to differentiate vector fields. In coordinates, this is the Christoffel symbols ${\Gamma }_{ij}^k$. But there is a deeper, more geometric picture: the connection lives on the frame bundle.

The frame bundle $\mathrm{Fr}(M)$ of an $n$-manifold $M$ consists of all ordered bases of all tangent spaces. A point in $\mathrm{Fr}(M)$ is a frame $(e_1,\dots ,e_n)$ at some point $p\in M$. The group $GL(n)$ acts by changing the frame: $u\cdot g$ replaces the frame with a new one related by the matrix $g$.

A connection on $\mathrm{Fr}(M)$ (a principal $GL(n)$-connection) is the same thing as a linear connection on $TM$. This equivalence is powerful: it lets you use the full machinery of principal bundles to study covariant derivatives.

The soldering form (or canonical 1-form) $\theta$ is the special ingredient that makes the frame bundle different from a generic principal bundle. It identifies each tangent space of $M$ with the standard vector space ${\mathbb{R}}^n$ via the frame. The soldering form "solders" (attaches) the abstract frame bundle to the concrete geometry of the manifold.

Visual [Beginner]

The frame bundle of a surface drawn as a collection of little orthonormal frames at each point, all floating in a 3-dimensional total space. A single frame is highlighted, with its two basis vectors tangent to the surface. The soldering form at this frame reads off the components of any tangent vector relative to this frame.

The soldering form translates between frame language and vector language.

Worked example [Beginner]

On $M={\mathbb{R}}^2$ with coordinates $(x,y)$, the frame bundle has a canonical section: the coordinate frame $u=(\frac{d}{dx},\frac{d}{dy})$. The soldering form at $u$ is ${\theta }_u=(dx,dy)$: it sends a tangent vector $v=a\frac{d}{dx}+b\frac{d}{dy}$ to the pair $(a,b)\in {\mathbb{R}}^2$.

A general frame at $(x,y)$ is $u^{\prime }=(a^{11}\frac{d}{dx}+a^{12}\frac{d}{dy},a^{21}\frac{d}{dx}+a^{22}\frac{d}{dy})$, represented by the matrix $A=(a^{ij})\in GL(2)$. The soldering form at $u^{\prime }$ is ${\theta }_{u^{\prime }}=A^{-1}(dx,dy)$.

The Levi-Civita connection for the Euclidean metric has $\omega =0$ in the coordinate frame (all Christoffel symbols vanish). The torsion $\Theta =d\theta +\omega \wedge \theta =d\theta =0$ (since $dx$ and $dy$ are closed). Both torsion and curvature vanish, consistent with flat Euclidean geometry.

Check your understanding [Beginner]

Formal definition [Intermediate+]

Definition (Frame bundle). The frame bundle $\mathrm{Fr}(M)$ of an $n$-manifold $M$ is the principal $GL(n,\mathbb{R})$-bundle whose fibre at $p\in M$ is the set of linear isomorphisms $u:{\mathbb{R}}^n\to T_{p}M$. The right action is $(u\cdot g)(v)=u(gv)$ for $g\in GL(n)$ and $v\in {\mathbb{R}}^n$.

Definition (Soldering form). The soldering form (or canonical 1-form) is the ${\mathbb{R}}^n$-valued 1-form $\theta$ on $\mathrm{Fr}(M)$ defined by ${\theta }_u(X)=u^{-1}(d\pi (X))$ for $X\in T_u\mathrm{Fr}(M)$, where $\pi :\mathrm{Fr}(M)\to M$ is the projection.

Theorem (Linear connections and frame bundle connections). There is a bijection between linear connections on $TM$ and principal $GL(n)$-connections on $\mathrm{Fr}(M)$. The Christoffel symbols ${\Gamma }_{ij}^k$ are the pullback of the connection form $\omega$ by a local section of $\mathrm{Fr}(M)$.

Properties of the soldering form. The soldering form satisfies:

1. $\theta$ is horizontal for the vertical subbundle: $\theta (A^{\ast })=0$ for all $A\in \mathfrak{gl}(n)$.
2. $\theta$ is $GL(n)$-equivariant: $(R_g{)}^{\ast }\theta =g^{-1}\theta$ (standard representation).
3. $\theta$ is pointwise surjective onto ${\mathbb{R}}^n$ on horizontal vectors.

Key theorem with proof [Intermediate+]

Theorem (The soldering form determines the torsion). Let $\omega$ be a connection form on $\mathrm{Fr}(M)$ and $\theta$ the soldering form. The torsion 2-form $\Theta =d\theta +\omega \wedge \theta$ is horizontal and $GL(n)$-equivariant. The connection is torsion-free if and only if $\Theta =0$.

Proof. Horizontality: for a fundamental vector field $A^{\ast }$, $\theta (A^{\ast })=0$ and $\omega (A^{\ast })=A$, so $\Theta (A^{\ast },X)=d\theta (A^{\ast },X)+\omega (A^{\ast })\theta (X)-\omega (X)\theta (A^{\ast })=A^{\ast }(\theta (X))-X(\theta (A^{\ast }))-\theta ([A^{\ast },X])+A\theta (X)-0$. By the equivariance of $\theta$, $A^{\ast }(\theta (X))=-A\theta (X)$, so the first and fourth terms cancel. The remaining terms $-X(0)-\theta ([A^{\ast },X])$ vanish because $\theta$ vanishes on vertical vectors and $[A^{\ast },X]$ is vertical when $X$ is vertical. Equivariance: $(R_g{)}^{\ast }\Theta =(R_g{)}^{\ast }d\theta +(R_g{)}^{\ast }(\omega \wedge \theta )=d(g^{-1}\theta )+({\mathrm{Ad}}_{g^{-1}}\omega )\wedge (g^{-1}\theta )=g^{-1}(d\theta +\omega \wedge \theta )=g^{-1}\Theta$. $\square$

Bridge. The soldering form is the canonical object that distinguishes the frame bundle from a generic principal $GL(n)$-bundle; it provides the identification between the abstract fibre ${\mathbb{R}}^n$ and the actual tangent space $T_{p}M$ at each base point, and the torsion tensor is precisely the failure of the connection to be compatible with this identification. The first Cartan structural equation 03.05.14 $\Theta =d\theta +\omega \wedge \theta$ expresses torsion as the "curvature of the soldering," revealing that a torsion-free connection is one where the soldering form is covariantly closed. The associated bundle machinery 03.05.13 recovers the tangent bundle as $\mathrm{Fr}(M){\times }_{GL(n)}{\mathbb{R}}^n$, making the soldering form the infinitesimal version of this bundle isomorphism.

Exercises [Intermediate+]

Advanced results [Master]

The affine frame bundle. The affine frame bundle $A(M)$ has fibre at $p$ the set of affine isomorphisms ${\mathbb{R}}^n\to T_{p}M$, equivalently pairs $(u,v)$ with $u\in \mathrm{Fr}(M{)}_p$ and $v\in T_{p}M$. This is a principal $\mathrm{Aff}(n)=GL(n)⋉{\mathbb{R}}^n$-bundle. A connection on $A(M)$ is an affine connection, which encodes both the linear connection (via the $GL(n)$ part) and the torsion (via the ${\mathbb{R}}^n$ part).

The bundle of $G$-structures. For $G\subset GL(n)$, a $G$-structure $P_G\subset \mathrm{Fr}(M)$ carries a restricted soldering form. The intrinsic torsion of the $G$-structure is the obstruction to finding a torsion-free $G$-connection, measured by the Spencer cohomology group $H^{0,2}(\mathfrak{g})$.

Natural bundles. The frame bundle is the universal natural bundle: any functorial bundle construction on $M$ (tangent, cotangent, tensor, jet bundles) is an associated bundle of $\mathrm{Fr}(M)$ or one of its prolongations. The soldering form is what makes this association concrete.

Synthesis. The frame bundle is the universal principal bundle for differential geometry on a manifold; the soldering form provides the canonical identification between the abstract fibre and the actual tangent space, and a linear connection is equivalent to a principal connection on the frame bundle. The torsion measures the incompatibility between the connection and the soldering form, and the first Cartan structural equation expresses this incompatibility as a covariant derivative of $\theta$. The affine frame bundle extends this picture to include torsion as part of the connection data, while the theory of $G$-structures constrains the frame bundle to sub-bundles corresponding to additional geometric structures on the manifold. The soldering form is what makes the frame bundle fundamentally different from other principal bundles — it is the geometric reason that connections on manifolds have torsion, while connections on abstract principal bundles do not.

Full proof set [Master]

Proposition (Equivalence: linear connections and frame bundle connections). There is a bijection between linear connections $\nabla$ on $TM$ and principal $GL(n)$-connections $\omega$ on $\mathrm{Fr}(M)$.

Proof. Given $\nabla$, define $\omega$ as follows. A tangent vector $X\in T_u\mathrm{Fr}(M)$ decomposes into horizontal and vertical parts. The vertical part is $A^{\ast }$ for a unique $A\in \mathfrak{gl}(n)$. Set $\omega (X)=A$. The horizontal part is determined by $\nabla$: a horizontal curve in $\mathrm{Fr}(M)$ is one whose frame vectors are parallel-transported. In a local section $s:U\to \mathrm{Fr}(M)$, the connection form is $s^{\ast }\omega =({\Gamma }_{ij}^k)$, the matrix of Christoffel symbols. Conversely, given $\omega$, define ${\nabla }_{{\partial }_i}{e}_j=u({\omega }_u({\partial }_i))\cdot e_j$ where $u$ is the local frame and ${\omega }_u$ is the connection form pulled back to $U$. The equivariance of $\omega$ ensures this is independent of the choice of frame. $\square$

Proposition (The soldering form is strictly horizontal). ${\theta }_u:H_u\mathrm{Fr}(M)\to {\mathbb{R}}^n$ is an isomorphism at every $u$, where $H_u$ is the horizontal space of any connection.

Proof. For horizontal $X\in H_u$, ${\theta }_u(X)=u^{-1}(d\pi (X))$. Since $d\pi :H_u\to T_{\pi (u)}M$ is an isomorphism (by the definition of a connection splitting) and $u:{\mathbb{R}}^n\to T_{\pi (u)}M$ is an isomorphism (by the definition of a frame), the composition $u^{-1}\circ d\pi :H_u\to {\mathbb{R}}^n$ is an isomorphism. $\square$

Connections [Master]

The general fibre bundle 03.05.00 provides the principal bundle framework; the frame bundle is the most important example, and the soldering form is what distinguishes it from an abstract principal bundle.

The vertical subbundle 03.05.06 splits the tangent bundle of the frame bundle into vertical and horizontal parts; the soldering form is the horizontal projection composed with the frame identification.

The associated bundle construction 03.05.13 recovers the tangent bundle as $\mathrm{Fr}(M){\times }_{GL(n)}{\mathbb{R}}^n$, and the soldering form is the infinitesimal version of this isomorphism.

The Cartan structural equations 03.05.14 express torsion and curvature in terms of the soldering form and the connection form on the frame bundle; torsion is the covariant exterior derivative of the soldering form.

Bibliography [Master]

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

@article{cartan1926,
  author = {Cartan, {\'E}lie},
  title = {Les espaces g{\'e}n{\'e}ralis{\'e}s et l'int{\'e}gration de certaines classes d'{\'e}quations diff{\'e}rentielles},
  journal = {C. R. Acad. Sci. Paris},
  volume = {182},
  year = {1926}
}

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

Historical & philosophical context [Master]

The frame bundle perspective on connections was developed by Cartan in his work on moving frames (1899-1926). Cartan worked directly with orthonormal frames and their infinitesimal displacements, using what we now recognize as the connection form and the soldering form. His "repere mobile" (moving frame) method is equivalent to working with local sections of the frame bundle.

Ehresmann (1950) placed Cartan's ideas in the general framework of principal bundles. The soldering form was identified as the canonical 1-form that distinguishes the frame bundle from abstract principal bundles. The equivalence between linear connections and principal $GL(n)$-connections on the frame bundle was made explicit by Kobayashi and Nomizu (1963).

The term "soldering" (in French, "soudure") was introduced by Cartan. The idea is that the soldering form "solders" the abstract $GL(n)$-bundle to the manifold, creating a rigid link between the bundle geometry and the underlying space. Without the soldering form, a principal bundle connection has curvature but no torsion — torsion appears only when the bundle is soldered to the base manifold.

The philosophical significance is that the soldering form encodes the relationship between "internal" symmetries (frame changes) and "spacetime" geometry (the base manifold). In physics, this distinction is fundamental: gauge connections (Yang-Mills fields) are connections on unsoldered principal bundles, while gravity is a connection on the soldered frame bundle. The torsion of gravity is the subject of Einstein-Cartan theory, which extends general relativity to include torsion as a manifestation of spin density.