RELATIVITÉ GÉNÉRALE HYPERCOMPLÈXE

LAURENT BESSON, YVAN RAHBÉ

résumé. Ce document tapé initialement en 1998 a été le travail effectué sur une période de 1996 à 1998. Celui-ci a été commencé à être ré-écrit en janvier et février 2015 en raison de la perte des sources du document et dans le but de pouvoir le publier. Lors de sa ré-écriture le document à été corrigé et amélioré afin d’être le plus compréhensible possible. N’ayant jamais publié, je ne sais pas quels sont les standards attendus afin que le document soit conforme à ces attentes.

Le présent document (un éssai) tente une approche peut-être explorée par ailleurs, une approche simple qui est le remplacement des coordonnées du quadri-vecteur réels par des coordonnées de nombres quaternions (hypercomplèxes). De plus ce document ré-introduit l’idée de M Hermann Weyl, une métrique de jauge sur les longueur. Appelée plus communément «jauge d’échelle » : Voir http ://www.researchgate.net/profile/Laurent_Nottale/publication/241619222_Relativit_e_d%27_echelle_nondi_erentiabilit_e_et_espace-temps_fractal/links/00b4952a2e69c7f72d000000.pdf

http://www-cosmosaf.iap.fr/Weyl-Cartan_{}et_{}la_{}geometrie_{}infinitesimale_{}synthese_{}par_{}E_{}Scholz.pdf

Si le lien ne fonctionne pas :

http ://www-cosmosaf.iap.fr/Weyl-Cartan_et_la_geometrie_infinitesimale_synthese_par_E_Scholz.pdf

Date: 1998.

Table des matières

Table des matières
 1.  Introduction
 2.  Définition
   2.1.  Définition du quadri-vecteur
   2.2.  Définition des quaternions
   2.3.  Notation d’Einstein
 3.  Postulat
  1er postulat
  2eme postulat
 4.  Notations diverses (dérivées covariantes, anti-commutateur, etc.)
   4.1.  Dérivée covariante des coordonnées
   4.2.  Dérivée covariante des hi
 5.  Tenseurs
   5.1.  Transport d’un quadri-vecteur et tenseur de courbure de Riemann

1. Introduction

La relativité générale est avec la physique quantique (le modèle standard des particules) une théorie profonde mais qui avec la physique quantique ne se marie pas. Dans cette théorie la force de la gravitation n’est que la manifestation de la courbure même de l’espace-temps en présence de matière (densité). L’espace-temps dit comment à la matière se comporter et elle-même à l’espace-temps comment se courber.

La physique quantique utilise encore les espace de Minskowski qui ne sont pas courbes et sont les espaces-temps de la relativité restreinte. Or à cet espace-temps plat, nous associons des espace de Hilbert de dimension (n) décrivant les interactions entre particules par leurs états |φ >. Or il apparait dans beaucoup de situations que le produits de deux états (A et B) ne soient pas équivalents à (B et A). C’est à dire A.BB.A, en résumé non commutatifs.

Par ailleurs il est bon de rappeler que les matrices de Pauli (non commutatives) ont quelque chose de « proche » au nombre inventé par Hamilton (Quatrenions) : https://fr.wikipedia.org/wiki/Quaternion#Repr.C3.A9sentation_des_quaternions_comme_matrices_2x2_de_nombres_complexes. Que celles-ci sont utilisées en physique quantique.

L’idée la plus simple est de penser le quadri-vecteur comme identique à celui imaginé par Einstein mais avec des nombres (non réels) quaternions. Nous verrons ainsi que certaines propriétes non commutatives imposent des équations impliquant les indéterminsations de Heinsenberg de façon naturelle.

2. Définition

La relativité générale hypercomplexe se définie comme la RG mais avec des composantes des quadri-vecteurs hypercomplèxes.

