nLab vielbein

Redirected from "moving frame".
Contents

Context

Differential geometry

synthetic differential geometry

Introductions

from point-set topology to differentiable manifolds

geometry of physics: coordinate systems, smooth spaces, manifolds, smooth homotopy types, supergeometry

Differentials

V-manifolds

smooth space

Tangency

The magic algebraic facts

Theorems

Axiomatics

cohesion

infinitesimal cohesion

tangent cohesion

differential cohesion

graded differential cohesion

singular cohesion

id id fermionic bosonic bosonic Rh rheonomic reduced infinitesimal infinitesimal & étale cohesive ʃ discrete discrete continuous * \array{ && id &\dashv& id \\ && \vee && \vee \\ &\stackrel{fermionic}{}& \rightrightarrows &\dashv& \rightsquigarrow & \stackrel{bosonic}{} \\ && \bot && \bot \\ &\stackrel{bosonic}{} & \rightsquigarrow &\dashv& \mathrm{R}\!\!\mathrm{h} & \stackrel{rheonomic}{} \\ && \vee && \vee \\ &\stackrel{reduced}{} & \Re &\dashv& \Im & \stackrel{infinitesimal}{} \\ && \bot && \bot \\ &\stackrel{infinitesimal}{}& \Im &\dashv& \& & \stackrel{\text{étale}}{} \\ && \vee && \vee \\ &\stackrel{cohesive}{}& \esh &\dashv& \flat & \stackrel{discrete}{} \\ && \bot && \bot \\ &\stackrel{discrete}{}& \flat &\dashv& \sharp & \stackrel{continuous}{} \\ && \vee && \vee \\ && \emptyset &\dashv& \ast }

Models

Lie theory, ∞-Lie theory

differential equations, variational calculus

Chern-Weil theory, ∞-Chern-Weil theory

Cartan geometry (super, higher)

Cohomology

cohomology

Special and general types

Special notions

Variants

Extra structure

Operations

Theorems

Contents

Idea

A vielbein or solder form on a manifold XX is a linear identification of the tangent bundle with a vector bundle with explicit (pseudo-)orthogonal structure.

Any such choice encodes a (pseudo-)Riemannian metric on XX.

Definition

There are different equivalent perspectives on the notion of vielbein that are closely related:

In terms of Cartan geometry

Let XX be a smooth manifold of dimension dd. For definiteness we assume here that XX is oriented, but this is not necessary.

A Lie algebra valued 1-form

(E,Ω):TX𝔦𝔰𝔬(d) (E,\Omega) : T X \to \mathfrak{iso}(d)

with values in the Poincaré Lie algebra encodes a pseudo-Riemannian metric on XX (if non-degenerate, at least). In this context the component

E:TX d E : T X \to \mathbb{R}^d

of the connection 1-form is called the vielbein . It encodes the metric by

g=EESym C (X) 2Γ(T *X), g = \langle E \otimes E\rangle \in Sym^2_{C^\infty(X)} \Gamma(T^* X) \,,

where ,: d× d\langle -,-\rangle : \mathbb{R}^d \times \mathbb{R}^d \to \mathbb{R} is the canonical bilinear form.

In other words, Given an (SO(d)ISO(d))(SO(d) \hookrightarrow ISO(d))-Cartan connection on XX, the vielbein is the isomorphism in the definition of Cartan connection.

For d=4d=4 this is the vierbein , for d=3d = 3 the dreibein , etc.

This terminology is used notably in the context of the first-order formulation of gravity.

In terms of orthogonal structure

We discuss here how a choice of vielbein on a manifold is equivalently the reduction of the structure group of the tangent bundle from the general linear group GL(n)GL(n) to its maximal compact subgroup, the orthogonal group.

The following also introduces the description of this in terms of smooth twisted cohomology. While of course this is not necessary to understand vielbeins, it does give a very natural conceptual description with the advantage that it seamlessly generalizes to notions of generalized vielbein fields and generally to twisted differential c-structures.

The class of the tangent bundle

For completeness, we first review how the tangent bundle of a smooth manifold is naturally incarnated as a cocycle in GL(n)GL(n)-valued Cech cohomology and how this in turn is naturally formulated in terms of Lie groupoids/smooth moduli stacks. The reader familiar with these basics should skip to the next section.

