El flujo geodésico en una superficie hiperbólica compacta (es decir, una superficie con una métrica riemanniana de curvatura constante −1−1 ) ha sido bien estudiado, en particular se sabe desde hace mucho tiempo que es ergódico (de hecho se mezcla). Sin embargo, en una superficie hiperbólica de volumen infinito, no conozco ningún resultado sobre las propiedades dinámicas de este flujo (sin embargo, parece que hay algunos resultados sobre superficies de traslación infinita). Agradezco cualquier referencia a resultados en esta dirección como respuesta (o quizás más apropiadamente como comentario) a esta pregunta.
He aquí algunas consultas más específicas: let SS sea una superficie hiperbólica completa de volumen infinito (para simplificar supongamos que SS no tiene cúspides; si fuera necesario también se podría suponer que SS tiene un radio de inyectividad positivo, aunque prefiero evitar hacer esta hipótesis).
- Si SS tiene un subconjunto abierto UU de los extremos que es un conjunto de Cantor (es decir, una vecindad de UU es difeomorfo a la frontera de una vecindad regular de un árbol incrustado en R3 ), ¿el flujo geodésico de S partiendo de algún punto base volver a cualquier vecindad de un extremo en U infinitas veces con probabilidad positiva (dependiendo uniformemente del punto base en un subconjunto compacto de S )?
- Si E es un extremo aislado de S con crecimiento de volumen lineal o cuadrático, ¿el flujo geodésico deja alguna vecindad de E con probabilidad uno?
Obsérvese que estas cuestiones son análogas para las superficies a los hechos correspondientes para los paseos aleatorios sobre grafos infinitos (de valencia acotada).
Por comodidad, permítanme recordar aquí la definición de extremo de una superficie. Para ello hay que fijar una secuencia Ki de subconjuntos compactos, con Ki⊂Ki+1 y ⋃iKi=S . Un fin de S se determina entonces mediante una secuencia Ci donde Ci es un componente conexo de S∖Ki y Ci+1⊂Ci . La topología sobre el conjunto de extremos tiene por base de conjuntos abiertos los conjuntos de extremos que comienzan con una secuencia finita dada C1⊃…⊃Cn para todas estas secuencias.