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

> A paper claims a negative answer to Wall's D(2) problem: a finite 3-complex that passes the test but has no 2-d model.

Canonical: https://closedform.nishachay.tech/e/openai-math-2026-321/
Last updated: 2026-10-14

**A paper claims a negative answer to Wall's D(2) problem: a finite 3-complex that passes the test but has no 2-d model.**

**Trust:** Claimed, not checked · **Papers:** 1 · **First paper:** October 6, 2026 · **Field:** Topology · **Entry:** 321

*Explained by AI.* Drafted by one AI model and checked sentence by sentence against the paper by a different one. Spot a mistake? Report an error.

Wall asked in 1965 whether a finite complex that passes certain algebraic two-dimensional tests is always deformable to a finite two-dimensional complex. The paper claims the answer is no. It builds a finite three-dimensional complex that passes the tests, yet no finite complex of dimension at most two has the same homotopy type. Its fundamental group is infinite. The obstruction is a twisted homology group that a short matrix calculation shows is zero.

## At a glance

- **First step:** 1965 (C. T. C. Wall, finiteness conditions for CW complexes)
- **Significance:** Major. It claims to answer a problem open since 1965 and listed in Wall's 1979 problem list.
- **Trust:** Claimed, not checked
- **Field:** Topology (1 paper)

## The explanation

Write down five letters, x₁, a₁, x₂, a₂ and s. Add four rules, such as x₁a₁x₁⁻¹ = a₁⁴ and x₁ = a₂¹³. Letters and rules like these define a group. They also define a space, the presentation complex B. It has one point, five loops, and four discs glued along the rules. Its Euler characteristic is 1 − 5 + 4 = 0.

Now give each letter a complex number. Send x₁ and a₂ to −1. Send a₁ to ζ, a cube root of 1, x₂ to ζ², and s to 1. Each rule still holds. For example, ζ⁴ = ζ and (−1)¹³ = −1. This choice is a character, a way to read loops as numbers. It defines twisted homology, a count of holes where going around a loop multiplies by its number. For B, the key boundary map is a 4-by-5 matrix of complex numbers. Computed from the four rules, its rank is 4. So B has no twisted second homology.

Why does this matter? A CW complex is a space glued from points, edges, discs and higher cells. Wall's D(2) condition is an algebraic test. It says the complex looks two-dimensional to homology and cohomology. The finite D(2) problem asks whether every finite complex that passes the test is homotopy equivalent to a finite complex of dimension at most two[1]. Homotopy equivalent means the same shape up to continuous deformation. The problem reappeared as Problem D3 in Wall's 1979 list[2].

Partial answers existed. Adding enough two-spheres always gives a two-dimensional complex[3]. But such stabilization does not answer the original question[4]. Hambleton proved the D(2) property for finite subgroups of SO(3), the rotation group of space[5]. Hofmann and Nicholson proved it for quaternion groups of orders 24 and 32[6]. Bridson and Tweedale had candidate counterexamples. Their failure was conditional on an unproved relation-gap assertion[7].

The paper claims a negative answer to the problem[8]. Its example has infinite fundamental group[9]. The construction starts with Quillen's plus construction. It kills a perfect subgroup, one equal to its own commutators, while keeping homology. Mannan showed that this turns a finite two-dimensional complex into a finite D(2) complex[10]. In the example, the subgroup is made perfect by coprime numbers: 4² − 1 = 15 and 3³ − 1 = 26 share no factor. The quotient group has an element of order two that the character sees[11]. Here x₁ squares to the identity, but the character sends it to −1. A short boundary calculation shows the twisted second homology is zero[12]. That is the rank computation above.

The obstacle is to show no two-dimensional model exists at all. The paper proves a rule for finite two-dimensional complexes. If twisted second homology vanishes, the character must send every finite-order element to 1. The proof follows the cyclic-tower method of Howie[13]. It climbs a tower of infinite cyclic covers. Each lifted image contains strictly more simplices, yet all come from one fixed finite complex[14]. That is a contradiction. Our example breaks the rule, since x₁ has order two and reads as −1.

How sure is this? No Lean check covers this paper. No specialist review has been published. The key matrix calculation is small and easy to repeat. The tower argument carries the main weight, so treat the result as a claim.

**What it doesn't show.** This does not settle the problem for finite fundamental groups, where the known positive cases live.

## Where it came from

This result comes from an unreleased OpenAI model, published in the openai/math release on 6 October 2026.

## Hype check

Major if correct. No Lean check and no specialist review. The matrix step is easy to recheck; the tower obstruction carries the proof.

## Words used

- **CW complex:** A space glued together from points, edges, discs and higher-dimensional cells.
- **Presentation complex:** The two-dimensional space built from a group's generators (loops) and relations (discs).
- **D(2) condition:** Wall's algebraic test that a complex looks two-dimensional to homology and cohomology.
- **Fundamental group:** The group formed by loops in a space, up to deformation.
- **Character:** A rule that assigns a nonzero complex number to each loop, compatible with joining loops.
- **Twisted homology:** A count of holes where travelling around a loop multiplies by the number the character assigns.
- **Perfect subgroup:** A subgroup generated by its own commutators, so it has no abelian quotient.
- **Plus construction:** Quillen's method of attaching cells to kill a perfect subgroup of the fundamental group while keeping homology.

## The original paper

