The final unstable homology conjecture for general linear groups over F2\mathbb{F}_2

Let tH1(GL2(F2);F2)t\in H_1(\operatorname{GL}_2(\mathbb{F}_2);\mathbb{F}_2) be the element determined by the matrix

(1101).\left(\begin{smallmatrix} 1 & 1 \\ 0 & 1\end{smallmatrix}\right).

Final unstable homology conjecture. For every m1m\geqslant 1, the group Hm(GL2m(F2);F2)H_m(\operatorname{GL}_{2m}(\mathbb{F}_2);\mathbb{F}_2) is a single copy of F2\mathbb{F}_2 generated by the class tmt^m.

The theorem preceding the conjecture shows that this group is either trivial or a single copy of F2\mathbb{F}_2 generated by tmt^m; the conjecture asserts that the nontrivial possibility always occurs. It would determine the final unstable homology groups for general linear groups over F2\mathbb{F}_2 and, through the maps from automorphism groups of free groups and from integral general linear groups, resolve corresponding ambiguities and show that the known homological stability ranges are sharp.

Sources & referencesView supporting material

Primary source

Richard Hepworth, “On the edge of the stable range”, arXiv:1608.08834 (2016).

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.