Wise's conjecture on locally indicable towers and vanishing L2L^2-Betti number

Less than 1 year old · traced to

Let YY be a finite connected 22-dimensional CWCW-complex. A connected tower with target YY is a finite sequence of covering maps and embeddings

X=Yn→inYn‾→pnYn−1→in−1Yn−2‾→pn−2⋯→p2Y1→i1Y1‾→p1Y0=Y.X=Y_n\xrightarrow{i_n}\overline{Y_n}\xrightarrow{p_n}Y_{n-1}\xrightarrow{i_{n-1}}\overline{Y_{n-2}}\xrightarrow{p_{n-2}}\cdots\xrightarrow{p_2}Y_1\xrightarrow{i_1}\overline{Y_1}\xrightarrow{p_1}Y_0=Y.

Call such a tower non-positive when its source is contractible or has non-positive Euler characteristic. Wise's conjecture. The following statements are equivalent:

  1. Every connected tower with YY as target is non-positive.
  2. Every connected tower with YY as target is non-positive, provided that the fundamental group of each space appearing in it is locally indicable.
  3. The group π1(Y)\pi_1(Y) is locally indicable and
b2(2)(Y~)=b2(2)(Y~;N(π1(Y)))=0.b^{(2)}_2(\widetilde Y)=b^{(2)}_2(\widetilde Y;\mathcal N(\pi_1(Y)))=0.

The conjecture is a modification of an earlier geometric characterization associated with Wise and Chemtov. It would connect non-positivity of towers, local indicability, and vanishing of the top L2L^2-Betti number; the supplied source does not resolve it.

References

Primary source

Grigori Avramidi and Wolfgang Lueck, “L^2-Betti numbers in prime characteristic and a conjecture of Wise”, arXiv:2602.04655 (2026).

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.