Separated-subgroup conjecture for discrete torus actions

Let n∈Nn\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 G≤Iso⁡(X)G\leq\operatorname{Iso}(X), the quotient X/GX/G has its quotient metric. Separated-subgroup conjecture. For every n∈Nn\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 G≤Iso⁡(X)G\leq\operatorname{Iso}(X) is discrete with

G≅Zn,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.

References

Primary source

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

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.