pith. sign in

arxiv: 2606.02284 · v1 · pith:5O4BMWY4new · submitted 2026-06-01 · 🧮 math.GR · math.MG

Coarse median property of virtually nilpotent groups

Hyeonggeun Kim This is my paper

Pith reviewed 2026-06-28 12:02 UTC · model grok-4.3

classification 🧮 math.GR math.MG
keywords coarse medianvirtually nilpotent groupsvirtually abelianasymptotic conesub-Riemannian geometryrank 1 symmetric spaceslatticesfundamental groups
0
0 comments X

The pith

Virtually nilpotent groups are coarse median if and only if they are virtually abelian.

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

The paper proves that virtually nilpotent groups admit a coarse median structure exactly when they are virtually abelian. The argument proceeds by showing that the sub-Riemannian geometry on the asymptotic cone rules out any locally convex Lipschitz median of finite rank whenever the group fails to be virtually abelian. This equivalence yields that non-compact lattices in the isometry groups of rank-1 symmetric spaces of non-compact type, other than real hyperbolic space, lack the coarse median property and finishes an earlier classification of such lattices. The same geometric obstruction shows that the fundamental group of a complete finite-volume non-compact Riemannian manifold of pinched negative curvature is not coarse median whenever at least one cusp cross-section admits no flat metric.

Core claim

Virtually nilpotent groups are coarse median if and only if they are virtually abelian. The main obstruction is that the sub-Riemannian geometry of the asymptotic cone blocks the existence of a locally convex Lipschitz median of finite rank. As an application, non-compact lattices in the isometry group of a rank-1 symmetric space of non-compact type other than real hyperbolic space are not coarse median. The same approach shows that if a complete finite-volume non-compact Riemannian manifold of pinched negative sectional curvature has at least one cusp cross-section without a flat metric, then its fundamental group is not coarse median.

What carries the argument

The asymptotic cone with its sub-Riemannian geometry, which obstructs locally convex Lipschitz medians of finite rank.

If this is right

  • Non-compact lattices in isometry groups of rank-1 symmetric spaces other than real hyperbolic space fail to be coarse median.
  • Fundamental groups of pinched negatively curved finite-volume manifolds are not coarse median whenever a cusp cross-section lacks a flat metric.
  • The coarse median property on virtually nilpotent groups coincides exactly with the virtually abelian condition.

Where Pith is reading between the lines

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

  • The same asymptotic-cone technique may detect the absence of coarse medians in other classes of groups whose asymptotic cones carry non-Euclidean geometries.
  • Coarse median structures on groups may be constrained by the presence of non-flat cusp geometry in associated manifolds.

Load-bearing premise

The sub-Riemannian geometry of the asymptotic cone of a non-virtually-abelian virtually nilpotent group admits no locally convex Lipschitz median of finite rank.

What would settle it

Exhibit an explicit locally convex Lipschitz median of finite rank on the asymptotic cone of any virtually nilpotent but not virtually abelian group.

read the original abstract

We show that virtually nilpotent groups are coarse median if and only if they are virtually abelian. The main idea is that the sub-Riemannian geometry of the asymptotic cone obstructs the existence of a locally convex Lipschitz median of finite rank. As an application, we deduce that non-compact lattices in the isometry group of a rank 1 symmetric space of non-compact type other than real hyperbolic space are not coarse median. This establishes the remaining case in the classification of lattices with the coarse median property initiated by Haettel. The same approach applies more generally to complete finite-volume non-compact Riemannian manifolds $M$ of pinched negative sectional curvature: if at least one cusp cross-section does not admit a flat metric, then $\pi_1(M)$ is not coarse median.

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 / 0 minor

Summary. The paper claims that a virtually nilpotent group is coarse median if and only if it is virtually abelian. The argument proceeds by showing that the sub-Riemannian structure on the asymptotic cone of a non-virtually-abelian virtually nilpotent group obstructs the existence of a locally convex Lipschitz median of finite rank; this obstruction is transferred from the group level via an ultralimit construction. The result is applied to show that non-compact lattices in the isometry groups of rank-1 symmetric spaces (other than real hyperbolic space) are not coarse median, completing Haettel's classification, and more generally to fundamental groups of complete finite-volume manifolds of pinched negative curvature whose cusp cross-sections do not admit flat metrics.

Significance. If the central transfer argument is made rigorous, the result supplies a geometric obstruction that finishes the classification of coarse-median lattices and yields a broad criterion for non-coarse-median fundamental groups of negatively curved manifolds. The use of asymptotic cones to produce a concrete, locally convex median on the cone is a potentially reusable technique.

