pith. machine review for the scientific record. sign in

arxiv: 2605.14469 · v1 · submitted 2026-05-14 · 🧮 math.GT

Recognition: 2 theorem links

· Lean Theorem

Geodesic currents of coarse negative curvature

Meenakshy Jyothis , D\'idac Mart\'inez-Granado
Authors on Pith no claims yet

Pith reviewed 2026-05-15 01:34 UTC · model grok-4.3

classification 🧮 math.GT
keywords geodesic currentsstrong hyperbolicitycoarse negative curvaturedual pseudometricsuniversal coverlength spectraCAT(0) metricssurface groups
0
0 comments X

The pith

Geodesic currents with strongly hyperbolic dual pseudometrics are dense in the full space of currents.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves that geodesic currents whose associated dual pseudometric satisfies strong hyperbolicity form a dense subset of all geodesic currents on a closed surface. Strong hyperbolicity is a coarse negative curvature condition stronger than Gromov hyperbolicity that includes CAT(-k) metrics and supports dynamical tools such as thermodynamical formalism. The density is established by combining a finite-cover argument with a boundary-data characterization of when a dual pseudometric is strongly hyperbolic. In contrast, the currents that arise from non-positively curved metrics on the surface do not form a dense set. This produces infinitely many pairwise non-roughly-isometric invariant strongly hyperbolic geodesic metrics on the universal cover that are not CAT(0), along with correlation counting statements for the corresponding length spectra.

Core claim

The central claim is that the subset of geodesic currents whose dual pseudometric is strongly hyperbolic is dense in the space of geodesic currents. The proof combines an elementary finite-cover argument with a characterization of strong hyperbolicity in terms of boundary data for pseudometrics dual to geodesic currents. In contrast, currents arising from non-positively curved metrics on the surface are not dense. As a consequence, infinitely many pairwise non-roughly-isometric invariant strongly hyperbolic geodesic metrics exist on the universal cover of the surface which are not CAT(0), and correlation counting results hold for the associated length spectra.

What carries the argument

The dual pseudometric to a geodesic current, identified as strongly hyperbolic precisely when its boundary data satisfy a certain condition.

If this is right

  • Dynamical techniques such as thermodynamical formalism become available for a dense collection of geodesic currents.
  • Infinitely many pairwise non-roughly-isometric invariant strongly hyperbolic geodesic metrics exist on the universal cover that are not CAT(0).
  • Correlation counting statements hold for the length spectra associated to these metrics.
  • Strong hyperbolicity can be realized densely without the current arising from a non-positively curved metric.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Strong hyperbolicity appears to be a generic property in the space of geodesic currents, allowing dynamical methods on typical objects.
  • Approximations by strongly hyperbolic currents may extend thermodynamic formalism to wider classes of pseudometrics on surfaces.
  • The contrast with non-positive curvature currents distinguishes different coarse curvature notions inside the current space.
  • Density constructions of this type could produce new examples in the study of surface group actions and length spectra.

Load-bearing premise

The boundary-data characterization correctly detects strong hyperbolicity for dual pseudometrics of geodesic currents, and the finite-cover construction applies without further restrictions on the surface or the currents.

What would settle it

An explicit geodesic current whose dual pseudometric is not strongly hyperbolic, together with a neighborhood around it that contains no currents with strongly hyperbolic duals, would disprove the density claim.

Figures

Figures reproduced from arXiv: 2605.14469 by D\'idac Mart\'inez-Granado, Meenakshy Jyothis.

Figure 3.1
Figure 3.1. Figure 3.1: Double transversal G, nested transversals Gn and box BG. (resp. xn, zn ∈ m), so that wn → l + ∈ ∂Xe as n → ∞, yn → l − ∈ ∂Xe as n → ∞ (resp. zn → m+ ∈ ∂Xe as n → ∞, xn → m− ∈ ∂Xe as n → ∞), and: • w0 := w and y0 := y. • wn < wn+1 in the natural order in l (resp. zn < zn+1 in the natural order in m). • yn > yn+1 in the natural order in l (resp. xn > xn+1 in the natural order in m). Define Gn := Gxn,yn,zn,… view at source ↗
Figure 4
Figure 4. Figure 4 [PITH_FULL_IMAGE:figures/full_fig_p020_4.png] view at source ↗
Figure 5
Figure 5. Figure 5 [PITH_FULL_IMAGE:figures/full_fig_p023_5.png] view at source ↗
Figure 5
Figure 5. Figure 5 [PITH_FULL_IMAGE:figures/full_fig_p024_5.png] view at source ↗
read the original abstract

