LOCALIZATION IN HERMITIAN K-THEORY OF RINGS
Let \(A\) be a ring with involution \(a \mapsto \bar a\), and let \(\epsilon\) be a central unit satisfying \(\epsilon \bar\epsilon = 1\). The authors prove localization and dévissage for the hermitian \(K\)-theory groups \(_\epsilon K^h(A)\) of \(A\). Given a multiplicative subset \(\Sigma\) of central non-zero divisors of \(A\) let \(\mathcal T_{\Sigma}\) denote the exact category of finitely generated \(\Sigma\)-torsion \(A\)-modules of projective dimension at most 1. The authors show that Quillen's homotopy fibration of \(K\)-theory spaces \[ K(\mathcal T_{\Sigma}) \rightarrow K(A) \rightarrow K(\Sigma^{-1}A) \] [cf. \textit{D. Grayson}, ``Higher algebraic \(K\)-theory: II (after Daniel Quillen), Algebr. \(K\)-Theory, Evanston 1976, Lect. Notes Math. 551, 217--240 (1976; Zbl 0362.18015)] extends to the hermitian setting: Let \(2\) be invertible in \(A\) and assume that \(\Sigma\) is closed under the involution. Then there is a homotopy fibration \[ _\epsilon U(\mathcal T_{\Sigma}) \rightarrow \,_\epsilon K^h(A) \rightarrow \,_\epsilon K^h(\Sigma^{-1}A), \] where \(_\epsilon U(\mathcal T_{\Sigma})\) is the loop space of the classifying space of a category \(_\epsilon\mathcal W(\mathcal T_{\Sigma})\), which is the hermitian analogue of Quillen's \(Q\)-construction. \smallskip In the special case that \(\Sigma = \{f^n \mid n \in \mathbb N\}\) consists of the powers of a central non-zero divisor \(f\) fixed under the involution, and under the assumption that both \(A\) and \(A/fA\) are regular, the authors show that there are homotopy equivalences \[ _\epsilon\mathcal W(A/fA) \overset \sim \longrightarrow \, _\epsilon\mathcal W(\mathcal T_{\Sigma}) \quad \text \quad _\epsilon U(A/fA) \overset \sim \longrightarrow \, _\epsilon U(\mathcal T_{\Sigma}). \] For a Dedekind domain \(A\) with trivial involution and \(2\) invertible these results yield a proof of a conjecture of \textit{M. Karoubi} [``Localisation de formes quadratiques. I, Ann. Sci. Éc. Norm. Supér., IV. Sér. 7, 359--403 (1974; Zbl 0325.18011), that there exists a long exact sequence \[ \cdots \rightarrow\bigoplus_{\wp}\, _\epsilon U_n(A/\wp) \rightarrow \,_\epsilon K_n^h(A) \rightarrow \,_\epsilon K_n^h(\Sigma^{-1}A) \rightarrow \bigoplus_{\wp}\, _\epsilon U_{n-1}(A/\wp) \rightarrow \cdots, \] where the sums extend over all maximal ideals of \(A\).
- Constructions and dévissage in Hermitian K-theory
- Sur la K-théorie des catégories additives et exactes hermitiennes
- Hermitian algebraic K-theory of simplicial rings and topological spaces
- Cdh descent for homotopy Hermitian \(K\)-theory of rings with involution
- Hermitian K-theory on a theorem of Giffen
- Hermitian algebraic K-theory of simplicial rings and topological spaces
- On a theorem of Giffen
- Hermitian forms in additive categories: Finiteness results
- Witt groups of smooth projective quadrics
- Relative 2-Segal spaces
- Hermitian K-theory on a theorem of Giffen
- Shifted Witt groups of semi-local rings
- Hermitian K-theory for stable \(\infty\)-categories. I: Foundations
- Homotopy and commutativity principle
- The Witt groups of the spheres away from two
- Oriented Chow groups, Hermitian K-theory and the Gersten conjecture
- Negative \(K\)-theory of derived categories
- The Mayer-Vietoris principle for Grothendieck-Witt groups of schemes
- Niveau spectral sequences on singular schemes and failure of generalized Gersten conjecture
- scientific article; zbMATH DE number 67755 (Why is no real title available?)
- The Witt group of real algebraic varieties
- The homotopy limit problem for Hermitian K-theory, equivariant motivic homotopy theory and motivic real cobordism
- Algebraic and homological aspects of Hermitian K-theory
- Stable moduli spaces of Hermitian forms (with an appendix by Yonatan Harpaz)
- On Karoubi's theorem: \(W(A)=W(A[t])\)
This page was built for publication: LOCALIZATION IN HERMITIAN $K$-THEORY OF RINGS
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4819168)
