OpenAI reports an Eilenberg–Ganea counterexample

There is a finitely generated residually finite group of integral cohomological dimension two and geometric dimension three.

Curated contributions 1

Understand the problem ↓

Understanding the problem

Read the background

There is a finitely generated residually finite group of integral cohomological dimension two and geometric dimension three.

Why it matters

If correct, disproves the long-standing Eilenberg–Ganea conjecture with a finitely generated residually finite example.

What counts as progress

Can a group have cohomological dimension two but geometric dimension three?

Website timeline

Publication dates and editorial changes.