Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.03359

Large-scale rank and geometry of the Lipschitz metric on geodesic currents

Dídac Martínez-Granado·Jenya Sapir
View original source ↗Read source document ↗Export metadata ↓

Abstract

For a closed orientable surface of genus at least 2, we study the large-scale geometry of the (symmetrized) Lipschitz metric on its space of projective filling geodesic currents. We show that the rank and, hence, asymptotic dimension of the space of filling geodesic currents is infinite. This gives the first example of a natural proper space associated to a closed surface, with a metrically proper isometric action of the mapping class group, that has infinite asymptotic dimension. In contrast, we show that any finite simplex of geodesic currents has rank uniformly bounded above by $8g-9$. We then show a sufficient criterion for its rank and asymptotic dimension to be equal to $8g-9$ and construct examples satisfying it, thus showing the bound is sharp. We further prove that Teichmüller space equipped with the Lipschitz metric has rank equal to $3g-3$. In particular, the space of projective filling geodesic currents and the Teichmüller space are not quasi-isometric.

Explore related subjects

math.GTmath.DGmath.GR

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Dídac Martínez-Granado, Jenya Sapir. 2026-10-02. Large-scale rank and geometry of the Lipschitz metric on geodesic currents. https://arxiv.org/abs/2610.03359

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

KEEP EXPLORING

Related papers

arXiv2026

Knot distortion via curve combinatorics

Distortion is a geometric knot invariant introduced by Gromov in 1983. Since then, the question of estimating distortion for general knots has remained widely open. In this paper, we develop a combinatorial language to study this question. We apply our method to prove new lower bounds for knot distortion. Specifically, we prove that the distortion of $T_{p, p+1}\# K$ is at least $p$ up to a constant, independent of $K$. In the appendix, we also prove that any embedding of a minimal genus Seifert surface for $T_{p,p+1}\# K$ in $\mathbb{R}^3$ has small extrinsic systole, in the sense that it contains a non-contractible loop with small $\mathbb{R}^3$-diameter relative to the length of the knot. These results are consequences of combinatorial properties of the monodromy map associated to torus knots.

math.GT↗
arXiv2026

Ropelength-Filtered Swept-Area Geometry

This paper studies the swept-area cost of isotopies between thick knot representatives when the isotopy is required to stay inside a ropelength window: every intermediate curve has thickness at least one and length at most $Λ$. Without these constraints the swept area is the classical homotopy-area length on spaces of curves, and the induced distance on unparametrized curves is bounded below by the flat norm; see Yezzi--Mennucci and Michor--Mumford. We record the corresponding non-degeneracy on the ropelength-filtered moduli space, taken modulo orientation-preserving reparametrizations and Euclidean isometries, as a consequence of this classical lower bound. The ropelength window changes the theory in two ways. Distances are infinite between classes that are not yet connected at the level $Λ$, and all costs depend monotonically on the budget. We organize this dependence through budget--cost profiles and swept-area merge costs of admissible components. We prove their monotonicity and a transport estimate under whole-path simulations, and relate them to the merge scales of ropelength-filtered knot spaces. On the diagrammatic side, we construct a network with exact spatial endpoints whose path cost equals the infimal cost over diagrammatically generic isotopies, and show that the graph obtained by collapsing projection fibres gives only a lower bound, which can lose positive cost inside a fibre. We also give projected-area calibrations, exact formulas for concentric round and homothetic elliptical unknots, in which the window is not active, a labelled polygonal estimate, and a based loop-length structure on admissible fundamental groups. Existence of minimizing isotopies under the thickness and length constraints is left open.

math.GT↗
arXiv2026

Reflections on branched covers

A flag complex $L$ determines a locally CAT(0) cube complex $P_L$ with the links of all vertices isomorphic to $L$. The fundamental group of $P_L$ is the commutator subgroup of the right-angled Coxeter group $W_L$. We observe that an edge contraction $L \rightarrow L/e$ determines a $2$-fold branched cover $P_L \rightarrow P_{L/e}$ (up to a homotopy equivalence). We use this branched cover to give an inequality between the $\mathbb{F}_2$-$L^2$-Betti numbers of $W_L$ and $W_{L/e}$. This reduces an $\mathbb{F}_2$-version of the Singer Conjecture for right-angled Coxeter groups to minimal flag triangulations of even dimensional spheres. We also use this inequality to compute the $L^2$-Betti numbers of $W_L$ when $L$ is a flag triangulation of the projective plane or the torus.

math.GT↗