Transcendence of simple geodesics on finite modular covers

Sintesi Tecnica: Trascendenza di Geodetiche Semplici su Coperture Modulari Finite

Enunciato del Problema
Il saggio investiga la natura aritmetica degli estremi delle geodetiche semplici su coperture modulari finite dell'orbifondo modulare $M = \text{PSL}_2(\mathbb{Z})\backslash \mathbb{H}$. Nello specifico, affronta la tricotomia dei numeri reali basata sulle loro espansioni in frazioni continue: razionali, irrazionali quadratici o trascendenti.

Il problema centrale è determinare la classificazione aritmetica dell'estremo $\xi_+ \in \mathbb{RP}^1$ di una geodetica $\xi = (\xi_-, \xi_+)$ nel piano iperbolico $\mathbb{H}$, dato che la sua proiezione $\xi'$ su una copertura finita $M' = \Gamma'\backslash \mathbb{H}$ (dove $\Gamma' \subset \Gamma$ è un sottogruppo di indice finito) è una geodetica semplice (ovvero non presenta auto-intersezioni trasversali in $M'$).

Mentre è ben stabilito che gli estremi razionali corrispondono a geodetiche che sfociano nei cuspidi e gli estremi quadratici corrispondono a geodetiche che accumulano su orbite periodiche, lo stato delle geodetiche semplici che non rientrano in queste categorie rimane aperto. Il saggio postula che tali geodetiche debbano corrispondere a numeri trascendenti, estendendo la longeva congettura di Khintchine riguardante le frazioni continue limitate al contesto geometrico delle coperture modulari.

Metodologia
Il saggio impiega una sintesi di topologia a bassa dimensione, dinamica simbolica e approssimazione di Diophante:

1. Corrispondenza Geometrico-Combinatoria: Gli autori utilizzano la dualità tra le geodetiche in $\mathbb{H}$ e i cammini nell'albero trivalente duale $T$. Le geodetiche semplici corrispondono a cammini combinatori sul grafo quoziente $T' = T/\Gamma'$. La condizione di semplicità impone un limite alle "escursioni nei cuspidi" (i quozienti parziali nell'espansione in frazioni continue), garantendo che la sequenza dei quozienti parziali sia limitata dal valore massimo della larghezza del cuspidi della copertura.
2. Dinamica Simbolica e Complessità: La traiettoria di una geodetica semplice è codificata come una sequenza $X$ su un alfabeto finito (derivato dai generatori del monoide euclideo). Gli autori analizzano la complessità fattoriale (il numero di parole distinte di lunghezza $n$) di queste sequenze.
   • Per le geodetiche che formano foglie di laminazioni geodetiche minime, gli autori stabiliscono che le sequenze simboliche associate hanno una complessità sub-affine (specificamente, una complessità approssimativamente lineare).
   • Questa bassa complessità implica l'esistenza di "ripetizioni lunghe" nella struttura della sequenza.
3. Criteri di Trascendenza: Gli autori applicano risultati profondi dell'approssimazione di Diophante, nello specifico il Teorema del Sottospazio di Schmidt e i criteri di trascendenza sviluppati da Adamczewski, Bugeaud e altri.
   • Teoremi 1.8 & 1.9: Questi criteri affermano che se una frazione continua limitata ha complessità sub-affine (o specificamente, ripetizioni lunghe), il numero reale corrispondente è o quadratico o trascendente.
   • Il saggio perfeziona ulteriormente questo punto limitando gli esponenti di Mahler ($w_n$ e $\hat{w}_n$) dei numeri trascendenti, classificandoli nelle classi di Mahler $S$ o $T$ (o $U_2$ se la costante di Lagrange è illimitata).

Contributi Chiave e Risultati

1. Congettura Principale (Congettura 0.3 / 2.3): Il saggio propone che per ogni sottogruppo di indice finito $\Gamma' \subset \text{PSL}_2(\mathbb{Z})$, se una geodetica $\xi'$ nella copertura $M'$ è semplice, allora l'estremo $\xi_+$ è razionale, irrazionale quadratico o trascendente.
2. Dimostrazione per le Laminazioni Minime (Teorema 0.4 / 2.7): La congettura è dimostrata per il caso in cui la geodetica semplice sia una foglia di una laminazione geodetica minima.
   • Risultato: Se $\Xi' \subset M'$ è una laminazione minima, allora gli estremi $\xi_\pm$ sono o coniugati quadratici o entrambi trascendenti.
   • Perfezionamento: Nel caso trascendente, gli esponenti di Mahler sono limitati. Nello specifico, o $w_2(\xi_\pm) = \infty$ (classe di Mahler $U_2$) o esiste una costante $c$ tale che $w_d(\xi_\pm) \leq \exp(c(\log 3d)^3 (\log \log 3d)^2)$, collocandoli nelle classi di Mahler $S$ o $T$.
3. Il Caso del Toro Modulare (Sezione 3): Il saggio fornisce un'analisi dettagliata della copertura del toro modulare associata al sottogruppo derivato $\Gamma' = [\Gamma, \Gamma]$.
   • Conferma la congettura per questa specifica copertura, distinguendo tra numeri razionali/quadratici di Markov (associati a geodetiche semplici periodiche) e numeri trascendenti sturmiani (associati a geodetiche semplici aperiodiche).
   • Connette la costante di Lagrange $L(\xi_+)$ al tipo topologico: $L(\xi_+) > 3$ corrisponde ai numeri di Markov, mentre $L(\xi_+) = 3$ corrisponde ai trascendenti sturmiani.
4. Spettri di Mahler e Numeri Semplici Profiniti: Il saggio definisce i "numeri semplici profiniti" come quelli derivanti da geodetiche semplici in qualsiasi copertura modulare finita. Osserva che tali insiemi hanno dimensione di Hausdorff 0 e solleva questioni riguardanti la topologia metrica dei loro spettri di Lagrange e di Mahler.

Significato e Rivendicazioni
Il saggio sostiene di risolvere la questione della trascendenza per una classe significativa di geodetiche semplici (quelle nelle laminazioni minime) collegando la semplicità topologica alla proprietà aritmetica della complessità fattoriale sub-affine nelle frazioni continue.

• Unificazione: Unifica la semplicità geometrica (assenza di auto-intersezioni) con le proprietà di Diophante (limitatezza e ripetizione nelle frazioni continue).
• Estensione della Congettura di Khintchine: Fornisce un contesto geometrico alla congettura secondo cui le frazioni continue limitate sono o razionali, o quadratiche, o trascendenti, dimostrandola per il caso specifico delle laminazioni minime dove la sequenza non è solo limitata ma possiede una bassa complessità.
• Limiti Quantitativi: A differenza di precedenti risultati qualitativi sulla trascendenza, questo lavoro fornisce limiti superiori espliciti sugli esponenti di Mahler per i numeri trascendenti derivanti da queste configurazioni geometriche.

Gli autori dichiarano esplicitamente che la congettura generale per tutte le geodetiche semplici (non solo quelle nelle laminazioni minime) rimane aperta, pur fornendo prove solide e un quadro per indagini future, particolarmente riguardo ai numeri semplici profiniti e alla loro relazione con i sottogruppi di congruenza. Il lavoro si posiziona all'intersezione tra topologia a bassa dimensione, dinamica simbolica e approssimazione di Diophante, offrendo una nuova prospettiva sulla natura aritmetica dei flussi geodetici su superfici modulari.