2.1. Définition du quadri-vecteur. -→
V =  [
α = 0]3 V α.-→eαα ∈{0, 1, 2, 3} et les composantes de V α sont des nombres quaternions.

2.2. Définition des quaternions. V αϵensemble des quaternions, noté tel V α = V αi.h i i ∈{0, 1, 2, 3} avec h1.h2.h3 = -1, hi.hi = -1 pour i0

Ce qui donne pour un quadri-vecteur hypercomplèxe : -→V = [α = 0]3 [
i = 0]3 V αi.h i.-→e
 α i ∈{0, 1, 2, 3} α ∈{0, 1, 2, 3}

2.3. Notation d’Einstein. Les notations d’Einstein lorsqu’elles sont sans ambiguïtés sont : -→
V = V α.-→
eα où la somme est sous entendu sur les indices hauts ou bas.

3. Postulat

1er postulat. Le principe d’équivalence reste vrai.

2eme postulat. Les coordonnées de l’espace-temps sont hypercomplèxes (cf : Nombres Quaternions).

4. Notations diverses (dérivées covariantes, anti-commutateur, etc.)

4.1. Dérivée covariante des coordonnées. On note la dérivée covariante par coordonnée :

-∂--   ----∂----   --------∂--------
∂x μ = ∂ (xμi.hi) = ∂x μi.hi + xμi.∂hi

Posons

        j      μ
∂hi = H iμ.hj.∂x

d’où

∂hi     j
--μ-= H iμ.hj
∂x

or

∂x μ = ∂x μi.hi + xμi.∂hi

donc

--∂hi--=  ∂xμi.hi + xμi.∂hi
Hjiμ.hj

   μi     --∂hi--    μi        --1----   μi
∂x   .hi = Hj  .hj - x  .∂hi = ( Hj .hj - x  ).∂hi
            iμ                  iμ

∂x μi.h .Hj  .h  =  (1 - Hj .h .x μi).∂h
      i  iμ  j         iμ  j       i

d’où

∂hi = ∂xμi.hi.Hjiμ.hj-
(1-Hjiμ.hj.xμi) avec hi.hj = δijk.h k et en introduisant l’opérateur commutateur de la physique quantique :[hi,hj] = hi.hj - hj.hi = hi.hj + hi.hj = 2ijk.h k

[hi,hj] = 2.δkij.hk
(4.1)

Alors

           μi  j  k
       -∂x--.H-iμ.δij.hk---
∂hi =  2.(1 - Hj  .hj.xμi)
               iμ
(4.2)

4.2. Dérivée covariante des hi.

         j
∂μhi = H μi.hj

5. Tenseurs

Nous devons re-définir un certain nombre de grandeurs telle que la courbure, en effet comme nous étendons la définition de quadri-vecteur, la courbure va s’étendre en faisant apparaître des termes supplémentaires. Ceux-ci, et on le constatera, pourront se coupler entre eux.

L’intéret est que nous retrouverons le tenseur courbure de Riemann Rμγνα et de Ricci R μν, puis d’autre qui pouront être associés à d’autres champs physiques, qui de plus pourront se coupler entre eux et s’autocoupler.

Pour re-définir ces tenseurs nous devons reprendre les calculs de transport d’un quadri-vecteur, faisant apparaitre bien évidemment les symboles de Christoffel Γμαβ http://fr.wikipedia.org/wiki/Symboles_de_Christoffel, et donc le tenseur de courbure. Mais d’autres tenseurs tels que : Hμij Φ μji, dont Φ μji est le tenseur de « courbure » métrique de Weyl http://classiques.uqac.ca/collection_sciences_nature/fabre_lucien/Nouvelle_figure_du_monde/Nouvelle_figure_du_monde.htm#AppendiceI (qui fera apparaitre le champ Fμνélectromagnétique). Et Hμij qui introduira d’autres tenseurs... Dont la signification physique sera à discuter.

5.1. Transport d’un quadri-vecteur et tenseur de courbure de Riemann.


