Abstract:We prove Dévissage theorems for Hermitian $K$ Theory (or $GW$ theory), analogous to Quillen's Dévissage theorem for $K$-theory. For abelian categories ${\mathscr A}:=({\mathscr A}, ^{\vee}, \varpi)$ with duality, and appropriate abelian subcategories ${\mathscr B}\subseteq {\mathscr A}$, we prove Dévissage theorems for ${\bf GW}$ spaces, $G{\mathcal W}$-spectra and ${\mathbb G}W$ bispectra. As a consequence, for regular local rings $R$ with $1/2\in R$, we compute the ${\mathbb G}W$ groups ${\mathbb G}W^{[n]}_k(Spec{R})$ forall $k, n\in {\mathbb Z}$, where $n$ represent the translation.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the proof and application of the Dévissage theorem in Hermitian K - theory (also known as Grothendieck - Witt theory, abbreviated as GW theory). Specifically, the author attempts to prove a Dévissage theorem similar to that proved by Quillen for K - theory spaces, but applicable to abelian categories with duality, and further generalize it to GW spaces, GW spectra and Karoubi GW bispectra.
### Core of the problem
1. **Generalization of the Dévissage theorem**:
- For an abelian category \( A := (A, \vee, \omega) \) with duality and an appropriate abelian subcategory \( B\subseteq A \), the author attempts to prove that the Dévissage theorem holds for GW spaces, GW spectra and Karoubi GW bispectra.
- Specifically, when \( 1/2\in R \), for a regular local ring \( (R, m, \kappa) \), the author calculates the structure of \( GW[n]_k(\text{Spec}(R)) \), where \( n \) represents the shift.
2. **Application of the main results**:
- Through these theorems, the author is able to calculate the GW groups over certain specific rings, such as the GW groups over a regular local ring \( R \), which is of great significance for understanding the geometric properties of algebraic varieties.
### Formula representation
The formulas involved in the paper mainly include:
- **Dévissage theorem**:
\[
\text{If } B\subseteq A \text{ satisfies certain conditions, then there is a homotopy equivalence:}
\]
\[
GW(B, \vee, \omega)\to GW(A, \vee, \omega)
\]
\[
\text{This means that for all } n, k\in\mathbb{Z}, \text{ there is a natural isomorphism:}
\]
\[
GW[n]_k(B, \vee, \omega)\cong GW[n]_k(A, \vee, \omega)
\]
- **Calculation of GW groups**:
\[
GW[n]_k(\text{CMZ}(X))\cong
\begin{cases}
W(V(\kappa), \vee, \omega) & \text{if } k\leq - 1, n - k - d = 0\ \text{mod}\ 4 \\
0 & \text{if } k\leq - 1, n - k - d = 1, 2, 3\ \text{mod}\ 4 \\
GW_k(V(\kappa), \vee, \omega) & \text{if } n = 0\ \text{mod}\ 4, k\geq 0 \\
GW_k(V(\kappa), \vee, -\omega) & \text{if } n = 2\ \text{mod}\ 4, k\geq 0
\end{cases}
\]
### Summary
The main contribution of this paper is to generalize Quillen's Dévissage theorem to Hermitian K - theory, especially for abelian categories with duality. This generalization not only enriches the research tools of K - theory, but also provides a new method for calculating GW groups over specific rings, thus helping to understand related problems in algebraic geometry more deeply.