major comments (1)
  1. [the section deriving the cone median from the group one (as indicated by the abstract's outline of the main idea)] The transfer step from a coarse median on the virtually nilpotent group G to a locally convex Lipschitz median of finite rank on its asymptotic cone is load-bearing for the non-existence claim. The ultralimit construction controls distances but does not automatically preserve local convexity of the median operation or bound its rank; a gap in the derivation of the cone median from the group median would leave the obstruction unsupported even if the cone itself admits no such median.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and for identifying the load-bearing nature of the transfer argument. We respond to the major comment below.

read point-by-point responses

  1. Referee: The transfer step from a coarse median on the virtually nilpotent group G to a locally convex Lipschitz median of finite rank on its asymptotic cone is load-bearing for the non-existence claim. The ultralimit construction controls distances but does not automatically preserve local convexity of the median operation or bound its rank; a gap in the derivation of the cone median from the group median would leave the obstruction unsupported even if the cone itself admits no such median.

    Authors: We agree that this step requires explicit justification. The median on the asymptotic cone is obtained by taking the ultralimit (with respect to a non-principal ultrafilter) of the sequence of group medians evaluated at representatives of the cone points. Because every coarse median is 1-Lipschitz, the ultralimit operation remains 1-Lipschitz. Local convexity passes to the limit because it is expressed by a collection of distance inequalities (the median lies in the intersection of three intervals) that are preserved under ultralimits; the same holds for the finite-rank condition, which is controlled by the nilpotency class of G and therefore remains bounded on the cone. We will add a short lemma in the revised manuscript that records these preservation properties in detail, thereby closing the potential gap. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation uses independent geometric obstruction on asymptotic cones

full rationale

The paper establishes an if-and-only-if characterization for virtually nilpotent groups via sub-Riemannian properties of asymptotic cones obstructing locally convex finite-rank medians. No quoted steps reduce a claimed prediction or uniqueness result to a fitted parameter, self-definition, or load-bearing self-citation chain. The argument is presented as relying on external geometric facts about cones and lattices, with the Haettel reference serving only as context for the remaining case rather than a foundational self-citation. The derivation chain remains self-contained against standard tools in geometric group theory.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Review limited to abstract; no explicit free parameters, axioms, or invented entities are identifiable from the provided text.

pith-pipeline@v0.9.1-grok · 5647 in / 1014 out tokens · 33597 ms · 2026-06-28T12:02:52.602558+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

19 extracted references · 7 canonical work pages

  1. [1]

    1941 , publisher=

    Dimension Theory , author=. 1941 , publisher=

    1941

  2. [2]

    Higher rank lattices are not coarse median , volume=

    Haettel, Thomas , year=. Higher rank lattices are not coarse median , volume=. Algebraic & Geometric Topology , publisher=. doi:10.2140/agt.2016.16.2895 , number=

    work page doi:10.2140/agt.2016.16.2895 2016

  3. [3]

    Pacific Journal of Mathematics , year=

    Coarse median spaces and groups , author=. Pacific Journal of Mathematics , year=

  4. [4]

    , journal =

    Chow, W.L. , journal =. Über Systeme von linearen partiellen Differentialgleichungen erster Ordnung. , url =

  5. [5]

    Topology , year=

    Tree-graded spaces and asymptotic cones of groups , author=. Topology , year=

  6. [6]

    Pansu, Pierre , title =. Ann. Math. (2) , issn =. 1989 , language =. doi:10.2307/1971484 , keywords =

    work page doi:10.2307/1971484 1989

  7. [7]

    Croissance des boules et des g

    Pierre Pansu , journal=. Croissance des boules et des g. 1983 , volume=

    1983

  8. [8]

    Dehn filling in relatively hyperbolic groups , volume=

    Groves, Daniel and Manning, Jason Fox , year=. Dehn filling in relatively hyperbolic groups , volume=. Israel Journal of Mathematics , publisher=. doi:10.1007/s11856-008-1070-6 , number=

    work page doi:10.1007/s11856-008-1070-6

  9. [9]

    Mathematical Proceedings of the Cambridge Philosophical Society , author=

    Invariance of coarse median spaces under relative hyperbolicity , volume=. Mathematical Proceedings of the Cambridge Philosophical Society , author=. 2013 , pages=. doi:10.1017/S0305004112000382 , number=

    work page doi:10.1017/s0305004112000382 2013

  10. [10]

    Algebraic & Geometric Topology , year =

    Fioravanti, Elia and Sisto, Alessandro , title =. Algebraic & Geometric Topology , year =. 2502.13865 , archivePrefix =

    arXiv

  11. [11]

    Hierarchically hyperbolic spaces II: Combination theorems and the distance formula , volume=

    Behrstock, Jason and Hagen, Mark and Sisto, Alessandro , year=. Hierarchically hyperbolic spaces II: Combination theorems and the distance formula , volume=. Pacific Journal of Mathematics , publisher=. doi:10.2140/pjm.2019.299.257 , number=

    work page doi:10.2140/pjm.2019.299.257 2019

  12. [12]

    On Carnot-Carath

    John Leslie Mitchell , journal=. On Carnot-Carath. 1985 , volume=

    1985

  13. [13]

    , title =

    Farb, B. , title =. Geometric & Functional Analysis GAFA , year =. doi:10.1007/s000390050075 , url =

    work page doi:10.1007/s000390050075

  14. [14]

    Geometric & Functional Analysis GAFA , year =

    Lubotzky, Alexander , title =. Geometric & Functional Analysis GAFA , year =. doi:10.1007/BF01895641 , url =

    work page doi:10.1007/bf01895641

  15. [15]

    Morris, Dave Witte , title =

  16. [16]

    Preprint , eprint=

    Coarse obstructions to cocompact cubulation , author=. Preprint , eprint=

  17. [17]

    Publications Math

    Ontaneda, Pedro , title =. Publications Math. 2020 , publisher =

    2020

  18. [18]

    Ballmann, Werner and Gromov, Mikhael and Schroeder, Viktor , title =

  19. [19]

    Journal of Differential Geometry , year=

    Almost flat manifolds , author=. Journal of Differential Geometry , year=