PIC

figure 5.1: transport quadri-vecteur

Soit -→X un quadri-vecteur xαi.h i.-→eα On utilise la jauge d’échelle de Weyl

http://luth2.obspm.fr/~luthier/nottale/arLecce.pdf

ou

http://classiques.uqac.ca/collection_sciences_nature/fabre_lucien/Nouvelle_figure_du_monde/Nouvelle_figure_du_monde.htm#AppendiceI

Les liens suivants vont vous être utiles !

https://dournac.org/sciences/tensor_calculus/node29.html#SECTION00614000000000000000

https://dournac.org/sciences/tensor_calculus/node30.html

https://dournac.org/sciences/tensor_calculus/node40.html

x αi = x α.φi

Soit la dérivée covariante

      -d--
∇ μ = dx μ

et

∇ ν = -d--
      dx ν

Nous allons faire le calcul suivant

(∇ μ.∇ν - ∇ ν.∇ μ)-→X

Qui est nul dans un espace euclidien sans métrique de Weyl.

Commençons par

∇ μ-→X  = ∂μ(xα.φi.hi.-→eα) = ∂μxα.φi.hi.-→eα + xα.∂μ φi.hi.-→eα + xα.φi.∂μhi.-→e α + x α.φi.hi.∂μ-→eα)

Avec la définition des symboles de Christoffel

∂μ-→eα =  Γ β .-→eβ
         μα
(5.1)

Et avec

∂μhi = Hjμi.hj
(5.2)

Puis

    i    i   j
∂μφ  = Φ μj.φ
(5.3)

   -→        α  i   -→     α    i  j   -→      α  i  j    -→     α   i    β  -→
∇ μX  = ∂ μx .φ .hi.eα + x .(Φ μj.φ .hi.eα + x .φ .H μi.hj.eα + x  .φ .hi.Γ μα.eβ)

On pose

       i   j       i  j       i     β -→  -→α
γ μ = Φμj.φ .hi + φ .H μi.hj + φ .hi.Γ μα.e β.e

Or on peut invoquer les symboles de Kronecker avec :

-→  -→α    α
eβ.e  = δβ

On obtient une quantité indiquant comment ce comporte la connexion dans l’espace utilisé (Riemannien et hypercomplèxe) lors du parcours d’un quadri-vecteur...

γμ = Φiμj.φj.hi + φi.Hjμi.hj + φi.hi.Γ βμα.δαβ
(5.4)

Donc

∇ μ-→X  = ∂ μxα.φi.hi.-→eα + xα.(γμ).-→eα

Commençons le calcul ν.μ-→X.

       -→                  -→           -→
∇ ν.∇ μX  = ∂ν(∂μx α.φi.hi.eα + xα.(γμ).e α)

      -→
∇ ν.∇ μX  =  ∂ν∂μxα.φi.hi.-→eα
                                                 -→                -→
                                  + ∂μxα.∂νφi.hi.eα + ∂μxα.φi.∂νhi.eα
                                         α  i     -→        α     -→
                                   + ∂ μx .φ .hi.∂νeα + ∂νx  .(γμ).eα
                                                                            α       -→     α        -→
                                                                        + x  .(∂νγ μ).eα + x  .(γμ).∂νeα)

Nous allons former le calcul μ.ν-→
X.

∇  .∇  -→X  =  ∂ ∂ xα.φi.h .-→e
  μ  ν       μ ν       i α
                                  + ∂νxα.∂μφi.hi.-→eα + ∂νxα.φi.∂μhi.-→eα

                                   + ∂ νxα.φi.hi.∂μ-→eα + ∂μx α.(γν).-→eα

                                                                        + x α.(∂μ γν).-→eα + xα.(γν).∂μ-→eα)
Nous devons évaluer νγμ et μγν
                           j
