Homology of bi-Grassmannian complexes (Q1372609)

Let \(F\) be an infinite field and \(\mathbb{A}\) a ring of coefficients in which \(n!\) is invertible. The \(n\)-truncated bi-Grassmannian complex \(G^n(*,*)\) is a bicomplex in which \(G(p,q)\) is the free \(\mathbb{A}\)-module on the set of planes of dimension \(p\) in \(F^{p+q}\) that intersect any codimension \(p\) coordinate plane in the origin only (\(0\leq p\leq n\), \(0\leq q\)). Grassmannian complexes have become important for motivic cohomology and polylogarithms [\textit{A. B. Goncharov}, Math. Res. Lett. 2, No. 1, 95-112 (1995; Zbl 0836.14005)]. The main result in the paper is that \(H_k(G^n(*,*),\mathbb{A})=\coprod_{0\leq p\leq n/2} H_{k-2p-1}(\text{GL}_{n-2p}(F),\mathbb{A})\). Letting \(n\) vary one gets a homology stability result and a stable formula \(H_k(G(*,*),\mathbb{Q})=\coprod_{0\leq p} H_{k-2p-1}(\text{GL}_{n-2p}(F),\mathbb{Q})\). If \(n!\) is not invertible, then the result does not hold, due to contributions from the action of subgroups of the permutation group on \(n\) letters. The work is related with [\textit{Yu. P. Nesterenko, A. A. Suslin}, Math. USSR, Izv. 34, No. 1, 121-145 (1990); translation from Izv. Akad. Nauk SSSR, Ser. Mat. 53, No. 1, 121-146 (1989; Zbl 0668.18011)].