Homological symbols and the Quillen conjecture.

DOI10.1016/J.JPAA.2008.07.011MaRDI QIDQ1004454zbMATH OpenOpenAlexWikidataFDO

Authors Marian F. Anton

Publication date 10 March 2009

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

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

zbMATH Keywords

arithmetic ringshomological symbols algebralinear group homologyQuillen conjecture

Mathematics Subject Classification ID

Symbols, presentations and stability of (K_2) (19C20) Cohomology theory for linear algebraic groups (20G10) Linear algebraic groups over global fields and their integers (20G30)

Abstract: We formulate a "correct" version of the Quillen conjecture on linear group homology for certain arithmetic rings and provide evidence for the new conjecture. In this way we predict that the linear group homology has a direct summand looking like an unstable form of Milnor K-theory and we call this new theory "homological symbols algebra". As a byproduct we prove the Quillen conjecture in homological degree two for the rank two and the prime 5.

Review text

Let \(R=\mathbb{Z}[\tfrac1\ell,\xi_\ell]\) for an odd regular prime \(\ell\), where \(\xi_\ell\) is a primitive \(\ell\)-th root of unity. Consider in the bi-graded algebra \(A=\bigoplus_{i,j=0}^\infty H_i(\text{GL}_j(R),\mathbb{F}_\ell)\) the subspace \(V=H_*(\text{GL}_1(R),\mathbb{F}_\ell)\). The author conjectures that the kernel of the map from the tensor algebra on \(V\) to \(A\) is generated by certain relations coming from \(H_*(\text{GL}_1(R)^{\times 2},\mathbb{F}_\ell)\). Now take \(\ell=5\). Using the computer algebra system GAP the author confirms the conjecture for this \(\ell\) and computes both \(H_2(\text{GL}_2(\mathbb{Z}[\tfrac15,\xi_5]),\mathbb{F}_5)\) and \(H_2(\text{SL}_2(\mathbb{Z}[\frac15,\xi_5]),\mathbb{F}_5)\).

Recommendations

• scientific article; zbMATH DE number 3950788
• A refinement of a conjecture of Quillen.
• On a conjecture of Quillen at the prime 3
• On Quillen's conjecture for the p-groups complex
• On Quillen's conjecture for \(p\)-solvable groups

Cites work

• A generalized Hopf formula for higher homology groups
• Algebraic K-theory and quadratic forms. With an appendix by J. Tate
• An elementary invariant problem and general linear group cohomology restricted to the diagonal subgroup
• Euclid's Algorithm in Cyclotomic Fields
• Exotic cohomology for 𝐺𝐿_{𝑛}(ℤ[1/2])
• scientific article; zbMATH DE number 1665399 (Why is no real title available?)
• scientific article; zbMATH DE number 3760283 (Why is no real title available?)
• scientific article; zbMATH DE number 2103273 (Why is no real title available?)
• scientific article; zbMATH DE number 1390914 (Why is no real title available?)
• Localizations of unstable \(A\)-modules and equivariant mod \(p\) cohomology
• On a conjecture of Quillen at the prime 3
• On the plus construction for \(BGL \mathbb{Z} [{1\over 2}]\) at the prime 2
• The cohomology of \(\text{SL}(3,\mathbb{Z}[1/2])\)
• The spectrum of an equivariant cohomology ring. I. II
• Topological models for arithmetic

Cited in

(5)

• Homological invariants and quasi-isometry.
• scientific article; zbMATH DE number 3950788 (Why is no real title available?)
• A refinement of a conjecture of Quillen.
• Generators for group homology and a vanishing conjecture
• Rational homology of the group \(\text{O}_n(\mathbb{Z}[\tfrac 12])\) and automorphisms of unimodular lattices

Describes a project that uses

Uses Software

• GAP

This page was built for publication: Homological symbols and the Quillen conjecture.

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