∂νγμ = ∂ν(Φiμj.φj.hi + φi.Hμi.hj + φi.hi.Γ βμα.δαβ)
(5.5)

           i   j
∂νγμ = ∂νΦ μj.φ  .hi
                                             + ∂ φi.Hj .h
                                                ν     μi j
                                           + ∂ νφi.hi.Γ βμα.δαβ
                                                i     j
                                             + Φμj.∂νφ .hi
                                             + φi.∂νHj .hj
                                                      μi
                                           + φi.∂νhi.Γ βμα.δαβ
                                                i   j
                                             + Φμj.φ .∂νhi
                                             + φi.Hj .∂νhj
                                                   μi
                                           + φi.hi.∂νΓ βμα.δαβ
                                                                                          i    β     α
                                                                                      + φ .hi.Γμα.∂νδβ
                           j
∂μγν = ∂μ (Φiνj.φj.hi + φi.H νi.hj + φi.hi.Γ βνα.δαβ)
(5.6)

           i   j
∂μγν = ∂μΦ νj.φ  .hi
                                             + ∂ φi.Hj .h
                                                μ     νi j
                                           + ∂ μφi.hi.Γ βνα.δαβ
                                                i     j
                                             + Φνj.∂μφ .hi
                                             + φi.∂μHj .hj
                                                      νi
                                           + φi.∂μhi.Γ βνα.δαβ
                                                i   j
                                             + Φνj.φ .∂μhi
                                             + φi.Hj .∂μhj
                                                   νi
                                           + φi.hi.∂μΓ βνα.δαβ
                                                                                          i    β     α
                                                                                      + φ .hi.Γνα.∂μδβ

Formons la différence de transport d’un quadri-vecteur

      -→           -→
∇ ν.∇ μX  - ∇ μ.∇ νX  = ∂ν∂μx α.φi.hi.-→eα
                                       α     i   -→       α  i     -→
                                  + ∂μx  .∂νφ .hi.eα + ∂μx .φ .∂νhi.eα
                                         α  i     -→        α     -→
                                   + ∂ μx .φ .hi.∂νeα + ∂νx  .(γμ).eα
                                        α       -→      α       -→
                                    + x  .(∂ νγμ).eα + x  .(γμ).∂νeα)
                                  - ∂ ∂ x α.φi.h .-→e +  ∂ xα.∂ φi.h .-→e
                                     μ ν       i  α    ν    μ    i  α
                                  + ∂νxα.φi.∂μhi.-→eα + ∂νxα.φi.hi.∂μ-→eα

                                     + ∂μxα.(γν).-→eα + xα.(∂μγν).-→eα

                                                                                       + xα.(γν).∂μ-→eα)

Donc avec

μ-→eα = Γμαβ.-→eβ μhi = Hμij.h j

μφi = Φ μjij

γμ = Φμjij.h i + φi.H μij.h j + φi.h i.Γμαβ βα

La différence de transport devient

      -→           -→
∇ ν.∇ μX  - ∇ μ.∇ νX  =
                                                 α  i   -→
                                           ∂ ν∂μx .φ .hi.eα
                                                α     i   -→
                                           + ∂μx .∂νφ .hi.eα
                                                α   i     -→
                                           + ∂μx .φ .∂νhi.eα
                                           + ∂ xα.φi.h .∂  -→e
                                              μ       i  ν α
                            + ∂νxα.(Φi .φj.hi + φi.Hj  .hj + φi.hi.Γ β .δα).-→eα
                                      μj            μi            μα  β
                            + xα.∂ν(Φiμj.φj.hi + φi.Hjμi.hj + φi.hi.Γ βμα.δαβ).-→eα

                           + xα.(Φiμj.φj.hi + φi.Hjμi.hj + φi.hi.Γ βμα.δαβ).Γ βνα.-→eβ
                                                   α  i   -→
                                           - ∂μ∂νx  .φ .hi.eα
                                               α   j       -→
                                          - ∂νx .H μi.hj.hi.eα
                                               α  i   j    -→
                                          - ∂νx .φ .H μi.hj.eα
                                          - ∂ xα.φi.h .Γ β .-→e
                                             ν       i  μα  β
                            - ∂μx α.(Φi  .φj.hi + φi.Hj  .hj + φi.hi.Γ β .δα).-→e α
                                      νj            νi            να  β
                            - xα.∂μ(Φiνj.φj.hi + φi.Hjνi.hj + φi.hi.Γ βνα.δαβ).-→e α

                                                     -  xα.(Φiνj.φj.hi + φi.Hjνi.hj + φi.hi.Γ βνα.δαβ).Γ βμα.-→eβ

