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

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: On a theorem of Giffen / rank
 
Normal rank
Property / cites work
 
Property / cites work: LOCALIZATION IN HERMITIAN $K$-THEORY OF RINGS / rank
 
Normal rank
Property / cites work
 
Property / cites work: Le théorème fondamental de la K-théorie hermitienne / rank
 
Normal rank
Property / cites work
 
Property / cites work: Chain complexes and stable categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Classifying spaces and fibrations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Higher algebraic K-theory: I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hermitian \(\mathcal{U}\)-theory of exact categories with duality functors / rank
 
Normal rank
Property / cites work
 
Property / cites work: First quadrant spectral sequences in algebraic k-theory via homotopy colimits / rank
 
Normal rank

Latest revision as of 19:23, 7 June 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