Infinite-dimensional cohomology of SL₂( Z[t,t^-1]).

DOI10.1016/J.JALGEBRA.2016.05.017MaRDI QIDQ2629892zbMATH OpenOpenAlexFDO

Authors Sarah Cobb

Publication date 8 July 2016

Published in Journal of Algebra (Search for Journal in Brave)

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

zbMATH Keywords

classifying spacescohomologyequivariant mapsEuclidean buildingsgeometric group theoryspecial linear groups

Mathematics Subject Classification ID

Groups with a (BN)-pair; buildings (20E42) Geometric group theory (20F65) Cohomology theory for linear algebraic groups (20G10) Linear algebraic groups over adèles and other rings and schemes (20G35) Cohomology of groups (20J06) Topological methods in group theory (57M07)

Abstract: For J an integral domain and F its field of fractions, we construct a map from the 3-skeleton of the classifying space for {Gamma} = SL_2(J[t,1/t]) to a Euclidean building on which {Gamma} acts. We then find an infinite family of independent cocycles in the building and lift them to the classifying space, thus proving that the cohomology group H2(SL_2(J[t,1/t]);F) is infinite-dimensional.

Review text

Let \(J\) be an integral domain with identity and \(F\) be the field of fractions of \(J\). Consider the group \(\Gamma:=\mathrm{SL}_2(J[t,t^{-1}])\). The main result of this paper is that the second cohomology group \(H^2(\Gamma,\mathbb Q)\) is infinite-dimensional, thus generalizing a known result for \(\mathrm{SL}_2(\mathbb Z[t,t^{-1}])\). Following a similar construction by \textit{K.-U. Bux} and \textit{K. Wortman} [Algebr. Geom. Topol. 6, 839-852 (2006; Zbl 1128.20037)], the author constructs a Euclidean building \(X\) with an action of \(\Gamma\) (satisfying certain desired properties). Further, a \(\Gamma\)-equivariant map is constructed from the classifying space of \(\Gamma\) to \(X\). Of particular interest for second degree cohomology is the 3-skeleton of the classifying space. Cocycles are explicitly constructed over \(X\) and then lifted to the classifying space via this map. In such a manner an infinite family of independent 2-cocycles is constructed, thus proving the theorem.

Recommendations

• scientific article; zbMATH DE number 962492
• Homology and finiteness properties of \(\text{SL}_2(\mathbb{Z}[t,t^{-1}])\).
• Cohomology of \(\mathrm{SL}_2\) and related structures
• scientific article; zbMATH DE number 1182431
• The codimension-one cohomology of \(\mathrm{SL}_n\mathbb{Z}\)
• scientific article; zbMATH DE number 1795097
• Cohomology for Frobenius kernels of \(\mathrm{SL}_2\).
• Homology of \(\mathrm{SL}_2(\mathbb Z[\omega])\)
• scientific article; zbMATH DE number 50962
• The homology of \(\text{SL}_ 2(F[t,t^{-1}])\)

Cites work

• A geometric proof that \(\text{SL}_2(\mathbb{Z}[t,t^{-1}])\) is not finitely presented.
• Connectivity properties of horospheres in Euclidean buildings and applications to finiteness properties of discrete groups.
• Homology and finiteness properties of \(\text{SL}_2(\mathbb{Z}[t,t^{-1}])\).
• The non-finite presentability of \(IA(F_ 3)\) and \(\text{GL}_ 2(Z[t,t^{-1}])\)

Cited in

(5)

• Homology and finiteness properties of \(\text{SL}_2(\mathbb{Z}[t,t^{-1}])\).
• On the mod-2 cohomology of \(\mathrm{SL}_3(\mathbb{Z}[\frac{1}{2},i])\)
• The original sin of proof-theoretic semantics
• scientific article; zbMATH DE number 18035 (Why is no real title available?)
• scientific article; zbMATH DE number 5181886 (Why is no real title available?)

This page was built for publication: Infinite-dimensional cohomology of \(\mathbf{SL}_2(\mathbb Z[t,t^{-1}])\).

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