En matemáticas , el teorema de Cartan-Ambrose-Hicks es un teorema de la geometría de Riemann , según el cual la métrica de Riemann está determinada localmente por el tensor de curvatura de Riemann o, en otras palabras, el comportamiento del tensor de curvatura en traslación paralela determina la métrica.
El teorema lleva el nombre de Élie Cartan , Warren Ambrose y su estudiante de doctorado Noel Hicks. [1] Cartan demostró la versión local. Ambrose demostró una versión global que permite isometrías entre variedades riemannianas generales con curvatura variable, en 1956. [2] Hicks generalizó aún más esto a variedades generales con conexiones afines en sus haces tangentes , en 1959. [3]
Un enunciado y una prueba del teorema se pueden encontrar en [4]
Introducción
Sean variedades riemannianas completas y conectadas. Consideramos el problema de mapear isométricamente un pequeño parche en un pequeño parche en .![{\displaystyle M,N}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle N}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Deja y deja![{\displaystyle x\en M,y\en N}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle I:T_{x}M\rightarrow T_{y}N}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
ser una isometría lineal . Esto puede interpretarse como un mapeo isométrico de un parche infinitesimal (el espacio tangente) en un parche infinitesimal en . Ahora intentamos extenderlo a un parche finito (en lugar de infinitesimal).![{\displaystyle x}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Para aplicaciones suficientemente pequeñas , los mapas exponenciales![{\displaystyle r>0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \exp _{x}:B_{r}(x)\subset T_{x}M\rightarrow M,\exp _{y}:B_{r}(y)\subset T_{y}N\ flecha derecha N}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
son difeomorfismos locales. Aquí, ¿la bola está centrada en de radio? Entonces se define un difeomorfismo por![{\displaystyle B_{r}(x)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle r.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f:B_{r}(x)\rightarrow B_{r}(y)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f=\exp _{y}\circ I\circ \exp _{x}^{-1}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
¿Cuándo es una isometría? Intuitivamente, debería ser una isometría si cumple las dos condiciones:![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Es una isometría lineal en el espacio tangente de cada punto de , es decir, es una isometría en los parches infinitesimales.
![{\displaystyle B_{r}(x)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Preserva el tensor de curvatura en el espacio tangente de cada punto de , es decir, preserva cómo encajan los parches infinitesimales.
![{\displaystyle B_{r}(x)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Si es una isometría, debe preservar las geodésicas. Por tanto, es natural considerar el comportamiento de cuando lo transportamos a lo largo de un radio geodésico arbitrario que comienza en . Por propiedad del mapeo exponencial, lo mapea a un radio geodésico que comienza en ,. ![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \gamma :\left[0,T\right]\rightarrow B_{r}(x)\subset M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \gamma (0)=x}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle B_{r}(y)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f(\gamma )(0)=y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Sea el transporte paralelo a lo largo (definido por la conexión Levi-Civita ), y sea el transporte paralelo a lo largo , entonces tenemos el mapeo entre parches infinitesimales a lo largo de los dos radios geodésicos:![{\ Displaystyle P _ {\ gamma} (t)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \gamma}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle P_{f(\gamma )(t)}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f(\gamma )}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle I_{\gamma }(t)=P_{f(\gamma )(t)}\circ I\circ P_{\gamma (t)}^{-1}:T_{\gamma (t)} M\rightarrow T_{f(\gamma (t))}N\quad {\text{ para todos }}t\in [0,T]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
teorema de cartan
El teorema original demostrado por Cartan es la versión local del teorema de Cartan-Ambrose-Hicks.
es una isometría si y sólo si para todos los radios geodésicos con , y todos , tenemos
dónde están los tensores de curvatura de Riemann de .![{\displaystyle \gamma :\left[0,T\right]\rightarrow B_{r}(x)\subset M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \gamma (0)=x}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle t\in [0,T],X,Y,Z\in T_{\gamma (t)}M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle I_{\gamma }(t)(R(X,Y,Z))={\overline {R}}(I_{\gamma }(t)(X),I_{\gamma }(t) (Y),I_{\gamma}(t)(Z))}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle R,{\overline {R}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M,N}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
En palabras, afirma que es una isometría si y sólo si la única forma de preservar su isometría infinitesimal preserva también la curvatura de Riemann.![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Tenga en cuenta que, en general, no tiene por qué ser un difeomorfismo, sino solo un mapa de cobertura isométrico local . Sin embargo, debe ser una isometría global si es simplemente conexa.![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle N}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Teorema de Cartan-Ambrose-Hicks
Teorema : Para los tensores de curvatura de Riemann y todas las geodésicas rotas (una geodésica rota es una curva que es geodésica por partes) con , supongamos que![{\displaystyle R,{\overline {R}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \gamma :\left[0,T\right]\rightarrow M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \gamma (0)=x}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle I_{\gamma }(t)(R(X,Y,Z))={\overline {R}}(I_{\gamma }(t)(X),I_{\gamma }(t) (Y),I_{\gamma}(t)(Z))}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
para todos .![{\displaystyle t\in [0,T],X,Y,Z\in T_{\gamma (t)}M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Entonces, si dos geodésicas rotas que comienzan en tienen el mismo punto final, las geodésicas rotas correspondientes (mapeadas por ) en también tienen el mismo punto final. En consecuencia, existe un mapa definido mapeando los puntos finales geodésicos rotos en los puntos finales geodésicos correspondientes en .![{\displaystyle x}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle I _ {\ gamma}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle N}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F:M\rightarrow N}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle N}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
El mapa es un mapa de cobertura localmente isométrico.![{\displaystyle F:M\rightarrow N}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Si también es simplemente conexo, entonces es una isometría.![{\displaystyle N}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Espacios localmente simétricos
Una variedad de Riemann se llama localmente simétrica si su tensor de curvatura de Riemann es invariante bajo transporte paralelo:
![{\displaystyle \nabla R=0.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Una variedad de Riemann simplemente conexa es localmente simétrica si es un espacio simétrico .
Del teorema de Cartan-Ambrose-Hicks, tenemos:
Teorema : Sean variedades de Riemann localmente simétricas, completas y conexas, y sean simplemente conexas. Sean sus tensores de curvatura de Riemann . dejar y![{\displaystyle M,N}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle R,{\overline {R}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x\en M,y\en N}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle I:T_{x}M\rightarrow T_{y}N}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
ser una isometría lineal con . Entonces existe un mapa de cobertura localmente isométrico.![{\displaystyle I(R(X,Y,Z))={\overline {R}}(I(X),I(Y),I(Z))}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F:M\rightarrow N}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
con y .![{\displaystyle F(x)=y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle D_{x}F=I}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Corolario : Cualquier espacio localmente simétrico completo tiene la forma , donde es un espacio simétrico y es un subgrupo discreto de isometrías de .![{\displaystyle M/\Gamma }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Gamma \subset \mathrm {Isom} (M)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Clasificación de formas espaciales.
Como aplicación del teorema de Cartan-Ambrose-Hicks, cualquier variedad de Riemann completa, simplemente conexa y con curvatura seccional constante es, respectivamente, isométrica a la n -esfera , al espacio n -euclidiano y al espacio n -hiperbólico .
![{\displaystyle \mathbb {H} ^{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Referencias
- ^ Proyecto de genealogía de matemáticas, entrada de Noel Justin Hicks
- ^ Ambrosio, W. (1956). "Traducción paralela de la curvatura de Riemann". Los Anales de las Matemáticas . 64 (2). JSTOR: 337. doi : 10.2307/1969978. ISSN 0003-486X.
- ^ Hicks, Noël (1959). "Un teorema sobre conexiones afines". Revista de Matemáticas de Illinois . 3 (2): 242–254. doi : 10.1215/ijm/1255455125 . ISSN 0019-2082.
- ^ Cheeger, Jeff; Ebin, David G. (2008). "Capítulo 1, Sección 12, El teorema de Cartan-Ambrose-Hicks". Teoremas de comparación en geometría de Riemann . Providencia, Rhode Island: Pub AMS Chelsea. ISBN 0-8218-4417-2. OCLC 185095562.