21 votos

Curvatura y transporte paralelo

He aquí una formulación actualizada de la pregunta, que es más precisa y creo que completamente correcta:

Supongamos que $M$ es una variedad riemanniana. Elige un punto $p$ en $M$ y que $U$ sea una vecindad del origen en $T_p M$ en el que $exp_p$ se restringe a un difeomorfismo. Sea $X$ y $Y$ sean vectores tangentes en $T_p M$ y que $V$ sea la intersección de $U$ y el plano abarcado por $X$ y $Y$ . Sea $c(t)$ sea una curva simple cerrada a trozos en $V$ . Afirmo que para cualquier vector $Z$ en $T_p M$ ,

$R(X,Y)Z=(P_c(Z)−Z)Area(c)+o(Area(c))$

donde $R$ es el tensor de curvatura de Riemann, $P_c$ es el transporte paralelo alrededor de la imagen de $c$ en $exp_p$ y $Area(c)$ es el área delimitada por la imagen de $c$ en $exp_p$ .

¿Puede alguien remitirme a una prueba de esta afirmación o algo similar? Estoy bastante seguro de que el argumento tiene algo que ver con la integración de la forma 2 de curvatura sobre la superficie incrustada obtenida al restringir $exp_p$ a la región delimitada por $c$ pero estoy teniendo problemas con las estimaciones. Por desgracia, no encuentro nada en Kobayashi y Nimazu.

Gracias de antemano.

Paul

21voto

Su fórmula para $R(X,Y)Z$ parece ser idéntica a la fórmula de la página 256 de Peter Petersen, "Riemannian Geometry", segunda edición, Springer 2006. Petersen da un esbozo de una prueba, y llama a la fórmula "caracterización de Cartan de la curvatura".

20voto

mreggen Puntos 2940

Me parece que una de las razones por las que nadie ha demostrado aún la fórmula es que ésta sigue siendo errónea. En primer lugar, la fórmula tiene que depender de $X$ y $Y$ . Si se reescala $X$ y $Y$ La parte izquierda de la fórmula cambia de tamaño, pero la parte derecha se mantiene constante. Eso no puede ser. En segundo lugar, los dos lados de la ecuación no escalan igual bajo una escala constante de la métrica.

Considero que la derivación de la versión correcta es un ejercicio razonable aunque desafiante para un estudiante de posgrado serio en geometría diferencial, así que esperaba que alguien más proporcionara los detalles. Se puede hacer usando sólo las definiciones y propiedades básicas de una métrica de Riemann, su conexión y la curvatura de Riemann con el teorema fundamental del cálculo y la regla del producto para la diferenciación. Aunque aprendí la mayor parte de la geometría riemanniana después de salir de la escuela de posgrado, pasé muchas, muchas horas haciendo cálculos y argumentos como éste una y otra vez. Casi toda la geometría riemanniana global implica trabajar con campos de Jacobi utilizando argumentos como el que se utiliza para demostrar esta fórmula local.

Pero me cansé de esperar, así que escribí todos los detalles. Si eres estudiante, te recomiendo que trates de leer lo menos posible mi prueba o que simplemente la escanees rápidamente y trates de terminarla tú mismo.

Advertencia: He escrito esto muy rápidamente y no he comprobado si hay errores o erratas. Es posible que mi fórmula final no sea correcta, pero confío en que mi argumento pueda ser utilizado para obtener una fórmula correcta. Tampoco proporcioné hasta el último detalle, así que, si no estás familiarizado con un argumento como éste, tienes que trabajar mucho para asegurarte de que todo funciona realmente. El truco clave es llevar todo al cuadrado de la unidad, donde se puede utilizar el cálculo elemental. Estoy seguro de que este truco puede sustituirse por el teorema de Stokes sobre el propio colector, pero eso es demasiado sofisticado para mi gusto.

Cálculo de la holonomía

AÑADIDO:

La fórmula correcta, si se asume $|X\wedge Y| = 1$ es

$P_\gamma Z - Z = Area(c) R(X,Y)Z$

Esto se escala correctamente cuando se reescala la métrica por un factor constante. Obsérvese que el lado izquierdo es invariable al reescalar la métrica.

Recomiendo mirar los artículos escritos por Hermann Karcher, especialmente el que escribió con Jost sobre funciones casi lineales, el que escribió con Heintze sobre un teorema de comparación generalizado y el que escribió sobre el centro de masa de Riemann. Hace tiempo que no miro esto ni nada más, pero tengo la impresión de que aprendí mucho sobre cómo trabajar con los campos de Jacobi y la curvatura de Riemann gracias a estos trabajos.

Por último, no te preocupes por citar nada de lo que he dicho o escrito. Escribe tu propia prueba de lo que necesites. Si resulta que se parece mucho a lo que he escrito, no pasa nada. Considero que todo esto es "materia estándar" que cualquier buen geómetra de Riemann conoce, aunque lo diga de forma diferente a mí.

AÚN MÁS: Hay cálculos similares en mi trabajo con Penny Smith: P. D. Smith y Deane Yang Eliminación de las singularidades puntuales de las variedades riemannianas TAMS (333) 203-219, especialmente en la sección 7, titulada "Campos vectoriales radialmente paralelos". En la sección 5, atribuimos nuestro enfoque a H. Karcher y citamos referencias específicas.

5voto

Johnny Edge Puntos 411

Creo, esto es llamado Ambrosio-teorema de Cantor. Para la prueba se pueden introducir unas coordenadas (s,t) en el exp-imagen de plano generado por X y y, y definir V(s,t) para ser paralelo a lo largo de, digamos s-coordinar líneas. A continuación, cómo calcular la derivada de V en t-cambios de dirección a lo largo de s-coordinar líneas: es D_s D_t V = R(X,Y)V desde D_t D_s V \equiv 9, e s, t de coordenadas de los vectores de conmuta - luego integral de D_t V (s,t) = \int R(X,Y)V - D_t V(0,t), que es su transporte paralelo ... puede ser algo sobre esto en doCarmo geometría de Riemann, o de Milnor de la teoría de Morse ...

2voto

Mike Puntos 978

Estas cuestiones se tratan con gran detalle en la conferencia 19 del libro "Geometría diferencial" de Postnikov. La edición original en ruso está reseñada en [MR0985587 (90h:53002)]; también hay una edición en francés, pero no conozco ninguna en inglés.

1voto

jmah Puntos 1770

Pondría esto en un comentario si tuviera suficientes puntos de reputación, pero hay algo raro en tu fórmula. Por las definiciones que has dado, el RHS no depende de X e Y explícitamente, pero el LHS es tensorial en X, Y. Si sustituyes X e Y por 2X y -Y, el plano abarcado por ellos será el mismo, y por tanto el dominio V es el mismo. Así que el RHS no cambia y el LHS se convierte en -2 de lo que es.

Aunque puedo ver que el problema del cambio de signo asociado al intercambio de X e Y se soluciona si se utiliza el área con signo, creo que necesitas aclarar algunas de tus definiciones para que la fórmula tenga sentido.

Para ser más precisos, el segundo término del lado derecho es pequeño, así que lo ignoraremos. El primer término es el área por un elemento de holonomía. Por definición del transporte paralelo, $\|P_cZ - Z\| \leq 2 \|Z\|$ por la desigualdad del triángulo, por lo que para un Z fijo la RHS es $\lesssim Area(c)$ que si se puede hacer arbitrariamente pequeño. El lado izquierdo para el fijo $X,Y$ está, bueno, arreglado.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X