Symplectic \(K_ 2\) of Laurent polynomials, associated Kac-Moody groups and Witt rings
type: Item
instance of: scholarly article
title: Symplectic \(K_ 2\) of Laurent polynomials, associated Kac-Moody groups and Witt rings
zbMATH Open document ID: 0728.19001
DOI: 10.1007/BF02571324
author: Jun Morita
author: Ulf Rehmann
published in: Mathematische Zeitschrift
publication date: 1991-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/174206
review text: In this note, we will show the following theorems. Here F denotes an arbitrary field, \(F^*\) the multiplicative group of F, and \(F[\xi,\xi^{-1}]\) the ring of Laurent polynomials in \(\xi\) with coefficients in F. Let W(F) be the Witt ring over F with the maximal ideal I(F) consisting of classes with even rank. Then there are two exact sequences as follows: \[ 1\to I^ 3(F)\to K_ 2Sp(F)\to K_ 2(F)\to 1, \] \[ 1\to N(F)\to K_ 2(F)\to K_ 2Sp(F)\to I^ 2(F)\to 1, \] where \(N(F)=<\{u,-1\}| u\in F^*>\subseteq K_ 2(F)\) and N(F) is the 2-torsion part of \(K_ 2(F)\). We will study an \(F[\xi,\xi^{-1}]\)-version. As is well-known, the tame symbol induces \(K_ 2(F[\xi,\xi^{-1}])\simeq K_ 2(F)\oplus F^*.\) Then, we obtain the following. Theorem A. There are the following exact sequences: \[ 1\to I^ 3(F)\oplus I^ 2(F)\to K_ 2Sp(F[\xi,\xi^{-1}])\to K_ 2(F[\xi,\xi^{-1}])\to 1, \] \[ 1\to N(F)\oplus \{\pm 1\in F\}\to K_ 2(F[\xi,\xi^{-1}])\to K_ 2Sp(F[\xi,\xi^{-1}])\to I^ 2(F)\oplus I(F)\to 1. \] Theorem B. \(K_ 2Sp_{2n}(F[\xi,\xi^{-1}])\simeq K_ 2Sp(F)\oplus P(F)\) for all \(n\geq 1.\) To prove these two theorems, we will study the associated Kac-Moody groups. Let \(K_ 2(\tilde C_ n,F)\) be the \(K_ 2\)-group associated with a (universal) Kac-Moody group of type \(\tilde C_ n\). Then we obtain the following. Theorem C. \(K_ 2(\tilde C_ n,F)\simeq K_ 2Sp(F)\oplus I^ 2(F)\) for all \(n\geq 1\).
Mathematics Subject Classification ID: 19C20
Mathematics Subject Classification ID: 19G12
Mathematics Subject Classification ID: 12E10
Mathematics Subject Classification ID: 17B67
Mathematics Subject Classification ID: 22E65
zbMATH DE Number: 4202541
zbMATH Keywords: Laurent polynomials
zbMATH Keywords: Witt ring
zbMATH Keywords: exact sequences
zbMATH Keywords: associated Kac-Moody groups
MaRDI profile type: Publication
cites work: Some Tits systems with affine Weyl groups in Chevalley groups over Dedekind domains
cites work: K-Theory of Forms. (AM-98)
cites work: Q5580319
cites work: The arithmetic theory of loop algebras
cites work: A classification of subgroups of \(\Lambda\)-quadratic groups normalized by relative elementary groups
cites work: SIMPLE IRREDUCIBLE GRADED LIE ALGEBRAS OF FINITE GROWTH
cites work: Infinite dimensional Lie algebras. An introduction
cites work: Sur les sous-groupes arithmétiques des groupes semi-simples déployés
cites work: $ K$-COHOMOLOGY OF SEVERI-BRAUER VARIETIES AND THE NORM RESIDUE HOMOMORPHISM
cites work: Q4043127
cites work: A new class of Lie algebras
cites work: Commutator relations in Kac-Moody groups
cites work: A Matsumoto-type theorem for Kac-Moody groups
cites work: Infinite flag varieties and conjugacy theorems
cites work: Q4930353
cites work: Torsion in \(K_ 2\) of fields
cites work: Uniqueness and presentation of Kac-Moody groups over fields
description: scientific article; zbMATH DE number 4202541