En la geometría de Riemann, podemos calcular una connexión \nabla a partir de su tensor métrico (la conexión de Levi-Civita). Esta derivación covariante es libre de torsión, por lo que el tensor de Ricci R_{\alpha \beta} debe ser simétrico. Hoy el profesor Juan Antonio Morales me ha introducido en la geometría de Riemann-Cartan, donde el tensor de Ricci puede ser asimétrico gracias a la existencia de un campo de torsión afín sobre la variedad. Lo que tenemos entonces es una conexión de Cartan.

Parece ser que esto permite el intercambio, para la conservación total del momento, entre espín y momento angular orbital.

Básicamente, podemos pensar la geometría diferencial desde el punto de vista de las bases coordenadas (naturales u holonómicas), donde los conmutadores (las derivadas de Lie \mathcal{L}_X Y := [X,Y] entre los campos coordenados, que intuitivamente miden la diferencia entre el arrastre del segundo campo mediante el primero respecto de su valor real en el punto final) son nulos, o pensarla desde el punto de vista de bases no coordenadas formadas por n campos vectoriales cualesquiera, si estamos en dimensión n, donde los corchetes de Lie ahora no son nulos.

Todo esto enlaza con este post y la manera de calcular los coeficientes de la conexión \gamma^{i}_{\phantom{i}jk}, introducidos en este post, para una base dada.

La fórmula para los símbolos de la conexión de Levi-Civita en una base \{e_i\} cualquiera es:

\gamma^{l}_{\phantom{l}jk} = \frac{1}{2} g^{lm} (e_k(g_{mj}) + e_j(g_{mk}) - e_m(g_{jk}) + c_{mjk} + c_{mkj} - c_{jkm}),

donde:

c_{jkm} = g_{mi}c_{jk}^{\phantom{jk}i} y [e_j,e_k] = c_{jk}^{\phantom{jk}i} e_i.

En una base coordenada \{ \partial_i \} tenemos que c_{mjk} = c_{mkj} = c_{jkm} = 0, por lo que:

\Gamma^{l}_{\phantom{l}jk} = \frac{1}{2} g^{lm} (\partial_k(g_{mj}) + \partial_j(g_{mk}) - \partial_m(g_{jk})),

mientras que en una base ortonormal \{ \hat{e}_i\} tenemos que \hat{e}_i(g_{jk}) = 0 y, por tanto:

\hat{\gamma}^{l}_{\phantom{l}jk} = \frac{1}{2} \eta^{lm} (c_{mjk} + c_{mkj} - c_{jkm}).