tensor de curvatura de Riemann

Campo tensorial en geometría riemanniana

En el campo matemático de la geometría diferencial , el tensor de curvatura de Riemann o tensor de Riemann-Christoffel (después de Bernhard Riemann y Elwin Bruno Christoffel ) es la forma más común utilizada para expresar la curvatura de variedades de Riemann . Asigna un tensor a cada punto de una variedad de Riemann (es decir, es un campo tensor ). Es una invariante local de la métrica de Riemann que mide la falta de conmutación de las derivadas de la segunda covariante . Una variedad de Riemann tiene curvatura cero si y sólo si es plana , es decir, localmente isométrica al espacio euclidiano . ^[1] El tensor de curvatura también se puede definir para cualquier variedad pseudo-riemanniana , o incluso cualquier variedad equipada con una conexión afín .

Es una herramienta matemática central en la teoría de la relatividad general , la teoría moderna de la gravedad , y la curvatura del espacio-tiempo es, en principio, observable mediante la ecuación de desviación geodésica . El tensor de curvatura representa la fuerza de marea experimentada por un cuerpo rígido que se mueve a lo largo de una geodésica en un sentido preciso mediante la ecuación de Jacobi .

Definición

Sea ( M , g) una variedad riemanniana o pseudo-riemanniana , y el espacio de todos los campos vectoriales en M. Definimos el tensor de curvatura de Riemann como un mapa mediante la siguiente fórmula ^[2] donde está la conexión Levi-Civita : ${\displaystyle {\mathfrak {X}}(M)}$ ${\displaystyle {\mathfrak {X}}(M)\times {\mathfrak {X}}(M)\times {\mathfrak {X}}(M)\rightarrow {\mathfrak {X}}(M)}$ ${\displaystyle \nabla }$

${\displaystyle R(X,Y)Z=\nabla _{X}\nabla _{Y}Z-\nabla _{Y}\nabla _{X}Z-\nabla _{[X,Y]}Z}$

o equivalente

${\displaystyle R(X,Y)=[\nabla _{X},\nabla _{Y}]-\nabla _{[X,Y]}}$

donde [ X , Y ] es el corchete de Lie de campos vectoriales y es un conmutador de operadores diferenciales. Resulta que el lado derecho en realidad solo depende del valor de los campos vectoriales en un punto dado, lo cual es notable ya que la derivada covariante de un campo vectorial también depende de los valores de los campos en una vecindad del punto. Por tanto, es un campo tensorial. Para fijo , la transformación lineal también se llama transformación de curvatura o endomorfismo . En ocasiones, el tensor de curvatura se define con el signo opuesto. ${\displaystyle [\nabla _{X},\nabla _{Y}]}$ ${\displaystyle X,Y,Z}$ ${\displaystyle R}$ ${\displaystyle (1,3)}$ ${\displaystyle X,Y}$ ${\displaystyle Z\mapsto R(X,Y)Z}$

El tensor de curvatura mide la no conmutatividad de la derivada covariante y, como tal, es la obstrucción de la integrabilidad para la existencia de una isometría con el espacio euclidiano (llamado, en este contexto, espacio plano ).

Dado que la conexión Levi-Civita no tiene torsión, la curvatura también se puede expresar en términos de la segunda derivada covariante ^[3]

${\textstyle \nabla _{X,Y}^{2}Z=\nabla _{X}\nabla _{Y}Z-\nabla _{\nabla _{X}Y}Z}$

como

${\displaystyle R(X,Y)=\nabla _{X,Y}^{2}-\nabla _{Y,X}^{2}}$

Por tanto, el tensor de curvatura mide la no conmutatividad de la segunda derivada covariante. En notación de índice abstracto ,

$${\displaystyle R^{d}{}_{cab}Z^{c}=\nabla _{a}\nabla _{b}Z^{d}-\nabla _{b}\nabla _{a}Z^{d}.}$$

conmutador^{[4] [5]} ${\displaystyle A_{\nu }}$

