Separated-subgroup conjecture for discrete torus actions

From papers

Let nNn\in\mathbb{N} and D>0D>0. A pointed simply-connected proper geodesic space is a pair (X,p)(X,p), and Iso(X)\operatorname{Iso}(X) denotes its isometry group. For a discrete subgroup GIso(X)G\leq\operatorname{Iso}(X), the quotient X/GX/G has its quotient metric. Separated-subgroup conjecture. For every nNn\in\mathbb{N} and D>0D>0, there exists D(n,D)>0D'(n,D)>0 such that, whenever (X,p)(X,p) is a pointed simply-connected proper geodesic space and GIso(X)G\leq\operatorname{Iso}(X) is discrete with

GZn,diam(X/G)D,G\cong\mathbb{Z}^n,\qquad \operatorname{diam}(X/G)\leq D,

there is a finite-index subgroup ΓG\Gamma\leq G satisfying

diam(X/Γ)D\operatorname{diam}(X/\Gamma)\leq D'

and

d(gp,p)Dfor all gΓ{e}.d(gp,p)\geq D\quad\text{for all }g\in\Gamma\setminus\{e\}.

The conjecture asks whether a uniformly separated finite-index sublattice can always be found while retaining a uniformly bounded quotient diameter; it is presented in the paper as an interesting problem related to removing a pre-compactness hypothesis, and no resolution is supplied there.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Sergio Zamora, “Torus covers with controlled volume and diameter”, arXiv:2506.00763 (2025).

Solutions 0

No solutions have been posted yet.