Recognition: 2 theorem links
· Lean TheoremAn elegant model of the geodesic flow on the modular surface
Pith reviewed 2026-05-12 02:26 UTC · model grok-4.3
The pith
A symbolic coding creates a direct link between geodesic flow on the modular surface and continued fraction dynamics.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The paper establishes that the geodesic flow on the modular surface admits a symbolic model based on the regular continued fraction expansion, where the itinerary of a geodesic under the flow corresponds directly to the partial quotients in the expansion of a related real number.
What carries the argument
The symbolic coding that labels geodesic trajectories according to their intersections with a fundamental domain, thereby encoding continued fraction data.
Load-bearing premise
The chosen symbolic coding must preserve the geometric and dynamical information of the geodesic flow without omitting key features.
What would settle it
A counterexample would be a geodesic path whose sequence of symbols under the coding does not match the continued fraction expansion of the associated endpoint on the boundary.
Figures
read the original abstract
Caroline Series' [{\em The modular surface and continued fractions}, J. Lond. Math. Soc. (2), {\bf 31}, no.~1, (1985), 69--80] gives a clear framework linking, in a deceptively simple way, the dynamics of the geodesic flow on the modular surface with the dynamics of the regular continued fraction, through a well-chosen symbolic coding. It has been called {\em required reading} for those interested in the symbolic dynamics of geodesic flows, and has had consequences in symbolic dynamics, ergodic theory, hyperbolic geometry, and continued fraction theory. In this overview, we give an indication of why this is so, sketch some of the history related to the paper, and also point to some later works.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript is an expository overview of Caroline Series' 1985 paper 'The modular surface and continued fractions'. It describes the link, via a well-chosen symbolic coding, between the geodesic flow on the modular surface and the dynamics of regular continued fractions, sketches the historical context of the result, and points to subsequent developments in symbolic dynamics, ergodic theory, hyperbolic geometry, and continued fraction theory.
Significance. If the overview is accurate, the paper provides a concise and accessible entry point to an established result that has influenced multiple areas. Its strength lies in synthesis: it highlights the transparent correspondence without new claims, credits the original work, and directs readers to later literature, fulfilling a useful role for those entering the field of symbolic dynamics of geodesic flows.
minor comments (1)
- The abstract states that the paper 'sketches some of the history related to the paper'; a brief indication of which specific historical threads (e.g., earlier work on continued fractions or geodesic flows) are covered would help readers gauge the scope of the overview.
Simulated Author's Rebuttal
We thank the referee for the positive assessment of the manuscript and the recommendation to accept. The paper is an expository overview of Caroline Series' 1985 work, and we are pleased that its role as a concise entry point to the symbolic dynamics of geodesic flows is recognized.
Circularity Check
Expository overview with no original derivations or load-bearing reductions
full rationale
The manuscript is explicitly an overview of Caroline Series' 1985 result, sketching the symbolic coding construction and its historical consequences without advancing new theorems, equations, or quantitative predictions. No derivation chain is presented that reduces to fitted inputs, self-definitions, or self-citations; all central assertions are attributed to the external 1985 paper. The authors (Arnoux, Schmidt) do not invoke their own prior work as a uniqueness theorem or ansatz, and the text contains no renaming of known results as novel unifications. This satisfies the criteria for a self-contained expository piece with no circularity.
Axiom & Free-Parameter Ledger
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking (D=3 forcing) unclearThe main result … if the coding … is written in the form L^{a0} R^{a1} L^{a2} … then the larger foot … has continued fraction expansion [a0; a1, a2, …]. … the Gauss map as a factor
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel (J-cost uniqueness) unclearFarey tesselation … sequence of natural numbers … Gauss map … first return map
Reference graph
Works this paper leans on
-
[1]
A. Abrams and S. Katok, Adler and Flatto revisited: cross-sections for geodesic flow on compact surfaces of constant negative curvature , Studia Math. 246 (2019), no. 2, 167--202
work page 2019
-
[2]
R. Adler and L. Flatto, Cross section maps for geodesic flows. I. The modular surface , in Ergodic theory and dynamical systems, II (College Park, Md., 1979/1980), pp. 103--161, Progr. Math., 21, Birkhäuser, Boston, MA, 1982
work page 1979
-
[3]
, The backward continued fraction map and geodesic flow , Ergodic Theory Dynam. Systems 4 (1984), no. 4, 487--492
work page 1984
-
[4]
, Geodesic flows, interval maps and symbolic dynamics , Bull. Amer. Math. Soc., 25 (1991), No. 2, 229-334
work page 1991
-
[5]
Arnoux, Le codage du flot g\'eod\'esique sur la surface modulaire
P. Arnoux, Le codage du flot g\'eod\'esique sur la surface modulaire. Enseign. Math. (2) 40 (1994), no. 1-2, 29--48
work page 1994
-
[7]
P. Arnoux and T. A. Schmidt, Cross sections for geodesic flows and -continued fractions , Nonlinearity 26 (2013), 711--726
work page 2013
-
[8]
, Commensurable continued fractions ,Discrete and Continuous Dynamical Systems - Series A (DCDS-A) Vol. 34, no. 11, (2014) 4389--4418
work page 2014
-
[9]
, Natural extensions and Gauss measures for piecewise homographic continued fractions , Bull. Soc. Math. France 147 (2019) 515--544
work page 2019
-
[10]
Artin, Ein mechanisches System mit quasi-ergodischen Bahnen , Abh
E. Artin, Ein mechanisches System mit quasi-ergodischen Bahnen , Abh. Math. Sem. Hamburg 3 (1924) 170--175 (and Collected Papers , Springer-Verlag, New York, 1982, 499--505)
work page 1924
-
[11]
J. S. Athreya and Y. Cheung, A Poincar\'e section for the horocycle flow on the space of lattices , Int. Math. Res. Not. IMRN 2014, no. 10, 2643--2690
work page 2014
-
[12]
A. F. Beardon, M. Hockman, and I. Short, Geodesic continued fractions , Michigan Math. J. 61 (2012), no. 1, 133--150
work page 2012
-
[13]
Ergodic Theory, symbolic dynamics, and hyperbolic spaces, T. Bedford, M. Keane, C. Series, eds., Oxford Univ. Press, 1991
work page 1991
-
[14]
V. Berth\'e, Multidimensional Euclidean algorithms, numeration and substitutions , Integers 11B (2011), Paper No. A2, 34 pp
work page 2011
-
[15]
Billingsley, Ergodic Theory and Information , Wiley, 1965
P. Billingsley, Ergodic Theory and Information , Wiley, 1965
work page 1965
-
[16]
F. Boca and C. Merriman, Coding of geodesics on some modular surfaces and applications to odd and even continued fractions , Indag. Math. (N.S.) 29 (2018), no. 5, 1214--1234
work page 2018
-
[17]
J. Bourgain and A. Kontorovich, Beyond expansion II: low-lying fundamental geodesics. , J. Eur. Math. Soc. (JEMS) 19 (2017), no. 5, 1331--1359
work page 2017
-
[18]
A. Broise-Alamichel and F. Paulin, Dynamiques sur le rayon modulaire et fractions continues en caractéristique p , [Dynamics on the modular ray and continued fractions in characteristic p] J. Lond. Math. Soc. (2) 76 (2007), no. 2, 399--418
work page 2007
-
[19]
R. M. Burton, C. Kraaikamp and T. A. Schmidt, Natural extensions for the Rosen fractions , Trans. Amer. Math. Soc., 352 (2000), 1277--1298
work page 2000
-
[20]
J. H. Conway, An enumeration of knots and links, and some of their algebraic properties. In: Computational Problems in Abstract Algebra (Proc. Conf., Oxford, 1967), pp. 329--358, Pergamon, Oxford-New York-Toronto, Ont., 1970
work page 1967
-
[21]
E. M. Coven and Z. Nitecki, On the genesis of symbolic dynamics as we know it , Colloq. Math. 110 (2008), no. 2, 227--242
work page 2008
-
[22]
E. Cesaratto and B. Vall\' e e, Gaussian behavior of quadratic irrationals , Acta Arith, 197 2021 , no. 2, 159--205,
work page 2021
-
[23]
Dedekind, Schreiben an Herrn Borchardt \"uber die Theorie der elliptischen Modulfunktionen , J
R. Dedekind, Schreiben an Herrn Borchardt \"uber die Theorie der elliptischen Modulfunktionen , J. Reine Angew. Math. 83 (1877) 265--292
-
[24]
Dal'Bo, Geodesic and horocyclic trajectories
F. Dal'Bo, Geodesic and horocyclic trajectories. Universitext. Springer-Verlag London, 2011
work page 2011
-
[25]
H. Ei, H. Nakada and R. Natsui, On the ergodic theory of maps associated with the nearest integer complex continued fractions over imaginary quadratic fields , Discrete Contin. Dyn. Syst. 43 (2023), no. 11, 3883--3924
work page 2023
-
[26]
, On the dynamics of a complex continued fraction map which contains the Gauss map as its real number section , Adv. Math. 472 (2025), Paper No. 110286, 36 pp
work page 2025
-
[27]
L. R. Ford, Fractions , The American Mathematical Monthly, Vol. 45, No. 9 (Nov., 1938), pp. 586--601
work page 1938
-
[28]
Fried, Symbolic dynamics for triangle groups , Invent
D. Fried, Symbolic dynamics for triangle groups , Invent. Math., 125 (1996), 487--521
work page 1996
-
[29]
E. Ghys, G\'eod\'esiques sur les surfaces \`a courbure n\'egative , Le c ons de math\'ematiques d’aujourd’hui, volume 4, pr\'esent\'e par Fr\'ed\'eric Bayart et Eric Charpentier, Belin (2009)
work page 2009
-
[30]
D. J. Grabiner and J. C. Lagarias, Cutting sequences for geodesic flow on the modular surface and continued fractions , Monatsh. Math. 133 (2001), no. 4, 295–339
work page 2001
-
[31]
K. Gr\"ochenig and A. Haas, Backward continued fractions, Hecke groups and invariant measures for transformations of the interval , Ergodic Theory Dynam. Systems, 16 (1996), 1241--1274
work page 1996
-
[32]
Haas, Diophantine approximation on hyperbolic orbifolds , Duke Math
A. Haas, Diophantine approximation on hyperbolic orbifolds , Duke Math. J. 56 (1988), no. 3, 531--547
work page 1988
-
[33]
A. Haas and C. Series, The Hurwitz constant and Diophantine approximation on Hecke groups , J. London Math. Soc. (2) 34 (1986), no. 2, 219--234
work page 1986
-
[34]
Hadamard, Les surfaces \`a courbures oppos\'ees et leurs lignes g\'eod\'esiques , J
J. Hadamard, Les surfaces \`a courbures oppos\'ees et leurs lignes g\'eod\'esiques , J. Math. Pures Appl. 4 (1898), p. 27--74. OEuvres, tome II, p. 729--775
-
[35]
G. H. Hardy and E. M. Wright, An introduction to the theory of numbers. Sixth edition. Revised by D. R. Heath-Brown and J. H. Silverman. With a foreword by Andrew Wiles. Oxford University Press, Oxford, 2008
work page 2008
-
[36]
A. Hatcher, Topology of numbers. American Mathematical Society, Providence, RI, 2022
work page 2022
-
[37]
G. A. Hedlund, A metrically transitive group defined by the modular group , Amer. J. Math. 57 (1935), 668--678
work page 1935
-
[38]
, On the metrical transitivity of geodesies on closed surfaces of constant negative curvature , Ann. Math. 35 (1934), 787--808
work page 1934
-
[39]
Uber vierdimensionale Riemannsche Fl\
F. Hirzebruch, \"Uber vierdimensionale Riemannsche Fl\"achen mehrdeutiger analytischer Funktionen von zwei komplexen Ver\"anderlichen , Math. Ann. 126 (1953), 1--22
work page 1953
-
[40]
The Hilbert modular group, resolution of the singularities at the cusps and related problems , in: Séminaire Bourbaki, 23\`eme ann\'ee (1970/1971), Exp. No. 396, pp. 275--288, Lecture Notes in Math., Vol. 244, Springer, Berlin-New York, 1971
work page 1970
-
[41]
Heersink, Distribution of the periodic points of the Farey map , Comm
B. Heersink, Distribution of the periodic points of the Farey map , Comm. Math. Phys. 365 (2019), no. 3, 971--1003
work page 2019
-
[42]
Hopf, Ergodic theory and the geodesic flow on surfaces of constant negative curvature , Bull
E. Hopf, Ergodic theory and the geodesic flow on surfaces of constant negative curvature , Bull. Amer. Math. Soc. 77, 863--877 (1971)
work page 1971
-
[43]
G. Humbert, Sur les fractions continues ordinaires et les formes quadratiques binaires ind\'efinies , Journal de mathématiques pures et appliquées 7e s\'erie, tome 2 (1916), p. 104--154
work page 1916
-
[44]
P. Koebe, Riemannsche Mannigfaltigkeiten und nicht euklidische Raumformen , Sitzungsberichte der Preu ischen Akademie der Wissenschaften, I (1927),414--457
work page 1927
- [45]
-
[46]
, Theory of (a,b)-continued fraction transformations and applications , Electron. Res. Announc. Math. Sci. 17 (2010), 20–33
work page 2010
-
[47]
, Applications of (a,b) -continued fraction transformations , Ergodic Theory Dynam. Systems 32 (2012), no. 2, 755--777
work page 2012
-
[48]
D. Y. Kleinbock and G. A. Margulis, Flows on homogeneous spaces and Diophantine approximation on manifolds , Ann. of Math. (2) 148 (1998), no. 1, 339--360
work page 1998
-
[49]
A. Lukyanenko and J. Vandehey, Ergodicity of Iwasawa continued fractions via markable hyperbolic geodesics , Ergodic Theory Dynam. Systems 43 (2023), no. 5, 1666--1711
work page 2023
-
[50]
Mayer, The thermodynamic formalism approach to Selberg’s zeta function for PSL (2, Z) , Bull
D. Mayer, The thermodynamic formalism approach to Selberg’s zeta function for PSL (2, Z) , Bull. Amer. Math. Soc. (N.S.) 25 (1991), 55--60
work page 1991
-
[51]
D. Mayer and F. Str\"omberg, Symbolic dynamics for the Geodesic flow on Hecke surfaces , Journal of Modern Dynamics 2 (2008), 581--627
work page 2008
-
[52]
C. T. McMullen, Polynomial invariants for fibered 3-manifolds and Teichm\"uller geodesics for foliations , Ann. Sci. \'Ecole Norm. Sup. (4) 33 (2000), no. 4, 519--560
work page 2000
-
[53]
, Billiards and Teichm\"uller curves , Bull. Amer. Math. Soc. (N.S.) 60 (2023), no. 2, 195--250
work page 2023
-
[54]
Merriman, Geodesic flows and the mother of all continued fractions , Int
C. Merriman, Geodesic flows and the mother of all continued fractions , Int. J. Number Theory 18 (2022), no. 4, 931--953
work page 2022
-
[55]
H. Minkowski, G\'en\'eralisation de la th\'eorie des fractions continues , Annales scientifiques de l’\'E.N.S. 3e série, tome 13 (1896), pp. 41--60
-
[56]
Moeckel, Geodesics on modular surfaces and continued fractions , Ergodic Theory Dynam
R. Moeckel, Geodesics on modular surfaces and continued fractions , Ergodic Theory Dynam. Systems 2 (1982), no. 1, 69--83
work page 1982
-
[57]
M. Morse, A one-to-one representation of geodesics on a surface of negative curvature , Amer J Math 43 (1921) 33--51
work page 1921
-
[58]
, Recurrent geodesics on a surface of negative curvature , Trans. Amer. Math. Soc. XXII (1921), 84--100
work page 1921
-
[59]
, Symbolic dynamics , Institute for Advanced Study Notes, Princeton (1966) (unpublished). (First written 1938.)
work page 1966
-
[60]
D. Mumford, C. Series, and D. Wright, Indra's pearls. The vision of Felix Klein. Cambridge University Press, New York, 2002
work page 2002
-
[61]
H. Nakada, Metrical theory for a class of continued fraction transformations and their natural extensions , Tokyo J. Math., 4, 399--426 (1981)
work page 1981
-
[62]
, Continued fractions, geodesic flows and Ford circles , In: Algorithms, fractals, and dynamics: Okayama/Kyoto, 1992, (1995) 179--191
work page 1992
-
[63]
J. Nielsen, Untersuchungen zur Topologie der geschlossenen zweiseitigen Fl\"achen , Acta Math 50, (1927), 189--358
work page 1927
-
[64]
J. R. Parker and S. P. Tan, Caroline Series and hyperbolic geometry , Notices Amer. Math. Soc. 70 (2023), no. 3, 380--389
work page 2023
-
[65]
Perron, Die Lehre von den Kettenbr\"uchen
O. Perron, Die Lehre von den Kettenbr\"uchen. Bd I. Elementare Kettenbrüche. (German) 3te Aufl. B. G. Teubner Verlagsgesellschaft, Stuttgart, 1954
work page 1954
-
[66]
Dritte, verbesserte und erweiterte Aufl
, Die Lehre von den Kettenbr\"uchen. Dritte, verbesserte und erweiterte Aufl. Bd. II. Analytisch-funktionentheoretische Kettenbrüche. (German) B. G. Teubner Verlagsgesellschaft, Stuttgart, 1957
work page 1957
-
[67]
A. Pohl, Symbolic dynamics for the geodesic flow on two-dimensional hyperbolic good orbifolds , Discrete Contin. Dyn. Syst. 34 (2014), no. 5, 2173--2241
work page 2014
-
[68]
A. Pohl and D. Zagier, Dynamics of geodesics, and Maass cusp forms , Enseign. Math. 66 (2020), no. 3-4, 305–340
work page 2020
-
[69]
Pollicott, Distribution of closed geodesics on the modular surface and quadratic irrationals , Bull
M. Pollicott, Distribution of closed geodesics on the modular surface and quadratic irrationals , Bull. Soc. Math. France 114 (1986), no. 4, 431--446
work page 1986
-
[70]
, The Picard group, closed geodesics and zeta functions , Trans. Amer. Math. Soc. 344 (1994), no. 2, 857--872
work page 1994
-
[71]
D. Rosen, A class of continued fractions associated with certain properly discontinuous groups , Duke Mathematical Journal 21 (1954), 549--563
work page 1954
-
[72]
Sarnak, Class numbers of indefinite binary quadratic forms , J
P. Sarnak, Class numbers of indefinite binary quadratic forms , J. Number Theory Vol. 15, 1982, pp. 229--247
work page 1982
-
[73]
C. Series, On coding geodesics with continued fractions , Ergodic theory (Sem., Les Plans-sur-Bex, 1980) (French), pp. 67--76, Monogr. Enseign. Math., 29, Univ. Genève, Geneva, 1981
work page 1980
-
[74]
Series, The modular surface and continued fractions , J
C. Series, The modular surface and continued fractions , J. Lond. Math. Soc. (2), 31 , no. 1, (1985), 69-80
work page 1985
-
[75]
, Non-Euclidean geometry, continued fractions, and ergodic theory , Math. Intelligencer 4 (1982), no. 1, 24--31
work page 1982
-
[76]
, The geometry of Markoff numbers , Math. Intelligencer 7 (1985), no. 3, 20--29
work page 1985
-
[77]
, Geometrical Markov coding of geodesics on surfaces of constant negative curvature , Ergodic Theory Dynam. Systems 6 (1986), no. 4, 601--625
work page 1986
-
[78]
, Geometrical methods of symbolic coding . In BedfordKeaneSeries , pp. 125--151
-
[79]
J. Smillie and C. Ulcigrai, Geodesic flow on the Teichmüller disk of the regular octagon, cutting sequences and octagon continued fractions maps , In: Dynamical numbers—interplay between dynamical systems and number theory, 29--65, Contemp. Math., 532, Amer. Math. Soc., Providence, RI, 2010
work page 2010
-
[80]
W. P. Thurston, On proof and progress in mathematics , Bull. Amer. Math. Soc. (N.S.) 30 (1994), no. 2, 161--177
work page 1994
-
[81]
Veech, Gauss measures for transformations on the space of interval exchange maps , Ann
W.A. Veech, Gauss measures for transformations on the space of interval exchange maps , Ann. of Math. 115 (1982) 201--242
work page 1982
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.