Problema con el cálculo del tensor de curvatura de la esfera de dimensión nnn

Estoy calculando el tensor de curvatura de Riemann, el tensor de curvatura de Ricci y el escalar de Ricci de la norte esfera

X 0 2 + X 1 2 + . . . . + X norte 2 = R 2 ,
cuya métrica es

d s 2 = R 2 ( d ϕ 1 2 + pecado ϕ 1 2 d ϕ 1 2 + pecado ϕ 2 2 pecado ϕ 1 2 d ϕ 2 2 + . . . . . . ) .

Hice el mismo ejercicio para la esfera 2 y descubrí que la curvatura de Riemann con un índice reducido es proporcional al producto de dos gramo gramo , y el tensor de Ricci a gramo . Espero ver el mismo resultado para la esfera n dimensional.

Estoy usando la siguiente expresión que se puede encontrar en Schutz.

R α β m v = 1 2 ( gramo α v , β m gramo α m , β v + gramo β m , α v gramo β v , α m ) .

Se puede ver claramente que sólo las derivadas de la forma gramo ϕ pag ϕ pag , ϕ metro ϕ norte dónde metro , norte < pag son distintos de cero. ¿Cómo demuestro que el tensor de curvatura de Riemann es proporcional al producto de los tensores métricos ? El tensor de Ricci es R i j = R i yo j yo = gramo yo metro R metro i yo j , como el tensor métrico es diagonal $m=l, e igualando el primer y el tercer índice en la expresión de la curvatura de RIemann, lo que haría que el primer y el tercer término fueran cero ya que las derivadas son cero según el argumento anterior, obtengo

R i j = 1 2 gramo i yo ( gramo yo yo , i j + gramo i j , yo yo ) = 1 2 gramo yo yo gramo yo yo , i j .

Estaba prediciendo, que del caso de 2 esferas para obtener un término proporcional al tensor métrico. (Para el caso de 2 esferas R i j = 1 R 2 R i j ). ¿Dónde me estoy equivocando? ¿Cómo lo convierto en una forma que se reduce a 2 esferas al sustituir, norte = 2 .

La expresión escalar de Ricci es mucho más horrible, R = gramo i metro R metro i = gramo i i R i i . Expandí tontamente esto y obtuve una expresión terrible en cuna ϕ que no se puede resumir fácilmente, mientras que necesito un número inversamente proporcional a R .

Cualquier ayuda es apreciada.

Además, (tal vez esto debería publicarse como una pregunta separada), ¿podría obtener los mismos tensores usando algún otro método, por ejemplo, tétradas? He oído hablar de esto, pero no sé mucho. Así que sería genial si alguien pudiera mostrarlo específicamente para este caso.

Debo informarle que la ecuación que está usando para el tensor de curvatura solo se cumple en coordenadas normales de Riemann y no en general. Debe utilizar la expresión con los símbolos de Christoffels.

Respuestas (1)

El cálculo directo de las derivadas no es tan difícil. Pero también se pueden ver rápidamente los valores del tensor de Riemann para una esfera, y formas simples similares, utilizando la definición del tensor de Riemann a través del transporte paralelo de vectores.

d V α = R α β γ d V β d Σ γ d
Alrededor de un punto de la esfera S d , el transporte alrededor de un área dada por d Σ γ d para valores fijos de los índices (base localmente ortonormal) le permite ver que todo esto está sucediendo en un S 2 solo. Las otras dimensiones no se ven afectadas. Es por eso que obtienes R α β γ d igual a ( 1 / a 2 ) veces gramo α γ gramo β d gramo α d gramo β γ . Efectivamente, el par de índices antisimetrizados α β tiene que ser igual a la pareja γ d . No asumí nada especial sobre el punto; todos los puntos de una esfera son igualmente buenos por una simetría. Entonces, el Ansatz para el tensor de Riemann debe cumplirse en todas partes.

Tenga en cuenta que se multiplica por 1 / a 2 , el inverso al cuadrado del radio de la esfera. Muchas de sus fórmulas lo omiten; además, estás usando un símbolo confuso R para el radio que se parece al escalar de Ricci, una cosa diferente.

En d = 2 , el tensor de Riemann solo tiene un componente independiente y la fórmula para el tensor de Riemann en términos del tensor métrico anterior en realidad se cumple para cualquier superficie si 1 / a 2 es reemplazado por R / 2 . Tenga en cuenta que las dos esferas tienen (escalar de Ricci) R = 2 / a 2 . Además, el tensor de Ricci es R i j = R gramo i j / 2 en d = 2 de modo que las ecuaciones de Einstein del vacío se obedezcan de forma idéntica.

Para d = 3 , el tensor de Riemann tiene 3 componentes independientes, al igual que el tensor de Ricci, por lo que el tensor de Riemann se puede escribir en términos del tensor de Ricci. Eso tampoco es cierto para dimensiones más altas.

Gracias por la respuesta. Pero, por favor, ¿podría guiarme en cómo podría mostrar R α β γ d = 1 a 2 ( gramo α γ gramo β d gramo α d gramo β γ ) algebraicamente de mi expresión del tensor de Riemann, que tiene derivadas de segundo orden de gramo ? No tengo idea, ¿cómo pueden desaparecer las derivadas para dar un producto de tensores métricos? ¿Debo evaluar las derivadas dobles y, por observación, escribirlas en términos del tensor métrico? (Pero a primera vista, no sé cómo se puede hacer esto).
@ramanujan_dirac Si diferencia senos, se convierten en cosenos, si vuelve a diferenciar, vuelve a convertirse en senos (y viceversa), entonces, con un poco de trigonometría, estoy seguro de que podrá extraer los componentes métricos.
Estimado @ramanujan_dirac, permítame respaldar lo que dice twistor y agregar una cosa más. Si realmente usa las fórmulas diferenciales para una métrica en particular, no obtendrá la expresión "general elegante" para el tensor de Riemann en términos del tensor métrico. Simplemente derivará los componentes individuales y podrá ver que la forma de estas funciones es la misma: puede verificar la identidad "numéricamente" (quiero decir analíticamente, pero de una manera que requiera observar funciones particulares que codifican los componentes), por asi decirlo.