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

From papers

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=YninYnpnYn1in1Yn2pn2p2Y1i1Y1p1Y0=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.

Progress summary

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

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.