\( \newcommand{\be}{\begin{equation}} \newcommand{\ee}{\end{equation}} \newcommand{\ba}{\begin{array}} \newcommand{\ea}{\end{array}} \newcommand{\bea}{\begin{eqnarray}} \newcommand{\eea}{\end{eqnarray}} \newcommand{\bean}{\begin{eqnarray*}} \newcommand{\eean}{\end{eqnarray*}} \newcommand{\la}{\label} \newcommand{\nn}{\nonumber} \newcommand{\half}{{\scriptstyle \frac{1}{2}}} \newcommand{\third}{{\scriptstyle \frac{1}{3}}} \newcommand{\bli}[2]{\begin{list}{#1}{\itemsep=0.0cm \topsep=0.0cm \partopsep=0.0cm #2}} \newcommand{\eli}{\end{list}} \newtheorem{problem}{Problem}[chapter] \newcommand{\bprob}{\begin{problem}} \newcommand{\eprob}{\end{problem}}\)

Tetrads in General Relativity

III. Geometric Algebra

GA Coderivative

   In geometric algebra, the notion of a coderivative (covariant derivative operator) can be extended to a multivector directional derivative (MDD), i.e. an operator which takes the derivative of a multivector field in the direction of a vector. It can be shown that such an operator exists for every metric-compatible connection. 

   The basic properties of such a directional derivative ${D_i}$ with respect to an arbitrary frame field $\{ {{\mathbf{e}}_j}\}$ may be summarized as follows:

Directional Derivative ${D_i}$

  1. maps scalars into scalars: ${D_i}\phi = {\partial _i}\phi $; partial derivatives operate only on scalar components relative to the basis $\{ {{\mathbf{e}}_j}\} $;
  2. maps vectors into vectors. In particular, ${D_i}$ maps ${{\mathbf{e}}_j}$ into a vector, which can be expressed as a linear combination:
    \[  {D_i}{{\mathbf{e}}_j} = \Gamma _{ij}^k{{\mathbf{e}}_k}{\quad} \Gamma _{ij}^k = \left( {{D_i}{{\mathbf{e}}_j}} \right) \cdot {{\mathbf{e}}^k}  \]
    This defines the connection coefficients $\Gamma _{ij}^k$ for the frame $\{ {{\mathbf{e}}_j}\} $ , which can be arbitrary, save for the ‘metric compatibility’ condition (1.28);
  3. obeys the Leibniz rule. Thus, for any two multivector fields $A,B$,
    \[  {D_i}(AB) = ({D_i}A)B + A({D_i}B) \]
  4. is distributive with respect to addition,
    \[  {D_i}(A + B) = {D_i}A + {D_i}B  \]
  5. is related to operators ${D_m} = h_m^i{D_i}$ corresponding to different frames ${\text{\{ }}{{\mathbf{e}}^m}\} $, if the frame ${\text{\{ }}{{\mathbf{e}}^i}\}$ is related to the different frames by ${{\mathbf{e}}^i} = h_m^i{{\mathbf{e}}^m}$.

   The coderivative (covariant derivative operator) is defined as $D: = {{\mathbf{e}}^i}{D_i}$, with properties directly derived from the multivector directional derivative defined above. The coderivative $D$ is a coordinate-free object that can be decomposed in any system of coordinates, e.g. $D = {{\mathbf{g}}^\mu }{D_\mu }$. Algebraically it may be treated as a vector, to be used as such in geometric, inner and wedge products.

   The formalism admits only metric-compatible derivatives. This extra restrictiveness is a result of unifying the scalar and vector derivatives into a single operator such that scalar-valued products of multi-vectors have a well-defined derivative. It is also a matter of consistency since the Leibniz rule is used in deriving metric compatibility (1.28).