Related papers: On very effective hermitian $K$-theory

We extend Geisser and Hesselholt's result on ``bi-relative K-theory'' from discrete rings to connective ring spectra. That is, if $\mathcal A$ is a homotopy cartesian $n$-cube of ring spectra (satisfying connectivity hypotheses), then the…

Thomason's \'{e}tale descent theorem for Bott periodic algebraic $K$-theory \cite{aktec} is generalized to any $MGL$ module over a regular Noetherian scheme of finite dimension. Over arbitrary Noetherian schemes of finite dimension, this…

We propose a method for constructing cohomology theories of logarithmic schemes with strict normal crossing boundaries by employing techniques from logarithmic motivic homotopy theory over $\mathbb{F}_1$. This method recovers the K-theory…

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) ->…

We prove a recognition principle for motivic infinite P1-loop spaces over a perfect field. This is achieved by developing a theory of framed motivic spaces, which is a motivic analogue of the theory of E-infinity-spaces. A framed motivic…

We define a strong homotopy derivation of (cohomological) degree k of a strong homotopy algebra over an operad P. This involves resolving the operad obtained from P by adding a generator with "derivation relations". For a wide class of…

We reconstruct hermitian K-theory via algebraic symplectic cobordism. In the motivic stable homotopy category SH(S) there is a unique morphism g : MSp -> BO of commutative ring T- spectra which sends the Thom class th^{MSp} to the Thom…

We compute the first two symplectic quadratic K-theory groups of the integers, or equivalently, the first two stable homology groups of the group of symplectic integral matrices preserving the standard quadratic refinement. The main novelty…

This paper investigates the $\mathrm{K}$-theory of twisted groupoid $\mathrm{C}^*$-algebras. It is shown that a homotopy of twists on an ample groupoid satisfying the Baum-Connes conjecture with coefficients gives rise to an isomorphism…

We introduce a new morphism between algebraic and hermitian K-theory. The topological analog is the Adams operation in real K-theory. From this morphism, we deduce a lower bound for the higher algebraic K-theory of a ring A in terms of the…

We construct geometric models for classifying spaces of linear algebraic groups in G-equivariant motivic homotopy theory, where G is a tame group scheme. As a consequence, we show that the equivariant motivic spectrum representing the…

Homotopy type theory is a formal language for doing abstract homotopy theory -- the study of identifications. But in unmodified homotopy type theory, there is no way to say that these identifications come from identifying the path-connected…

We introduce a theory of motivic cohomology for quasi-compact quasi-separated schemes, which generalises the construction of Elmanto--Morrow in the case of schemes over a field. Our construction is non-$\mathbb{A}^1$-invariant in general,…

We prove a motivic version of Landweber's exact functor theorem from topology. The main result is that the assignment given by a Landweber-type formula using the MGL-homology of a motivic spectrum defines a homology theory on the stable…

We examine the theory of connective algebraic K-theory, CK, defined by taking the -1 connective cover of algebraic K-theory with respect to Voevodsky's slice tower in the motivic stable homotopy category. We extend CK to a bi-graded…

Consider the Tate twist $\tau \in H^{0,1}(S^{0,0})$ in the mod 2 cohomology of the motivic sphere. After 2-completion, the motivic Adams spectral sequence realizes this element as a map $\tau \colon S^{0,-1} \to S^{0,0}$, with cofiber…

Let k be an algebraically closed field of characteristic 0, and let f be a morphism of smooth projective varieties from X to Y over the ring k((t)) of formal Laurent series. We prove that if a general geometric fiber of f is rationally…

We show that for finite dimensional regular Noetherian rings that contain a field or are smooth over a Dedekind domain, the comparison map from the Hermitian K-theory of genuine symmetric forms to that of symmetric forms is an equivalence…

We construct a theory of motivic cohomology for quasi-compact, quasi-separated schemes of equal characteristic, which is related to non-connective algebraic $K$-theory via an Atiyah--Hirzebruch spectral sequence, and to \'etale cohomology…

Our goal is to prove that the Leray spectral sequence associated to a map of algebraic varieties is motivic in the following sense: If the singular cohomology groups of the category of quasiprojective varieties defined over a subfield of C…