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
    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
    0 references
    linear groups
    0 references
    polynomial rings
    0 references
    group homology
    0 references
    homotopy invariance
    0 references
    0 references