A new proof of a theorem of Suslin (Q2502110): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claim: reviewed by (P1447): Item:Q175279
ReferenceBot (talk | contribs)
Changed an Item
(3 intermediate revisions by 3 users not shown)
Property / reviewed by
 
Property / reviewed by: Kevin Hutchinson / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/s10977-005-1512-4 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2088021978 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Euler cocycle and \(K_ 2\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: A new approach to Matsumoto's theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic \(K\)-theory and quadratic forms. With an appendix by J. Tate / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3310033 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Torsion in \(K_ 2\) of fields / rank
 
Normal rank

Revision as of 19:05, 24 June 2024

scientific article
Language Label Description Also known as
English
A new proof of a theorem of Suslin
scientific article

    Statements

    A new proof of a theorem of Suslin (English)
    0 references
    0 references
    0 references
    12 September 2006
    0 references
    In the appendix to his paper ``Torsion in \(K_2\) of fields'' [\(K\)-Theory 1, 5--29 (1987; Zbl 0635.12015)], \textit{A. A. Suslin} proved that for an infinite field \(F\), \(H_2(\text{SL}_2(F),\mathbb Z)\) is isomorphic to the fibre product \(K^M_2(F)\times_{I^2/I^3}I^2(F)\), where \(K^M_n(F)\) is the \(n\)th Milnor \(K\)-group of \(F\) and \(I= I(F)\) is the ideal of even-dimensional forms in the Witt ring \(W(F)\). The proof uses the Matsumoto-Moore presentation of the group \(H_2(\text{Sp}(F),\mathbb Z)= H_2(\text{SL}_2(F),\mathbb Z)\) as well as the characterisation of the 2-torsion of \(K^M_2(F)\) as the set of all elements of the form \(\{-1, a\}\). In the paper under review, the author gives an alternative proof of Suslin's theorem which by-passes the theorem of Matsumoto and Moore. Instead, the author proves the result by a careful analysis of the homology spectral sequence associated to a complex of \(\text{SL}_2(F)\)-modules which is constructed using the action of \(\text{SL}_2(F)\) on the projective line. The ideal \(I(F)\) -- as well as the Grothendieck-Witt ring, \(\text{GW}(F)\), of the field -- appear naturally, but intriguingly, as terms in this spectral sequence. Suslin's 2-torsion result referred to above is also an essential ingredient in the proof.
    0 references
    group homology
    0 references
    Witt rings
    0 references

    Identifiers