OpenAI reports a counterexample to Wall’s finite D(2) problem

A finite connected three-dimensional CW complex satisfies the D(2) homological finiteness conditions but is not homotopy equivalent to any finite complex of dimension at most two.

Curated contributions 1

Understand the problem ↓

Understanding the problem

Read the background

A finite connected three-dimensional CW complex satisfies the D(2) homological finiteness conditions but is not homotopy equivalent to any finite complex of dimension at most two.

Why it matters

If correct, answers Wall’s finite D(2) problem negatively.

What counts as progress

Must every finite D(2) complex be homotopy equivalent to a finite two-complex?

Website timeline

Publication dates and editorial changes.