${\displaystyle A_{\nu ;\rho \sigma }-A_{\nu ;\sigma \rho }=A_{\beta }R^{\beta }{}_{\nu \rho \sigma }.}$

Esta fórmula suele denominarse identidad de Ricci . ^[6] Este es el método clásico utilizado por Ricci y Levi-Civita para obtener una expresión para el tensor de curvatura de Riemann. ^[7] Esta identidad se puede generalizar para obtener los conmutadores para dos derivadas covariantes de tensores arbitrarios de la siguiente manera ^[8]

${\displaystyle {\begin{aligned}&\nabla _{\delta }\nabla _{\gamma }T^{\alpha _{1}\cdots \alpha _{r}}{}_{\beta _{1}\cdots \beta _{s}}-\nabla _{\gamma }\nabla _{\delta }T^{\alpha _{1}\cdots \alpha _{r}}{}_{\beta _{1}\cdots \beta _{s}}\\[3pt]={}&R^{\alpha _{1}}{}_{\rho \delta \gamma }T^{\rho \alpha _{2}\cdots \alpha _{r}}{}_{\beta _{1}\cdots \beta _{s}}+\ldots +R^{\alpha _{r}}{}_{\rho \delta \gamma }T^{\alpha _{1}\cdots \alpha _{r-1}\rho }{}_{\beta _{1}\cdots \beta _{s}}-R^{\sigma }{}_{\beta _{1}\delta \gamma }T^{\alpha _{1}\cdots \alpha _{r}}{}_{\sigma \beta _{2}\cdots \beta _{s}}-\ldots -R^{\sigma }{}_{\beta _{s}\delta \gamma }T^{\alpha _{1}\cdots \alpha _{r}}{}_{\beta _{1}\cdots \beta _{s-1}\sigma }\end{aligned}}}$

Esta fórmula también se aplica a densidades tensoriales sin alteración, porque para la conexión Levi-Civita ( no genérica ) se obtiene: ^[6]

${\displaystyle \nabla _{\mu }\left({\sqrt {g}}\right)\equiv \left({\sqrt {g}}\right)_{;\mu }=0,}$

dónde

${\displaystyle g=\left|\det \left(g_{\mu \nu }\right)\right|.}$

A veces es conveniente definir también la versión puramente covariante del tensor de curvatura por

${\displaystyle R_{\rho \sigma \mu \nu }=g_{\rho \zeta }R^{\zeta }{}_{\sigma \mu \nu }.}$

Significado geométrico

Figura que muestra el significado geométrico del tensor de curvatura de Riemann en una variedad curva esférica. El hecho de que esta transferencia pueda definir dos flechas diferentes en el punto inicial da lugar al tensor de curvatura de Riemann. El símbolo ortogonal indica que el producto escalar (proporcionado por el tensor métrico) entre las flechas transmitidas (o las flechas tangentes en la curva) es cero. El ángulo entre las dos flechas es cero cuando el espacio es plano y mayor que cero cuando el espacio es curvo. Cuanto más curvo es el espacio, mayor es el ángulo.

Informalmente

