Hermitian \(K\)-theory on a theorem of Giffen (Q1770801): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 07:36, 1 February 2024

scientific article
Language Label Description Also known as
English
Hermitian \(K\)-theory on a theorem of Giffen
scientific article

    Statements

    Hermitian \(K\)-theory on a theorem of Giffen (English)
    0 references
    0 references
    0 references
    7 April 2005
    0 references
    Let \(R\) be a ring with involution \(a \mapsto \overline{a}\), and let \(\varepsilon\) be a central element in \(R\), so that \(\varepsilon\overline{\varepsilon} = 1\). Let \(_{\varepsilon}K_0^h(R)\) denote the Grothendieck group of isometry classes of finitely generated projective right \(R\)-modules equipped with a non-degenerate \(\varepsilon\)-hermitian form. In analogy to algebraic \(K\)-theory \textit{M. Karoubi} defined in ``Périodicité de la \(K\)-théorie hermitienne'' [Lect. Notes Math. 343, 301--411 (1973; Zbl 0274.18016)] the higher hermitian \(K\)-theory groups of \(R\) as the homotopy groups of the space \( _{\varepsilon}K^h(R) \cong\, _{\varepsilon}K_0^h(R) \times B_{\varepsilon}O(R).\) \smallskip Let \(h:K(R) \rightarrow \,_{\varepsilon}K^h(R)\) denote the hyperbolic functor from algebraic \(K\)-theory to hermitian \(K\)-theory. Giffen constructed a category \(_\varepsilon \mathcal W(R)\), which should yield a homotopy fibration \[ K(R) \rightarrow \,_{\varepsilon}K^h(R) \rightarrow \,_\varepsilon \mathcal W(R). \] The author points out that the proof of this result given by \textit{R. Charney} and \textit{R. Lee} [``On a theorem of Giffen'', Mich. Math. J. 33, 169--186 (1986; Zbl 0609.55004)] contains an error, and he provides a different proof, which applies more generally to split exact categories with duality, provided that \(2\) is invertible in the category. The author remarks that in the meantime he has been able to remove the assumption on the invertibility of \(2\).
    0 references
    Hermitian \(K\)-theory
    0 references
    exact categories with duality
    0 references
    \(Q\)-construction
    0 references

    Identifiers