K. Arun Kumar,Oliver Röndigs
Abstract:Several candidates for a motivic spectrum representing hermitian K-theory in the Morel-Voevodsky motivic stable homotopy category over schemes in which 2 is not necessarily invertible exist. This note shows that the cellular absolute motivic spectrum constructed in the thesis of the first author via the geometry of orthogonal and hyperbolic Grassmannians over any scheme coincides with the motivic ring spectrum constructed recently by Calmès, Harpaz, and Nardin.
What problem does this paper attempt to address?
The main problems that this paper attempts to solve are related to the representation problems of Hermitian K - theory. Specifically:
1. **Representing Hermitian K - theory on a broader base scheme**: Previous research mainly focused on regular affine Noetherian base schemes where 2 is an invertible element. However, this limitation hinders its absoluteness, that is, it cannot be consistent on an arbitrary base scheme. Therefore, it is necessary to extend to more general base schemes, such as the terminal scheme Spec(Z).
2. **Constructing an absolute motivic ring spectrum**: One of the goals of the paper is to construct an absolute motivic ring spectrum \(KQ_S\) on any quasi - compact and quasi - separated (qcqs) scheme \(S\), and verify whether it can represent Karoubi's Hermitian K - theory. In addition, it is also necessary to prove that this motivic ring spectrum has other desirable properties, such as absolute purity and twisted Thom isomorphism.
3. **Proving the equivalence of two different motivic spectra**: The paper mentions two different motivic spectra \(KQ'_S\) and \(KQ_S\), which are given by geometric descriptions and algebraic structures respectively. The author needs to prove that these two motivic spectra are equivalent on any quasi - compact and quasi - separated scheme. This involves complex homotopy theory and algebraic geometry techniques, such as using Borel classes, Thom isomorphisms and other tools.
### Specific problems and solutions
- **Representation of Hermitian K - theory**: By constructing an absolute motivic ring spectrum \(KQ_S\), this paper solves the problem of representing Hermitian K - theory on a broader base scheme. In particular, when 2 is invertible on the base scheme \(S\), \(KQ_S\) can represent Karoubi's Hermitian K - groups.
- **Absoluteness and structural properties**: The paper shows the absoluteness of \(KQ_S\) and proves that it has other important properties, such as absolute purity and twisted Thom isomorphism. These properties make \(KQ_S\) a powerful tool for studying Hermitian K - theory.
- **Equivalence proof**: By introducing the mapping \(\varphi: Z\times HGr_Z\rightarrow\Omega^{\infty+(2)}\Sigma^{2+(2)}KQ_Z\) and using the periodic isomorphism \(\Sigma^{4+(4)}KQ_Z\simeq KQ_Z\), the author proves the equivalence of \(KQ'_Z\) and \(KQ_Z\) in the stable motivic homotopy category. This result not only verifies the consistency of the two different constructions but also provides a solid foundation for further research.
### Conclusion
This paper successfully solves the problem of representing Hermitian K - theory on a broader base scheme and proves the equivalence of two different motivic spectra by constructing and verifying the absolute motivic ring spectrum \(KQ_S\). These achievements provide new tools and methods for the study of Hermitian K - theory and promote the further development of this field.