Transcendence of simple geodesics on finite modular covers

Resumen Técnico: Trascendencia de Geodésicas Simples en Cubiertas Modulares Finitas

Planteamiento del Problema
El artículo investiga la naturaleza aritmética de los extremos de las geodésicas simples en cubiertas modulares finitas del orbifold modular $M = \text{PSL}_2(\mathbb{Z})\backslash \mathbb{H}$. Específicamente, aborda la tricotomía de los números reales basada en sus expansiones de fracciones continuas: racionales, irracionales cuadráticos o trascendentes.

El problema central es determinar la clasificación aritmética del extremo $\xi_+ \in \mathbb{RP}^1$ de una geodésica $\xi = (\xi_-, \xi_+)$ en el plano hiperbólico $\mathbb{H}$, dado que su proyección $\xi'$ sobre una cubierta finita $M' = \Gamma'\backslash \mathbb{H}$ (donde $\Gamma' \subset \Gamma$ es un subgrupo de índice finito) es una geodésica simple (es decir, no tiene autointersecciones transversales en $M'$).

Si bien está bien establecido que los extremos racionales corresponden a geodésicas que escapan hacia los cúspides y los extremos cuadráticos corresponden a geodésicas que acumulan en órbitas periódicas, el estatus de las geodésicas simples que no entran en estas categorías permanece abierto. El artículo postula que tales geodésicas deben corresponder a números trascendentes, extendiendo la prolongada conjetura de Khintchine sobre las fracciones continuas acotadas al entorno geométrico de las cubiertas modulares.

Metodología
El artículo emplea una síntesis de topología de dimensión baja, dinámica simbólica y aproximación diofántica:

1. Correspondencia Geométrico-Combinatoria: Los autores utilizan la dualidad entre las geodésicas en $\mathbb{H}$ y las trayectorias en el árbol trivalente dual $T$. Las geodésicas simples en la cubierta finita $M'$ corresponden a geodésicas combinatorias en el grafo cociente $T' = T/\Gamma'$. La condición de simplicidad impone un límite a las "excursiones de cúspide" (los cocientes parciales en la expansión de la fracción continua), asegurando que la secuencia de cocientes parciales esté acotada por el ancho máximo de la cúspide de la cubierta.
2. Dinámica Simbólica y Complejidad: La trayectoria de una geodésica simple se codifica como una secuencia $X$ sobre un alfabeto finito (derivado de los generadores del monoide euclidiano). Los autores analizan la complejidad de factores (el número de subpalabras distintas de longitud $n$) de estas secuencias.
   • Para las geodésicas que forman hojas de laminaciones geodésicas mínimas, los autores establecen que las secuencias simbólicas asociadas tienen una complejidad sub-afín (específicamente, una complejidad aproximadamente lineal).
   • Esta baja complejidad implica la existencia de "repeticiones largas" en la estructura de la secuencia.
3. Criterios de Trascendencia: Los autores aplican resultados profundos de la aproximación diofántica, específicamente el Teorema del Subespacio de Schmidt y los criterios de trascendencia desarrollados por Adamczewski, Bugeaud y otros.
   • Teoremas 1.8 y 1.9: Estos criterios establecen que si una fracción continua acotada tiene complejidad de factor sub-afín (o específicamente, repeticiones largas), el número real correspondiente es o bien cuadrático o trascendente.
   • El artículo refina esto acotando los exponentes de Mahler ($w_n$ y $\hat{w}_n$) de los números trascendentes, clasificándolos en clases de Mahler $S$ o $T$ (o $U_2$ si la constante de Lagrange es ilimitada).

Contribuciones Clave y Resultados

1. Conjetura Principal (Conjetura 0.3 / 2.3): El artículo propone que para cualquier subgrupo de índice finito $\Gamma' \subset \text{PSL}_2(\mathbb{Z})$, si una geodésica $\xi'$ en la cubierta $M'$ es simple, entonces su extremo $\xi_+$ es racional, cuadrático o trascendente.
2. Prueba para Laminaciones Mínimas (Teorema 0.4 / 2.7): La conjetura se demuestra para el caso en que la geodésica simple es una hoja de una laminación geodésica mínima.
   • Resultado: Si $\Xi' \subset M'$ es una laminación mínima, entonces los extremos $\xi_\pm$ son conjugados cuadráticos o ambos son trascendentes.
   • Refinamiento: En el caso trascendente, los exponentes de Mahler están acotados. Específicamente, o bien $w_2(\xi_\pm) = \infty$ (clase de Mahler $U_2$) o existe una constante $c$ tal que $w_d(\xi_\pm) \leq \exp(c(\log 3d)^3 (\log \log 3d)^2)$, situándolos en las clases de Mahler $S$ o $T$.
3. El Caso del Toro Modular (Sección 3): El artículo proporciona un análisis detallado de la cubierta del toro modular asociada al subgrupo derivado $\Gamma' = [\Gamma, \Gamma]$.
   • Confirma la conjetura para esta cubierta específica, distinguiendo entre números racionales/cuadráticos de Markov (asociados a geodésicas simples periódicas) y números trascendentes de Sturmian (asociados a geodésicas simples aperiódicas).
   • Conecta la constante de Lagrange $L(\xi_+)$ con el tipo topológico: $L(\xi_+) > 3$ corresponde a números de Markov, mientras que $L(\xi_+) = 3$ corresponde a trascendentes de Sturmian.
4. Espectros de Mahler y Números Simples Profinitos: El artículo define los "números simples profinitos" como aquellos que surgen de geodésicas simples en cualquier cubierta modular finita. Observa que estos conjuntos tienen dimensión de Hausdorff 0 y plantea interrogantes sobre la topología métrica de sus espectros de Lagrange y Mahler.

Significado y Reivindicaciones
El artículo afirma resolver la cuestión de la trascendencia para una clase significativa de geodésicas simples (aquellas en laminaciones mínimas) vinculando la simplicidad topológica con la propiedad diofántica de la complejidad de factor sub-afín en las fracciones continuas.

• Unificación: Unifica la simplicidad geométrica (sin autointersecciones) con las propiedades diofánticas (acotación y repetición en las fracciones continuas).
• Extensión de la Conjetura de Khintchine: Proporciona un contexto geométrico para la conjetura de que las fracciones continuas acotadas son o bien racionales, cuadráticas o trascendentes, demostrándolo para el caso específico de las laminaciones mínimas donde la secuencia no solo es acotada sino que posee baja complejidad.
• Límites Cuantitativos: A diferencia de otros resultados cualitativos de trascendencia, este trabajo proporciona límites superiores explícitos para los exponentes de Mahler de los números trascendentes que surgen de estas configuraciones geométricas.

Los autores declaran explícitamente que la conjetura general para todas las geodésicas simples (no solo aquellas en laminaciones mínimas) permanece abierta, aunque proporcionan evidencia sólida y un marco para investigaciones futuras, particularmente respecto a los números simples profinitos y su relación con los subgrupos de congruencia. El trabajo se posiciona en la intersección de la topología de dimensión baja, la dinámica simbólica y la aproximación diofántica, ofreciendo una nueva perspectiva sobre la naturaleza aritmética de los flujos geodésicos en superficies modulares.