Strong hyperbolicity is a coarse notion of negative curvature, stronger than Gromov hyperbolicity, that includes all CAT(-k) metrics for k positive and allows the use of dynamical techniques available in negative curvature, such as thermodynamical formalism. We prove that the subset of geodesic currents whose dual pseudometric is strongly hyperbolic is dense in the space of geodesic currents. The proof combines an elementary finite-cover argument with a characterization of strong hyperbolicity in terms of boundary data for pseudometrics dual to geodesic currents. In contrast, we show that currents arising from non-positively curved metrics on the surface are not dense. As a consequence, we construct infinitely many pairwise non-roughly-isometric invariant strongly hyperbolic geodesic metrics on the universal cover of the surface which are not CAT(0). Finally, we establish correlation counting results for the associated length spectra.

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

1 major / 3 minor

Summary. The paper proves that the subset of geodesic currents on a closed surface whose dual pseudometric is strongly hyperbolic is dense in the full space of geodesic currents. The argument combines an elementary finite-cover construction with a characterization of strong hyperbolicity via boundary data for the dual pseudometrics. It further shows that currents arising from non-positively curved metrics are not dense, constructs infinitely many pairwise non-roughly-isometric invariant strongly hyperbolic geodesic metrics on the universal cover that are not CAT(0), and establishes correlation counting results for the associated length spectra.

Significance. If the central density result holds, the work demonstrates that strong hyperbolicity—a property permitting dynamical techniques such as thermodynamical formalism—is generic among geodesic currents. This enlarges the class of metrics to which such techniques apply and provides explicit constructions of non-CAT(0) examples with strong hyperbolicity. The contrast with the non-density of NPC currents and the correlation counting statements add concrete geometric and dynamical content.

major comments (1)
  1. The density theorem rests on the boundary characterization of strong hyperbolicity for dual pseudometrics; the manuscript should supply a self-contained statement (with all hypotheses on the current and the surface) of this characterization before invoking it in the finite-cover argument, as any gap here directly affects the main claim.
minor comments (3)
  1. Clarify the precise definition of the dual pseudometric and its boundary data in the preliminary section; the current notation risks ambiguity when the current has partial support.
  2. In the statement of the non-density result for NPC metrics, explicitly indicate whether the argument applies only to closed surfaces or extends to surfaces with boundary.
  3. The correlation counting results would benefit from a brief comparison with existing counting theorems in the literature on geodesic currents to highlight the novelty.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading, the positive assessment of the significance of the density result, and the recommendation for minor revision. We address the single major comment below.

read point-by-point responses

  1. Referee: The density theorem rests on the boundary characterization of strong hyperbolicity for dual pseudometrics; the manuscript should supply a self-contained statement (with all hypotheses on the current and the surface) of this characterization before invoking it in the finite-cover argument, as any gap here directly affects the main claim.

    Authors: We agree that the manuscript would benefit from greater self-containment on this point. In the revised version we will add an explicit proposition stating the boundary characterization of strong hyperbolicity for dual pseudometrics, including all hypotheses on the geodesic current and the closed surface. This statement will appear immediately before the finite-cover construction in the proof of the density theorem, so that the argument relies only on material internal to the paper. revision: yes

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper's central proof combines an elementary finite-cover argument with a characterization of strong hyperbolicity via boundary data for dual pseudometrics; neither step reduces to the density claim by definition, fitted input, or self-citation chain. The non-density statement for NPC metrics is presented separately and does not feed back into the main argument. The derivation is self-contained with independent content against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard background notions of geodesic currents, dual pseudometrics, and strong hyperbolicity; no free parameters or invented entities are visible from the abstract.

axioms (2)
  • domain assumption Geodesic currents admit dual pseudometrics whose hyperbolicity properties can be read from boundary data
    Invoked in the characterization used for the density proof.
  • domain assumption Finite covers preserve the relevant dynamical and curvature properties of the surface
    Used in the elementary finite-cover argument.

pith-pipeline@v0.9.0 · 5446 in / 1291 out tokens · 45556 ms · 2026-05-15T01:34:16.876095+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

