arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.13347

Thurston's Legacy at the Interface of Surface Dynamics, Train Tracks, and Arithmetic

Ahmad Rafiqi·Ayberk Zeytin
View original source ↗Read source document ↗Export metadata ↓

Abstract

In this chapter, we discuss the interaction between low-dimensional dynamics, symbolic dynamics, and geometric topology, focusing on the algebraic characterization and asymptotic behaviour of stretch factors or equivalently pseudo-Anosov dilatations. We first review the algebraic foundations linking Perron--Frobenius theory, multi-variable Euclidean algorithms, and Lind's characterization of topological entropy for shifts of finite type, emphasizing recent constraints on the Perron--Frobenius degree of expansion constants. We then relate these dynamical invariants to the combinatorial world, examining train tracks for surfaces and automorphisms of free groups. Finally, we briefly review the relevance of fibered 3-manifolds, detailing how the Thurston norm, Fried's concavity theorem over fibered cones, and McMullen's Teichmüller polynomial come into play.

Explore related subjects

math.GTmath.NT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Ahmad Rafiqi, Ayberk Zeytin. 2026-10-09. Thurston's Legacy at the Interface of Surface Dynamics, Train Tracks, and Arithmetic. https://arxiv.org/abs/2610.13347

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Finite type invariants in low degrees and the Johnson filtration

We study the behaviour of the Casson invariant $λ$, its square, and Othsuki's second invariant $λ_2$ as functions on the Johnson subgroup of the mapping class group. We show that since $λ$ and $d_2 = λ_2 - 18 λ^2$ are invariants that are morphisms on respectively the second and the third level of the Johnson filtration they never vanish on any level of this filtration. In contrast we prove that the invariant $λ_2-18λ^2 +3λ$ vanishes on the fifth level of the Johnson filtration, $\mathcal{M}_{g,1}(5)$, and as a consequence we prove that, for instance, the Poincaré homology sphere does not admit any Heegaard splitting with gluing map an element in $\mathcal{M}_{g,1}(5)$. Finally we determine a surgery formula for Othsuki's second invariant $λ_2$.

math.GT↗
arXiv2026

Profinite rigidity of Kähler groups: Riemann surfaces and subdirect products

This paper establishes strong profinite rigidity results for Kähler groups, showing that certain groups are determined within the class of residually finite Kähler groups by their profinite completion. Examples include products of surface groups and certain groups with exotic finiteness properties studied earlier by Dimca-Papadima-Suciu and Llosa Isenrich. Consequently, there are aspherical smooth projective varieties that are determined up to homeomorphism by their algebraic fundamental group. The main tool is the following: the holomorphic fibrations of a closed Kähler manifold over hyperbolic 2-orbifolds can be recovered from the profinite completion of its fundamental group. We also prove profinite invariance of the BNS invariant.

math.GT↗
arXiv2026

Stable-norm boundary geometry on once-punctured tori

We use normal-turn estimates to study the local and global geometry of the boundaries of stable-norm balls $B_X$ for complete finite-area hyperbolic once-punctured tori $X$. We show that the boundary $\partial B_X$ is a convex-geometric detector of exponential Diophantine approximation: rational directions give genuine corners with exponentially small exterior angles, while at an irrational direction $β$ the graph-flatness order admits an explicit formula in terms of the exponential rate at which rational directions approach $β$ and the $\ell^\infty$-radius of $B_X$ in the projective direction $β$. Thus irrational directions are not uniformly flat to infinite order, correcting the McShane--Rivin local picture. We also determine all possible irrational flatness orders and the size of the corresponding level sets. The computation of the rational corners unexpectedly yields a new McShane-type identity for the area of the dual body $B_X^*$: $$ \operatorname{Area}(B_X^*) = 4\sum_γ \ell_X(γ) \log\coth\left(\frac{\ell_X(γ)}{2}\right), $$ where the sum is over unoriented simple closed geodesics on $X$. As another global application, the normal-turn estimates also give a logarithmic-square bound for the number of integer points on the boundary of each dilated norm ball. Consequently, the number of simple closed geodesics of length exactly $L\geq2$ is at most $C_X(\log L)^2$. For the modular torus this yields $$ \#λ_M^{-1}(m)\leq C(\log\log(3m))^2 $$ for every Markoff number $m$, improving the previous logarithmic bounds for Markoff fibers.

math.GT↗