Grothendieck groups of sesquilinear forms over a ring with involution (Q1821394): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / author | |||
Property / author: Jorge F. Morales / rank | |||
Property / author | |||
Property / author: Jorge F. Morales / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(SK_1\) of finite abelian groups. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The involution on Whitehead torsion / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5611784 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5676841 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Projective Modules as Fiber Bundles / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Vector bundles over spheres are algebraic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(K_ 0\)-groups of projective spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraic vector bundles on projective space / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some exact sequences in algebraic K-theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5521308 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Stable Plumbing for High Odd-Dimensional Fibred Knots / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Introduction to Algebraic K-Theory. (AM-72) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3921379 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Vector Bundles and Projective Modules / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraic \(K\)-theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Note on the generator of $\pi_7(SO(n))$ / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 19:26, 17 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Grothendieck groups of sesquilinear forms over a ring with involution |
scientific article |
Statements
Grothendieck groups of sesquilinear forms over a ring with involution (English)
0 references
1988
0 references
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.
0 references
ring with involution
0 references
isomorphism classes of unimodular sesquilinear forms
0 references
stable equivalence classes of matrices
0 references
\(K_ 1(R)\)
0 references
high dimensional knot
0 references