nLab Christoffel symbols

Christoffel symbols

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)

Christoffel symbols

Idea

What is called a Christoffel symbol is part of a notation and language from the early times of differential geometry at the end of the 19th and the beginning of the 20th century designed to deal with what today is called an affine connection: a connection on a tangent bundle TXXT X \to X.

The Christoffel symbols are the components of a connection 1-form on a coordinate patch nUX\mathbb{R}^n \simeq U \subset X of the underlying manifold XX, in terms of the basis of the tangent bundle TUT U induded by these coordinates.

As every concrete component expression, Christoffel symbols may be useful in certain computations. Unfortunately, almost every textbook on gravity in theoretical physics follows the long-outdated tradition of describing (or not describing) the entire notion of connections on tangent bundles without introducing these conceptually but just describing the Yoga of how to handle the Christoffel symbol component. This way their main effect to science nowadays is to make it harder for students of theoretical physics to understand what is really going on in the universe. It’s all so simple. Speaking always in terms of Christoffel symbols and never in terms of the abstract notion of connection makes it all so hard.

Details

The tangent bundle TXT X of an (oriented, say) manifold XX is a vector bundle that may be thought of as being the associated bundle to a SL(n)SL(n)-principal bundle PXP \to X. This means just a little than that each fiber T xXT_x X of the tangent bundle looks like n\mathbb{R}^n and that the group of linear transformations GL(n)GL(n) acts on this.

Every tangent bundle may even be regarded as the associated bundle to a O(n)O(n)-principal bundle, i.e. one with structure group the orthogonal group. This is often useful. But for the discussion of Christoffel symbols we need the more general general group GL(n)GL(n).

A connection on the tangent bundle is the same as a connection on the underlying GL(n)GL(n)-principal bundle: locally on XX this is a Lie-algebra valued 1-form with values in the general linear Lie algebra 𝔤𝔩(n)\mathfrak{gl}(n).

We may write such a 11-form as

A=A at a, A = A^a t_a \,,

where {t a}\{t_a\} is a basis for the Lie algebra 𝔤𝔩(n)\mathfrak{gl}(n). But this Lie algebra is naturally thought of as nothing but the Lie algebra of n×nn \times n matrices Mat(n)Mat(n). Every choice of basis {v μ}\{v^\mu\} of n\mathbb{R}^n yields a corresponding choice of basis of Mat(n)Mat(n): the matrix denoted T ν μT^{\nu}{}_{\mu} is the matrix that in the basis given by the {v μ}\{v^\mu\} has zeros everywhere except in the μ\mu-ν\nu-position, where it has a 11.

Using this, we may write the local connection 1-form as

A=A μ νT ν μ. A = A^\mu{}_\nu T^\nu{}_\mu \,.

Moreover now, since AA is just defined on a patch UXU \subset X which is diffeomorphic to n\mathbb{R}^n, we may fix such a diffeomorphism in that we find coordinates on UU. Then we can express each 11-form A μ νA^\mu{}_\nu in terms of the coordinate basis of 11-forms {dx λ}\{d x^\lambda\} as

A μ ν=A μ λνdx λ. A^{\mu}{}_{\nu} = A^{\mu}{}_{\lambda\nu} d x^\lambda \,.

This way we obtain on each patch UU from the choice of a connection on the tangent bundle and a choice of basis of n\mathbb{R}^n and a choice of coordinates on UU a collection

{A μ λνC (U)} λ,μ,ν,=1,n \{ A^{\mu}{}_{\lambda\nu} \in C^\infty(U) \}_{\lambda, \mu, \nu, = 1,\cdots n}

of functions, which are the components of the local 𝔤𝔩(n)\mathfrak{gl}(n)-valued connection 11-form with respect to all the choices made.

This collection is called the Christoffel symbols of the connection, and then traditionally not denoted by the letter AA but by the letter Γ\Gamma

{Γ μ λνC (U)} λ,μ,ν,=1,,n. \{ \Gamma^{\mu}{}_{\lambda\nu} \in C^\infty(U) \}_{\lambda, \mu, \nu, = 1, \dots, n} \,.