Se pueden ver los efectos del espacio curvo comparando una cancha de tenis y la Tierra. Comience en la esquina inferior derecha de la cancha de tenis, con una raqueta extendida hacia el norte. Luego, mientras caminas por el contorno de la cancha, en cada paso asegúrate de que la raqueta de tenis se mantenga en la misma orientación, paralela a sus posiciones anteriores. Una vez completado el bucle la raqueta de tenis quedará paralela a su posición inicial. Esto se debe a que las canchas de tenis están construidas de manera que la superficie sea plana. Por otro lado, la superficie de la Tierra es curva: podemos completar un bucle sobre la superficie de la Tierra. Comenzando en el ecuador, apunte una raqueta de tenis hacia el norte a lo largo de la superficie de la Tierra. Una vez más la raqueta de tenis debe permanecer siempre paralela a su posición anterior, tomando como referencia el plano local del horizonte. Para este camino, primero camina hacia el polo norte, luego camina de lado (es decir, sin girar) hacia el ecuador y finalmente camina hacia atrás hasta tu posición inicial. Ahora la raqueta de tenis estará apuntando hacia el oeste, aunque cuando iniciaste tu viaje apuntaba hacia el norte y nunca giraste tu cuerpo. Este proceso es similar al transporte paralelo de un vector a lo largo del camino y la diferencia identifica cómo las líneas que parecen "rectas" sólo lo son localmente. Cada vez que se completa un bucle, la raqueta de tenis se desviará más de su posición inicial en una cantidad que dependerá de la distancia y la curvatura de la superficie. Es posible identificar caminos a lo largo de una superficie curva donde el transporte paralelo funciona como lo hace en un espacio plano. Estas son las geodésicas del espacio, por ejemplo cualquier segmento de un círculo máximo de una esfera.

El concepto de espacio curvo en matemáticas difiere del uso conversacional. Por ejemplo, si el proceso anterior se completara en un cilindro, se encontraría que no está curvado en general, ya que la curvatura alrededor del cilindro se cancela con la planitud a lo largo del cilindro, esto es una consecuencia de la curvatura gaussiana y el teorema egregium de Gauss . Un ejemplo familiar de esto es una porción de pizza flexible que permanecerá rígida a lo largo de su longitud si se curva a lo ancho.

El tensor de curvatura de Riemann es una forma de capturar una medida de la curvatura intrínseca. Cuando lo escribes en términos de sus componentes (como escribir los componentes de un vector), consiste en una matriz multidimensional de sumas y productos de derivadas parciales (algunas de esas derivadas parciales pueden considerarse como algo similar a capturar la curvatura impuesta a alguien que camina en línea recta sobre una superficie curva).

Formalmente

Cuando un vector en un espacio euclidiano se transporta paralelo alrededor de un bucle, volverá a apuntar en la dirección inicial después de regresar a su posición original. Sin embargo, esta propiedad no se cumple en el caso general. El tensor de curvatura de Riemann mide directamente el fallo de este en una variedad riemanniana general . Este fracaso se conoce como la no holonomía de lo múltiple.

Sea una curva en una variedad de Riemann . Denote por el mapa de transporte paralelo a lo largo de . Los mapas de transporte paralelo están relacionados con la derivada covariante por ${\displaystyle x_{t}}$ ${\displaystyle M}$ ${\displaystyle \tau _{x_{t}}:T_{x_{0}}M\to T_{x_{t}}M}$ ${\displaystyle x_{t}}$

${\displaystyle \nabla _{{\dot {x}}_{0}}Y=\lim _{h\to 0}{\frac {1}{h}}\left(Y_{x_{0}}-\tau _{x_{h}}^{-1}\left(Y_{x_{h}}\right)\right)=\left.{\frac {d}{dt}}\left(\tau _{x_{t}}^{-1}(Y_{x_{t}})\right)\right|_{t=0}}$

para cada campo vectorial definido a lo largo de la curva. ${\displaystyle Y}$

Supongamos que y son un par de campos vectoriales conmutantes. Cada uno de estos campos genera un grupo de difeomorfismos de un parámetro en una vecindad de . Denotemos por y , respectivamente, los transportes paralelos a lo largo de los flujos de y durante el tiempo . El transporte paralelo de un vector alrededor del cuadrilátero de lados , , , viene dado por ${\displaystyle X}$ ${\displaystyle Y}$ ${\displaystyle x_{0}}$ ${\displaystyle \tau _{tX}}$ ${\displaystyle \tau _{tY}}$ ${\displaystyle X}$ ${\displaystyle Y}$ ${\displaystyle t}$ ${\displaystyle Z\in T_{x_{0}}M}$ ${\displaystyle tY}$ ${\displaystyle sX}$ ${\displaystyle -tY}$ ${\displaystyle -sX}$

