arXiv Science⌕ Search

arXiv subjects

Saul Schleimer

Publications and source records attributed to Saul Schleimer.

At least 19 recordsLinked to original sources
arXiv2026

From veering triangulations to convergence actions and back again

Suppose that $M$ is a finite-volume cusped hyperbolic three-manifold, equipped with a veering triangulation $\mathcal{V}$. We prove that the action of the fundamental group of $M$ on the veering two-sphere is a geometrically finite convergence action. Applying a result of Yaman, we deduce that the veering two-sphere is equivariantly homeomorphic to the boundary of hyperbolic space. As an application, we obtain Cannon-Thurston maps associated to veering triangulations. If $\mathcal{V}$ is layered we recover the classical Cannon-Thurston map. If it is not we obtain Cannon-Thurston maps that do not come from surface subgroups. These are the first such examples in the cusped case. Finally, we implement an algorithm to draw approximations of these Cannon-Thurston maps. This improves upon previous approximations obtained by Thurston and others.

math.GT↗
arXiv2026

From loom spaces to veering triangulations

We introduce loom spaces, a generalisation of both the leaf spaces associated to pseudo-Anosov flows and the link spaces associated to veering triangulations. Following work of Guéritaud, we prove that there is a locally veering triangulation canonically associated to every loom space, and that the realisation of this triangulation is homeomorphic to $\mathbb{R}^3$.

math.GT↗
arXiv2026

Hyperbolic manifolds without positive spun triangulations

Using a result of Choi, we provide the first examples of pairs consisting of a closed hyperbolic three-manifold and a simple closed geodesic, such that there is no positive spun ideal triangulation for the manifold, spun about the chosen geodesic. In our first two examples, the closed manifold is the third manifold in the SnapPy census, also known as Vol3, and the geodesics are its systole and second systole. This provides evidence for the conjecture that Vol3 has no positive spun ideal triangulation for any choice of geodesic.

math.GT↗
arXiv2025

Excluding cosmetic surgeries on hyperbolic 3-manifolds

This paper employs knot invariants and results from hyperbolic geometry to develop a practical procedure for checking the cosmetic surgery conjecture on any given one-cusped manifold. This procedure has been used to establish the following computational results. First, we verify that all knots up to 19 crossings, and all one-cusped 3-manifolds in the SnapPy census, do not admit any purely cosmetic surgeries. Second, we check that a hyperbolic knot with at most 15 crossings only admits chirally cosmetic surgeries when the knot itself is amphicheiral. Third, we enumerate all knots up to 13 crossings that share a common Dehn fillings with the figure-8 knot. The code that verifies these results is publicly available on GitHub.

math.GT↗
arXiv2025

Recognising elliptic manifolds

We show that the problem of deciding whether a closed three-manifold admits an elliptic structure lies in NP. Furthermore, determining the homeomorphism type of an elliptic manifold lies in the complexity class FNP. These are both consequences of the following result. Suppose that $M$ is a lens space which is neither $\mathbb{RP}^3$ nor a prism manifold. Suppose that $\mathcal{T}$ is a triangulation of $M$. Then there is a loop, in the one-skeleton of the 86th iterated barycentric subdivision of $\mathcal{T}$, whose simplicial neighbourhood is a Heegaard solid torus for $M$.

math.GT↗
arXiv2025

From veering triangulations to link spaces and back again

This paper is the third in a sequence establishing a dictionary between the combinatorics of veering triangulations equipped with appropriate filling slopes, and the dynamics of pseudo-Anosov flows (without perfect fits) on closed three-manifolds. Our motivation comes from the work of Agol and Guéritaud. Agol introduced veering triangulations of mapping tori as a tool for understanding the surgery parents of pseudo-Anosov mapping tori. Guéritaud gave a new construction of veering triangulations of mapping tori using the orbit spaces of their suspension flows. Generalising this, Agol and Guéritaud announced a method that, given a closed manifold with a pseudo-Anosov flow (without perfect fits), produces a veering triangulation equipped with filling slopes. In this paper we build, from a veering triangulation, a canonical circular order on the cusps of the universal cover. Using this we build the veering circle and the link space. These are the first entries in the promised dictionary. The link space and the circle are, respectively, analogous to the orbit space of a flow and to Fenley's boundary at infinity of the orbit space. In the other direction, and using our previous work, we prove that the veering triangulation is recovered (up to canonical isomorphism) from the dynamics of the fundamental group acting on the link space. This is the first step in proving that our dictionary gives a bijection between the two theories.

math.GT↗
arXiv2024

Connecting essential triangulations II: via 2-3 moves only

In previous work we showed that for a manifold $M$, whose universal cover has infinitely many boundary components, the set of essential ideal triangulations of $M$ is connected via 2-3, 3-2, 0-2, and 2-0 moves. Here we show that this set is also connected via 2-3 and 3-2 moves alone, if we ignore those triangulations for which no 2-3 move preserves essentiality. If we also allow V-moves and their inverses then the full set of essential ideal triangulations of $M$ is once again connected. These results also hold if we replace essential triangulations with $L$-essential triangulations.

math.GT↗
arXiv2024

Diagonal flow detects topology of strata

