Exactness conjecture for the homology sequence of general linear groups

About 20 years old · traced to

Let kk be a field, let F∗F^\ast denote the multiplicative group of a field FF, and let Hn(−,k)H_n(-,k) denote homology with coefficients in kk. For n≥3n\geq 3 such that (n−1)!∈k∗(n-1)!\in k^\ast, consider the sequence

Hn(F∗2×GL⁡n−2,k)→β2(n)Hn(F∗×GL⁡n−1,k)→β1(n)Hn(GL⁡n,k)⟶0.H_n(F^\ast{}^2\times \operatorname{GL}_{n-2},k)\xrightarrow{\beta_2^{(n)}}H_n(F^\ast\times \operatorname{GL}_{n-1},k)\xrightarrow{\beta_1^{(n)}}H_n(\operatorname{GL}_n,k)\longrightarrow 0.

Exactness conjecture. This sequence is exact.

The conjecture proposes a homological stability-type exact sequence relating the homology of general linear groups over an infinite field. The supplied text gives no evidence that the conjecture has been resolved.

References

Primary source

Behrooz Mirzaii, “Homology of SL_n and GL_n over an infinite field”, arXiv:math/0605722 (2006).

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.