On homology of linear groups over \(k[t]\). (Q2345443)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On homology of linear groups over \(k[t]\). |
scientific article |
Statements
On homology of linear groups over \(k[t]\). (English)
0 references
22 May 2015
0 references
The author claims to prove the following theorem. Let \(k\) be an infinite field and let \(G\) be a connected reductive smooth linear algebraic group over \(k\). Then the canonical inclusion \(k\hookrightarrow k[t]\) induces isomorphisms \(H_\bullet(G(k),\mathbb Z)\to H_\bullet (G(k[t]),\mathbb Z)\), if the order of the fundamental group of \(G\) is invertible in \(k\). He does not explain what is meant by the fundamental group for a nonsplit \(G\). In the proof of the first proposition he claims without explanation that for a reductive \(G\) (over \(k\)) the abelianization map \(G\to G/(G,G)\) splits (over \(k\)). This deserves a reference or a proof. In the next proposition he claims without reference the existence and structure of a cover \(\widetilde G\) of a semisimple, not necessarily split \(G\). Now it gets confusing. The factors of \(\widetilde G\) are described as almost simple and simply-connected, but in the summary of the section and in the sequel it seems he believes they are absolutely almost simple and simply-connected. He truly loses me when he asks to fix a choice of Borel subgroup in \(G(k)\) containing \(T(k)\). What does this mean? Say \(T(k)\) is a circle group in \(G(k)=\mathrm{SO}_3(\mathbb R)\). He cites work of Margaux as applying to isotropic simply-connected absolutely almost simple groups and then blithely ignores the isotropy condition.
0 references
linear groups
0 references
polynomial rings
0 references
group homology
0 references
homotopy invariance
0 references