58 extracted references · 58 canonical work pages · 3 internal anchors

  1. [1]

    Martin Bridgeman, Richard Canary, Francois Labourie, and Andres Sambarino, The pressure metric for anosov representations, 2015, 1301.7459

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  2. [2]

    Bridson and Andre Haefliger, Metric spaces of nonpositive curvature, Springer, 2011

    Martin R. Bridson and Andre Haefliger, Metric spaces of nonpositive curvature, Springer, 2011

    work page 2011

  3. [3]

    Burger, A

    M. Burger, A. Iozzi, A. Parreau, and M. B. Pozzetti, Currents, systoles, and compactifications of character varieties, Proc. Lond. Math. Soc. (3) 123 (2021), no. 6, 565--596

    work page 2021

  4. [4]

    Marc Burger, Alessandra Iozzi, Anne Parreau, and Maria Beatrice Pozzetti, Positive crossratios, barycenters, trees and applications to maximal representations, 2021

    work page 2021

  5. [5]

    Systems 18 (1998), no

    Martine Babillot and Fran cois Ledrappier, Lalley's theorem on periodic orbits of hyperbolic flows, Ergodic Theory Dynam. Systems 18 (1998), no. 1, 17--39

    work page 1998

  6. [6]

    Bankovic and C

    A. Bankovic and C. Leininger, Marked-length-spectral rigidity for flat metrics, Trans. AMS. 370 (2017), no. 3, 1867--1884

    work page 2017

  7. [7]

    Leininger, Marked-length-spectral rigidity for flat metrics, Transactions of the American Mathematical Society 370 (2017), no

    Anja Bankovic and Christopher J. Leininger, Marked-length-spectral rigidity for flat metrics, Transactions of the American Mathematical Society 370 (2017), no. 3, 1867–1884

    work page 2017

  8. [8]

    , Marked-length-spectral rigidity for flat metrics, Trans. Amer. Math. Soc. 370 (2018), no. 3, 1867--1884

    work page 2018

  9. [9]

    Francis Bonahon, Bouts des vari\'et\'es hyperboliques de dimension 3, Ann. of Math. (2) 124 (1986), no. 1, 71--158

    work page 1986

  10. [10]

    , The geometry of T eichm\" u ller space via geodesic currents , Invent. Math. 92 (1988), no. 1, 139--162

    work page 1988

  11. [11]

    1, 1--30

    Rufus Bowen, Periodic orbits for hyperbolic flows, American Journal of Mathematics 94 (1972), no. 1, 1--30

    work page 1972

  12. [12]

    Rufus Bowen and David Ruelle, The ergodic theory of A xiom A flows , Invent. Math. 29 (1975), no. 3, 181--202

    work page 1975

  13. [13]

    Francis Bonahon and Dragomir S ari\' c , A thurston boundary for infinite-dimensional teichm\"uller spaces, Mathematische Annalen (2021), 1119–1167

    work page 2021

  14. [14]

    Marc Burger, Intersection, the M anhattan curve, and P atterson- S ullivan theory in rank 2 , Internat. Math. Res. Notices (1993), no. 7, 217--225

    work page 1993

  15. [15]

    Croke, A

    C. Croke, A. Fathi, and J. Feldman, The marked length-spectrum of a surface of nonpositive curvature, Topology 31 (1992), no. 4, 847--855

    work page 1992

  16. [16]

    Stephen Cantrell, D \' dac Mart \' nez-Granado, and Eduardo Reyes, A geometric correspondence for reparameterizations of geodesic flows, 60 pages, 2026, 2605.02585

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  17. [17]

    David Constantine, Marked length spectrum rigidity in non-positive curvature with singularities, Indiana Univ. Math. J. 67 (2018), no. 6, 2337--2361

    work page 2018

  18. [18]

    1, 11--59

    Stephen Cantrell and Eduardo Reyes, Manhattan geodesics and the boundary of the space of metric structures on hyperbolic groups, Commentarii Mathematici Helvetici 100 (2025), no. 1, 11--59

    work page 2025

  19. [19]

    23, rnaf351

    Stephen Cantrell and Eduardo Reyes, Marked length spectrum rigidity from rigidity on subsets, International Mathematics Research Notices 2025 (2025), no. 23, rnaf351

    work page 2025

  20. [20]

    , Rigidity phenomena and the statistical properties of group actions on CAT (0) cube complexes , Forum of Mathematics, Sigma 13 (2025), e150

    work page 2025

  21. [21]

    0, 215--274

    Stephen Cantrell and Ryokichi Tanaka, Invariant measures of the topological flow and measures at infinity on hyperbolic groups, Journal of Modern Dynamics 20 (2024), no. 0, 215--274

    work page 2024

  22. [22]

    Stephen Cantrell and Ryokichi Tanaka, The M anhattan curve, ergodic theory of topological flows and rigidity , Geom. Topol. 29 (2025), no. 4, 1851--1907

    work page 2025

  23. [23]

    Leininger, and Kasra Rafi, Length spectra and degeneration of flat metrics, Invent

    Moon Duchin, Christopher J. Leininger, and Kasra Rafi, Length spectra and degeneration of flat metrics, Invent. Math. 182 (2010), no. 2, 231--277

    work page 2010

  24. [24]

    9, 2938–2973

    Xian Dai and Giuseppe Martone, Correlation of the renormalized hilbert length for convex projective surfaces, Ergodic Theory and Dynamical Systems 43 (2023), no. 9, 2938–2973

    work page 2023

  25. [25]

    Viveka Erlandsson and Gabriele Mondello, Ergodic invariant measures on the space of geodesic currents, 2018

    work page 2018

  26. [26]

    Viveka Erlandsson, A remark on the word length in surface groups, Trans. Amer. Math. Soc. 372 (2019), no. 1, 441--455

    work page 2019

  27. [27]

    1, 365--378

    Ethan Fricker and Alex Furman, Quasi-fuchsian vs negative curvature metrics on surface groups, Israel Journal of Mathematics 251 (2022), no. 1, 365--378

    work page 2022

  28. [28]

    Thomas Foertsch, Alexander Lytchak, and Viktor Schroeder, Nonpositive curvature and the ptolemy inequality, International Mathematics Research Notices 2007 (2007), rnm100, https://academic.oup.com/imrn/article-pdf/doi/10.1093/imrn/rnm100/1988080/rnm100.pdf

    work page doi:10.1093/imrn/rnm100/1988080/rnm100.pdf 2007

  29. [29]

    149--166, Springer Berlin Heidelberg, Berlin, Heidelberg, 2002

    Alex Furman, Coarse-geometric perspective on negatively curved manifolds and groups, pp. 149--166, Springer Berlin Heidelberg, Berlin, Heidelberg, 2002

    work page 2002

  30. [30]

    Hamenst\"adt, Cocycles, symplectic structures and intersection, Geometric And Functional Analysis 9 (1999), no

    U. Hamenst\"adt, Cocycles, symplectic structures and intersection, Geometric And Functional Analysis 9 (1999), no. 1, 90–140

    work page 1999

  31. [31]

    Sa'ar Hersonsky and Fr\' e d\' e ric Paulin, On the rigidity of discrete isometry groups of negatively curved spaces, Comment. Math. Helv. 72 (1997), no. 3, 349--388

    work page 1997

  32. [32]

    uller theory and applications to geometry, topology, and dynamics. V ol. 1 , Matrix Editions, Ithaca, NY, 2006, Teichm\

    John Hamal Hubbard, Teichm\"uller theory and applications to geometry, topology, and dynamics. V ol. 1 , Matrix Editions, Ithaca, NY, 2006, Teichm\"uller theory, With contributions by Adrien Douady, William Dunbar, Roland Roeder, Sylvain Bonnot, David Brown, Allen Hatcher, Chris Hruska and Sudeb Mitra, With forewords by William Thurston and Clifford Earle

    work page 2006

  33. [33]

    2, 397–436

    Sam Hughes and Motiejus Valiunas, Commensurating hnn-extensions: Hierarchical hyperbolicity and biautomaticity, Commentarii Mathematici Helvetici 99 (2024), no. 2, 397–436

    work page 2024

  34. [34]

    Vincent Lafforgue, K-théorie bivariante pour les algèbres de banach et conjecture de baum-connes, Inventiones mathematicae 149 (2002), 1--95

    work page 2002

  35. [35]

    S. P. Lalley, Distribution of periodic orbits of symbolic and A xiom A flows , Adv. in Appl. Math. 8 (1987), no. 2, 154--193

    work page 1987

  36. [36]

    François Ledrappier, Structure au bord des variétés à courbure négative, Séminaire de théorie spectrale et géométrie 13 (1994-1995), 97--122

    work page 1994

  37. [37]

    A. N. Liv s ic, Cohomology of dynamical systems, Izvestiya Akademii Nauk SSSR. Seriya Matematicheskaya 36 (1972), 1296--1320

    work page 1972

  38. [38]

    Bruno Martelli, An introduction to geometric topology, CreateSpace Independent Publishing Platform, 2016

    work page 2016

  39. [39]

    The intersection dual of geodesic currents

    Dídac Martínez-Granado and Dylan P. Thurston, The intersection dual of geodesic currents, 2026, 2605.04031

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  40. [40]

    1, 97--122

    Igor Mineyev and Guoliang Yu, The baum-connes conjecture for hyperbolic groups, Inventiones Mathematicae 149 (2002), no. 1, 97--122

    work page 2002

  41. [41]

    NIST Digital Library of Mathematical Functions , Chapter 19: Elliptic Integrals , 2025, Release 1.2.4 of 2025-03-15

    work page 2025

  42. [42]

    3, 951--964

    Bogdan Nica and J\'an Spakula, Strong hyperbolicity, Groups, Geometry, and Dynamics 10 (2016), no. 3, 951--964

    work page 2016

  43. [43]

    Bogdan Nica and J\' a n S pakula, Strong hyperbolicity, Groups Geom. Dyn. 10 (2016), no. 3, 951--964

    work page 2016

  44. [44]

    Eduardo Oregón-Reyes, The space of metric structures on hyperbolic groups, 2022

    work page 2022

  45. [45]

    Eduardo Oregon Reyes, Some aspects of geometric actions of hyperbolic and relatively hyperbolic groups, Phd thesis, University of California, Berkeley, 2023, ProQuest ID: OregonReyes\_berkeley\_0028E\_22092; Merritt ID: ark:/13030/m5gk0dw6

    work page 2023

  46. [46]

    Jean-Pierre Otal, Le spectre marqué des longueurs des surfaces à courbure négative, Ann. of Math. (2) 131 (1990), no. 1, 151

    work page 1990

  47. [47]

    1, 183--200

    Mark Pollicott, Symbolic dynamics for smale flows, American Journal of Mathematics 109 (1987), no. 1, 183--200

    work page 1987

  48. [48]

    187-188, 268

    William Parry and Mark Pollicott, Zeta functions and the periodic orbit structure of hyperbolic dynamics, Ast\'erisque (1990), no. 187-188, 268

    work page 1990

  49. [49]

    Beatrice Pozzetti and Jiajun Shi, Finsler metrics on 1/n -translation structures on surfaces , arXiv preprint (2026), 34, 2604.02243

    work page arXiv 2026

  50. [50]

    Luca De Rosa and Dídac Martínez-Granado, Dual spaces of geodesic currents, 2023, 2211.05164

    work page arXiv 2023

  51. [51]

    Ser., vol

    Michah Sageev, CAT(0) cube complexes and groups , Geometric group theory, IAS/Park City Math. Ser., vol. 21, Amer. Math. Soc., Providence, RI, 2014, pp. 7--54

    work page 2014

  52. [52]

    2, 443--488

    Andrés Sambarino, Quantitative properties of convex representations, Commentarii Mathematici Helvetici 89 (2014), no. 2, 443--488

    work page 2014

  53. [53]

    Jenya Sapir, An extension of the thurston metric to projective filling currents, 2023, 2210.08130

    work page arXiv 2023

  54. [54]

    London Math

    Peter Scott, Subgroups of surface groups are almost geometric, J. London Math. Soc. (2) 17 (1978), no. 3, 555--565

    work page 1978

  55. [55]

    London Math

    , Subgroups of surface groups are almost geometric, J. London Math. Soc. (2) 17 (1978), no. 3, 555--565

    work page 1978

  56. [56]

    L ondon M ath

    , Correction to: `` S ubgroups of surface groups are almost geometric'' [ J . L ondon M ath. S oc. (2) 17 (1978), no. 3, 555--565; MR 0494062 (58 \#12996)] , J. London Math. Soc. (2) 32 (1985), no. 2, 217--220

    work page 1978

  57. [57]

    Richard Sharp, Prime orbit theorems with multi-dimensional constraints for A xiom A flows , Monatsh. Math. 114 (1992), no. 3-4, 261--304

    work page 1992

  58. [58]

    , The M anhattan curve and the correlation of length spectra on hyperbolic surfaces , Math. Z. 228 (1998), no. 4, 745--750

    work page 1998