Transcendence of simple geodesics on finite modular covers

Technische Samenvatting: Transcendentie van Eenvoudige Geodesen op Eindige Modulaire Covers

Probleemstelling
Het artikel onderzoekt de arithmetische aard van de eindpunten van eenvoudige geodesen op eindige modulaire covers van de modulaire orbifold $M = \text{PSL}_2(\mathbb{Z})\backslash \mathbb{H}$. Specifiek richt het zich op de trichotomie van reële getallen op basis van hun continuümbreuk-expansies: rationaal, kwadratisch irrationaal of transcendent.

Het centrale probleem is het bepalen van de arithmetische classificatie van het eindpunt $\xi_+ \in \mathbb{RP}^1$ van een geodees $\xi = (\xi_-, \xi_+)$ in het hyperbolische vlak $\mathbb{H}$, gegeven dat de projectie $\xi'$ op een eindige cover $M' = \Gamma'\backslash \mathbb{H}$ (waarbij $\Gamma' \subset \Gamma$ een ondergroep van eindige index is) een eenvoudige geodees is (dat wil zeggen, deze heeft geen transversale zelfintersecties in $M'$).

Terwijl het algemeen bekend is dat rationale eindpunten corresponderen met geodesen die naar cuspen ontsnappen en kwadratische eindpunten corresponderen met geodesen die accumuleren op periodieke banen, blijft de status van eenvoudige geodesen die niet in deze categorieën vallen, openstaan. Het artikel postuleert dat dergelijke geodesen moeten corresponderen met transcendente getallen, waarmee het de langdurige conjectuur van Khintchine over begrensde continuümbreuken uitbreidt naar de geometrische setting van modulaire covers.

Methodologie
Het artikel maakt gebruik van een synthese van laag-dimensionale topologie, symbolische dynamica en Diophantische benadering:

1. Geometrisch-Combinatorische Correspondentie: De auteurs maken gebruik van de dualiteit tussen geodesen in $\mathbb{H}$ en paden in de duale trivalent tree $T$. Eenvoudige geodesen in een eindige cover $M'$ corresponderen met combinatorische geodesen op de quotient-graaf $T' = T/\Gamma'$. De eenvoudige conditie legt een grens op aan de "cusp-excursies" (de partiële breuken in de continuümbreuk-expansie), wat ervoor zorgt dat de sequentie van partiële breuken begrensd is door de maximale cusp-breedte van de cover.
2. Symbolische Dynamica en Complexiteit: De trajectorie van een eenvoudige geodees wordt gecodeerd als een sequentie $X$ over een eindig alfabet (afgeleid van de generatoren van de Euclidische monoïde). De auteurs analyseren de factorcomplexiteit (het aantal verschillende subwoorden van lengte $n$) van deze sequentiën.
   • Voor geodesen die bladeren vormen van minimale geodeetische laminaties, stellen de auteurs vast dat de bijbehorende symbolische sequentiën een sub-affine complexiteit hebben (specifiek, ongeveer lineaire complexiteit).
   • Deze lage complexiteit impliceert het bestaan van "lange repetities" in de sequentiestructuur.
3. Transcendentie-criteria: De auteurs passen diepe resultaten toe uit de Diophantische benadering, specifiek het Schmidt Subspace Theorem en transcendentie-criteria ontwikkeld door Adamczewski, Bugeaud en anderen.
   • Stelling 1.8 & 1.9: Deze criteria stellen dat als een begrensde continuümbreuk een sub-affine complexiteit heeft (of specifiek, lange repetities), het bijbehorende reële getal ofwel kwadratisch ofwel transcendent is.
   • Het artikel verfijnt dit verder door de Mahler-exponenten ($w_n$ en $\hat{w}_n$) van de transcendente getallen te begrenzen, waarbij ze classificeren in Mahler-klassen $S$ of $T$ (of $U_2$ indien de Lagrange-constante onbegrensd is).

Belangrijkste Bijdragen en Resultaten

1. Hoofdconjectuur (Conjectuur 0.3 / 2.3): Het artikel stelt dat voor elke ondergroep $\Gamma' \subset \text{PSL}_2(\mathbb{Z})$ van eindige index, indien een geodees $\xi'$ in de cover $M'$ eenvoudig is, het eindpunt $\xi_+$ ofwel rationaal, ofwel kwadratisch, ofwel transcendent is.
2. Bewijs voor Minimale Laminaties (Stelling 0.4 / 2.7): De conjectuur wordt bewezen voor het geval dat de eenvoudige geodees een blad vormt van een minimale geodeetische laminatie.
   • Resultaat: Als $\Xi' \subset M'$ een minimale laminatie is, dan zijn de eindpunten $\xi_\pm$ ofwel kwadratische conjuncten, ofwel beide transcendent.
   • Verfijning: In het transcendente geval zijn de Mahler-exponenten begrensd. Specifiek, ofwel $w_2(\xi_\pm) = \infty$ (Mahler-klasse $U_2$), of er bestaat een constante $c$ zodat $w_d(\xi_\pm) \leq \exp(c(\log 3d)^3 (\log \log 3d)^2)$, wat hen in de Mahler-klassen $S$ of $T$ plaatst.
3. De Modulaire Torus-geval (Sectie 3): Het artikel biedt een gedetailleerde analyse van de modulaire torus-cover geassocieerd met de afgeleide ondergroep $\Gamma' = [\Gamma, \Gamma]$.
   • Het bevestigt de conjectuur voor deze specifieke cover, waarbij onderscheid wordt gemaakt tussen Markov rationele/kwadratische getallen (geassocieerd met periodieke eenvoudige geodesen) en Sturmian transcendente getallen (geassocieerd met aperiodieke eenvoudige geodesen).
   • Het verbindt de Lagrange-constante $L(\xi_+)$ met het topologische type: $L(\xi_+) > 3$ komt overeen met Markov-getallen, terwijl $L(\xi_+) = 3$ overeenkomt met Sturmian transcendente getallen.
4. Mahler-spectra en Profiniete Eenvoudige Getallen: Het artikel definieert "profiniete eenvoudige getallen" als die voortvloeiend uit eenvoudige geodesen in elke eindige modulaire cover. Het merkt op dat deze verzamelingen een Hausdorff-dimensie van 0 hebben en roept vragen op over de metrische topologie van hun Lagrange- en Mahler-spectra.

Betekenis en Claims
Het artikel claimt de transcendentievraag voor een significante klasse van eenvoudige geodesen (die in minimale laminaties voorkomen) op te lossen door topologische eenvoud te koppelen aan de Diophantische eigenschap van sub-affine factorcomplexiteit in continuümbreuken.

• Unificatie: Het verenigt geometrische eenvoud (geen zelfintersecties) met Diophantische eigenschappen (begrensdheid en repetitie in continuümbreuken).
• Uitbreiding van Khintchine's Conjectuur: Het biedt een geometrische context voor de conjectuur dat begrensde continuümbreuken ofwel rationaal, ofwel kwadratisch, ofwel transcendent zijn, en bewijst dit voor het specifieke geval van minimale laminaties waar de sequentie niet alleen begrensd is, maar ook een lage complexiteit heeft.
• Kwantitatieve Grenzen: In tegen tegenstelling tot eerdere kwalitatieve transcendentie-resultaten, biedt dit werk expliciete bovengrenzen voor de Mahler-exponenten van de transcendente getallen die voortkomen uit deze geometrische configuraties.

De auteurs verklaren expliciet dat de algemene conjectuur voor alle eenvoudige geodesen (niet enkel die in minimale laminaties) open blijft, hoewel zij sterk bewijs en een kader bieden voor toekomstig onderzoek, met name met betrekking tot profiniete eenvoudige getallen en hun relatie tot congruentie-ondergroepen. Het werk is gepositioneerd op het snijvlak van laag-dimensionale topologie, symbolische dynamica en Diophantische benadering, en biedt een nieuw perspectief op de arithmetische aard van geodetische stromingen op modulaire oppervlakken.