Quasi-isometric rigidity of virtually polycyclic groups at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages

A
D
V
E
R
T

I
S
E
M
E
N
T

Quasi-isometric rigidity of virtually polycyclic groups

at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages

thinking... about 3 hours remaining

If this game doesn't work on your computer, go here for help. (Lean version available!)

expertly designed by an internal OpenAI model

Difficulty:	🧠🧠🧠🧠🧠	Ages:	13 - ∞
Skills:	symmetry	Levels:	1
Category:	Group theory	Lean version:	YES! ✔
Rate this game! 4.3 out of 5 (6,189 votes)

>>> How to Play <<<

Quasi-isometric recognition of virtually polycyclic groups. Proves that every finitely generated group quasi-isometric to a finitely generated virtually polycyclic group is virtually polycyclic, resolving the Eskin–Fisher–Whyte lattice-recognition conjecture. Equivalently, a group quasi-isometric to a lattice in a connected simply connected solvable Lie group is virtually a uniform lattice in some such Lie group, possibly a different one.

>>> Level Select <<<

LEVEL 1 Quasi-isometric recognition of virtually polycyclic groups

released 2026-09-24 | 2 theorems · 35 lemmas · 47 proofs · 34,989 words | PLAY LEVEL 1 » (pdf)

We prove that every finitely generated group quasi-isometric to a finitely generated virtually polycyclic group is virtually polycyclic. This resolves the lattice-recognition conjecture of Eskin, Fisher and Whyte, which allows the ambient solvable Lie group in the conclusion to differ from the one in the hypothesis.

More Group theory Games!
Amenability, unitarizability, and Ulam stability	A non-residually-finite torsion-free hyperbolic group	An infinite finitely presented simple amenable group	Classifying spaces and geometric obstructions for Artin groups
Howie's conjecture on equations over groups	A hyperbolic group with no geometric CAT(0) action	Gersten's conjecture for one-relator groups	A group without fixed price

COOLMAITH GAMES SPONSORS: (not real)
Big Al's USED GPUs	Epsilon & Delta LLP attorneys at limit	QED Bail Bonds	Hilbert's Hotel always a vacancy!

Cool Links: openai/math Lean Mathlib arXiv the real Coolmath Games

You are visitor number 000719

Thanks for visiting CoolmAIth Games
© 1997-2026 CoolmAIth Games. A parody. Not affiliated with Coolmath.com LLC or OpenAI.
Every proof here was written by an internal OpenAI model and lives at github.com/openai/math.
Best viewed in Netscape Navigator 4.0 at 800x600