pith. sign in

arxiv: 2211.04093 · v3 · submitted 2022-11-08 · 🧮 math.DG · math.GR· math.MG

Geometric rigidity of quasi-isometries in horospherical products

Tom Ferragut (UCBL) This is my paper

Pith reviewed 2026-05-24 10:08 UTC · model grok-4.3

classification 🧮 math.DG math.GRmath.MG
keywords quasi-isometrieshorospherical productshyperbolic spacesgeometric rigiditysolvable Lie groupsnilpotent groupsquasi-isometric invariants
0
0 comments X

The pith

Quasi-isometries of horospherical products of hyperbolic spaces are uniformly close to product maps.

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

The paper proves that any quasi-isometry between horospherical products of hyperbolic spaces stays uniformly close to a product map. This extends an earlier rigidity result to solvable Lie groups of the form R ⋉ (N1 × N2) where the R-action contracts distances in one nilpotent factor and expands them in the other. The rigidity supplies fresh quasi-isometric invariants and produces classifications for these spaces. A reader would care because the result turns an apparently flexible class of maps into a rigid one that respects the product decomposition.

Core claim

We prove that quasi-isometries of horospherical products of hyperbolic spaces are geometrically rigid in the sense that they are uniformly close to product maps. Our work covers the case of solvable Lie groups of the form R ⋉ (N1 × N2), where N1 and N2 are nilpotent Lie groups, and where the action on R contracts the metric on N1 while extending it on N2. We obtain new quasi-isometric invariants and classifications for these spaces.

What carries the argument

The horospherical product structure on solvable Lie groups R ⋉ (N1 × N2) with the contracting action on N1 and expanding action on N2.

If this is right

  • New quasi-isometric invariants distinguish these horospherical products.
  • Classifications of the spaces up to quasi-isometry follow from the rigidity.
  • The result extends the earlier rigidity theorem to a wider family of solvable groups.

Where Pith is reading between the lines

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

  • The same contraction-expansion condition may produce rigidity statements for other nilpotent factors or different base spaces.
  • Concrete low-dimensional examples such as specific Heisenberg groups could now be checked for quasi-isometric equivalence by testing proximity to product maps.

Load-bearing premise

The underlying spaces must be horospherical products in which the one-parameter action contracts distances on one nilpotent factor and expands them on the other.

What would settle it

An explicit quasi-isometry between two such spaces whose distance to every product map grows without bound would falsify the rigidity statement.

Figures

Figures reproduced from arXiv: 2211.04093 by Tom Ferragut (UCBL).