Let XX be a smooth manifold of dimension nn.

By definition this means that there is an atlas {ϕ i 1: nU iX}\{\phi_i^{-1} : \mathbb{R}^n \simeq U_i \hookrightarrow X\} of coordinate charts. On each overlap U iU jU_i \cap U_j of two coordinate charts the partial derivatives of the corresponding coordinate transformations

ϕ jϕ i 1:U iU j n n \phi_j\circ \phi_i^{-1} : U_i \cap U_j \subset \mathbb{R}^n \to \mathbb{R}^n

form the Jacobian matrix of smooth functions

((λ ij) μ ν)[ddx νϕ jϕ i 1(x μ)]:U iU jGL n ((\lambda_{i j})^{\mu}{}_{\nu}) \coloneqq \left[\frac{d}{d x^\nu} \phi_j \circ \phi_i^{-1} (x^\mu) \right] : U_i \cap U_j \to GL_n

with values in invertible matrices, hence in the general linear group GL(n)GL(n). By construction (by the chain rule), these functions satisfy on triple overlaps of coordinate charts the matrix product equations

(λ ij) μ λ(λ jk) λ ν=(λ ik) μ ν, (\lambda_{i j})^\mu{}_\lambda (\lambda_{j k})^\lambda{}_{\nu} = (\lambda_{i k})^\mu{}_{\nu} \,,

hence the equation

λ ijλ jk=λ ik \lambda_{i j} \cdot \lambda_{j k} = \lambda_{i k}

in the group C (U iU j,GL(n))C^\infty(U_i \cap U_j, GL(n)) of smooth GL(n)GL(n)-valued functions on the chart overlap.

This is the cocycle condition for a smooth Cech cocycle in degree 1 with coefficients in GL(n)GL(n) (precisely: with coefficients in the sheaf of smooth functions with values in GL(n)GL(n) ):

[(λ ij)]H smooth 1(X,GL n). [(\lambda_{i j})] \in H^1_{smooth}(X, GL_n) \,.

It is useful to formulate this statement in the language of Lie groupoids/differentiable stacks.

  • XX itself is trivially a Lie groupoid (XX)(X \stackrel{\to}{\to} X);

  • from the atlas {U iX}\{U_i \to X\} we get the corresponding Cech groupoid

    C({U i})=( i,jU iU j iU i) C(\{U_i\}) = (\coprod_{i, j} U_i \cap U_j \stackrel{\to}{\to} \coprod_i U_i)
  • any Lie group GG induces its delooping Lie groupoid

    BG=(G*). \mathbf{B}G = \left( G \stackrel{\to}{\to} * \right) \,.

The above situation is neatly encoded in the existence of a diagram of Lie groupoids of the form

C({U i}) λ BGL(n). X, \array{ C(\{U_i\}) &\stackrel{\lambda}{\to}& \mathbf{B} GL(n). \\ {}^{\mathllap{\simeq}}\downarrow \\ X } \,,

where

  • the left morphism is stalk-wise (around small enough neighbourhoods of each point) an equivalence of groupoids;

  • the horizontal functor has as components the functions λ ij\lambda_{i j} and its functoriality is the cocycle condition λ ijλ jk=λ ik\lambda_{i j} \cdot \lambda_{j k} = \lambda_{i k}.

We want to think of such a diagram as being directly a morphism of smooth groupoids

TX:XBGL(n)H. T X : X \to \mathbf{B} GL(n) \;\; \in \mathbf{H} \,.

This is true in the (2,1)-category H\mathbf{H} in which stalkwise equivalences WMor(PSh(SmthMfd,Grpd))W \subset Mor(PSh(SmthMfd, Grpd)) have been formally inverted to become homotopy equivalences.

Since all real vector bundles on XX are encoded by such morphisms, as are their gauge transformations, we say that BGL(n)\mathbf{B} GL(n) is the moduli stack for real vector bundles.

Of course there is a “smaller” Lie groupoid that also classifies real vector bundles. Passing to this “smaller” Lie groupoid is what the choice of vielbein accomplishes, to which we now turn.

Reduction of the structure group

Consider the defining inclusion of the orthogonal group into the general linear group

O(n)GL(n). O(n) \hookrightarrow GL(n) \,.

