pith. sign in

arxiv: 2606.08842 · v1 · pith:VK77C6EPnew · submitted 2026-06-07 · 🧮 math.NT · math.DS

Transcendence of simple geodesics on finite modular covers

Pith reviewed 2026-06-27 17:45 UTC · model grok-4.3

classification 🧮 math.NT math.DS
keywords simple geodesicsmodular coversgeodesic laminationstranscendencefinite index subgroupshyperbolic geometrymodular groupPSL(2,Z)
0
0 comments X

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.

The paper conjectures that the forward endpoint of a simple geodesic on a finite cover of the modular orbifold is rational, quadratic, or transcendental. It proves the statement when the geodesic is a leaf of a minimal geodesic lamination. This matters because it connects the geometric property of simplicity for geodesics in the hyperbolic plane to the algebraic degree or transcendence of their boundary points. The conjecture already holds completely for the modular torus cover associated to the derived subgroup of PSL(2,Z). A reader would care as the result suggests an arithmetic filter on which numbers can serve as endpoints for simple geodesics.

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

Figures reproduced from arXiv: 2606.08842 by Christopher-Lloyd Simon.

Figure 1
Figure 1. Figure 1: Projective model of HP, with its ideal triangulation △ and dual tree T . Fundamental domain under the action of Γ = PSL2(Z). The orbifold M = Γ\HP. The modular orbifold M = Γ\HP has genus zero, a cusp associated to the fixed point ∞ ∈ Q P 1 ⊂ ∂HP of R, as well as two conical singularities of order two and three associated to the fixed points i, j ∈ HP of S and T. Thus Γ = π1(M) is the free amalgam of its s… view at source ↗
Figure 2
Figure 2. Figure 2: The geodesic (0, ξ) mod PSL2(Z) penetrates B(h) ⊂ M each time n ∈ N satisfies 1 2 (⌊ 0, xn−1, . . . , x0 ⌋ + ⌊ xn, xn+1, . . . ⌋) > h. For a geodesic (ξ −, ξ+) ∈ G(M), its Markov constant C(ξ −, ξ+) is the supremum of 2h ∈ R+ such that it is disjoint from B(h). If (ξ −, ξ+) ∈ [−1, 0) × [1, ∞) with −1/ξ− = ⌊ x−1; x−2, . . . ⌋ and ξ + = ⌊ x0, x1, x2, . . . ⌋, the geodesic (ξ −, ξ+) ⊂ HP intersects the ideal … view at source ↗
Figure 3
Figure 3. Figure 3: The embedded graphs T ′ ⊂ M′ when Γ ′ = Γ(N) for N ∈ {2, 3, 4, 5}. Simple geodesics yield bounded continued fraction expansions The (complete oriented) geodesics of HP identify with the space G(HP) = ∂HP×∂HP\diagonal, and those of M′ with its quotient G(M′ ) = Γ′\G(HP) by the diagonal Γ ′ -action. The geodesics ξ ∈ G(HP) with a given projection ξ ′ ∈ G(M′ ) form the Γ ′ orbit of ξ ∈ G(HP) (note that its Γ-… view at source ↗
Figure 4
Figure 4. Figure 4: A geodesic (lamination) carried by T (3) ⊂ Γ(3) yields a train-track structure. A geodesic lamination Ξ ′ ⊂ M′ is minimal when every one of its leaves ξ ′ has both its past and future ξ ± mod Γ′ that are dense in Ξ ′ . By [Bon01, Proposition 3]: every geodesic lamination is a disjoint union of finitely many minimal sublaminations, and finitely many isolated leaves whose ends spiral along the minimal sublam… view at source ↗
Figure 5
Figure 5. Figure 5: The free group PSL2(Z) ′ acts on HP with quotient a cusped torus M′ . The Galois group PSL2(Z)/ PSL2(Z) ′ = Z/6 acts on M′ with quotient M. The homotopy classes of loops in M′ correspond to the conjugacy classes in π1(M′ ), hence to the reduced cyclic words on {A, A−1 , B, B−1}. For n ∈ Z ∗ , the n-th power of the commutator [A, B] corresponds to the loop winding n times around the cusp; every other non-tr… view at source ↗
Figure 6
Figure 6. Figure 6: Action of Γ/Γ ′′ on the honeycomb graph H with base arc [i ′ , j′ ⟩, and cusps Γ ′′\Γ/⟨R⟩. Paths encoded by RLRLL and (RLRLL) 2 in the honeycomb graph H. Let us describe the Galois action of Γ/Γ ′′ on the metabelian cover M′′ → M combining the action of Γ ′/Γ ′′ on M′′ → M′ with the action of Γ/Γ ′ on M′ → M. (Recall that Galois actions are given by left multiplication whereas monodromy actions are given b… view at source ↗
Figure 7
Figure 7. Figure 7: Simple closed geodesics in M′ lift to lines of rational slope in H1(M′ ; R) through i ′ . The corresponding combinatorial hex-paths are unique only up to cyclic permutation. We now recall the notion of Sturmian sequences from [Fog02, Chapter 6] to associate them pair of real numbers (which are transcendental as we will recall 3.18). Definition 3.8 (Sturmian sequences and numbers). Define the set of Sturmia… view at source ↗
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.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

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)
  1. [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.
  2. [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

0 responses · 0 unresolved

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

0 steps flagged

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

0 free parameters · 2 axioms · 0 invented entities

Based solely on the abstract: the work rests on the standard axioms of hyperbolic geometry (upper half-plane model, geodesic identification), the action of PSL(2,Z), and the definition of finite-index subgroups and simple geodesics. No free parameters, invented entities, or ad-hoc axioms are introduced in the provided text.

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.
    Invoked in the opening paragraph of the abstract to set up the space of geodesics.
  • domain assumption Finite-index subgroups correspond to finite covers on which projected geodesics can be simple or not.
    Used to formulate the conjecture for M'.

pith-pipeline@v0.9.1-grok · 5774 in / 1448 out tokens · 19078 ms · 2026-06-27T17:45:48.062745+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

273 extracted references · 146 canonical work pages

  1. [1]

    1807 , publisher=

    Gauss, Carl Friedrich , title =. 1807 , publisher=

  2. [2]

    1923 , publisher=

    Ford, Lester , title =. 1923 , publisher=

  3. [3]

    1968 , PAGES =

    Milnor, John , TITLE =. 1968 , PAGES =

  4. [4]

    1979 , PAGES =

    Klein, Felix , TITLE =. 1979 , PAGES =

  5. [5]

    1938 , publisher=

    Hardy, Godfrey Harold and Wright, Edward Maitland , title =. 1938 , publisher=

  6. [6]

    Cartan, \'. Le. 1992 , PAGES =

  7. [7]

    1957 , PAGES =

    Artin, Emil , TITLE =. 1957 , PAGES =

  8. [8]

    1970 , PAGES =

    Serre, Jean-Pierre , TITLE =. 1970 , PAGES =

  9. [9]

    1971 , publisher=

    Dieudonn\'e, Jean , title =. 1971 , publisher=

  10. [10]

    1971 , PAGES =

    Milnor, John , TITLE =. 1971 , PAGES =

  11. [11]

    1973 , Publisher =

    Milnor, John and Husemoller, Dale , Title =. 1973 , Publisher =

  12. [12]

    1977 , publisher=

    Serre, Jean-Pierre , title =. 1977 , publisher=

  13. [13]

    1976 , publisher=

    Rolfsen, Dale , title =. 1976 , publisher=

  14. [14]

    1978 , PAGES =

    Cohn, Harvey , TITLE =. 1978 , PAGES =

  15. [15]

    1980 , publisher=

    Vigneras, Marie-France , title =. 1980 , publisher=

  16. [16]

    1983 , Publisher =

    Lam, Tsit Yuen , Title =. 1983 , Publisher =

  17. [17]

    Number theory:

    Weil, Andr\'. Number theory:. 1984 , PAGES =. doi:10.1007/978-0-8176-4571-7 , URL =

  18. [18]

    Atiyah, Michael , TITLE =. Math. Ann. , FJOURNAL =. 1987 , NUMBER =. doi:10.1007/BF01458075 , URL =

  19. [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. [20]

    1990 , publisher=

    Shafarevich, Igor , title =. 1990 , publisher=

  21. [22]

    Orbi-espaces , BOOKTITLE =

    Haefliger, Andr\'. Orbi-espaces , BOOKTITLE =. 1990 , MRCLASS =. doi:10.1007/978-1-4684-9167-8\_11 , URL =

  22. [23]

    Continued Fractions , year =

    Rockett, Andrex and Sz. Continued Fractions , year =

  23. [24]

    1992 , PAGES =

    Buser, Peter , TITLE =. 1992 , PAGES =

  24. [25]

    1992 , PAGES =

    Katok, Svetlana , TITLE =. 1992 , PAGES =

  25. [26]

    1997 , publisher=

    Conway, John and Fung, Francis , title =. 1997 , publisher=

  26. [27]

    1997 , publisher=

    Cox, David , title =. 1997 , publisher=

  27. [28]

    1997 , PAGES =

    Thurston, William , TITLE =. 1997 , PAGES =

  28. [29]

    1998 , PAGES =

    Knus, Max-Albert and Merkurjev, Alexander and Rost, Markus and Tignol, Jean-Pierre , TITLE =. 1998 , PAGES =. doi:10.1090/coll/044 , URL =

  29. [30]

    2003 , publisher=

    Maclachlan, Colin and Reid, Alan , title =. 2003 , publisher=

  30. [31]

    2004 , publisher=

    Lando, Sergei and Zvonkin, Alexander , title =. 2004 , publisher=

  31. [32]

    2007 , Publisher =

    Knoebel, Arthur and Laubenbacher, Reinhard and Lodder, Jerry and Pengelley, David , Title =. 2007 , Publisher =

  32. [33]

    2008 , PAGES =

    Khrushchev, Sergey , TITLE =. 2008 , PAGES =. doi:10.1017/CBO9780511721403 , URL =

  33. [34]

    An introduction to contact topology , FSeries =

    Geiges, Hansj. An introduction to contact topology , FSeries =. 2008 , Publisher =. doi:10.1017/CBO9780511611438 , Keywords =

  34. [35]

    2010 , publisher=

    de Saint-Gervais, Henry Paul , title =. 2010 , publisher=

  35. [36]

    1979 , PAGES =

    Travaux de. 1979 , PAGES =

  36. [37]

    Thurston's work on surfaces , SERIES =

    Fathi, Albert and Laudenbach, Fran. Thurston's work on surfaces , SERIES =. 2012 , PAGES =

  37. [38]

    A singular mathematical promenade , year =

    Ghys, \'. A singular mathematical promenade , year =

  38. [39]

    2022 , publisher=

    Hatcher, Allen , title =. 2022 , publisher=

  39. [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 =

  40. [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 =

  41. [42]

    Analyse alg\'

    Galois, \'. Analyse alg\'. Ann. Math. Pures Appl. [Ann. Gergonne] , FJOURNAL =. 1828/29 , PAGES =

  42. [43]

    Dirichlet, Johann Peter Gustav Lejeune , Title =. J. Reine Angew. Math. , ISSN =. 1842 , Language =. doi:10.1515/crll.1842.24.291 , zbMATH =

  43. [44]

    Accademia dei Lincei, Mem

    Henry John Stephen Smith , title=. Accademia dei Lincei, Mem. Sci, Mat. e Nat. , year=

  44. [45]

    , TITLE =

    Meyer, A. , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 1888 , PAGES =. doi:10.1515/crll.1888.103.98 , URL =

  45. [46]

    Journal de mathématiques pures et appliquées , year=

    Humbert, Georges , title=. Journal de mathématiques pures et appliquées , year=

  46. [47]

    , TITLE =

    Lyndon, Roger C. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1954 , PAGES =. doi:10.2307/1990868 , URL =

  47. [48]

    and Lyndon, Roger C

    Chen, Kuo-Tsai and Fox, Ralph H. and Lyndon, Roger C. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1958 , PAGES =. doi:10.2307/1970044 , URL =

  48. [49]

    1965 , Language =

    Siegel, Carl Ludwig , Title =. 1965 , Language =

  49. [50]

    1993 , PAGES =

    Reutenauer, Christophe , TITLE =. 1993 , PAGES =

  50. [51]

    European J

    Berstel, Jean and Perrin, Dominique , TITLE =. European J. Combin. , FJOURNAL =. 2007 , NUMBER =. doi:10.1016/j.ejc.2005.07.019 , URL =

  51. [52]

    Topology , FJOURNAL =

    Pourezza, Ibrahim and Hubbard, John , TITLE =. Topology , FJOURNAL =. 1979 , NUMBER =. doi:10.1016/0040-9383(79)90032-6 , URL =

  52. [53]

    Wolpert, Scott , title=. Comment. Math. Helv. , year=

  53. [54]

    Journal of Number Theory , year=

    Sarnak, Peter , title=. Journal of Number Theory , year=

  54. [55]

    and Williams, R

    Birman, Joan S. and Williams, R. F. , TITLE =. Topology , FJOURNAL =. 1983 , NUMBER =. doi:10.1016/0040-9383(83)90045-9 , URL =

  55. [56]

    Squier, Craig , title=. Proc. AMS , year=

  56. [57]

    Homological group theory , year=

    Scott, Peter and Wall, Terry , title=. Homological group theory , year=

  57. [58]

    Results Math

    Magnus, Wilhelm , TITLE =. Results Math. , FJOURNAL =. 1981 , NUMBER =

  58. [59]

    Wolpert, Scott , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1982 , NUMBER =. doi:10.2307/2007011 , URL =

  59. [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 =

  60. [61]

    Israel J

    Hass, Joel and Scott, Peter , TITLE =. Israel J. Math. , FJOURNAL =. 1985 , NUMBER =. doi:10.1007/BF02772960 , URL =

  61. [62]

    Shortening curves on surfaces , journal =

    Hass, Joel and Scott, Peter , year =. Shortening curves on surfaces , journal =

  62. [63]

    Scott, Peter , title=. Bull. London Math. Soc. , year=

  63. [64]

    Geometric Galois Actions , year=

    Grothendieck, Alexander , title=. Geometric Galois Actions , year=

  64. [65]

    Birman, Joan and Series, Caroline , title=. J. London Math. Soc , year=

  65. [66]

    Bulletin of the AMS , year=

    Katok, Sveltlana , title=. Bulletin of the AMS , year=

  66. [67]

    , TITLE =

    Culler, Marc and Shalen, Peter B. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1983 , NUMBER =. doi:10.2307/2006973 , URL =

  67. [68]

    and Shalen, Peter B

    Morgan, John W. and Shalen, Peter B. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1984 , NUMBER =. doi:10.2307/1971082 , URL =

  68. [69]

    Gromov, Michael , TITLE =. Inst. Hautes \'. 1982 , PAGES =

  69. [70]

    Riemann surfaces and related topics:

    Brooks, Robert , TITLE =. Riemann surfaces and related topics:. 1981 , MRCLASS =

  70. [71]

    Topology , FJOURNAL =

    Brooks, Robert and Series, Caroline , TITLE =. Topology , FJOURNAL =. 1984 , NUMBER =. doi:10.1016/0040-9383(84)90022-3 , URL =

  71. [72]

    Series, Caroline , title=. J. London Math. Soc. , year=

  72. [73]

    The Mathematical Intelligencer , year=

    Series, Caroline , title=. The Mathematical Intelligencer , year=

  73. [74]

    Ivanov, N. V. , TITLE =. Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) , FJOURNAL =. 1985 , PAGES =

  74. [75]

    Groupes d'hom\'

    Ghys, \'. Groupes d'hom\'. The. 1987 , MRCLASS =. doi:10.24033/msmf.358 , URL =

  75. [76]

    , TITLE =

    Goldman, William M. , TITLE =. Adv. in Math. , FJOURNAL =. 1984 , NUMBER =. doi:10.1016/0001-8708(84)90040-9 , URL =

  76. [77]

    , TITLE =

    Goldman, William M. , TITLE =. Invent. Math. , FJOURNAL =. 1986 , NUMBER =. doi:10.1007/BF01389091 , URL =

  77. [78]

    , TITLE =

    Birman, Joan S. , TITLE =. Invent. Math. , FJOURNAL =. 1985 , NUMBER =. doi:10.1007/BF01389053 , URL =

  78. [79]

    Matsumoto, Shigenori and Morita, Shigeyuki , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 1985 , NUMBER =. doi:10.2307/2045250 , URL =

  79. [80]

    Penner, Robert , TITLE =. Comm. Math. Phys. , FJOURNAL =. 1987 , NUMBER =

  80. [81]

    Bonahon, Francis , TITLE =. Invent. Math. , FJOURNAL =. 1988 , NUMBER =. doi:10.1007/BF01393996 , URL =

Showing first 80 references.