Transcendence of simple geodesics on finite modular covers
Pith reviewed 2026-06-27 17:45 UTC · model grok-4.3
The pith
If a simple geodesic on a finite modular cover belongs to a minimal lamination, its forward endpoint is rational, quadratic, or transcendental.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We conjecture that if ξ′ is simple, then ξ+ is either rational or quadratic or transcendental. We prove this conjecture for leaves of minimal geodesic laminations. We explain why the conjecture is known for all simple geodesics in the modular torus cover associated to the derived subgroup Γ′=[Γ,Γ]. The geodesics are pairs of points on the projective line, and the finite-index subgroup Γ′ acts on the hyperbolic plane to produce the cover.
What carries the argument
Projection of geodesics from the upper half-plane model to a finite cover of the modular orbifold, restricted to leaves of minimal geodesic laminations.
Load-bearing premise
That the simple geodesics considered are leaves of minimal geodesic laminations on the cover.
What would settle it
A simple geodesic on one of the covers whose forward endpoint is an algebraic irrational of degree three or higher would disprove the conjecture.
Figures
read the original abstract
The real projective line $\mathbb{R}\mathbf{P}^1$ is the boundary of $\mathbf{HP}=\{z\in \mathbb{C}\colon \Im(z)>0\}$, a model of the hyperbolic plane whose space of geodesics identifies with $\mathcal{G}(\mathbf{HP})=\mathbb{R}\mathbf{P}^1 \times \mathbb{R}\mathbf{P}^1 \setminus \mathrm{diagonal}$. The modular group $\Gamma=\operatorname{PSL}_2(\mathbb{Z})$ acts on $\mathbf{HP}$ with quotient the modular orbifold $\mathbf{M}=\Gamma\backslash \mathbf{HP}$. Consider a finite-index subgroup of the modular group $\Gamma^\prime \subset \Gamma = \operatorname{PSL}_2(\mathbb{Z})$ corresponding to a finite cover $\mathbf{M} \to \mathbf{M}^\prime$. A geodesic $(\xi^-,\xi^+)\in \mathcal{G}(\mathbf{HP})$ projects $\bmod{\Gamma^\prime}$ to a geodesic $\xi^\prime \subset \mathbf{M}^\prime$. We conjecture that if $\xi^\prime$ is simple, then $\xi^+$ is either rational or quadratic or transcendental. We prove this conjecture for leaves of minimal geodesic laminations. We explain why the conjecture is known for all simple geodesics in the modular torus cover associated to the derived subgroup $\Gamma^\prime = [\Gamma, \Gamma]$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript states a conjecture that if ξ′ is a simple geodesic on a finite modular cover M' of the modular orbifold, then the endpoint ξ+ is rational, quadratic, or transcendental. It proves the conjecture when ξ′ is a leaf of a minimal geodesic lamination and separately recalls that the full statement is already known for all simple geodesics on the modular torus cover arising from the commutator subgroup Γ' = [Γ, Γ].
Significance. The partial result for minimal laminations supplies a concrete, non-vacuous case of the conjectured transcendence dichotomy and connects the dynamics of the PSL(2,ℤ) action on the geodesic space to classical questions in transcendence theory. The explicit delimitation of the proved subclass and the reference to the known torus case are strengths; the argument relies on standard facts about group actions and hyperbolic geometry rather than ad-hoc parameters or self-referential definitions.
minor comments (2)
- [Abstract] Abstract, paragraph on the conjecture: the phrasing 'we prove this conjecture for leaves of minimal geodesic laminations' is clear, but the introduction should include a brief sentence indicating how large this subclass is among all simple geodesics on finite covers.
- [Abstract] Notation: the symbols HP, G(HP), and M' are introduced with boldface; verify that the same conventions are used uniformly in all subsequent sections and that the diagonal exclusion in G(HP) is recalled when needed.
Simulated Author's Rebuttal
We thank the referee for their careful reading and positive assessment of the manuscript. We are gratified that the concrete nature of the result for minimal laminations, its connection to transcendence questions, and the explicit reference to the known torus case were viewed as strengths. The recommendation to accept is appreciated.
Circularity Check
No significant circularity identified
full rationale
The paper presents a conjecture that the positive endpoint ξ+ of a simple geodesic ξ′ on a finite modular cover is rational, quadratic, or transcendental, and proves the statement only for the subclass of leaves of minimal geodesic laminations. It separately notes that the full statement is already known for the modular torus arising from the commutator subgroup. The provided text contains no equations, parameter fits, or self-referential reductions; the argument relies on standard facts about the action of PSL₂(ℤ) and its finite-index subgroups on the hyperbolic plane and its boundary. No load-bearing step reduces by construction to an input, self-citation chain, or renamed empirical pattern. The derivation is therefore self-contained against external benchmarks in hyperbolic geometry.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math The upper half-plane with the PSL(2,Z) action yields the modular orbifold whose geodesics are identified with pairs of distinct points on RP^1.
- domain assumption Finite-index subgroups correspond to finite covers on which projected geodesics can be simple or not.
Reference graph
Works this paper leans on
-
[1]
1807 , publisher=
Gauss, Carl Friedrich , title =. 1807 , publisher=
-
[2]
1923 , publisher=
Ford, Lester , title =. 1923 , publisher=
1923
-
[3]
1968 , PAGES =
Milnor, John , TITLE =. 1968 , PAGES =
1968
-
[4]
1979 , PAGES =
Klein, Felix , TITLE =. 1979 , PAGES =
1979
-
[5]
1938 , publisher=
Hardy, Godfrey Harold and Wright, Edward Maitland , title =. 1938 , publisher=
1938
-
[6]
Cartan, \'. Le. 1992 , PAGES =
1992
-
[7]
1957 , PAGES =
Artin, Emil , TITLE =. 1957 , PAGES =
1957
-
[8]
1970 , PAGES =
Serre, Jean-Pierre , TITLE =. 1970 , PAGES =
1970
-
[9]
1971 , publisher=
Dieudonn\'e, Jean , title =. 1971 , publisher=
1971
-
[10]
1971 , PAGES =
Milnor, John , TITLE =. 1971 , PAGES =
1971
-
[11]
1973 , Publisher =
Milnor, John and Husemoller, Dale , Title =. 1973 , Publisher =
1973
-
[12]
1977 , publisher=
Serre, Jean-Pierre , title =. 1977 , publisher=
1977
-
[13]
1976 , publisher=
Rolfsen, Dale , title =. 1976 , publisher=
1976
-
[14]
1978 , PAGES =
Cohn, Harvey , TITLE =. 1978 , PAGES =
1978
-
[15]
1980 , publisher=
Vigneras, Marie-France , title =. 1980 , publisher=
1980
-
[16]
1983 , Publisher =
Lam, Tsit Yuen , Title =. 1983 , Publisher =
1983
-
[17]
Weil, Andr\'. Number theory:. 1984 , PAGES =. doi:10.1007/978-0-8176-4571-7 , URL =
-
[18]
Atiyah, Michael , TITLE =. Math. Ann. , FJOURNAL =. 1987 , NUMBER =. doi:10.1007/BF01458075 , URL =
-
[19]
Classical tessellations and three-manifolds , SERIES =
Montesinos, Jos\'. Classical tessellations and three-manifolds , SERIES =. 1987 , PAGES =. doi:10.1007/978-3-642-61572-6 , URL =
-
[20]
1990 , publisher=
Shafarevich, Igor , title =. 1990 , publisher=
1990
-
[22]
Haefliger, Andr\'. Orbi-espaces , BOOKTITLE =. 1990 , MRCLASS =. doi:10.1007/978-1-4684-9167-8\_11 , URL =
-
[23]
Continued Fractions , year =
Rockett, Andrex and Sz. Continued Fractions , year =
-
[24]
1992 , PAGES =
Buser, Peter , TITLE =. 1992 , PAGES =
1992
-
[25]
1992 , PAGES =
Katok, Svetlana , TITLE =. 1992 , PAGES =
1992
-
[26]
1997 , publisher=
Conway, John and Fung, Francis , title =. 1997 , publisher=
1997
-
[27]
1997 , publisher=
Cox, David , title =. 1997 , publisher=
1997
-
[28]
1997 , PAGES =
Thurston, William , TITLE =. 1997 , PAGES =
1997
-
[29]
Knus, Max-Albert and Merkurjev, Alexander and Rost, Markus and Tignol, Jean-Pierre , TITLE =. 1998 , PAGES =. doi:10.1090/coll/044 , URL =
-
[30]
2003 , publisher=
Maclachlan, Colin and Reid, Alan , title =. 2003 , publisher=
2003
-
[31]
2004 , publisher=
Lando, Sergei and Zvonkin, Alexander , title =. 2004 , publisher=
2004
-
[32]
2007 , Publisher =
Knoebel, Arthur and Laubenbacher, Reinhard and Lodder, Jerry and Pengelley, David , Title =. 2007 , Publisher =
2007
-
[33]
Khrushchev, Sergey , TITLE =. 2008 , PAGES =. doi:10.1017/CBO9780511721403 , URL =
-
[34]
An introduction to contact topology , FSeries =
Geiges, Hansj. An introduction to contact topology , FSeries =. 2008 , Publisher =. doi:10.1017/CBO9780511611438 , Keywords =
-
[35]
2010 , publisher=
de Saint-Gervais, Henry Paul , title =. 2010 , publisher=
2010
-
[36]
1979 , PAGES =
Travaux de. 1979 , PAGES =
1979
-
[37]
Thurston's work on surfaces , SERIES =
Fathi, Albert and Laudenbach, Fran. Thurston's work on surfaces , SERIES =. 2012 , PAGES =
2012
-
[38]
A singular mathematical promenade , year =
Ghys, \'. A singular mathematical promenade , year =
-
[39]
2022 , publisher=
Hatcher, Allen , title =. 2022 , publisher=
2022
-
[40]
The 1-2-3 of modular forms , SERIES =
Bruinier, Jan Hendrik and van der Geer, Gerard and Harder, G\". The 1-2-3 of modular forms , SERIES =. 2008 , PAGES =. doi:10.1007/978-3-540-74119-0 , URL =
-
[41]
Annales scientifiques de l'\'Ecole Normale Sup\'erieure , pages =
Pollack, Robert and Stevens, Glenn , title =. Annales scientifiques de l'\'Ecole Normale Sup\'erieure , pages =. 2011 , doi =
2011
-
[42]
Analyse alg\'
Galois, \'. Analyse alg\'. Ann. Math. Pures Appl. [Ann. Gergonne] , FJOURNAL =. 1828/29 , PAGES =
-
[43]
Dirichlet, Johann Peter Gustav Lejeune , Title =. J. Reine Angew. Math. , ISSN =. 1842 , Language =. doi:10.1515/crll.1842.24.291 , zbMATH =
-
[44]
Accademia dei Lincei, Mem
Henry John Stephen Smith , title=. Accademia dei Lincei, Mem. Sci, Mat. e Nat. , year=
-
[45]
Meyer, A. , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 1888 , PAGES =. doi:10.1515/crll.1888.103.98 , URL =
-
[46]
Journal de mathématiques pures et appliquées , year=
Humbert, Georges , title=. Journal de mathématiques pures et appliquées , year=
-
[47]
Lyndon, Roger C. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1954 , PAGES =. doi:10.2307/1990868 , URL =
-
[48]
Chen, Kuo-Tsai and Fox, Ralph H. and Lyndon, Roger C. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1958 , PAGES =. doi:10.2307/1970044 , URL =
-
[49]
1965 , Language =
Siegel, Carl Ludwig , Title =. 1965 , Language =
1965
-
[50]
1993 , PAGES =
Reutenauer, Christophe , TITLE =. 1993 , PAGES =
1993
-
[51]
Berstel, Jean and Perrin, Dominique , TITLE =. European J. Combin. , FJOURNAL =. 2007 , NUMBER =. doi:10.1016/j.ejc.2005.07.019 , URL =
-
[52]
Pourezza, Ibrahim and Hubbard, John , TITLE =. Topology , FJOURNAL =. 1979 , NUMBER =. doi:10.1016/0040-9383(79)90032-6 , URL =
-
[53]
Wolpert, Scott , title=. Comment. Math. Helv. , year=
-
[54]
Journal of Number Theory , year=
Sarnak, Peter , title=. Journal of Number Theory , year=
-
[55]
Birman, Joan S. and Williams, R. F. , TITLE =. Topology , FJOURNAL =. 1983 , NUMBER =. doi:10.1016/0040-9383(83)90045-9 , URL =
-
[56]
Squier, Craig , title=. Proc. AMS , year=
-
[57]
Homological group theory , year=
Scott, Peter and Wall, Terry , title=. Homological group theory , year=
-
[58]
Results Math
Magnus, Wilhelm , TITLE =. Results Math. , FJOURNAL =. 1981 , NUMBER =
1981
-
[59]
Wolpert, Scott , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1982 , NUMBER =. doi:10.2307/2007011 , URL =
-
[60]
Freedman, Michael and Hass, Joel and Scott, Peter , TITLE =. Bull. London Math. Soc. , FJOURNAL =. 1982 , NUMBER =. doi:10.1112/blms/14.5.385 , URL =
-
[61]
Hass, Joel and Scott, Peter , TITLE =. Israel J. Math. , FJOURNAL =. 1985 , NUMBER =. doi:10.1007/BF02772960 , URL =
-
[62]
Shortening curves on surfaces , journal =
Hass, Joel and Scott, Peter , year =. Shortening curves on surfaces , journal =
-
[63]
Scott, Peter , title=. Bull. London Math. Soc. , year=
-
[64]
Geometric Galois Actions , year=
Grothendieck, Alexander , title=. Geometric Galois Actions , year=
-
[65]
Birman, Joan and Series, Caroline , title=. J. London Math. Soc , year=
-
[66]
Bulletin of the AMS , year=
Katok, Sveltlana , title=. Bulletin of the AMS , year=
-
[67]
Culler, Marc and Shalen, Peter B. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1983 , NUMBER =. doi:10.2307/2006973 , URL =
-
[68]
Morgan, John W. and Shalen, Peter B. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1984 , NUMBER =. doi:10.2307/1971082 , URL =
-
[69]
Gromov, Michael , TITLE =. Inst. Hautes \'. 1982 , PAGES =
1982
-
[70]
Riemann surfaces and related topics:
Brooks, Robert , TITLE =. Riemann surfaces and related topics:. 1981 , MRCLASS =
1981
-
[71]
Brooks, Robert and Series, Caroline , TITLE =. Topology , FJOURNAL =. 1984 , NUMBER =. doi:10.1016/0040-9383(84)90022-3 , URL =
-
[72]
Series, Caroline , title=. J. London Math. Soc. , year=
-
[73]
The Mathematical Intelligencer , year=
Series, Caroline , title=. The Mathematical Intelligencer , year=
-
[74]
Ivanov, N. V. , TITLE =. Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) , FJOURNAL =. 1985 , PAGES =
1985
-
[75]
Ghys, \'. Groupes d'hom\'. The. 1987 , MRCLASS =. doi:10.24033/msmf.358 , URL =
-
[76]
Goldman, William M. , TITLE =. Adv. in Math. , FJOURNAL =. 1984 , NUMBER =. doi:10.1016/0001-8708(84)90040-9 , URL =
-
[77]
Goldman, William M. , TITLE =. Invent. Math. , FJOURNAL =. 1986 , NUMBER =. doi:10.1007/BF01389091 , URL =
-
[78]
Birman, Joan S. , TITLE =. Invent. Math. , FJOURNAL =. 1985 , NUMBER =. doi:10.1007/BF01389053 , URL =
-
[79]
Matsumoto, Shigenori and Morita, Shigeyuki , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 1985 , NUMBER =. doi:10.2307/2045250 , URL =
-
[80]
Penner, Robert , TITLE =. Comm. Math. Phys. , FJOURNAL =. 1987 , NUMBER =
1987
-
[81]
Bonahon, Francis , TITLE =. Invent. Math. , FJOURNAL =. 1988 , NUMBER =. doi:10.1007/BF01393996 , URL =
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.