We may understand this inclusion geometrically in terms of the canonical metric on n\mathbb{R}^n, but we may also understand it purely Lie theoretically as the the inclusion of the maximal compact subgroup of GL(n)GL(n). This makes manifest that the inclusion is trivial at the level of homotopy theory (it is a homotopy equivalence) and hence only encodes geometric information.

The inclusion induces a corresponding morphism of moduli stacks

c:BO(n)BGL(n). \mathbf{c} : \mathbf{B} O(n) \to \mathbf{B} GL(n) \,.

A choice of orthogonal structure on TXT X a G-structure for G=O(n)G = O(n), hence is a factorization of the above GL(n)GL(n)-valued cocycle through c\mathbf{c}, up to a smooth homotopy.

X h BO(n) λ E 1 c BGL(n). \array{ X &&\stackrel{h}{\to}&& \mathbf{B} O(n) \\ & {}_{\mathllap{\lambda}}\searrow &\swArrow_{E^{-1}}& \swarrow_{\mathrlap{\mathbf{c}}} \\ && \mathbf{B}GL(n) } \,.

This consists of two pieces of data

  • the morphism hh is a O(n)O(n)-valued 1-cocycle – a collection of orthogonal transition functions – hence on each overlap of coordinate patches a smooth function

    ((h ij) a b):U iU jO(n) ((h_{i j}){}^a{}_b) : U_i \cap U_j \to O(n)

    such that

    h ijh jk=h ik; h_{i j} \cdot h_{j k} = h_{i k} \,;
  • the homotopy EE is on each chart a function

E i=((E i) a μ):U iGL(n) E_i = ((E_i)^a{}_\mu) : U_i \to GL(n)
  • such that on each double overlap it intertwines the transition functions λ\lambda of the tangent bundle with the new orthogonal transition functions, meaning that the equation

    (E i) a μ(λ ij) μ ν=(h ij) a b(E j] b ν (E_i)^a{}_{\mu} (\lambda_{i j})^{\mu}{}_\nu = (h_{i j})^a{}_b (E_j]^b{}_\nu

    holds. This exhibits the naturality diagram of EE:

    * E i * h ij λ ij * E j * \array{ * &\stackrel{E_i}{\to}& * \\ {}^{\mathllap{h_{i j}}}\downarrow && \downarrow^{\mathrlap{\lambda_{i j}}} \\ * &\stackrel{E_j}{\to}& * }

Such a lift (h,E)(h,E) is an orthogonal structure on TXT X. The component EE is called the corresponding vielbein. It exhibits an isomorphism

E:TXV E : T X \stackrel{\simeq}{\to} V

between a vector bundle VXV \to X with structure group explicitly being the orthogonal group and the tangent bundle, hence it exhibits the reduction of the structure group of TXT X from GL(n)GL(n) to O(n)O(n).

Moduli space of orthogonal structures: twisted cohomology

In order to understand the space of choices of vielbein fields on a given tangent bundle, hence the moduli space or moduli stack of orthogonal structures/Riemannian metrics on XX, it is useful to first consider the homotopy fiber of the morphism c:BO(n)BGL(n)\mathbf{c} : \mathbf{B}O(n) \to \mathbf{B}GL(n). One finds that this is the coset O(n)\GL(n)O(n) \backslash GL(n). We may think of the fiber sequence

GL(n)/O(n) BO(n) BGL(n) \array{ GL(n)/O(n) &\to& \mathbf{B} O(n) \\ && \downarrow \\ && \mathbf{B} GL(n) }

as being a bundle in H\mathbf{H} over the moduli stack BGL(n)\mathbf{B}GL(n) with typical fiber GL(n)/O(n)GL(n)/O(n). It is the smooth associated bundle to the smooth universal GL(n)-bundle induced by the canonical action of GL(n)GL(n) on O(n)\GL(n)O(n)\backslash GL(n).

This means that if the tangent bundle TXT X is trivializable, then the coset space O(n)\GL(n)O(n)\backslash GL(n) is the moduli space for vielbein fields on TXT X, in that the space of these is

H(X,O(n)\GL(n))=C (X,O(n)\GL(n)). \mathbf{H}(X, O(n)\backslash GL(n)) = C^\infty(X, O(n)\backslash GL(n)) \,.