${\displaystyle \tau _{sX}^{-1}\tau _{tY}^{-1}\tau _{sX}\tau _{tY}Z.}$

Esto mide la falla del transporte paralelo para regresar a su posición original en el espacio tangente . Reducir el bucle enviando da la descripción infinitesimal de esta desviación: ${\displaystyle Z}$ ${\displaystyle T_{x_{0}}M}$ ${\displaystyle s,t\to 0}$

${\displaystyle \left.{\frac {d}{ds}}{\frac {d}{dt}}\tau _{sX}^{-1}\tau _{tY}^{-1}\tau _{sX}\tau _{tY}Z\right|_{s=t=0}=\left(\nabla _{X}\nabla _{Y}-\nabla _{Y}\nabla _{X}-\nabla _{[X,Y]}\right)Z=R(X,Y)Z}$

¿ Dónde está el tensor de curvatura de Riemann? ${\displaystyle R}$

expresión coordinada

Convirtiendo a la notación de índice tensorial , el tensor de curvatura de Riemann viene dado por

${\displaystyle R^{\rho }{}_{\sigma \mu \nu }=dx^{\rho }\left(R\left(\partial _{\mu },\partial _{\nu }\right)\partial _{\sigma }\right)}$

¿ Dónde están los campos vectoriales de coordenadas? La expresión anterior se puede escribir usando símbolos de Christoffel : ${\displaystyle \partial _{\mu }=\partial /\partial x^{\mu }}$

${\displaystyle R^{\rho }{}_{\sigma \mu \nu }=\partial _{\mu }\Gamma ^{\rho }{}_{\nu \sigma }-\partial _{\nu }\Gamma ^{\rho }{}_{\mu \sigma }+\Gamma ^{\rho }{}_{\mu \lambda }\Gamma ^{\lambda }{}_{\nu \sigma }-\Gamma ^{\rho }{}_{\nu \lambda }\Gamma ^{\lambda }{}_{\mu \sigma }}$

(ver también la lista de fórmulas en geometría de Riemann ).

Simetrías e identidades

El tensor de curvatura de Riemann tiene las siguientes simetrías e identidades:

donde el paréntesis se refiere al producto interno en el espacio tangente inducido por el tensor métrico y los paréntesis y paréntesis en los índices denotan los operadores de antisimetrización y simetrización , respectivamente. Si hay torsión distinta de cero , las identidades de Bianchi implican el tensor de torsión . ${\displaystyle \langle ,\rangle }$

La primera identidad (algebraica) de Bianchi fue descubierta por Ricci , pero a menudo se la llama primera identidad Bianchi o identidad algebraica de Bianchi , porque se parece a la identidad diferencial de Bianchi . ^{[ cita necesaria ]}

Las primeras tres identidades forman una lista completa de simetrías del tensor de curvatura, es decir, dado cualquier tensor que satisfaga las identidades anteriores, se puede encontrar una variedad de Riemann con dicho tensor de curvatura en algún punto. Cálculos simples muestran que dicho tensor tiene componentes independientes. ^[9] De aquí se deriva la simetría de intercambio. Las simetrías algebraicas también equivalen a decir que R pertenece a la imagen del simetrizador de Young correspondiente a la partición 2+2. ${\displaystyle n^{2}\left(n^{2}-1\right)/12}$

En una variedad de Riemann se tiene la derivada covariante y la identidad de Bianchi (a menudo llamada segunda identidad de Bianchi o identidad diferencial de Bianchi) toma la forma de la última identidad de la tabla. ${\displaystyle \nabla _{u}R}$

Curvatura de Ricci

El tensor de curvatura de Ricci es la contracción del primer y tercer índices del tensor de Riemann.

${\displaystyle \underbrace {R_{ab}} _{\text{Ricci}}\equiv \underbrace {R^{c}{}_{acb}} _{\text{Riemann}}=g^{cd}\underbrace {R_{cadb}} _{\text{Riemann}}}$

Casos especiales

Superficies

