3. Parallel derivatives and Christoffel tensors

We begin by remembering that each basis has its own parallel derivative

In[207]:=

Out[207]=

defined so that

In[208]:=

Out[208]=

This derivative is always flat, and has a vanishing Riemann

In[209]:=

Out[209]=

But it has torsion, unless the basis is coordinated,

In[210]:=

Out[210]=

In[211]:=

Out[211]=

In xTensor` we can define the Christoffel tensor connecting two covariant derivatives (cf. Section 6 of xTensorDoc.nb). In particular, this works with the PD of our bases

In[212]:=

Out[212]=

Notice how the Christoffel connecting any covariant derivative to PD is defined with the derivative, in our case by DefBasis.

In[213]:=

Out[213]=

Any derivative of any Basis object can be translated into a component of  Christoffel tensors relating that derivative to the PDs of the bases involved

In[214]:=

Out[214]=

In[215]:=

Out[215]=

In[216]:=

Out[216]=

With another parallel derivative,

In[217]:=

Out[217]=

In[218]:=

Out[218]=

Complex bases have FRiemann and AChristoffel tensors, as explained in xTensorDoc, section 6.8.  

In[219]:=

Global`AChristoffelPDcomp

Dagger[AChristoffelPDcomp]^=AChristoffelPDcomp† DependenciesOfTensor[AChristoffelPDcomp]^={M3} Info[AChristoffelPDcomp]^={nonsymmetric AChristoffel tensor ,} MasterOf[AChristoffelPDcomp]^=PDcomp ServantsOf[AChristoffelPDcomp]^={AChristoffelPDcomp†} SlotsOfTensor[AChristoffelPDcomp]^={InnerC,-TangentM3,-InnerC} SymmetryGroupOfTensor[AChristoffelPDcomp]^=StrongGenSet[{},GenSet[]] TensorID[AChristoffelPDcomp]^={AChristoffel,PDcomp,PD} xTensorQ[AChristoffelPDcomp]^=True

The FRiemann is also zero

In[220]:=

Out[220]=

Derivatives of complex bases are also replaced by the corresponding Christoffels

In[221]:=

Out[221]=

In[222]:=

Out[222]=

In[223]:=

Out[223]=

In[224]:=

Out[224]=

Both basis indices must belong to the same vbundle:

In[225]:=

3.1. Ricci rotation coefficients

Created by Mathematica  (May 16, 2008)