les expressions νγμ et μγν deviennent

∂ν(Φi .φj.hi + φi.Hj .hj + φi.hi.Γ β .δα) =
    μj             μi            μα  β             j
                              ∂νΦiμj.φj.hi + ∂νφi.H μi.hj + ∂νφi.hi.Γ βμα.δαβ
                                 i     j       i    j        i      β   α
                             +  Φμj.∂νφ .hi + φ .∂νH μi.hj + φ .∂νhi.Γμα.δβ
                             +  Φi .φj.∂νhi + φi.Hj .∂νhj + φi.hi.∂νΓ β .δα
                                 μj               μi                μα  β
                                                                                      + φi.hi.Γ βμα.∂νδαβ

     i  j       i  j        i    β   α
∂μ(Φ νj.φ .hi + φ .H νi.hj + φ .hi.Γ να.δβ ) =
                              ∂ Φi  .φj.h  + ∂ φi.Hj .h  + ∂ φi.h .Γ β .δα
                               μ  νj     i   μ     νi j    μ    i  να  β
                             +  Φiνj.∂μφj.hi + φi.∂μHjνi.hj + φi.∂μhi.Γ βνα.δαβ
                                 i   j         i  j          i      β   α
                             +  Φνj.φ .∂ μhi + φ .H νi.∂μhj + φ .hi.∂μΓνα.δβ
                                                                                      + φi.h .Γ β .∂ δα
                                                                                            i  να  μ β

Donc ν.μ-→
X -∇μ.ν-→
 X devient

      -→           -→
∇ ν.∇ μX  - ∇ μ.∇ νX  = ∂ν∂μx α.φi.hi.-→eα + ∂μxα.∂νφi.hi.-→eα + ∂μxα.φi.∂νhi.-→eα + ∂ μxα.φi.hi.∂ν-→eα
         α     i   j         i  j          i    β   α    i     j       i    j        i      β   α
     +  x .[∂νΦ μj.φ  .hi + ∂νφ .H μi.hj + ∂νφ .hi.Γ μα.δβ + Φμj.∂νφ .hi + φ .∂νH μi.hj + φ .∂νhi.Γμα.δβ
                               i   j         i  j          i      β   α  -→
                            + Φμj.φ .∂νhi + φ .H μi.∂ νhj + φ .hi.∂νΓμα.δβ].eα
                              α   i   j       i  j        i    β   α   β -→
                           + x .(Φμj.φ .hi + φ .H μi.hj + φ .hi.Γμα.δβ).Γ να.eβ
             - ∂ ∂  xα.φi.h .-→e  - ∂ xα.Hj  .h .h .-→e -  ∂ xα.φi.Hj .h .-→e -  ∂ xα.φi.h.Γ β .-→e
                μ  ν       i α    ν     μi  j i  α    ν        μi  j  α    ν       i μα  β
                            - ∂μx α.(Φi  .φj.hi + φi.Hj  .hj + φi.hi.Γ β .δα).-→e α
                                j     νj            νi            να  β     j
     -  xα.[∂μ Φiνj.φj.hi + ∂μφi.H νi.hj + ∂μφi.hi.Γ βνα.δαβ + Φiνj.∂μφj.hi + φi.∂μH νi.hj + φi.∂μhi.Γ βνα.δαβ
               i    β     α    i   j         i  j          i      β   α     i    β     α -→
           + φ .hi.Γμα.∂νδβ + Φνj.φ .∂μhi + φ .H νi.∂ μhj + φ .hi.∂μΓνα.δβ + φ .hi.Γ να.∂ μδβ].eα
                                                         α   i   j       i  j       i    β   α   β  -→
                                                     -  x .(Φ νj.φ  .hi + φ .H νi.hj + φ .hi.Γνα.δβ).Γμα.eβ
