On homology of linear groups over \(k[t]\). (Q2345443)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 6438836
Language Label Description Also known as
default for all languages
No label defined
    English
    On homology of linear groups over \(k[t]\).
    scientific article; zbMATH DE number 6438836

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

      Identifiers