Manuscript OpenAI@2026-10-07 · OpenAI.tex · remark · 6a931f8f
Remark: Family 249. A finitely generated counterexample to Eilenberg–Ganea
Family claims › Group theory · lines 1661–1666
OpenAI@2026-10-07#rem:oai-249
Constructs a finitely generated residually finite group with integral cohomological dimension two and geometric dimension three, disproving the Eilenberg–Ganea conjecture. It has no two-dimensional classifying space, even with infinitely many cells.
The authors are OpenAI. This companion does not verify the proof. The claim is not a theorem of the Enter series and not a premise of any registered sheet. It does not close O.1. O.1 stays NOT_CLOSED. It is not a de Sitter state and not the QdS external-leg scheme. No quantum coefficient is admitted. No compilation is asserted.
Nearby in this section
- remark: Remark: Family 246. Cannon's conjecture
- remark: Remark: Family 247. An infinite finitely presented residually finite 2 -group
- remark: Remark: Family 248. Thompson's group F is nonamenable
- remark: Remark: Family 250. The Boone–Higman conjecture and higher finiteness
- remark: Remark: Family 251. Amenability, unitarizability, and Ulam stability
- remark: Remark: Family 252. A non-residually-finite torsion-free hyperbolic group
- remark: Remark: Family 253. An infinite finitely presented simple amenable group
- remark: Remark: Family 254. Classifying spaces and geometric obstructions for Artin groups