Tensor de Riemann en 2d y 3d

Ok, parece que me estoy perdiendo algo aquí.

Sé que el número de coeficientes independientes del tensor de Riemann es 1 12 norte 2 ( norte 2 1 ) , lo que significa que en 2d es 1 (es decir, el tensor de Riemann dado por el escalar de Ricci) y en 3d es 6 (es decir, el tensor de Riemann dado por el tensor de Ricci).

Pero, ¿por qué eso restringe el tensor de Riemann a ser solo una función de la métrica? ¿Por qué no una combinación tensorial de derivadas de la métrica?

Lo que quiero decir es por qué el tensor de Riemann está en 2D de la forma

R a b C d = R 2 ( gramo a C gramo b d gramo a d gramo b C )

y en 3D,

R a b C d = F ( R a C ) gramo b d F ( R a d ) gramo b C + F ( R b d ) gramo a C F ( R b C ) gramo a d
dónde F ( R a b ) = R a b 1 4 R gramo a b ?

Wikipedia dice algo sobre las identidades de Bianchi, pero no puedo resolverlo. Una pista que obtuve (al menos para el caso 2d) fue considerar el RHS (los términos entre paréntesis) y mostrar que satisface todas las propiedades requeridas del tensor de Riemann (sencillo) y proceder desde allí, pero no he sido capaz de presentar cualquier argumento sobre por qué debe haber un tensor único que satisfaga esas propiedades.

Por supuesto que podría usar la fuerza bruta calculando R a b C d de los símbolos de Christoffel, etc., pero seguramente debe haber un método más elegante para probar las afirmaciones anteriores.

¿Ayuda, alguien? No he podido encontrar ninguna prueba en línea, tal vez mis habilidades para buscar en Google apestan.

¿Qué quieres decir con derivadas de la métrica? gramo = 0 así que no puedes ver nada de eso. Los únicos derivados permitidos vienen en forma de R m v ρ σ porque es el único tensor que incluye derivadas de la métrica. Entonces, en 2d, el hecho de que haya un componente + las simetrías Riemann restringe a Riemann para que sea proporcional a gramo m ρ gramo v σ gramo m σ gramo v ρ , la pregunta es cómo arreglar la normalización general. Para hacer eso, tome el doble trazo de ambos lados, verá que la única normalización general consistente es R / 2 .
Su fórmula para 3d no es correcta. Mire esto, y haga n=2,3, y vea por qué en.wikipedia.org/wiki/Ricci_decomposition
Tal vez deba mencionar que, en el mismo lugar en.wikipedia.org/wiki/Ricci_decomposition encontrarás la explicación que buscas, en términos de descomposición en representaciones irreducibles. Verá por qué para n<4 la fórmula se vuelve más simple, para n=2 aún más simple que n=3.
@CristiStoica Ah ok gracias. Acabo de copiar esa ecuación (para el caso 3D) de la solución de un conjunto de problemas que encontré en línea, así que tal vez esté mal...
ah lol después de pensarlo durante tanto tiempo finalmente me di cuenta de que la respuesta es muy simple, porque solo hay 1 componente independiente, eso significa que solo hay 1 tensor base para el espacio de todos esos tensores con las propiedades que el tensor de Riemann posee Desde gramo gramo gramo gramo , que sacamos de un sombrero, funciona, es el único tensor de base y así R debe ser proporcional a gramo gramo gramo gramo . ¡gracias a todos!
La fórmula para 3d sería correcta si modificamos la definición de F ( R a b ) a F ( R a b ) = R a b 1 4 R gramo a b .
Sí, es un error tipográfico - corregido.
Por supuesto, R es, en sí mismo, una combinación tensorial de derivados de la métrica.

Respuestas (1)

La simplicidad de la geometría en dimensiones más bajas se debe a que el tensor de curvatura de Riemann podría expresarse en términos de un objeto tensor más simple: curvatura escalar y métrica (en 2d) o tensor de Ricci y métrica (en 3d). Ese hecho, por supuesto, no altera la posibilidad de escribir el tensor de Riemann (así como el tensor de Ricci y la curvatura escalar) como una combinación de derivadas métricas. Pero cada término en tal combinación no es un tensor, solo el objeto completo.

Ahora, recapitulemos por qué en dimensiones inferiores podemos reducir el tensor de Riemann a una combinación de objetos tensoriales de rango inferior.

Para el caso 3d, definición del tensor de Ricci:

R a b = R a b C d gramo a C

contiene 6 componentes independientes, exactamente el número de componentes independientes en el tensor de Riemann. Entonces, esta ecuación podría invertirse , expresando así R a b C d en términos de R a b y gramo a b .

En el segundo caso, podríamos comenzar de manera similar con la definición de escalar de Ricci:

R = R a b gramo a b ,

y revertirlo expresando R a b a través de gramo a b y R . El siguiente paso sería expresar el tensor de Riemann con gramo a b y R a b (y por lo tanto a través de escalar R solo).

Creo que quiere decir derivadas parciales, no derivadas covariantes de la métrica.
En dimensiones superiores, entran en juego las derivadas métricas, ¿no? Estas son derivadas parciales, no derivadas covariantes, escritas de manera que la expresión resultante sea tensorial. Después de todo, el tensor de Riemann se puede construir a partir de los símbolos de Christoffel y sus derivados, por lo que un tensor de Riemann general contiene gramo , gramo , 2 gramo .
Sí, obviamente, el tensor de Riemann podría escribirse como una combinación de derivadas de la métrica. Lo que tratamos de explorar aquí es la posibilidad de construir un tensor de Riemann a partir de algunos objetos tensor más simples (es decir, de menor rango). (Edité mi respuesta para enfatizar este punto).
@nervxxx: el tensor de Ricci YA es una combinación de derivados de la métrica.
@ user23660 No estoy seguro de entender por qué dices R a b = R a b C d gramo a C . ¿Es eso un error tipográfico? La misma pregunta para la "expresin de R a b C d en términos de R a b y gramo a b "