Positivity for \(K_1\) and \(K_2\)
type: Item
instance of: scholarly article
title: Positivity for \(K_1\) and \(K_2\)
zbMATH Open document ID: 0956.19001
author: Robert V. Moody
author: Jun Morita
published in: Journal of Algebra
publication date: 2001-03-07T00:00:00Z
review text: Let \(R\) be a commutative ring. The authors introduce the notion of a ring \(R\) with positive cone \(R_{+}\), this is a subset that we may regard as the subset of positive elements of \(R\). Using this, they define the ``totally positive matrices'' as the matrices where all of their minors are elements of \(R_{+}\), and of ``strictly totally positive'' matrices where all of their minors are elements of \(R_{+}\{ 0 \}\). Using these concepts they develop a positive version \(K_1(R,R_{+})\) of \(K_1(R)\), a corresponding \(K_{2}\), and a corresponding positive Steinberg group. They provide specific calculations in various interesting cases. These inlude specific generators for both the positive Steinberg group \(St(F,F_{+})\) and for \(K_{2}(F,F_{+})\) when \(F\) is a field with a particular positive cone. They also prove, among other facts, the (group) isomorphism \(K_{2}(F)\sim \mathbb Z/2\oplus \mathbb Z/2\oplus K_{2}(F,F_{+})\), when \(F=\mathbb Q(\sqrt{d})\), \(d\) a square free positive rational integer, providing a specific Matsumoto type presentation in this case. Another important example is when \(SL(n,R)=E(n,R)\) (for example if \(R\) is Euclidean), in this case they prove the (semigroup) isomorphism \(K_{1}(R,R_+)\sim R^\times_+\) (the positive invertible elements of \(R\)). From this they obtain in the case of polynomial rings, the (group) isomorphisms \(K_{1}(\mathbb R[t,t^{-1}], \mathbb R[t,t^{-1}]_+)\sim\mathbb Z\oplus K_{1}(\mathbb R,\mathbb R_{+})\), \(K_{1}(\mathbb R[t],\mathbb R[t]_+)\sim K_{1}(\mathbb R,\mathbb R_{+})\), and a similar statement for \(K_{2}\).
Mathematics Subject Classification ID: 19C99
Mathematics Subject Classification ID: 19B99
zbMATH DE Number: 1496001
zbMATH Keywords: positive K-theory
zbMATH Keywords: positive Steinberg group
reviewed by: Daniel Juan Pineda
MaRDI profile type: Publication
full work available at URL: jabr.1999.8172
OpenAlex ID: W2065603941
cites work: Q3215404
cites work: Q3254327
cites work: On K2 () and presentations of SLn () in the real quadratic case.
cites work: Q4869249
cites work: Sur les sous-groupes arithmétiques des groupes semi-simples déployés
cites work: Introduction to Algebraic K-Theory. (AM-72)
cites work: Lectures on Chevalley Groups
cites work: ON THE STRUCTURE OF THE SPECIAL LINEAR GROUP OVER POLYNOMIAL RINGS
cites work: A reduction theorem for totally positive matrices
DOI: 10.1006/JABR.1999.8172
description: scientific article; zbMATH DE number 1496001