Ce qui donne en réarangeant :

      -→           -→
∇ ν.∇ μX  - ∇ μ.∇ νX  =
                 α     i   j         i  j          i    β   α    i      j      i     j
              + x .[∂νΦμj.φ .hi + ∂ νφ .H μi.hj + ∂νφ .hi.Γμα.δβ + Φμj.∂νφ .hi + φ .∂ νHμi.hj
                       i      β   α     i   j        i   j         i       β  α  -→
                   +  φ .∂νhi.Γμα.δβ + Φ μj.φ .∂νhi + φ .H μi.∂νhj + φ .hi.∂νΓ μα.δβ ].eα

                        α     i   j         i  j          i    β   α    i     j
                     - x .[∂ μΦνj.φ .hi + ∂ μφ .H νi.hj + ∂μφ .hi.Γνα.δβ + Φνj.∂μφ .hi
                     + φi.∂μHj  .hj + φi.∂μhi.Γ β .δα+ φi.hi.Γ β .∂νδα + Φi  .φj.∂μhi
                              νi              να  β         μα    β     νj
                          + φi.Hjνi.∂μhj + φi.hi.∂μΓ βνα.δαβ + φi.hi.Γ βνα.∂μδβα].-→eα


                              α   i   j       i  j        i    β   α   β -→
                           + x .(Φμj.φ .hi + φ .H μi.hj + φ .hi.Γμα.δβ).Γ να.eβ
                           - xα.(Φi .φj.h +  φi.Hj  .h  + φi.h .Γ β .δα).Γ β .-→e
                                   νj     i       νi  j      i  να  β   μα β

                        α  i   -→       α     i   -→       α  i     -→        α  i     -→
                + ∂ν∂μx  .φ .hi.eα + ∂μx  .∂νφ .hi.eα + ∂μx .φ .∂νhi.eα + ∂ μx .φ .hi.∂νeα
                                  α  i   -→       α   j  i   -→        α  i  j    -→        α  i    β  -→
                          - ∂μ∂νx  .φ .hi.eα - ∂νx .Φ μi.φ .hj.eα - ∂ νx .φ .H μi.hj.eα - ∂νx  .φ  .hi.Γμα.eβ

avec μφi = Φ μjij et μhi = Hμij.h j et δij ij = 1 avec -→
eβ = δβα.-→
eα cela devient :

      -→           -→