However, if TXT X is not trivial, then this is true only locally: there is then an atlas {U iX}\{U_i \to X\} such that restricted to each U iU_i the moduli space of vielbein fields is C (U i,GL(n)/O(n))C^\infty(U_i, GL(n)/ O(n)), but globally these now glue together in a non-trivial way as encoded by the tangent bundle: we may say that

the tangent bundle twists the functions XGL(n)/O(n)X \to GL(n)/O(n). If – as we may – we think of an ordinary such function as a cocycle in degree-0 cohomology, then this means that a vielbein is a cocycle in TXT X-_twisted cohomology_ relative to the twisting coefficient bundle c\mathbf{c}.

We can make this more manifest by writing equivalently

O(n)\GL(n) (O(n)\GL(n))//GL(n) BGL(n), \array{ O(n)\backslash GL(n) &\to& (O(n)\backslash GL(n)) // GL(n) \\ && \downarrow \\ && \mathbf{B}GL(n) } \,,

where now on the right we have inserted the fibration resolution of the morphism c\mathbf{c} as provided by the factorization lemma: this is the morphism out of the action groupoid of the action of GL(n)GL(n) on O(n)\GL(n)O(n)\backslash GL(n).

The pullback

TX× GL(n)(O(n)\GL(n)) O(n)\GL(n)//GL(n) X TX BGL(n) \array{ T X \times_{GL(n)} (O(n)\backslash GL(n)) &\to& O(n)\backslash GL(n) // GL(n) \\ \downarrow && \downarrow \\ X &\stackrel{T X}{\to}& \mathbf{B}GL(n) }

give the non-linear TXT X-associated bundle whose space of sections is the “twisted O(n)\GL(n)O(n)\backslash GL(n)-0-cohomology”, hence the space of inequivalent vielbein fields.

Moduli stack of orthogonal structures

The above says that the space of vielbein fields is the cohomology of TXT X in the slice (2,1)-topos H /BGL(n)\mathbf{H}_{/\mathbf{B}GL(n)} with coefficients in c:BOBGL(n)\mathbf{c} : \mathbf{B}O \to \mathbf{B}GL(n)

OStruc TX(X)H /BGL(n)(TX,c). O Struc_{TX}(X) \simeq \mathbf{H}_{/\mathbf{B}GL(n)}(T X, \mathbf{c}) \,.

But also this space of choices of vielbein fields has a smooth structure, it is itself a smooth moduli stack. This is obtained by forming the internal hom in the slice over BGL(n)\mathbf{B}GL(n) of the locally cartesian closed (2,1)-category H\mathbf{H}.

OStruc TX(X)=[X,BO] BGL(n) O \mathbf{Struc}_{T X}(X) = [X, \mathbf{B}O]_{\mathbf{B}GL(n)}

Differential refinement: Spin connection

We may further lift this discussion to differential cohomology to get genuine differential TXT X-twisted c\mathbf{c}-structures.

Write BG conn\mathbf{B}G_{conn} for groupoid of Lie-algebra valued forms. As an object of H=\mathbf{H} = SmoothGrpd this the moduli stack of GG-connections.

The morphism c\mathbf{c} has an evident differential refinement

c conn:BO(n) connBGL(n) conn. \mathbf{c}_{conn} : \mathbf{B}O(n)_{conn} \to \mathbf{B}GL(n)_{conn} \,.

The homotopy fiber of this differential refinement is still the same as before

GL(n)/O(n) BO(n) conn BGL(n) conn, \array{ GL(n)/ O(n) &\to& \mathbf{B} O(n)_{conn} \\ && \downarrow \\ && \mathbf{B} GL(n)_{conn} } \,,

so that the moduli space of “differential vielbein fields” is the same as that of plain vielbein fields.

Consider an affine connection

TX:XBGL(n) \nabla_{T X} : X \to \mathbf{B}GL(n)

hence a GL(n)GL(n)-principal connection which locally on out atas is given by the Christoffel symbols

Γ i=((Γ i) μ α β)Ω 1(U i,𝔤𝔩(n)). \Gamma_i = ((\Gamma_i)_\mu{}{}^{\alpha}{}_\beta) \in \Omega^1(U_i, \mathfrak{gl}(n)) \,.

A lift ( V,E)(\nabla_V, E) in