- [A Counterexample to Wall's D(2) Problem](https://github.com/openai/math/blob/main/preprints/A-Counterexample-to-Walls-D2-Problem-October-6-2026/wall-d2-counterexample.pdf) - October 6, 2026

## Quoted lines from the paper (14)

[1] From [A Counterexample to Wall's D(2) Problem](https://github.com/openai/math/blob/main/preprints/A-Counterexample-to-Walls-D2-Problem-October-6-2026/wall-d2-counterexample.pdf):

> The finite $D(2)$ problem asks whether every such $X$ is homotopy equivalent to a finite CW complex of dimension at most two,.

[2] From [A Counterexample to Wall's D(2) Problem](https://github.com/openai/math/blob/main/preprints/A-Counterexample-to-Walls-D2-Problem-October-6-2026/wall-d2-counterexample.pdf):

> The problem reappeared as Problem D3 in his 1979 list.

[3] From [A Counterexample to Wall's D(2) Problem](https://github.com/openai/math/blob/main/preprints/A-Counterexample-to-Walls-D2-Problem-October-6-2026/wall-d2-counterexample.pdf):

> A stable form of the problem has a positive answer: adjoining sufficiently many two-spheres makes a finite $D(2)$ complex homotopy equivalent to a finite two-dimensional complex.

[4] From [A Counterexample to Wall's D(2) Problem](https://github.com/openai/math/blob/main/preprints/A-Counterexample-to-Walls-D2-Problem-October-6-2026/wall-d2-counterexample.pdf):

> Such stabilization does not answer the unstabilized question.

[5] From [A Counterexample to Wall's D(2) Problem](https://github.com/openai/math/blob/main/preprints/A-Counterexample-to-Walls-D2-Problem-October-6-2026/wall-d2-counterexample.pdf):

> Hambleton proves the $D(2)$ property for finite subgroups of $\operatorname{SO}(3)$.

[6] From [A Counterexample to Wall's D(2) Problem](https://github.com/openai/math/blob/main/preprints/A-Counterexample-to-Walls-D2-Problem-October-6-2026/wall-d2-counterexample.pdf):

> More recently, Hofmann and Nicholson establish the $D(2)$ property for the generalized quaternion groups of orders $24$ and $32$ and recover the order-$28$ case previously proved using work of Mannan--Popiel and Nicholson.

[7] From [A Counterexample to Wall's D(2) Problem](https://github.com/openai/math/blob/main/preprints/A-Counterexample-to-Walls-D2-Problem-October-6-2026/wall-d2-counterexample.pdf):

> Their failure to have finite two-dimensional models is conditional on a relation-gap assertion.

[8] From [A Counterexample to Wall's D(2) Problem](https://github.com/openai/math/blob/main/preprints/A-Counterexample-to-Walls-D2-Problem-October-6-2026/wall-d2-counterexample.pdf):

> We give a negative answer to Wall's finite $D(2)$ problem.

[9] From [A Counterexample to Wall's D(2) Problem](https://github.com/openai/math/blob/main/preprints/A-Counterexample-to-Walls-D2-Problem-October-6-2026/wall-d2-counterexample.pdf):

> The example has infinite fundamental group.

[10] From [A Counterexample to Wall's D(2) Problem](https://github.com/openai/math/blob/main/preprints/A-Counterexample-to-Walls-D2-Problem-October-6-2026/wall-d2-counterexample.pdf):

> Mannan shows directly that applying it to a finite two-dimensional complex along a finitely normally generated perfect subgroup produces a finite $D(2)$ complex.

[11] From [A Counterexample to Wall's D(2) Problem](https://github.com/openai/math/blob/main/preprints/A-Counterexample-to-Walls-D2-Problem-October-6-2026/wall-d2-counterexample.pdf):

> The quotient has an element of order two detected by a complex character.

[12] From [A Counterexample to Wall's D(2) Problem](https://github.com/openai/math/blob/main/preprints/A-Counterexample-to-Walls-D2-Problem-October-6-2026/wall-d2-counterexample.pdf):

> An exact four-row boundary calculation shows that the presentation complex has zero second homology with that character.

[13] From [A Counterexample to Wall's D(2) Problem](https://github.com/openai/math/blob/main/preprints/A-Counterexample-to-Walls-D2-Problem-October-6-2026/wall-d2-counterexample.pdf):

> The method is a tower of infinite cyclic covers and image subcomplexes, following the cyclic-tower method of Howie; see also the formulation of Louder--Wilton and its account of the earlier work of Papakyriakopoulos and Stallings.

[14] From [A Counterexample to Wall's D(2) Problem](https://github.com/openai/math/blob/main/preprints/A-Counterexample-to-Walls-D2-Problem-October-6-2026/wall-d2-counterexample.pdf):

> Each lifted image contains strictly more simplices, although all are images of the same fixed triangulated $F$.

## Other sources

- [openai/math release notes (2026): model provenance and review status](https://github.com/openai/math/blob/main/README.md): “manuscripts and supporting proof artifacts produced by an internal OpenAI model”

## Related

- [Nonhomeomorphic closed aspherical four-manifolds](https://closedform.nishachay.tech/e/openai-math-2026-320/) - Topology
- [Counterexamples to finite generation at chromatic height two](https://closedform.nishachay.tech/e/openai-math-2026-319/) - Topology
- [Chromatic splitting: filtrations and counterexamples](https://closedform.nishachay.tech/e/openai-math-2026-318/) - Topology
- [Thomason model structures in all strict higher dimensions](https://closedform.nishachay.tech/e/openai-math-2026-317/) - Topology
- [Curtis’s conjecture](https://closedform.nishachay.tech/e/openai-math-2026-316/) - Topology
- [Topology](https://closedform.nishachay.tech/science/mathematics/topology/) - Field · 18 results
- [Open since the 1960s](https://closedform.nishachay.tech/open-since/1960s/) - Era · 33 results
- [Claimed, not yet checked](https://closedform.nishachay.tech/trust/claimed/) - Trust · 130 results
- [Report an error](https://github.com/nishachay/closed-form/issues/new?template=report-error.yml&labels=entry-error&title=%5Bentry%20321%5D%20)