Para una superficie bidimensional , las identidades de Bianchi implican que el tensor de Riemann tiene sólo un componente independiente, lo que significa que el escalar de Ricci determina completamente el tensor de Riemann. Sólo hay una expresión válida para el tensor de Riemann que se ajusta a las simetrías requeridas:

${\displaystyle R_{abcd}=f(R)\left(g_{ac}g_{db}-g_{ad}g_{cb}\right)}$

y al contraer con la métrica dos veces encontramos la forma explícita:

${\displaystyle R_{abcd}=K\left(g_{ac}g_{db}-g_{ad}g_{cb}\right),}$

donde es el tensor métrico y es una función llamada curvatura gaussiana y a , b , cyd toman valores 1 o 2. El tensor de Riemann tiene solo un componente funcionalmente independiente. La curvatura gaussiana coincide con la curvatura seccional de la superficie. También es exactamente la mitad de la curvatura escalar de la variedad 2, mientras que el tensor de curvatura de Ricci de la superficie viene dado simplemente por ${\displaystyle g_{ab}}$ ${\displaystyle K=R/2}$

${\displaystyle R_{ab}=Kg_{ab}.}$

Formas espaciales

Una variedad de Riemann es una forma espacial si su curvatura seccional es igual a una constante K. El tensor de Riemann de una forma espacial viene dado por

${\displaystyle R_{abcd}=K\left(g_{ac}g_{db}-g_{ad}g_{cb}\right).}$

Por el contrario, excepto en la dimensión 2, si la curvatura de una variedad de Riemann tiene esta forma para alguna función K , entonces las identidades de Bianchi implican que K es constante y, por lo tanto, que la variedad es (localmente) una forma espacial.

Ver también

• Introducción a las matemáticas de la relatividad general.
• Descomposición del tensor de curvatura de Riemann
• Curvatura de variedades de Riemann
• tensor de curvatura de Ricci

Citas

1. Lee 2018, pag. 193.
2. Lee 2018, pag. 196.
3. Lawson, H. Blaine hijo; Michelsohn, Marie-Louise (1989). Geometría de giro . Prensa de la Universidad de Princeton. pag. 154.ISBN​ 978-0-691-08542-5.
4. Synge JL, Schild A. (1949). Cálculo tensorial. Primera edición de 1978 de Dover Publications. págs.83, 107. ISBN 978-0-486-63612-2.
5. PAM Dirac (1996). Teoría General de la Relatividad . Prensa de la Universidad de Princeton . ISBN 978-0-691-01146-2.
6. Lovelock, David; Rund, Hanno (1989) [1975]. Tensores, formas diferenciales y principios variacionales . Dover. pag. 84.109. ISBN 978-0-486-65840-7.
7. Ricci, Gregorio ; Levi-Civita, Tullio (marzo de 1900), "Méthodes de calcul différentiel absolu et leurs apps", Mathematische Annalen , 54 (1–2): 125–201, doi :10.1007/BF01454201, S2CID  120009332
8. Sandberg, Vernon D (1978). "Armónicos tensoriales esféricos en S 2 y S 3 como problemas de valores propios" (PDF) . Revista de Física Matemática . 19 (12): 2441–2446. Código bibliográfico : 1978JMP....19.2441S. doi : 10.1063/1.523649.
9. Bergmann PG (1976). Introducción a la Teoría de la Relatividad. Dover. págs. 172-174. ISBN 978-0-486-63282-7.

Referencias

• Lee, John M. (2018). Introducción a las variedades de Riemann . Springer-Verlag . ISBN 978-3-319-91754-2.
• Besse, AL (1987), Colectores de Einstein , Springer, ISBN 0-387-15279-2
• Kobayashi, S.; Nomizu, K. (1963), Fundamentos de la geometría diferencial , vol. 1, interciencia
• Misner, Charles W .; Thorne, Kip S .; Wheeler, John A. (1973), Gravitación , WH Freeman, ISBN 978-0-7167-0344-0