We study the interplay between the diagonal flow on, and the topology of, a stratum component of a space of rooted quadratic differentials. We prove that the flow group -- the subgroup of the fundamental group generated by almost-flow loops -- equals the fundamental group. As a corollary, we show that the plus and minus modular Rauzy-Veech groups are finite-index subgroups of their ambient modular monodromy groups. This partially answers a question of Yoccoz. Using this, and recent advances on algebraic hulls and Zariski closures of symplectic monodromy groups, we prove that the Rauzy-Veech groups are Zariski dense in their ambient symplectic groups. Density, in turn, implies the simplicity of the plus and minus Lyapunov spectra of any component of any stratum of quadratic differentials. We thus establish the Kontsevich -- Zorich conjecture.

math.DS↗
arXiv2024

Connecting essential triangulations I: via 2-3 and 0-2 moves

Suppose that $M$ is a compact, connected three-manifold with boundary. We show that if the universal cover has infinitely many boundary components then $M$ has an ideal triangulation which is essential: no edge can be homotoped into the boundary. Under the same hypotheses, we show that the set of essential triangulations of $M$ is connected via 2-3, 3-2, 0-2, and 2-0 moves. The above results are special cases of our general theory. We introduce $L$-essential triangulations: boundary components of the universal cover receive labels and no edge has the same label at both ends. As an application, under mild conditions on a representation, we construct an ideal triangulation for which a solution to Thurston's gluing equations recovers the given representation. Our results also imply that such triangulations are connected via 2-3, 3-2, 0-2, and 2-0 moves. Together with results of Pandey and Wong, this proves that Dimofte and Garoufalidis' 1-loop invariant is independent of the choice of essential triangulation.

math.GT↗
arXiv2024

Compressed decision problems in hyperbolic groups

We prove that the compressed word problem and the compressed simultaneous conjugacy problem are solvable in polynomial time in hyperbolic groups. In such problems, group elements are input as words defined by straight line programs defined over a finite generating set for the group. We prove also that, for any infinite hyperbolic group $G$, the compressed knapsack problem in $G$ is ${\mathsf{NP}}$-complete.

math.GR↗
arXiv2024

From veering triangulations to dynamic pairs

From a transverse veering triangulation (not necessarily finite) we produce a canonically associated dynamic pair of branched surfaces. As a key idea in the proof, we introduce the shearing decomposition of a veering triangulation.

math.GT↗
arXiv2023

Large volume fibred knots of fixed genus

We show that, for hyperbolic fibred knots in the three-sphere, the volume and the genus are unrelated. Furthermore, for such knots, the volume is unrelated to strong quasipositivity and Seifert form.

math.GT↗
arXiv2022

Effective bilipschitz bounds on drilling and filling

This paper proves explicit bilipschitz bounds on the change in metric between the thick part of a cusped hyperbolic 3-manifold N and the thick part of any of its long Dehn fillings. Given a bilipschitz constant J > 1 and a thickness constant epsilon > 0, we quantify how long a Dehn filling suffices to guarantee a J-bilipschitz map on epsilon-thick parts. A similar theorem without quantitative control was previously proved by Brock and Bromberg, applying Hodgson and Kerckhoff's theory of cone deformations. We achieve quantitative control by bounding the analytic quantities that control the infinitesimal change in metric during the cone deformation. Our quantitative results have two immediate applications. First, we relate the Margulis number of N to the Margulis numbers of its Dehn fillings. In particular, we give a lower bound on the systole of any closed 3-manifold M whose Margulis number is less than 0.29. Combined with Shalen's upper bound on the volume of such a manifold, this gives a procedure to compute the finite list of 3-manifolds whose Margulis numbers are below 0.29. Our second application is to the cosmetic surgery conjecture. Given the systole of a one-cusped hyperbolic manifold N, we produce an explicit upper bound on the length of a slope involved in a cosmetic surgery on N. This reduces the cosmetic surgery conjecture on N to an explicit finite search.

math.GT↗
arXiv2022

Effective drilling and filling of tame hyperbolic 3-manifolds

We give effective bilipschitz bounds on the change in metric between thick parts of a cusped hyperbolic 3-manifold and its long Dehn fillings. In the thin parts of the manifold, we give effective bounds on the change in complex length of a short closed geodesic. These results quantify the filling theorem of Brock and Bromberg, and extend previous results of the authors from finite volume hyperbolic 3-manifolds to any tame hyperbolic 3-manifold. To prove the main results, we assemble tools from Kleinian group theory into a template for transferring theorems about finite-volume manifolds into theorems about infinite-volume manifolds. We also prove and apply an infinite-volume version of the 6-Theorem.

math.GT↗
arXiv2022

Cohomology fractals, Cannon-Thurston maps, and the geodesic flow

Cohomology fractals are images naturally associated to cohomology classes in hyperbolic three-manifolds. We generate these images for cusped, incomplete, and closed hyperbolic three-manifolds in real-time by ray-tracing to a fixed visual radius. We discovered cohomology fractals while attempting to illustrate Cannon-Thurston maps without using vector graphics; we prove a correspondence between these two, when the cohomology class is dual to a fibration. This allows us to verify our implementations by comparing our images of cohomology fractals to existing pictures of Cannon-Thurston maps. In a sequence of experiments, we explore the limiting behaviour of cohomology fractals as the visual radius increases. Motivated by these experiments, we prove that the values of the cohomology fractals are normally distributed, but with diverging standard deviations. In fact, the cohomology fractals do not converge to a function in the limit. Instead, we show that the limit is a distribution on the sphere at infinity, only depending on the manifold and cohomology class.

math.GT↗
arXiv2022

Essential loops in taut ideal triangulations

In this note we combinatorialise a technique of Novikov. We use this to prove that, in a three-manifold equipped with a taut ideal triangulation, any vertical or normal loop is essential in the fundamental group.

math.GT↗