Grothendieck groups of sesquilinear forms over a ring with involution
type: Item
instance of: scholarly article
title: Grothendieck groups of sesquilinear forms over a ring with involution
zbMATH Open document ID: 0616.57017
DOI: 10.1007/BF01449217
author: Daniel Lines
author: Jorge Morales
published in: Mathematische Annalen
publication date: 1988-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/164402
review text: For any ring with unit R equipped with an involution, we consider the sets FP(R) and F(R) of isomorphism classes of unimodular sesquilinear forms defined on finitely generated projective, respectively free R- modules. These are monoids with respect to the orthogonal sum operation. We also define a natural notion of exactness for triples of elements of these sets. In the case of F(R) it has the following form: the triple \((B_ 1,B_ 2,B_ 3)\) of elements of F(R) is exact if there is a matrix X such that \(B_ 2\) is congruent to \(\left[\begin{matrix} B_ 1&0\\ X&B_ 3\end{matrix} \right]\). Our aim is to compute the corresponding Grothendieck groups KF(R) and KFP(R). We prove that there is an exact sequence connecting KF(R), KFP(R) and a subgroup of the projective class group of the ring R. We denote by KF(R) the kernel of the rank map \(\rho\) : KF(R)\(\to {\mathbb{Z}}\). We show that KF(R) is naturally isomorphic to \(K_ 1(R)/NK_ 1(R)\), where \(NK_ 1(R)\) denotes the subgroup of \(K_ 1(R)\) of elements of the form \(X\cdot X^ *\), where \(X^ *\) is the transpose-\(conjugate\) of X. We prove that the set \(\Sigma\) (R) of related stable equivalence classes of matrices over R is an abelian group with respect to block sum. The group \(\Sigma\) (R) turns out to be also a quotient of \(K_ 1(R)\). In the commutative case, \(\Sigma\) (R) can be naturally identified with \(SK_ 1(R)/NSK_ 1(R)\). The group \(\Sigma\) (R) depends on the way the transpose-\(conjugation\) acts on \(K_ 1(R)\), and using topological K-theory we give different instances of this action. The fact that \(\Sigma\) (\({\mathbb{Z}})\) is trivial has a geometric interpretation in high-dimensional knot theory.
Mathematics Subject Classification ID: 57R67
Mathematics Subject Classification ID: 18F25
Mathematics Subject Classification ID: 57Q45
zbMATH DE Number: 3998794
zbMATH Keywords: ring with involution
zbMATH Keywords: isomorphism classes of unimodular sesquilinear forms
zbMATH Keywords: stable equivalence classes of matrices
zbMATH Keywords: \(K_ 1(R)\)
zbMATH Keywords: high dimensional knot
MaRDI profile type: Publication
cites work: \(SK_1\) of finite abelian groups. II
cites work: The involution on Whitehead torsion
cites work: Q5611784
cites work: Q5676841
cites work: Projective Modules as Fiber Bundles
cites work: Vector bundles over spheres are algebraic
cites work: \(K_ 0\)-groups of projective spaces
cites work: Algebraic vector bundles on projective space
cites work: Some exact sequences in algebraic K-theory
cites work: Q5521308
cites work: Stable Plumbing for High Odd-Dimensional Fibred Knots
cites work: Introduction to Algebraic K-Theory. (AM-72)
cites work: Q3921379
cites work: Vector Bundles and Projective Modules
cites work: Algebraic \(K\)-theory
cites work: Note on the generator of $\pi_7(SO(n))$
description: scientific article; zbMATH DE number 3998794