22 votos

¿Cómo de cerca pueden estar dos variedades en la distancia Gromov-Hausdorff?

Supongamos que tenemos dos variedades riemannianas compactas $(M,g)$ y $(N,h)$ . Defina la distancia Gromov-Hausdorff entre ellas de la manera que prefiera, yo utilizaré el mínimo de todas $\epsilon$ de manera que haya $\epsilon$ -Aproximaciones de Gromov-Hausdorff entre $(M,g)$ y $(N,h)$ .

Entonces defina $d(M,N)$ para ser el mínimo de la distancia Gromov-Hausdorff entre $(M,g)$ y $(N,h)$ tomada sobre todas las métricas riemannianas $g$ y $h$ con curvaturas seccionales limitadas en valor absoluto por 1.

Si sabes $d(M,N)$ para varias opciones de $N$ ¿Qué puede concluir sobre $M$ ?

Sé que la teoría de Cheeger-Fukaya-Gromov sobre variedades colapsadas cubre exactamente el caso cuando $d(M,N)=0$ por ejemplo $d(M,pt)=0$ si y sólo si $M$ es casi plana. Me interesan las situaciones en las que estos números no desaparecen. Por ejemplo:

Si $\Sigma$ es una superficie orientable compacta, ¿cómo debería $d(\Sigma,pt)$ depende del género?

Si $S^n$ es la esfera estándar de dimensión $n$ En qué medida las cifras $d(M,S^n)$ determinar $M$ ? ¿Existen colectores $M$ y $N$ para lo cual $d(M,N)\neq 0$ pero $d(M,S^n)=d(N,S^n)$ para todos $n$ ?

¿Existe una $\epsilon$ dependiendo sólo de las dimensiones tales que $d(M,N)<\epsilon$ implica $d(M,N)=0$ ?

Si alguien puede indicarme una referencia/papel sería muy apreciado.

8voto

Jesus Puntos 325

Esto es sólo una respuesta a un punto de su pregunta: para superficies de gran género $g$ la distancia debe ser $$ d(S, \mathrm{point}) \asymp \log(g). $$ El límite inferior debería derivarse de las estimaciones de volumen (según Gauss-Bonnet el volumen es al menos $\gg g$ y el crecimiento del volumen de las bolas en espacios con curvatura acotada es a lo sumo exponencial).

El límite superior se puede demostrar al menos de dos maneras, construcción explícita y al azar. En primer lugar se deduce de la existencia de secuencias expansivas de cubiertas de superficies aritméticas, que tienen diámetro $\ll \log(g)$ por los datos generales sobre los expansores (véase, por ejemplo, el libro de Lubotzky Grupos discretos, grafos en expansión y medidas invariantes en particular 7.3.11(ii)). Creo que probablemente se puede obtener cualquier género de esta manera, pero no estoy seguro de que alguien lo haya escrito. Por otra parte, por los resultados de Mirzakhani (ver II) en la introducción de Crecimiento de los volúmenes de Weil--Petersson y superficies hiperbólicas aleatorias de gran género , 1012.2167 ) una superficie típica del género $g$ tiene un diámetro $\ll \log(g)$ .

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