∇ ν.∇ μX  - ∇ μ.∇ νX  =
              α     i   j       i   j   j       i   j    β   α     i   j  j       i    j
           + x .[∂νΦμj.φ .hi + Φμj.φ .Hμi.hj + Φ νj.φ .hi.Γμα.δβ + Φ μj.Φ νi.φ .hi + φ .∂νH μi.hj
                     i  j     β   α     i   j  j       i   j         i       β   α -→
                 + φ  .H νi.hj.Γμα.δβ + Φ μj.φ .H νi.hj + φ .H μi.∂νhj + φ .hi.∂νΓ μα.δβ ].eα

                      α     i   j      i   j   j       i   j    β   α     i   j  i
                  - x  .[∂μΦ νj.φ .hi + Φνj.φ .H νi.hj + Φνj.φ .hi.Γνα.δβ + Φ νj.Φ νi.φ .hi
                   + φi.∂ Hj  .h  + φi.Hj .h .Γ β .δα+ φi.h .Γ β .∂ δα + Φi  .φj.Hj  .h
                         μ  νi  j       μi j  να  β       i μα  ν β     νj     μi  j
                         +  φi.Hj  .Hi  .hi + φi.hi.∂μΓ β .δα + φi.hi.Γ β .∂μδα ].-→eα
                                νi  μj              να  β          να    β

                                α   i   j      i   j       i    β    β  -→
                            + x  .(Φ μj.φ  .hi + φ .H μi.hj + φ .hi.Γμα).Γνα.eα
                            - x α.(Φi  .φj.h  + φi.Hj .h +  φi.h .Γ β ).Γ β .-→e
                                    νj     i       νi  j       i να   μα  α

                    α   i  -→        α  i   j   -→        α  i     -→        α  i    β   α -→
             + ∂ν∂μx  .φ .hi.eα + ∂μx .Φνj.φ .hi.eα + ∂μx  .φ .∂ νhi.eα + ∂μx  .φ .hi.Γμα.δβ.eα
                               α  i   -→       α   j  i   -→        α  i   j   -→        α  i    β   α -→
                       - ∂μ∂ νx .φ .hi.eα - ∂νx .Φ μi.φ .hj.eα - ∂νx .φ .H μi.hj.eα - ∂ νx .φ .hi.Γμα.δβ.eα
xα et est donc commutatif...

∇ ν.∇ μ-→X  - ∇ μ.∇ ν-→X  =

            +  [∂νΦiμj.φj.hi + Φiμj.φj.Hjμi.hj + Φiνj.φj.hi.Γ βμα.δαβ + Φiμj.Φjνi.φj.hi + φi.∂νHjμi.hj
                   i   j     β   α    i   j   j       i  j          i      β   α   α-→
                + φ .H νi.hj.Γ μα.δβ + Φμj.φ .Hνi.hj + φ .H μi.∂νhj + φ .hi.∂νΓμα.δβ].x  .e α


                   -  [∂ μΦiνj.φj.hi + Φiνj.φj.Hjνi.hj + Φiνj.φj.hi.Γ βνα.δαβ + Φiνj.Φjνi.φi.hi
                       i    j        i  j     β   α    i    β     α     i   j  j
                   + φ .∂μH νi.hj + φ .H μi.hj.Γνα.δβ + φ .hi.Γμα.∂νδβ + Φ νj.φ  .H μi.hj
                           i   j   i       i       β  α     i    β     α   α-→
                        + φ .H νi.H μj.hi + φ .hi.∂μΓ να.δβ + φ .hi.Γνα.∂μδβ].x  .eα

                                 i   j      i   j       i    β    β   α -→
                            + (Φ μj.φ  .hi + φ .H μi.hj + φ .hi.Γμα).Γνα.x .eα
                                 i   j      i   j       i    β    β   α -→
                            - (Φ νj.φ  .hi + φ .H νi.hj + φ .hi.Γνα).Γμα.x .eα


             + ∂ν∂μxα.φi.hi.-→eα + ∂μxα.Φiνj.φj.hi.-→eα + ∂μx α.φi.∂ νhi.-→eα + ∂μx α.φi.hi.Γ βμα.δαβ.-→eα
                                      -→           j      -→               j   -→                      -→
                       - ∂μ∂ νxα.φi.hi.eα - ∂νxα.Φ μi.φi.hj.eα - ∂νxα.φi.H μi.hj.eα - ∂ νxα.φi.hi.Γ βμα.δαβ.eα

devient :

      -→           -→
