On homology of linear groups over k[t].

DOI10.4310/MRL.2014.V21.N6.A15MaRDI QIDQ2345443zbMATH OpenFDO

Authors Matthias Wendt

Publication date 22 May 2015

Published in Mathematical Research Letters (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1011.5110

zbMATH Keywords

group homologyhomotopy invariancelinear groupspolynomial rings

Mathematics Subject Classification ID

Cohomology theory for linear algebraic groups (20G10) Linear algebraic groups over adèles and other rings and schemes (20G35)

Abstract: This note explains how to prove that for any simply-connected reductive group G and any infinite field k, the inclusion of k in k[t] induces an isomorphism on homology. This generalizes results of Soule and Knudson.

Review text

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.

Recommendations

• The homology of special linear groups over polynomial rings1
• scientific article; zbMATH DE number 897627
• The homology of \(\text{SL}_ 2(F[t,t^{-1}])\)
• On the homology of the special linear group over a number field
• Homology of linear groups

Cited in

(9)

• On the homology of the special linear group over a number field
• Homology of linear groups
• On \(\mathbb{A}^1\)-fundamental groups of isotropic reductive groups
• A generalization of a theorem of Vogtmann
• On the equivariant K- and KO-homology of some special linear groups
• The structure of the group \(G(k[t])\): variations on a theme of Soulé.
• The homology of special linear groups over polynomial rings1
• HOMOLOGY OF THE FULL LINEAR GROUP OVER A LOCAL RING, AND MILNOR'SK-THEORY
• On the homology of special unitary groups over polynomial rings

This page was built for publication: On homology of linear groups over \(k[t]\).

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2345443)