Stable-range conjecture for twisted cohomology of SL⁡(n,Q)\operatorname{SL}(n,\mathbb{Q})

About 4 years old · traced to

Let \ul\la\ul\la be a bipartition and let n≥l(\ul\la)n\ge l(\ul\la) be an integer. For i=1,…,ni=1,\dots,n, define

a(i)=n+12−i−α+μi,a(i)=\frac{n+1}{2}-i-\alpha+\mu_i,

where μi\mu_i is given in the source, and let C′(SL⁡(n,Q),V\ul\la)C'(\operatorname{SL}(n,\mathbb{Q}),V_{\ul\la}) denote the stable-range invariant under consideration. Stable-range conjecture. One has

C′(SL⁡(n,Q),V\ul\la)=min⁡{i∈{1,…,n}∣a(i)≤0 or a(n+1−i)≥0}−2.C'(\operatorname{SL}(n,\mathbb{Q}),V_{\ul\la})=\min\{i\in\{1,\dots,n\}\mid a(i)\le 0\text{ or }a(n+1-i)\ge 0\}-2.

The conjecture is motivated by computations and would completely determine C′(SL⁡(n,Q),V\ul\la)C'(\operatorname{SL}(n,\mathbb{Q}),V_{\ul\la}), including the range n<B(\ulλ)n< B(\ul\lambda) where the preceding theorem gives no information. Its resolution status is not specified in the supplied text.

References

Primary source

Kazuo Habiro and Mai Katada, “On Borel's stable range of the twisted cohomology of GL(n,Z)”, arXiv:2212.09074 (2022).

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.