1 · The essentials
Can a space built from finitely many pieces of dimension at most three always be replaced by one using only pieces of dimension at most two, if certain mathematical tests suggest that the third dimension is unnecessary? Wall's finite D(2) problem asks this question under specific conditions. The manuscript claims that the answer is no. It describes a connected space that passes the required tests but cannot be replaced by any finite two-dimensional space while preserving its shape in the relevant mathematical sense. The example also has an infinite group recording how loops behave in the space. The main result is not formalized in Lean and has not been formally verified.
A picture to help (an imperfect image, not to be taken literally)
As an imperfect image, imagine a structure assembled from finitely many building pieces whose inspection reports suggest that three-dimensional pieces might be dispensable. The claimed example is like a structure that passes those inspections but still cannot be rebuilt using only lower-dimensional pieces while preserving the required features. This is only an analogy: the mathematical question concerns homotopy, not physical flattening.
Why it matters
The claimed counterexample separates two kinds of information: the vanishing conditions in the D(2) problem and the existence of a finite two-dimensional homotopy model. According to the manuscript, those conditions do not suffice to guarantee such a model. Its scope is specifically the finite problem, and the example has infinite fundamental group.
2 · Going further
The precise question concerns a finite connected three-dimensional CW complex . In the repository summary, the relevant conditions are that its universal cover has no integral homology above degree two, so for , and that for every local coefficient module . The finite D(2) problem asks whether these conditions ensure that is homotopy equivalent to a finite CW complex of dimension at most two.
The manuscript claims to construct an satisfying these conditions for which no such finite two-dimensional homotopy model exists. Its fundamental group is infinite. Thus the asserted negative answer comes from a counterexample, rather than from a general description of all spaces satisfying the conditions.
The supplied abstract states the construction's outcome but does not describe how the space is built or how the absence of a finite two-dimensional model is established. No more detailed argument can be extracted from the supplied text. Only one manuscript is provided, so no relationship with companion manuscripts is specified.
Useful notions
- CW complexes and dimension
- Homotopy equivalence
- Fundamental groups and universal covers
- Integral homology
- Cohomology with local coefficients
What was known before / what is new
Before
The source identifies the question as Wall's finite D(2) problem and describes the proposed implication as a conjecture. It supplies no account of earlier partial results or methods.
New
The manuscript claims a finite connected three-dimensional CW complex satisfying the D(2) conditions but not homotopy equivalent to any finite CW complex of dimension at most two. The example has infinite fundamental group. This is presented as a negative answer to Wall's finite D(2) problem.
Limits and assumptions
The stated hypotheses are finiteness, connectedness, dimension three, vanishing integral homology of the universal cover above degree two, and vanishing third cohomology for every local coefficient module. The excluded models are finite CW complexes of dimension at most two; the supplied statement does not exclude infinite two-dimensional models. The example has infinite fundamental group, and the source gives no conclusion for the finite-fundamental-group case or any further list of open questions. Construction and argument details are absent from the supplied abstract. The main result is not formalized in Lean and has not been formally verified.
Mini glossary
- Finite CW complex —
- A space assembled by attaching finitely many cells, with dimension given by the largest cell dimension.
- Homotopy equivalence —
- A relationship between spaces given by maps in both directions whose compositions can be continuously deformed to the respective identity maps.
- Fundamental group —
- The group recording loops based at a chosen point, with loops identified when they can be continuously deformed into one another while keeping the base point fixed.
- Universal cover —
- A simply connected covering space of the original space.
- Local coefficients —
- Coefficients for homology or cohomology that can vary over the space according to transport along paths.
Keywords : Topology · Wall's finite D(2) problem · Homotopy dimension
AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.
3 · Technical details and sources
Claim made in the manuscript (source text)
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.
To be verified: the proof is written in the manuscript, but no software has checked it and no validation by independent mathematicians is established. It may contain errors.
Manuscripts in this family
A Counterexample to Wall's D(2) Problem
06/10/2026We give a negative answer to Wall's finite problem. We construct a finite connected three-dimensional CW complex satisfying the finiteness condition but not homotopy equivalent to any finite CW complex of dimension at most two. The example has infinite fundamental group.