Related papers: Norms and Hermitian $\mathrm{K}$-Theory
We argue that the very effective cover of hermitian $K$-theory in the sense of motivic homotopy theory is a convenient algebro-geometric generalization of the connective real topological $K$-theory spectrum. This means the very effective…
The theme of this paper is to compute hermitian $K$-groups in terms of the recently developed theory of Milnor-Witt motivic cohomology. Our approach makes use of the very effective slice spectral sequence within the motivic stable homotopy…
In this article, we establish the compatibility between norms and transfers in motivic homotopy theory. More precisely, we construct norm functors for motivic spaces equipped with various flavours of transfer. This yields a norm monoidal…
Let k be an infinite perfect field. We provide a general criterion for a spectrum in the stable homotopy category over k to be effective, i.e. to be in the localizing subcategory generated by the suspension spectra of smooth schemes. As a…
Let $S$ be a finite dimensional noetherian scheme. For any proper morphism between smooth $S$-schemes, we prove a Riemann-Roch formula relating higher algebraic $K$-theory and motivic cohomology, thus with no projective hypothesis neither…
We make some computations in stable motivic homotopy theory over Spec \mathbb{C}, completed at 2. Using homotopy fixed points and the algebraic K-theory spectrum, we construct a motivic analogue of the real K-theory spectrum KO. We also…
A kind of motivic algebra of spectral categories and modules over them is developed to introduce K-motives of algebraic varieties. As an application, bivariant algebraic K-theory as well as bivariant motivic kohomology groups are defined…
We use motivic colimits to construct power operations on the homotopy groups of normed motivic spectra admitting a (normed) map from HF_2. We establish enough of their standard properties to prove that the motivic dual Steenrod algebra is…
In the Morel-Voevodsky motivic stable homotopy category of a quasi-compact quasi-separated scheme S, several candidates exist for a motivic spectrum representing hermitian K-theory. This note shows that the cellular absolute motivic…
We compute the generalized slices (as defined by Spitzweck-{\O}stv{\ae}r) of the motivic spectrum KO (representing hermitian K-theory) in terms of motivic cohomology and (a version of) generalized motivic cohomology, obtaining good…
We construct an algebraic commutative ring T- spectrum BO which is stably fibrant and (8,4)- periodic and such that on SmOp/S the cohomology theory (X,U) -> BO^{p,q}(X_{+}/U_{+}) and Schlichting's hermitian K-theory functor (X,U) ->…
The goal of this note is to study the analog in unstable ${{\mathbb A}^1}$-homotopy theory of the unit map from the motivic sphere spectrum to the Hermitian K-theory spectrum, i.e., the degree map in Hermitian K-theory. We show that "Suslin…
We show that the hermitian K-theory space of a commutative ring R can be identified, up to A^1-homotopy, with the group completion of the groupoid of oriented finite Gorenstein R-algebras, i.e., finite locally free R-algebras with…
We extend the stable motivic homotopy category of Voevodsky to the class of scalloped algebraic stacks, and show that it admits the formalism of Grothendieck's six operations. Objects in this category represent generalized cohomology…
In this paper, we study twisted algebraic $K$-theory from a motivic viewpoint. For a smooth variety $X$ over a field of characteristic zero and an Azumaya algebra $\mathcal{A}$ over $X$, we construct the $\mathcal{A}$-twisted motivic…
This work is dedicated to the construction of a new motivic homotopy theory for (log) schemes, generalizing Morel-Voevodsky's (un)stable $\mathbb{A}^1$-homotopy category. Our framework can be used to represent log topological Hochschild and…
Let kq denote the very effective cover of the motivic Hermitian K-theory spectrum. We analyze the ring of cooperations $\pi^\mathbb{R}_{**}(\text{kq} \otimes \text{kq})$ in the stable motivic homotopy category $\text{SH}(\mathbb{R})$,…
We establish fundamental motivic results about hermitian K-theory without assuming that 2 is invertible on the base scheme. In particular, we prove that both quadratic and symmetric Grothendieck-Witt theory satisfy Nisnevich descent, and…
We determine the A(1)-homotopy of the topological cyclic homology of the connective real K-theory spectrum ko. The answer has an associated graded that is a free F_2[v_2^4]-module of rank 52, on explicit generators in stems -1 \le * \le 30.…
We view strict ring spectra as generalized rings. The study of their algebraic K-theory is motivated by its applications to the automorphism groups of compact manifolds. Partial calculations of algebraic K-theory for the sphere spectrum are…