The Poincaré-duality-group virtual fibring conjecture

Let GG be a PDn\mathrm{PD}^n-group that is RFRS. Here βi(2)(G;K)\beta_i^{(2)}(G;\mathbb K) denotes the iith L2L^2-Betti number with coefficients in a field K\mathbb K. Poincaré-duality-group virtual fibring conjecture. The following are equivalent:

  1. βi(2)(G;K)=0\beta_i^{(2)}(G;\mathbb K)=0 for all ii and all fields K\mathbb K;
  2. there exists a finite-index subgroup G1GG_1\leqslant G and an epimorphism ϕ ⁣:G1Z\phi\colon G_1\to\mathbb Z such that kerϕ\ker\phi is a PDn1\mathrm{PD}^{n-1}-group.

This predicts that, for RFRS Poincaré-duality groups, vanishing of all L2L^2-Betti numbers is exactly the algebraic condition for virtual fibering with a Poincaré-duality-group kernel. The source presents it as an expectation and gives no resolution status.

Sources & referencesView supporting material

Primary source

Dawid Kielak, “Virtual fibring of manifolds and groups”, arXiv:2510.01805 (2025).

Additional references

5 papers in this index state this conjecture (2005–2025). The statement above is taken from the most recent of them; the others are arXiv:2507.11337, arXiv:1704.01091, arXiv:1003.5002, arXiv:math/0505233.

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.