∇ ν.∇ μX  - ∇ μ.∇ νX  =
                   i   j       i   j  j        i  j     β   α    i   j   j      i     j
            +  [∂νΦ μj.φ  .hi + Φ μj.φ .H μi.hj + Φ νj.φ .hi.Γ μα.δβ + Φμj.Φνi.φ  .hi + φ .∂νH μi.hj
                     i  j     β   α     i   j  j       i   j         i       β   α -→
                 + φ  .H νi.hj.Γμα.δβ + Φ μj.φ .H νi.hj + φ .H μi.∂νhj + φ .hi.∂νΓ μα.δβ ].X

                                      j                              j                j
             - [∂ μΦiνj.φj.hi + Φiνj.φj.H νi.hj + Φiνj.φj.hi.Γ βνα.δαβ + Φiνj.Φνi.φi.hi + φi.∂ μH νi.hj
                                                                                    -→
                +  φi.Hjμi.hj.Γ βνα.δαβ + Φiνj.φj.Hjμi.hj + φi.Hjνi.Hiμj.hi + φi.hi.∂μΓ βνα.δαβ ].X


                                  i   j       i  j        i    β    β -→
                              + (Φμj.φ .hi + φ .H μi.hj + φ .hi.Γ μα).Γ να.X
                                  i   j       i  j        i    β    β -→
                              - (Φνj.φ .hi + φ .H νi.hj + φ .hi.Γ να).Γ μα.X


             + ∂ν∂μxα.φi.hi.-→eα + ∂μxα.Φiνj.φj.hi.-→eα + ∂μx α.φi.∂ νhi.-→eα + ∂μx α.φi.hi.Γ βμα.δαβ.-→eα
                                      -→           j      -→               j   -→                      -→
                       - ∂μ∂ νxα.φi.hi.eα - ∂νxα.Φ μi.φi.hj.eα - ∂νxα.φi.H μi.hj.eα - ∂ νxα.φi.hi.Γ βμα.δαβ.eα

      -→           -→
∇ ν.∇ μX  - ∇ μ.∇ νX  =
                         i  j       i   j   j       i   j    β   α     i   j  j
                    [∂νΦ μj.φ .hi + Φμj.φ .Hμi.hj + Φνj.φ .hi.Γμα.δβ + Φ μj.Φ νi.φ .hi
                                                                                           -→
         +  φi.∂ νHjμi.hj + φi.Hjνi.hj.Γ βμα.δαβ + Φiμj.φj.Hjνi.hj + φi.Hjμi.Hiνj.hi + φi.hi.∂νΓ βμα.δαβ ].X
                          i   j       i   j  j        i  j     β   α    i   j   i
                   -  [∂ μΦνj.φ .hi + Φ νj.φ .H νi.hj + Φ νj.φ .hi.Γ να.δβ + Φνj.Φ νi.φ .hi
             i     j       i  j     β   α     i   j  j       i   j   i       i       β  α  -→
         +  φ .∂ μHνi.hj + φ .H μi.hj.Γνα.δβ + Φ νj.φ .H μi.hj + φ .H νi.H μj.hi + φ .hi.∂μΓ να.δβ ].X


        + (Φi .φj.h +  φi.Hj  .h + φi.h .Γ β ).Γ β .-→X - (Φi .φj.h + φi.Hj .h + φi.h .Γ β ).Γ β .-→X
             μj    i       μi  j      i  μα   να        νj     i       νi j       i  να    μα

                   α   i  -→        α  i   j   -→        α  i  j    -→        α  i    β   α -→
           + (∂ν∂μx  .φ .hi.eα + ∂μx .Φνj.φ .hi.eα + ∂μx  .φ .H νi.hj.eα + ∂μx  .φ  .hi.Γμα.δβ.eα)
                              α  i   -→        α  j   i   -→       α  i   j   -→        α  i    β   α -→
                     - (∂ μ∂νx .φ .hi.eα + ∂νx  .Φ μi.φ .hj.eα + ∂νx .φ .Hμi.hj.eα + ∂νx .φ .hi.Γμα.δβ.eα)
(5.7)
   -→     β  -→      α -→
∂μ eα = Γμα.eβ = Γ μα.eα
(5.8)