Questions in Geometric Group Theory — Q 12.80
Status Open · unsolvedmath.comLLM status Open unverified
Top Open Problems Not reported cataloguedOpenOpenStatement
Definitions and mathematical statement
A group $N$ is nilpotent if its lower central series, defined by $\gamma_1N=N$ and $\gamma_{j+1}N=[N,\gamma_jN]$, reaches the trivial subgroup after finitely many steps. It is torsion-free if no nonidentity element has finite order. A group $G$ is residually torsion-free nilpotent if, for every $g\ne1$, there is a homomorphism $\phi:G\to N$ to some torsion-free nilpotent group with $\phi(g)\ne1$. The nilpotency class and quotient may depend on $g$.For a countable discrete group, the Haagerup property means existence of a metrically proper affine isometric action on a real Hilbert space $\mathcal H$. Such an action has form \[ g\cdot v=\pi(g)v+b(g),\qquad b(gh)=b(g)+\pi(g)b(h), \] where $\pi$ is an orthogonal representation. Properness means that $\{g:\|b(g)\|\leq R\}$ is finite for every finite $R$.
Must every countable residually torsion-free nilpotent group have the Haagerup property? In particular, ask this for finitely generated groups, the natural setting of the source list. The proper Hilbert action need not factor through any single nilpotent quotient. Residual separation supplies many quotient maps, whereas the conclusion asks for one action whose displacement eventually escapes every bounded set. No common nilpotency class, uniform residual bound, or finite-dimensional Hilbert space is assumed. Mere absence of nontrivial torsion is weaker than the stated residual hypothesis.
Short English statement
Does residual torsion-free nilpotence guarantee a proper affine isometric action on Hilbert space?Sources
- S1 ULAM.AI and the UnsolvedMath Contributors, supplied problems.json, record 1101280 (AMR-010-1280), AMR Open Problem Lists. Catalogue identity and source transcription; CC BY 4.0. https://huggingface.co/datasets/ulamai/UnsolvedMath.
- S2 Bestvina - Questions in Geometric Group Theory (pdf) (2004), Question 12.80 (PDF page 21). Original source indexed by AMR-010-1280. https://www.math.utah.edu/~bestvina/eprints/questions-updated.pdf.
Statement licence: CC-BY-4.0 · Source file
Contributions 0
No attempts yet. Significant partial results and substantial reductions are welcome. Contribute an attempt.