Result 321, Topology

A counterexample to Wall's finite D(2) problem

Constructs a finite connected three-dimensional CW complex whose universal cover has no integral homology above degree two and whose third cohomology vanishes for every local coefficient module, but which has no finite two-dimensional homotopy model. This disproves Wall's finite D(2) conjecture; the example has infinite fundamental group.

Disproof or counterexample

The bigger picture

Why it matters

A space can look two-dimensional to certain algebraic tests yet resist every finite two-dimensional model with the same homotopy type, meaning the same structure up to continuous deformation. The manuscript claims an example of this mismatch.

What changes?

The construction is a finite connected three-dimensional CW complex, a space assembled from finitely many cells of dimensions zero through three. Its universal cover, which unwinds its loops, has no integral homology above degree two. Its third cohomology vanishes for every local coefficient module, allowing coefficients to vary along loops. Despite these conditions, the unreviewed manuscript reports that no finite CW complex of dimension at most two has the same homotopy type. The example's fundamental group, encoding loops, is infinite.

What does that help mathematicians do?

This would refute Wall's finite D(2) conjecture by showing that these algebraic vanishing conditions do not suffice to eliminate three-dimensional cells from a finite homotopy model. Researchers seeking such a reduction would need additional hypotheses. The scope matters: the counterexample uses an infinite fundamental group and does not settle what happens for finite fundamental groups.

Are there practical applications?

Its immediate value is foundational: it separates algebraic tests for low-dimensional behavior from actual finite two-dimensional models. This clarifies the limits of using homology and cohomology to simplify spaces in topology. The reported counterexample is not a simplification algorithm; it identifies a case where the desired finite model cannot exist.

This section was generated by GPT-6 Astra Medium. This explanation is based on the result summary and manuscript abstracts below. This context is separate from OpenAI's source text.

Manuscript

A Counterexample to Wall's D(2) Problem

October 6, 2026 10 pages

We give a negative answer to Wall's finite D(2)D(2) problem. We construct a finite connected three-dimensional CW complex satisfying the D(2)D(2) finiteness condition but not homotopy equivalent to any finite CW complex of dimension at most two. The example has infinite fundamental group.

PDF LaTeX source
Cite (BibTeX) 
@misc{OAI:A-Counterexample-to-Walls-D2-Problem-October-6-2026,
  author = {{OpenAI}},
  title = {{A Counterexample to Wall's $D(2)$ Problem}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/A-Counterexample-to-Walls-D2-Problem-October-6-2026/wall-d2-counterexample.pdf}{OAI:A-Counterexample-to-Walls-D2-Problem-October-6-2026}},
  year = {2026}
}

Data from github.com/openai/math at commit adc7f12, committed October 6, 2026 at 21:58 UTC, last checked for changes about 9 hours ago. Titles, subjects, summaries, abstracts and Lean notes are OpenAI's; page counts are read from the PDFs. The map, related results, search, kinds of results and the named-problem index are Emergent Mind's, built with text embeddings and an LLM, and may contain errors.

An Emergent Mind Labs project. Emergent Mind is not affiliated with OpenAI. None of these results has been peer reviewed. Cite the manuscripts themselves, using the BibTeX on each result's page.