A group is a Poincaré duality group if its classifying space satisfies Poincaré duality; examples include fundamental groups of aspherical manifolds. C. T. C. Wall asked whether a Poincaré duality group is necessarily the fundamental group of an aspherical manifold, and M. Davis in  broadened Wall’s question to -homology manifolds:
Question (M. Davis). Is every finitely presented torsion-free group satisfying Poincaré duality with -coefficients (“-PD”) the fundamental group of an aspherical closed -homology manifold?
My thesis answers M. Davis’ question in the negative, using Bestvina–Brady Morse theory to produce -PD groups for which does not have the homotopy type of a finite complex.
I also addressed a generalization version of M. Davis’ question. There are weaker geometric conditions that nonetheless imply a group is -PD: for to satisfy Poincaré duality with coefficients, it suffices that act freely on an -acyclic -homology manifold.
Question. Does every finitely presented group satisfying Poincaré duality with coefficients act freely on an -acyclic -homology manifold?
This is interesting when . All finite groups are -dimensional -PD, and extensions of -PD groups by finite groups are therefore -PD. The restriction to torsion-free groups is not necessary, as groups with torsion may act freely on -acyclic (albeit not contractible) finite complexes.
A particular class of -PD groups to consider are uniform lattices with torsion (which, by Selberg, are extensions of manifold groups by finite groups).
Theorem (Fowler). Let be a uniform lattice containing an element of finite order ( 2). Although is -PD, does not act freely on a -acyclic -homology manifold.
The proof involves two obstructions: a finiteness obstruction, and a controlled symmetric signature. With more work, I hope to address the situation for containing -torsion Proof.[Sketch of Proof:] The group is given as an extension , where is torsion-free, and is a finite group. Given the Baum-Connes conjecture for , the -equivariant signature operator on (which is the universal space for proper actions) cannot be lifted back to the signature operator on . To obstruct this lift, the space is used to determine the equivariant signature operator of acting on the universal cover of the hypothetical homology manifold; geometric localization arguments can then be combined with calculations near fixed points to give a contradiction—although this last step fails in the absence of odd torsion.
In addition to controlled surgery considerations, there is a finiteness question:
Question. For a given group , does there exist a free action of on an -acyclic complex, with finite quotient?
Bestvina and Brady  call such groups FH over , in analogy with other homological finiteness conditions.
In many cases, a finiteness obstruction will prevent from acting on a -acyclic finite complex, let alone a -homology manifold. Again, consider a uniform lattice , and write , with torsion-free and finite. For convenience, . If acts freely on a finite complex , then the Lefschetz fixed point theorem implies .
The equivariant finiteness obstruction fits into a categorical framework defined by Lück ; the condition , while necessary for to be FH, is not enough: can vanish while the Euler characteristics of the connected components of may not vanish. If for each connected component of , then the equivariant finiteness obstruction does indeed vanish. The componentwise vanishing of the Euler characteristic is easy to verify in some cases, such as when the fixed sets are all odd-dimensional submanifolds.
 M.W. Davis, Poincaré duality groups, in: Surveys on Surgery Theory, Vol. 1, Princeton Univ. Press, Princeton, NJ, 2000: pp. 167–193.
 M. Bestvina, N. Brady, Morse theory and finiteness properties of groups, Invent. Math. 129 (1997) 445–470. https://doi.org/10.1007/s002220050168.
 W. Lück, Transformation groups and algebraic -theory, Springer-Verlag, Berlin, 1989. https://doi.org/10.1007/BFb0083681.