Wall's conjecture: is every finitely presented 3-dimensional Poincaré duality group the fundamental group of a closed aspherical 3-manifold?

The conjecture attributed to C. T. C. Wall predicts that a finitely presented group G satisfies 3-dimensional Poincaré duality — the complete algebraic signature of the fundamental group of a closed aspherical 3-manifold — only because G really is such a fundamental group. After geometrisation, this is the last purely group-theoretic recognition step in the classification of closed 3-manifolds. The problem remains open at natural, unrestricted generality: the confirmed cases all carry auxiliary structure (virtual solvability, Seifert type, algebraic fibring, or hyperbolicity with a boundary condition, where the conjecture becomes Cannon's conjecture), and no proof or counterexample exists in the literature through the most recent work of December 2025 and June 2026.

Background

A closed manifold is called aspherical when its universal cover is contractible; such a manifold is determined up to homotopy equivalence by its fundamental group. A group $G$ is a Poincaré duality group of dimension $n$ , abbreviated PD( $n$ )-group, if its cohomology satisfies the same formal duality as the fundamental group of a closed $n$ -manifold: $G$ is of type FP (the trivial $G$ -module $\mathbb Z$ admits a finite resolution by finitely generated projective $\mathbb ZG$ -modules) and there is a dualising module $D$ , isomorphic to $\mathbb Z$ as an abelian group, such that cap product induces isomorphisms $H^k(G;A) \cong H_{n-k}(G;D\otimes A)$ for every $\mathbb ZG$ -module $A$ and all $k$ . Johnson and Wall introduced the notion in the finitely presentable setting, asking that a classifying space of $G$ be a Poincaré duality complex (a finite CW-complex whose homology obeys the same formal duality as that of a closed manifold); Bieri and Eckmann gave the equivalent purely algebraic definition just stated, and they also extended duality to group pairs, which model fundamental groups of compact aspherical manifolds with boundary, the boundary components corresponding to a finite family of peripheral subgroups. Every fundamental group of a closed aspherical $n$ -manifold is a PD( $n$ )-group, and the founding question is whether the converse holds.

In dimensions 1 and 2 it does: Eckmann, Müller and Linnell proved that every PD(2)-group is the fundamental group of a closed aspherical surface, with later independent proofs by Bowditch, via group actions on planar sets (in work settling the Seifert conjecture, which characterises the fundamental groups of Seifert fibred 3-manifolds), and by Kielak and Kropholler, via isoperimetric inequalities. In dimensions at least 4 the converse fails without a finiteness hypothesis: Davis constructed finitely generated PD( $n$ )-groups that are not finitely presentable, and a group that is not finitely presentable cannot be the fundamental group of a closed manifold. The surviving question, attributed to Wall's problem list from the 1977 Durham symposium on homological group theory, is whether every finitely presented PD( $n$ )-group is the fundamental group of a closed aspherical $n$ -manifold, for $n \geq 3$ . Dimension 3 is the critical and most studied case: it is not even known whether every PD(3)-group is finitely presentable, so the problem sits exactly between the settled world of surfaces and the exotic phenomena of high dimensions.

In dimension 3 the question also acquires classification-theoretic weight. The proof of geometrisation completed in the early 2000s, of which the monograph of Bessières, Besson, Boileau, Maillot and Porti gives a self-contained account, decomposes every closed 3-manifold into geometric pieces; combined with rigidity of the pieces, it determines a closed aspherical 3-manifold essentially up to homeomorphism by its fundamental group. Geometrisation, however, says nothing about an abstract group until the group is known to be a 3-manifold group, and that monograph records Wall's conjecture precisely as the remaining obstacle to recognising closed 3-manifolds purely at the level of their groups. One structural bridge is known for hyperbolic groups: a word-hyperbolic group (a group whose Cayley graph has uniformly thin triangles, so that it has a well-defined boundary at infinity, the Gromov boundary) is a PD(3)-group exactly when its Gromov boundary is the 2-sphere, a criterion due to Bestvina. Hence for word-hyperbolic groups Wall's conjecture is equivalent to Cannon's conjecture — that a word-hyperbolic group with boundary $S^2$ is virtually a cocompact discrete group of isometries of hyperbolic 3-space — which is itself open. All confirmed cases of Wall's conjecture carry extra structure: virtually solvable PD(3)-groups are 3-manifold groups (Auslander and Johnson, in a paper titled On a conjecture of C. T. C. Wall); the fundamental groups of Seifert fibred 3-manifolds (manifolds foliated by circles) are characterised among PD(3)-groups in group-theoretic terms (Hillman; Bowditch); and Bridson, Kielak and Kudlinska confirmed the conjecture for PD(3)-pairs whose group fibres algebraically over $\mathbb Z$ (that is, admits an epimorphism onto $\mathbb Z$ with finitely generated kernel).

Problem Statement

Wall's conjecture in dimension 3, in its standard formulation (Conjecture 9.8, the Wall Conjecture, in the Aschenbrenner–Friedl–Wilton survey, after Wall): let $G$ be a finitely presented group that is a Poincaré duality group of dimension 3 — that is, $G$ is of type FP and there is a dualising $\mathbb ZG$ -module $D \cong \mathbb Z$ as an abelian group such that $H^k(G;A) \cong H_{3-k}(G;D\otimes A)$ for every $\mathbb ZG$ -module $A$ and all $k$ . Must $G$ be isomorphic to the fundamental group of a closed aspherical 3-manifold? When the dualising module is $\mathbb Z$ with the trivial $G$ -action the manifold should be taken orientable and irreducible (a closed aspherical 3-manifold is automatically irreducible: by the sphere theorem, a reducible closed 3-manifold has non-trivial $\pi_2$ , whereas the universal cover of an aspherical manifold is contractible, forcing $\pi_2 = 0$ ). The problem is posed at natural generality: no fibring, hyperbolicity, residual-finiteness (each non-trivial element of $G$ remains non-trivial in some finite quotient), coherence (every finitely generated subgroup is finitely presented), virtual-solvability, or peripheral-pair hypotheses may be added to or assumed of $G$ . Equivalently, does there exist a finitely presented PD(3)-group that is not the fundamental group of any closed aspherical 3-manifold? The parent conjecture for all $n \geq 3$ — that every finitely presented PD( $n$ )-group is the fundamental group of a closed, orientable, aspherical $n$ -manifold — implies the dimension-3 case.

References

F. E. A. Johnson and C. T. C. Wall, On groups satisfying Poincaré duality, Annals of Mathematics (2) 96 (1972), no. 3, 592–598. DOI: 10.2307/1970827, https://doi.org/10.2307/1970827
C. T. C. Wall, List of problems, in Homological Group Theory (Proc. Sympos., Durham, 1977), London Mathematical Society Lecture Note Series 36, Cambridge University Press (1979), pp. 369–394. Volume DOI: 10.1017/cbo9781107325449, https://doi.org/10.1017/cbo9781107325449; zbMATH 3663407, https://zbmath.org/3663407
C. T. C. Wall, Poincaré duality in dimension 3, in Proceedings of the Casson Fest, Geometry and Topology Monographs 7 (2004), 1–26. DOI: 10.2140/gtm.2004.7.1, https://doi.org/10.2140/gtm.2004.7.1
Laurent Bessières, Gérard Besson, Michel Boileau, Sylvain Maillot, and Joan Porti, Geometrisation of 3-Manifolds, EMS Tracts in Mathematics 13, European Mathematical Society (2010). DOI: 10.4171/082, https://doi.org/10.4171/082
Matthias Aschenbrenner, Stefan Friedl, and Henry Wilton, 3-manifold groups, arXiv:1205.0202 (2012; published as EMS Series of Lectures in Mathematics 20, European Mathematical Society, 2015). Book DOI: 10.4171/154, https://doi.org/10.4171/154; arXiv: https://arxiv.org/abs/1205.0202
Beno Eckmann and Heinz Müller, Poincaré duality groups of dimension two, Commentarii Mathematici Helvetici 55 (1980), 510–520. DOI: 10.1007/BF02566702, https://doi.org/10.1007/BF02566702
Beno Eckmann and Peter Linnell, Poincaré duality groups of dimension two, II, Commentarii Mathematici Helvetici 58 (1983), 111–114. DOI: 10.1007/BF02564628, https://doi.org/10.1007/BF02564628
Brian H. Bowditch, Planar groups and the Seifert conjecture, Journal für die reine und angewandte Mathematik 576 (2004), 11–62. DOI: 10.1515/crll.2004.084, https://doi.org/10.1515/crll.2004.084
Dawid Kielak and Peter Kropholler, Isoperimetric inequalities for Poincaré duality groups, Proceedings of the American Mathematical Society 149 (2021), 4685–4698. DOI: 10.1090/proc/15596, https://doi.org/10.1090/proc/15596
Michael W. Davis, The cohomology of a Coxeter group with group ring coefficients, Duke Mathematical Journal 91 (1998), 297–314. DOI: 10.1215/s0012-7094-98-09113-x, https://doi.org/10.1215/s0012-7094-98-09113-x
L. Auslander and F. E. A. Johnson, On a conjecture of C. T. C. Wall, Journal of the London Mathematical Society (2) 14 (1976), 331–332. DOI: 10.1112/jlms/s2-14.2.331, https://doi.org/10.1112/jlms/s2-14.2.331
Charles B. Thomas, Splitting theorems for certain PD³-groups, Mathematische Zeitschrift 186 (1984), 201–209. DOI: 10.1007/BF01161804, https://doi.org/10.1007/BF01161804
Jonathan A. Hillman, Three-dimensional Poincaré duality groups which are extensions, Mathematische Zeitschrift 195 (1987), 89–92. DOI: 10.1007/BF01161601, https://doi.org/10.1007/BF01161601
Martin R. Bridson, Dawid Kielak, and Monika Kudlinska, Stallings's Fibring Theorem and PD³-pairs, Contemporary Mathematics 812 (Topology at Infinity of Discrete Groups), American Mathematical Society (2025), 125–132. DOI: 10.1090/conm/812/16263; arXiv:2307.10725, https://arxiv.org/abs/2307.10725
Jonathan A. Hillman, Poincaré Duality in Dimension 3, The Open Book Series 3, Mathematical Sciences Publishers, Berkeley, CA (2020), pp. 1–160. DOI: 10.2140/obs.2020.3.1, https://msp.org/obs/3/
Mladen Bestvina, Local homology properties of boundaries of groups, Michigan Mathematical Journal 43 (1996), no. 1, 123–139. DOI: 10.1307/mmj/1029005393, https://doi.org/10.1307/mmj/1029005393
Arthur Bartels, Wolfgang Lück, and Shmuel Weinberger, On hyperbolic groups with spheres as boundary, Journal of Differential Geometry 86 (2010), no. 1, 1–16. DOI: 10.4310/jdg/1299766682, https://doi.org/10.4310/jdg/1299766682
Steve Ferry, Wolfgang Lück, and Shmuel Weinberger, On the stable Cannon Conjecture, Journal of Topology 12 (2019), no. 3, 799–832. DOI: 10.1112/topo.12099, https://doi.org/10.1112/topo.12099
Bena Tshishiku and Genevieve Walsh, On groups with S² Bowditch boundary, Groups, Geometry, and Dynamics 14 (2020), no. 3, 791–811. DOI: 10.4171/ggd/563, https://doi.org/10.4171/ggd/563 (erratum: Groups, Geometry, and Dynamics 15 (2021), no. 3, 1133–1137, DOI: 10.4171/ggd/625)
P. H. Kropholler, An analogue of the torus decomposition theorem for certain Poincaré duality groups, Proceedings of the London Mathematical Society (3) 60 (1990), no. 3, 503–529. DOI: 10.1112/plms/s3-60.3.503, https://doi.org/10.1112/plms/s3-60.3.503
J. Crisp, The decomposition of 3-dimensional Poincaré complexes, Commentarii Mathematici Helvetici 75 (2000), no. 2, 232–246. DOI: 10.1007/pl00000372, https://doi.org/10.1007/pl00000372
Lawrence Reeves, Peter Scott, and Gadde A. Swarup, A deformation theorem for Poincaré duality pairs in dimension 3, arXiv:2006.15684 (2020); revised version in JSJ Decompositions of Poincaré Duality Pairs (dedicated to Peter Scott), Association for Mathematical Research Monographs 3, AMR, Davis, CA (2023), pp. 183–200, ISBN 978-1-959384-03-8; zbMATH 7927772, https://zbmath.org/7927772; arXiv: https://arxiv.org/abs/2006.15684
Michel Boileau and Steven Boyer, On the Tits alternative for PD(3) groups, Annales de la Faculté des Sciences de Toulouse (6) 28 (2019), no. 3, 397–415. DOI: 10.5802/afst.1604, https://doi.org/10.5802/afst.1604
Robert Bieri and Beno Eckmann, Relative homology and Poincaré duality for group pairs, Journal of Pure and Applied Algebra 13 (1978), no. 3, 277–319. DOI: 10.1016/0022-4049(78)90012-9, https://doi.org/10.1016/0022-4049(78)90012-9
Sam P. Fisher, Giovanni Italiano, and Dawid Kielak, Virtual fibring of Poincaré-duality groups, arXiv:2506.14666 (2025). https://arxiv.org/abs/2506.14666
Cameron Gates Rudd, Property (T) and Poincaré duality in dimension three, arXiv:2512.24919 (2025). https://arxiv.org/abs/2512.24919
Paula Heim and William Thomas, Quasimorphisms and Poincaré duality in dimension 3, arXiv:2606.18034 (2026). https://arxiv.org/abs/2606.18034