Contents

Idea

A vielbein or soldering form on a manifold $X$ is a linear identification of a tangent bundle with a vector bundle with explicit orthogonal structure.

Any such choice encodes a Riemannian metric on $X$.

Definition

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

• In terms of Cartan geometry

• In terms of orthogonal structure

In terms of Cartan geometry

Let $X$ be a smooth manifold of dimension $d$. For definitness we assume here that $X$ is oriented, but this is not necessary.

A Lie algebra valued 1-form

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

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

where $⟨-,-⟩:{ℝ}^d\times {ℝ}^d\to ℝ$ is the canonical bilinear form.

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

For $d=4$ this is the vierbein , for $d=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 $\mathrm{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 $\mathrm{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 $X$ be a smooth manifold of dimension $n$.

By definition this means that there is an atlas $\{{\varphi }_i^{-1}:{ℝ}^n\simeq U_i\hookrightarrow X\}$ of coordinate charts. On each overlap $U_i\cap U_j$ of two coordinate charts the partial derivatives of the corresponding coordinate transformations

form the Jacobian matrix of smooth functions

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

hence the equation

in the group $C^{\mathrm{\infty }}(U_i\cap U_j,\mathrm{GL}(n))$ of smooth $\mathrm{GL}(n)$-valued functions on the chart overlap.

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

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

• $X$ itself is trivially a Lie groupoid $(X\overrightarrow{\to }X)$;

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

  $$C(\{U_i\})=(\coprod _{i,j}{U}_i\cap U_j\overrightarrow{\to }\coprod _i{U}_i)$$C(\{U_i\}) = (\coprod_{i, j} U_i \cap U_j \stackrel{\to}{\to} \coprod_i U_i)

• any Lie group $G$ induces its delooping Lie groupoid

  $$BG=(G\overrightarrow{\to }*).$$\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

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 ${\lambda }_{ij}$ and its functoriality is the cocycle condition ${\lambda }_{ij}\cdot {\lambda }_{jk}={\lambda }_{ik}$.

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

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

Since all real vector bundles on $X$ are encoded by such morphisms, as are their gauge transformations, we say that $B\mathrm{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

We may understand this inclusion geometrically in terms of the canonical metric on ${ℝ}^n$, but we may also understand it purely Lie theoretically as the the inclusion of the maximal compact subgroup of $\mathrm{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

A choice of orthogonal structure on $TX$ is a factorization of the above $\mathrm{GL}(n)$-valued cocycle through $c$, up to a smooth homotopy.

This consists of two pieces of data

• the morphism $h$ is a $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_i\cap U_j\to O(n)$$((h_{i j}){}^a{}_b) : U_i \cap U_j \to O(n)

  such that

  $$h_{ij}\cdot h_{jk}=h_{ik};$$h_{i j} \cdot h_{j k} = h_{i k} \,;

• the homotopy $E$ is on each chart a function

• 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{}_{\mu }({\lambda }_{ij}{)}^{\mu }{}_{\nu }=(h_{ij}{)}^a{}_b(E_j{]}^b{}_{\nu }$$(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 $E$:

  $$\begin{array}{ccc}*& \stackrel{E_i}{\to }& *\\ {}^{h_{ij}}\downarrow & & {\downarrow }^{{\lambda }_{ij}}\\ *& \stackrel{E_j}{\to }& *\end{array}$$\array{ * &\stackrel{E_i}{\to}& * \\ {}^{\mathllap{h_{i j}}}\downarrow && \downarrow^{\mathrlap{\lambda_{i j}}} \\ * &\stackrel{E_j}{\to}& * }

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

between a vector bundle $V\to X$ with structure group explicitly being the orthogonal group and the tangent bundle, hence it exhibits the reduction of the structure group of $TX$ from $\mathrm{GL}(n)$ to $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 $X$, it is useful to first consider the homotopy fiber of the morphism $c:BO(n)\to B\mathrm{GL}(n)$. One finds that this is the coset $O(n)\backslash \mathrm{GL}(n)$. We may think of the fiber sequence

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

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

However, if $TX$ is not trivial, then this is true only locally: there is then an atlas $\{U_i\to X\}$ such that restricted to each $U_i$ the moduli space of vielbein fields is $C^{\mathrm{\infty }}(U_i,\mathrm{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 $X\to \mathrm{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 $TX$-_twisted cohomology_ relative to the twisting coefficient bundle $c$.

We can make this more manifest by writing equivalently

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

The pullback

give the non-linear $TX$-associated bundle whose space of sections is the “twisted $O(n)\backslash \mathrm{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 $TX$ in the slice (2,1)-topos $H_{/B\mathrm{GL}(n)}$ with coefficients in $c:BO\to B\mathrm{GL}(n)$

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 $B\mathrm{GL}(n)$ of the locally cartesian closed (2,1)-category $H$.

Differential refinement: Spin connection

We may further lift this discussion to differential cohomology to get genuine differential $TX$-twisted $c$-structures.

Write $B{G}_{\mathrm{conn}}$ for groupoid of Lie-algebra valued forms. As an object of $H=$ SmoothGrpd this the moduli stack of $G$-connections.

The morphism $c$ has an evident differential refinement

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

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

Consider an affine connection

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

A lift $({\nabla }_V,E)$ in

is in components a “spin connection”

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

   $$\begin{array}{ccc}O(n)\backslash O(n,n)/O(n)& \to & B(O(n)\times O(n))\\ & & \downarrow \\ & & BO(n,n)\end{array}$$\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

   $$\begin{array}{ccc}{H}_n\backslash E_n& \to & B{H}_n\\ & & \downarrow \\ & & B{E}_n\end{array}$$\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

   $$\begin{array}{ccc}& & B{E}_8\\ & & {\downarrow }^a\\ & & B^{3}U(1)\end{array}$$\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.

Related concepts

• reduction of structure groups, orthogonal structure

• generalized vielbein, exceptional generalized geometry

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