X V BO conn TX E 1 c conn BGL(n) conn \array{ X &&\stackrel{\nabla_{V}}{\to}&& \mathbf{B}O_{conn} \\ & {}_{\mathllap{\nabla_{T X}}}\searrow &\swArrow_{E^{-1}}& \swarrow_{\mathbf{c}_{conn}} \\ && \mathbf{B}GL(n)_{conn} }

is in components a “spin connection

ω μ=EdE 1+EΓ μE 1 \omega_\mu = E d E^{-1} + E \Gamma_\mu E^{-1}
ω μ a b=E a ν μE ν b+E a νΓ μ ν λE λ b. \omega_\mu{}^a{}_b = E^a{}_\nu \partial_\mu E^\nu{}_b + E^a{}_\nu \Gamma_\mu{}^\nu{}_\lambda E^\lambda{}_b \,.

This is the standard formula for the relation between the Christoffel symbols and the spin connection in terms of the vielbein.

Generalized and exceptional vielbein fields

The above discussion seamlessly generalizes to many other related cases. For instance

  1. For the coefficient bundle

    O(n)\O(n,n)/O(n) B(O(n)×O(n)) BO(n,n) \array{ O(n)\backslash O(n,n) /O(n) &\to& \mathbf{B} (O(n) \times O(n)) \\ && \downarrow \\ && \mathbf{B}O(n,n) }

    one gets the generalized vielbein of type II geometry;

  2. for the coefficient bundle

    H n\E n BH n BE n \array{ H_n\backslash E_n &\to& \mathbf{B} H_n \\ && \downarrow \\ && \mathbf{B} E_n }

    coming from the inclusion of the maximal compact subgroup of an exceptional Lie group one gets generalized vielbein fields for exceptional generalized geometry;

  3. for the coefficient bundle

    BE 8 a B 3U(1) \array{ && \mathbf{B} E_8 \\ && \downarrow^{\mathbf{a}} \\ && \mathbf{B}^3 U(1) }

    coming from the second smooth universal Chern class of E8 one gets part of the geometry of the supergravity C-field

and so on. More examples are discussed for instance at twisted smooth cohomology in string theory.

In terms of basic forms on the frame bundle

A G-structure on XX for G=O(n)G = O(n) the orthogonal group is equivalently an O(n)O(n)-principal subbundle of the frame bundle π:Fr(X)X\pi \colon Fr(X)\to X.

This frame bundle carries a universal “basic” n\mathbb{R}^n-valued differential form

τ bΩ 1(Fr(X), n) \tau_{b} \in \Omega^1(Fr(X), \mathbb{R}^n)

defined on a tangent vector vΓ fFr(X)v\in \Gamma_{f \in Fr(X)} by

τ b(v)f 1(dπ(v)), \tau_b(v) \coloneqq f^{-1}(d \pi(v)) \,,

where dπ:TFr(X)TXd\pi \colon T Fr(X)\to T X is the differential of the bundle projection π\pi and ff is the given frame regarded as a linear isomorphism f: nT xXf\colon \mathbb{R}^n \stackrel{\simeq}{\longrightarrow} T_x X.

Then given an orthogonal structure in the form of an O(n)O(n)-subbundle i:Fr O(X)Fr(X)i \colon Fr_O(X) \hookrightarrow Fr(X) and given finally a local section σ\sigma of Fr O(X)Fr_O(X), then the vielbein field with respect to that local trivialization is the pullback form

τ=σ *i *τ b. \tau = \sigma^\ast i^\ast \tau_b \,.

(exposition of this in the wider context of integrability of G-structures includes Lott 90, p. 4).

See also at field (physics) the section on Ordinary gravity.

References

Original discussion in Élie Cartan‘s reformulation of Riemannian geometry (Cartan geometry):

  • Élie Cartan (translated by Vladislav Goldberg from Cartan’s lectures at the Sorbonne in 1926–27): Chapter 1 of: Riemannian Geometry in an Orthogonal Frame, World Scientific (2001) [doi:10.1142/4808, pdf]

Lecture notes:

Review in the context of first-order formulation of gravity:

Discussion in the general context of G-structures includes

  • John Lott, The Geometry of Supergravity Torsion Constraints, Comm. Math. Phys. 133 (1990), 563–615, (exposition in arXiv:0108125)

Last revised on May 22, 2024 at 08:43:58. See the history of this page for a list of all contributions to it.