Figure 1
Figure 1. Figure 1: Horospherical product X ⋈ Y . The set X ⋈ Y , can be seen as a diagonal in X × Y . It is constructed by gluing X with an upside down copy of Y along their respective horospheres. This construction, illustrated in [PITH_FULL_IMAGE:figures/full_fig_p008_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Small neighbourhood in T3 ⋈ T3. 3. Tm ⋈ H2 is a Cayley 2-complex of the Baumslag-Solitar group BS(1,m). The awareness of them being identically constructed from Gromov hyperbolic spaces came later, a survey on these three examples is provided by Wolfgang Woess in [Woe13]. An other approach, is to consider the hyperbolic plane H2,m as the affine Lie group R ⋉m R with action by multiplication (z, x) ↦ e mzx,… view at source ↗
Figure 3
Figure 3. Figure 3: Figure of Lemma 1.4. A metric space is called geodesically complete if all its geodesic segments can be extended into geodesic lines, therefore when the space is also Gromov hyperbolic and Busemann space, with respects to a ∈ ∂X, any point is included in a vertical geodesic line (not necessarily unique). We recall Lemma 4.7 of [Fer20]. Lemma 1.3. Let X be a proper, δ-hyperbolic, Busemann space. Let V1 and … view at source ↗
Figure 4
Figure 4. Figure 4: Projection of A on Xz. Notation 1.6. Let X be a proper, geodesically complete, δ-hyperbolic, Busemann space. 1. Let us denote the r-neighbourhood of U for all U ⊂ X and for all r ≥ 0 by Nr(U) ∶= {x ∈ X ∣ d(x, U) ≤ r} (4) 2. For all x ∈ X let us denote by Vx the unique vertical geodesic ray such that Vx(0) = x. 3. For a subset A ⊂ X, let us denote h − (A) ∶= inf x∈A (h(x)) ; h + (A) ∶= sup x∈A (h(x)). (5) 4… view at source ↗
Figure 5
Figure 5. Figure 5: Proof of Lemma 1.8 Proof. This Lemma is a corollary of Lemma 1.3 and is illustrated in [PITH_FULL_IMAGE:figures/full_fig_p012_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: X-Horosphere in X ⋈ Y . 2 Metric aspects and metric tools in horospherical products Through out this section we fix two constants k ≥ 1 and c ≥ 0. We recall the notions of quasi-isometry and quasi-geodesic. Definition 2.1. ((k, c)-quasi-isometry) Let (E, dE) and (F, dF ) be two metric spaces. A map Φ ∶ E → F is called a (k, c)-quasi-isometry if and only if: 1. For all x, x′ ∈ E, k −1dE(x, x′ ) − c ≤ dF (Φ(… view at source ↗
Figure 7
Figure 7. Figure 7: Proof of Theorem 2.4. Since α is assumed to be continuous, a 0-monotone quasigeodesic has monotone height, h ○ α is either nondecreasing or nonincreasing. We first show that in X ⋈ Y , the projections on X and Y of an ε-monotone quasigeodesic are also quasigeodesics. Theorem 2.4. Let ε > 0, R > 1 ε , and α = (α X , αY ) ∶ [0, R] → X ⋈ Y be an ε-monotone (k, c)- quasigeodesic segment. Then there exists a co… view at source ↗
Figure 8
Figure 8. Figure 8: Proof of Proposition 2.6 Proposition 2.6. Let ε > 0, R > 1 ε , and α ∶ [0, R] → X ⋈ Y be an ε-monotone (k, c)-quasigeodesic segment. Then there exists a vertical geodesic segment V ∶ [0, R] → X ⋈ Y such that dHff(im(α), im(V )) ⪯k,c,δ εR (19) [PITH_FULL_IMAGE:figures/full_fig_p018_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: Subdivision of a quasi-geodesic. However we can achieve the lower-bound inequality on ∣s1 − s2∣ ∣s1 − s2∣ = d⋈((V (s1), V (s2)) ≥ d⋈(α(t1), α(t2)) − 2MεR, by the triangle inequality, ≥ 1 k ∣t1 − t2∣ − c − 2MεR, since α is a quasigeodesic. Which provides us with ∆h(α(t1), α(t2)) ≥ ∣s1 − s2∣ − 2MεR ≥ 1 k ∣t1 − t2∣ − 5MεR. 2.2 Coarse differentiation of a quasigeodesic segment The coarse differentiation of a q… view at source ↗
Figure 10
Figure 10. Figure 10: A coarse vertical quadrilateral of Proposition 2.11 [PITH_FULL_IMAGE:figures/full_fig_p024_10.png] view at source ↗
Figure 11
Figure 11. Figure 11: Case (a) in proof of Proposition 2.13. ● h(V11(0)) = h(V22(0)) = h(a1) = h(a2) = h ● h(V11(R)) = h(V22(R)) = h(b1) = h(b2) = h + R ● h(V12(0)) = h(V21(0)) = h + R ● h(V12(R)) = h(V21(R)) = h ● Φ ○ Vi,j is ε-monotone Then the following statement holds: orientation(Φ ○ V11) = orientation(Φ ○ V22) Proof. Up to the additive constant D, one can consider V1,1 ∪V2,1 ∪V2,2 ∪V1,2 as a coarse quadrilateral composed… view at source ↗
Figure 12
Figure 12. Figure 12: Proof of Lemma 3.2. Heuristically, the next lemma asserts that the measure of the boundary of a disk is small in com￾parison to the measure of the disk. Lemma 3.3. Let M0 be the constant involved in assumption (E2) and let M be the constant involved in Corollary 1.4. Let z0 ∈ R, x0 ∈ Xz0 and C ⊂ Xz0 be a set containing DM0 (x0) and contained in D2M0 (x0). Then for all z1 ≤ z0, and for all r ≤ 2∣z1 − z0∣ −… view at source ↗
Figure 13
Figure 13. Figure 13: Box-tiling In this definition, we chose [(n − 1)R;nR[ for the boxes’ heights. It is an arbitrary choice, one could prefer to use ](n−1)R;nR] as these heights intervals. Moreover, to construct the horospherical product of X and Y , we will use intervals of the form [. . . ; . . .[ for X and ]. . . ; . . .] for Y . We recall that the cells C(x) tile the horospheres XnR. Furthermore there exists a unique ver… view at source ↗
Figure 14
Figure 14. Figure 14: Proof of Lemma 3.10 which gives us that x ′ ∈ B(x, r). To prove the second inclusion, let us denote by Vx the unique (since X is Busemann convex) vertical geodesic ray leaving x. Let x0 ∈ im(Vx) such that h(x0) = h(x)+ 2r and C(x0) be a subset of Xh(x0) containing D(x0,M) and contained in D(x0, 2M). Then we claim that B(x, r) is included in the box of radius 3r constructed from the cell C(x0). Let x ′ ∈ B… view at source ↗
Figure 15
Figure 15. Figure 15: Box in X ⋈ Y Proof. Let us consider the box tilings of X and Y : X = ⊔ n∈Z ⊔ x∈D(XnR) B X(x, R) Y = ⊔ n∈Z ⊔ y∈D(YnR) B Y (y, R) We first show that the intersection of two distinct boxes is empty. Let n1, n2 ∈ R, x1 ∈ D (Xn1R), x2 ∈ D (Xn2R), y1 ∈ D (Y(1−n1)R) and y2 ∈ D (X(1−n2)R) such that (x1, y1) ≠ (x2, y2). Then we have either x1 ≠ x2 or y1 ≠ y2. Let us consider the case x1 ≠ x2, then B X(x1, R) ≠ B X… view at source ↗
Figure 16
Figure 16. Figure 16: Large X-Horosphere in X ⋈ Y . Proof. Without loss of generality we can assume that h(B) = [0;R[. We proceed by contradiction, let us assume that λ X (E X ) ≥ √ αλX (B X). Then we compute the measure of U c : λ(U c ) = R ∫ 0 λ X z ⊗ λ Y −z (U c z ) dz = R ∫ 0 ∫ BXz λ Y −z ({y ∈ Y−z ∣ (x, y) ∈ U c z })dλ X z (x)dz, by definition, = R ∫ 0 ∫ BXz λ Y −z ((Hx ∩ U c ) Y ) dλ X z (x)dz ≥ R ∫ 0 ∫ EXz λ Y −z ((Hx ∩… view at source ↗
Figure 17
Figure 17. Figure 17: Configuration of Lemma 4.8 HX B X P X 1 P X 2 ρ1R ρ2R x S(x) X [PITH_FULL_IMAGE:figures/full_fig_p061_17.png] view at source ↗
Figure 18
Figure 18. Figure 18: Construction of S(x) X in Lemma 4.8 61 [PITH_FULL_IMAGE:figures/full_fig_p061_18.png] view at source ↗
read the original abstract

We prove that quasi-isometries of horospherical products of hyperbolic spaces are geometrically rigid in the sense that they are uniformly close to product maps, this is a generalisation of the result obtained by Eskin, Fisher and Whyte in [7]. Our work covers the case of solvable Lie groups of the form R ___ (N 1 x N 2), where N 1 and N 2 are nilpotent Lie groups, and where the action on R contracts the metric on N 1 while extending it on N 2. We obtain new quasi-isometric invariants and classi cations for these spaces.

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

0 major / 2 minor

Summary. The manuscript proves that quasi-isometries of horospherical products of hyperbolic spaces are geometrically rigid in the sense that they are uniformly close to product maps. This is presented as a generalization of the Eskin-Fisher-Whyte result to solvable Lie groups of the form R ⋉ (N1 × N2), where N1 and N2 are nilpotent Lie groups and the R-action contracts the metric on N1 while extending it on N2. New quasi-isometric invariants and classifications for these spaces are obtained.

Significance. If the central claim holds, the work extends quasi-isometric rigidity results from hyperbolic spaces and their products to a broader class of solvable Lie groups, yielding new invariants that could support classification results in geometric group theory. The explicit construction of horospherical products with the stated contracting/extending action provides a concrete setting in which the generalization applies.

minor comments (2)
  1. Abstract: the notation 'R ___ (N 1 x N 2)' and 'classi cations' appear to be typesetting artifacts; these should be corrected to 'R ⋉ (N1 × N2)' and 'classifications' for clarity.
  2. The abstract states the result for 'horospherical products of hyperbolic spaces' but the body description focuses on solvable Lie groups; a brief clarifying sentence relating the two descriptions would aid readers.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of our work and for recommending minor revision. No specific major comments were listed in the report, so we have no points to address point-by-point at this stage.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper claims a generalization of the Eskin-Fisher-Whyte rigidity theorem from [7] to horospherical products R ⋉ (N1 × N2) with contracting/extending actions, by proving quasi-isometries are uniformly close to product maps and obtaining new invariants. No self-citations, self-definitional steps, fitted inputs renamed as predictions, or ansatzes smuggled via prior author work appear in the provided abstract or summary. The central derivation is presented as building on independent external results, with the setup matching conditions where the cited theorem applies, making the claim self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The proof relies on standard mathematical axioms from differential geometry and group theory; no ad hoc assumptions or free parameters mentioned in abstract.

axioms (1)
  • standard math Hyperbolic spaces and nilpotent Lie groups satisfy standard metric and group properties used in quasi-isometry theory.
    Invoked in the definition of horospherical products and quasi-isometries.

pith-pipeline@v0.9.0 · 5625 in / 1190 out tokens · 23469 ms · 2026-05-24T10:08:06.703081+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

30 extracted references · 30 canonical work pages

  1. [1]

    Auslander , An exposition of the structure of solvmanifolds

    L. Auslander , An exposition of the structure of solvmanifolds. I.Algebraic theory. Bull. Amer. Math. Soc., 79(2):227--261, (1973)

    work page 1973

  2. [2]

    Bridson, A

    M.R. Bridson, A. Haefliger , Metric Spaces of Non-Positive Curvature. Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer-Verlag, Berlin, Volume 319 (1999)

    work page 1999

  3. [3]

    Carrasco Piaggio , Orlicz spaces and the large scale geometry of Heintze groups

    M. Carrasco Piaggio , Orlicz spaces and the large scale geometry of Heintze groups. Math. Ann., 368(1-2):433--481, (2017)

    work page 2017

  4. [4]

    Coornaert, T

    M. Coornaert, T. Delzant, A. Papadopoulos , Géométrie et théorie des groupes: Les groupes hyperboliques de Gromov. Lecture Notes in Mathematics 1441 (1990)

    work page 1990

  5. [5]

    Cornulier , Asymptotic cones of Lie groups and cone equivalences

    Y. Cornulier , Asymptotic cones of Lie groups and cone equivalences. Illinois J. Math., 55(1):237–259 (2012)

    work page 2012

  6. [6]

    Cornulier , On the quasi-isometric classification of locally compact groups

    Y. Cornulier , On the quasi-isometric classification of locally compact groups. In New directions in locally compact groups, volume 447 of London Math. Soc. Lecture Note Ser., pages 275–342. Cambridge Univ. Press, Cambridge, (2018)

    work page 2018

  7. [7]

    Cowling, V

    M.G. Cowling, V. Kivioja, E. Le Donne, S. Nicolussi Golo, A.Ottazi , From Homogeneous Metric Spaces to Lie Groups. arXiv:1705.09648 (2021)

    work page arXiv 2021

  8. [8]

    Dymarz , Large scale geometry of certain solvable groups

    T. Dymarz , Large scale geometry of certain solvable groups. Geometric and Functional Analysis, volume 19, 6 (2009), 1650-1687

    work page 2009

  9. [9]

    Dymarz, X

    T. Dymarz, X. Xie , Day's fixed point theorem, group cohomology, and quasi-isometric rigidity. Groups Geom. Dyn., 10(4):1121--1148, (2016)

    work page 2016

  10. [10]

    Eskin, D

    A. Eskin, D. Fisher, K. Whyte , Coarse differentiation of quasi-isométries I: Spaces not quasi-isometric to Cayley graphs. Annals of Mathematics, Volume 176 (2012), 221-260

    work page 2012

  11. [11]

    Eskin, D

    A. Eskin, D. Fisher, K. Whyte , Coarse differentiation of quasi-isométries II: rigidity for lattices in Sol and lamplighter groups. Annals of Mathematics, Volume 177 (2013), 869-910

    work page 2013

  12. [12]

    B. Farb, L. Mosher , A rigidity theorem for the solvable Baumslag-Solitar groups. Invent. math. 131 (1998),419-451

    work page 1998

  13. [13]

    Ferragut , Geodesics and Visual boundary of Horospherical Products

    T. Ferragut , Geodesics and Visual boundary of Horospherical Products. V2 arXiv:2009.04698 (2020)

    work page arXiv 2009

  14. [14]

    E. Ghys, P. De La Harpe , Sur les Groupes Hyperboliques d'après Mikhael Gromov. Progress in Mathematics Volume 83 (1990)

    work page 1990

  15. [15]

    Gouëzel, V

    S. Gouëzel, V. Shchur , A corrected quantitative version of the Morse lemma Journal of Functional Analysis, Volume 277 (2019) 1258-1268

    work page 2019

  16. [16]

    Gromov , Asymptotic invariants of infinite groups LMS Lecture Notes, vol

    M. Gromov , Asymptotic invariants of infinite groups LMS Lecture Notes, vol. 182, Cambridge Univ. Press, (1993)

    work page 1993

  17. [17]

    Heinonen , Lectures on analysis on metric spaces

    J. Heinonen , Lectures on analysis on metric spaces. Universitext. Springer-Verlag, New York, (2001)

    work page 2001

  18. [18]

    Heintze , On homogeneous manifolds of negative curvature

    E. Heintze , On homogeneous manifolds of negative curvature. Mathematische Annalen. Vol.211; Iss. 1 (1974)

    work page 1974

  19. [19]

    Kapovich , Lectures on quasi-isometric rigidity

    M. Kapovich , Lectures on quasi-isometric rigidity. Geometric Group Theory . vol.21. (2014), 127-172

    work page 2014

  20. [20]

    Kleiner, B

    B. Kleiner, B. Leeb , Induced quasi-actions: a remark. Proc. Amer. Math. Soc., 137(5):1561--1567, (2009)

    work page 2009

  21. [21]

    Le Donne, G

    E. Le Donne, G. Pallier, X. Xie , Rough similarity of left-invariant Riemannian metrics on some Lie groups. arXiv:2208.06510 (2022)

    work page arXiv 2022

  22. [22]

    Pansu , Metriques de Carnot-Caratheodory et Quasiisometries des Espaces Symetriques de rang un

    P. Pansu , Metriques de Carnot-Caratheodory et Quasiisometries des Espaces Symetriques de rang un. The Annals of Mathematics, Volume 129 (1989), 1-60

    work page 1989

  23. [23]

    Papadopoulos , Metric spaces, convexity and nonpositive curvature

    A. Papadopoulos , Metric spaces, convexity and nonpositive curvature. IRMA Lectures in Mathematics and Theoretical Physics 6 (2004)

    work page 2004

  24. [24]

    Peng , Coarse differentiation and quasi-isometries of a class of solvable Lie groups I

    I. Peng , Coarse differentiation and quasi-isometries of a class of solvable Lie groups I. Geom. Topol. 15, No. 4, (2011), 1883-1925

    work page 2011

  25. [25]

    Peng , Coarse differentiation and quasi-isometries of a class of solvable Lie groups II

    I. Peng , Coarse differentiation and quasi-isometries of a class of solvable Lie groups II. Geom. Topol. 15, No. 4, (2011), 1927–1981

    work page 2011

  26. [26]

    Piaggio, E

    M.C. Piaggio, E. Sequeira , On quasi-isometry invariants associated to the derivation of a Heintze group. Geometriae Dedicata 189, 1-16 (2017)

    work page 2017

  27. [27]

    Soardi, W

    P.M. Soardi, W. Woess , Amenability, unimodularity, and the spectral radius of random walks on infinite graphs. Math. Z. 205 (1990), 471–486

    work page 1990

  28. [28]

    Woess , What is a horocyclic product, and how is it related to lamplighters? Internationale Mathematische Nachrichten, Volume 224 (2013) 1-27

    W. Woess , What is a horocyclic product, and how is it related to lamplighters? Internationale Mathematische Nachrichten, Volume 224 (2013) 1-27

    work page 2013

  29. [29]

    Xie , Large scale geometry of negatively curved R ^n R

    X. Xie , Large scale geometry of negatively curved R ^n R . Geom. Topol. 18, No. 2 (2014), 831-872

    work page 2014

  30. [30]

    Xie , Quasi-conformal maps on model filiform groups

    X. Xie , Quasi-conformal maps on model filiform groups.. Michigan Math. J., 64(1):169--202, (2015)

    work page 2015