Abstract:We exhibit a canonical equivalence between the hermitian $K$-theory (alias Grothendieck-Witt) spectrum of an exact form category and that of its derived Poincaré $\infty$-category, with no assumptions on the invertibility of $2$. Along the way, we obtain a model for the nonabelian derived functor of a nondegenerate quadratic functor on an exact category.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to establish the equivalence of Hermitian K - theory (also known as Grothendieck - Witt theory) between different categories. Specifically, the author aims to show that there is a canonical equivalence relation in the Hermitian K - theory spectra between an exact formal category with duality and its derived Poincaré ∞ - category, without assuming the invertibility of 2.
The following is the specific description of this problem:
1. **Background and Motivation**:
- Hermitian K - theory is the stable algebra for studying projective modules with generalized quadratic forms.
- This theory is the algebraic analogue of real topological K - theory and also the quadratic refinement of algebraic K - theory.
- Karoubi et al. laid the foundation for the construction and properties of the higher - order Hermitian K - groups of rings, and in particular proved the fundamental theorem between Hermitian K - theory and ordinary algebraic K - theory.
- With the development of research, these results have been generalized to exact categories with duality, dg - categories, and unique 2 - divisible mapping complexes.
2. **Main Problem**:
- The main goal of the paper is to solve the comparison problem of Hermitian K - theory between the exact formal category and its derived Poincaré ∞ - category.
- Specifically, the author hopes to show that there is a canonical equivalence relation in the Hermitian K - theory spectra between a complex exact formal category (E, Q, D, η, w) with weak equivalences and its derived Poincaré ∞ - category (Lw(E), RQ).
3. **Key Results**:
- The main result is Theorem A (see Theorem 4.3.5 in the main text), which shows that for a complex exact formal category (E, Q, D, η, w) with weak equivalences, the ∞ - category localization E → Lw(E) induces a functorial equivalence of Hermitian K - theory spectra:
\[
GW(E, Q, w)\simeq GW(Lw(E), RQ)
\]
- As a corollary, they also show that for an exact formal category (E, D, η, Q), its standard embedding E ↪ Db(E) into the bounded derived ∞ - category induces an equivalence of spectra:
\[
GW(E, Q)\simeq GW(Db(E), ϙ)
\]
By solving this problem, the author provides a broader framework for Hermitian K - theory and does not need to assume the invertibility of 2, thus expanding the application range of this theory.