Relation to spin connection

The literature that uses Christoffel symbols falls in two parts: one leaves it at that and never considers anything else. The other eventually talks about “spin connections” or “moving frames”.

A “spin connection” is just a connection on the tangent bundle of an oriented manifold which regards the tangent bundle as being associated to an SO(n)SO(n)-principal bundle with structure group the special orthogonal group. This is locally a connection 11-form AA with values in the special orthogonal Lie algebra 𝔰𝔬(n)𝔤𝔩(n)\mathfrak{so}(n) \subset \mathfrak{gl}(n). By this embedding we may regard it still as a 𝔤𝔩(n)\mathfrak{gl}(n)-valued form, whose coefficients happen to take values in skew-symmetric matrices. For the standard basis {v a}\{v^a\} of n\mathbb{R}^n, there is as before a canonical basis for such matrtices, denoted T b aT^{b}{}_{a}. So the 𝔰𝔬(n)\mathfrak{so}(n)-valued connection 1-form may be expanded in this basis as

A=A a bT b a. A = A^{a}{}_{b} T^{b}{}_a \,.

Using the same coordinates as before for the patch that this is defined on allows us to expand the component 1-forms A b aA^b{}_a further as

A b a=A λ b adx λ. A^{b}{}_{a} = A_{\lambda}{}^{b}{}_{a} d x^\lambda \,.

In the relevant literature a connection 11-form as this is traditionally denoted by the letter ω\omega:

{ω λ a bC (C)}. \{ \omega_{\lambda}{}^{a}{}_{b} \in C^\infty(C) \} \,.

This is what is often called the “spin connection”.

There is a vector bundle isomorphism

e:TXTX e : T X \to T X

that identifies the tangent vectors thought of locally with respect to the basis {v μ}\{v^\mu\} to those thought of locally in terms of the basis {v a}\{v^a\}. On the given patch UU this is over each point xUx \in U a GL(n)GL(n)-valued function eC (X,GL(n))e \in C^\infty(X, GL(n)) that gives pointwise a linear map n n\mathbb{R}^n \to \mathbb{R}^n of tangent spaces with components

e:v ae a μv μ. e : v^a \mapsto e^{a}{}_\mu v^\mu \,.

This is traditionally called the vielbein or nn-bein (for German: Bein = leg, with the same root as the English bone; viel = many, based on the special case vierbein with vier = four).

Generally, for ϕC (X,G)\phi \in C^\infty(X,G) some bundle automorphism, a function with values in the structure group of the bundle takes a connection 11-form AA to

A=ϕAϕ 1+ϕdϕ 1, A' = \phi A \phi^{-1} + \phi d \phi^{-1} \,,

where the first term denotes pointwise the adjoint action of the Lie group GG on its Lie algebra 𝔤\mathfrak{g}, and where the second term denotes the pullback ϕ *θ\phi^* \theta of the Maurer-Cartan form θ\theta on GL(n)GL(n) along ϕ\phi.

For the case at hand ee relate the Christoffel symbols to the “spin connection”. In full component beauty this is traditionally written as

ω λ a b=e a μΓ μ λνe ν b+e a μ λe μ b, \omega_{\lambda}{}^{a}{}_{b} = e^{a}{}_{\mu} \Gamma^{\mu}{}_{\lambda\nu} e^{\nu}{}_{b} + e^{a}{}_{\mu} \partial_\lambda e^{\mu}{}_{b} \,,

where {e μ a}\{e^{\mu}{}_{a}\} denote the components of the inverse e 1e^{-1} bundle automorphism.

This is traditionally the way that the Christoffel symbols are related to the notion of connection. But really both the Christoffel symbols as well as the spin connection components are nothing but a local component expression of the general notion of a connection 11-form on a GL(n)GL(n)-principal bundle.

References

Originally due to

Last revised on April 4, 2021 at 04:04:28. See the history of this page for a list of all contributions to it.