\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{Christoffel symbols}

\hypertarget{context}{}\subsubsection*{{Context}}\label{context}

\hypertarget{differential_geometry}{}\paragraph*{{Differential geometry}}\label{differential_geometry}

[[!include synthetic differential geometry - contents]]

\hypertarget{christoffel_symbols}{}\section*{{Christoffel symbols}}\label{christoffel_symbols}

\noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak
\noindent\hyperlink{details}{Details}\dotfill \pageref*{details} \linebreak
\noindent\hyperlink{relation_to_spin_connection}{Relation to spin connection}\dotfill \pageref*{relation_to_spin_connection} \linebreak


\hypertarget{idea}{}\subsection*{{Idea}}\label{idea}

What is called a \emph{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 bundle|connection]] on a [[tangent bundle]] $T X \to X$.

The \emph{Christoffel symbols} are the components of a [[connection on a bundle|connection 1-form]] on a coordinate patch $\mathbb{R}^n \simeq U \subset X$ of the underlying [[manifold]] $X$, in terms of the basis of the tangent bundle $T 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 [[connection on a bundle|connection]]s on [[tangent bundle]]s 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 on a bundle|connection]] makes it all so hard.

\hypertarget{details}{}\subsection*{{Details}}\label{details}

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

Every tangent bundle may even be regarded as the [[associated bundle]] to a $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)$.

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

We may write such a $1$-form as

\begin{displaymath}
A = A^a t_a
  \,,
\end{displaymath}
where $\{t_a\}$ is a basis for the [[Lie algebra]] $\mathfrak{gl}(n)$. But this Lie algebra is naturally thought of as nothing but the Lie algebra of $n \times n$ matrices $Mat(n)$. Every choice of basis $\{v^\mu\}$ of $\mathbb{R}^n$ yields a corresponding choice of basis of $Mat(n)$: the matrix denoted $T^{\nu}{}_{\mu}$ is the matrix that in the basis given by the $\{v^\mu\}$ has zeros everywhere except in the $\mu$-$\nu$-position, where it has a $1$.

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

\begin{displaymath}
A = A^\mu{}_\nu T^\nu{}_\mu
  \,.
\end{displaymath}
Moreover now, since $A$ is just defined on a patch $U \subset X$ which is diffeomorphic to $\mathbb{R}^n$, we may fix such a diffeomorphism in that we find coordinates on $U$. Then we can express each $1$-form $A^\mu{}_\nu$ in terms of the coordinate basis of $1$-forms $\{d x^\lambda\}$ as

\begin{displaymath}
A^{\mu}{}_{\nu} = A^{\mu}{}_{\lambda\nu} d x^\lambda
  \,.
\end{displaymath}
This way we obtain on each patch $U$ from the choice of a [[connection on a bundle|connection]] on the [[tangent bundle]] and a choice of basis of $\mathbb{R}^n$ and a choice of coordinates on $U$ a collection

\begin{displaymath}
\{
    A^{\mu}{}_{\lambda\nu} \in C^\infty(U)
  \}_{\lambda, \mu, \nu, = 1,\cdots n}
\end{displaymath}
of functions, which are the components of the local $\mathfrak{gl}(n)$-valued connection $1$-form with respect to all the choices made.

This collection is called the \textbf{Christoffel symbols} of the connection, and then traditionally not denoted by the letter $A$ but by the letter $\Gamma$

\begin{displaymath}
\{
    \Gamma^{\mu}{}_{\lambda\nu} \in C^\infty(U)
  \}_{\lambda, \mu, \nu, = 1, \dots, n}
  \,.
\end{displaymath}
\hypertarget{relation_to_spin_connection}{}\subsection*{{Relation to spin connection}}\label{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 a bundle|connection]] on the [[tangent bundle]] of an [[orientation|oriented]] [[manifold]] which regards the tangent bundle as being [[associated bundle|associated]] to an $SO(n)$-[[principal bundle]] with structure group the [[special orthogonal group]]. This is locally a connection $1$-form $A$ with values in the [[special orthogonal Lie algebra]] $\mathfrak{so}(n) \subset \mathfrak{gl}(n)$. By this embedding we may regard it still as a $\mathfrak{gl}(n)$-valued form, whose coefficients happen to take values in skew-symmetric matrices. For the standard basis $\{v^a\}$ of $\mathbb{R}^n$, there is as before a canonical basis for such matrtices, denoted $T^{b}{}_{a}$. So the $\mathfrak{so}(n)$-valued connection 1-form may be expanded in this basis as

\begin{displaymath}
A = A^{a}{}_{b} T^{b}{}_a
  \,.
\end{displaymath}
Using the same coordinates as before for the patch that this is defined on allows us to expand the component 1-forms $A^b{}_a$ further as

\begin{displaymath}
A^{b}{}_{a} = A_{\lambda}{}^{b}{}_{a} d x^\lambda
  \,.
\end{displaymath}
In the relevant literature a connection $1$-form as this is traditionally denoted by the letter $\omega$:

\begin{displaymath}
\{
    \omega_{\lambda}{}^{a}{}_{b} \in C^\infty(C)
  \}
  \,.
\end{displaymath}
This is what is often called the ``spin connection''.

There is a [[vector bundle]] [[isomorphism]]

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

\begin{displaymath}
e : v^a \mapsto e^{a}{}_\mu v^\mu
  \,.
\end{displaymath}
This is traditionally called the \emph{vielbein} or $n$-bein (for German: \emph{Bein} = \emph{leg}, with the same root as the English \emph{bone}; \emph{viel} = \emph{many}, based on the special case \emph{vierbein} with \emph{vier} = \emph{four}).

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

\begin{displaymath}
A' = \phi A \phi^{-1} + \phi d \phi^{-1}
  \,,
\end{displaymath}
where the first term denotes pointwise the [[adjoint action]] of the Lie group $G$ 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)$ along $\phi$.

For the case at hand $e$ relate the Christoffel symbols to the ``spin connection''. In full component beauty this is traditionally written as

\begin{displaymath}
\omega_{\lambda}{}^{a}{}_{b} = 
  e^{a}{}_{\mu} \Gamma^{\mu}{}_{\lambda\nu} e^{\nu}{}_{b}
  + 
  e^{a}{}_{\mu} \partial_\lambda  e^{\mu}{}_{b}
  \,,
\end{displaymath}
where $\{e^{\mu}{}_{a}\}$ denote the components of the inverse $e^{-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 $1$-form on a $GL(n)$-[[principal bundle]].

[[!redirects Christoffel symbol]]



\end{document}