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 spectral sequence, by computing the slices of the motivic twisted algebraic $K$-theory spectrum as a twisted form of motivic cohomology. This generalizes previous results due to Kahn-Levine where $\mathcal{A}$ is assumed to be pulled back from a base field. Our methods use interaction between the slice filtration and birational geometry. Along the way, we prove a representability result, expressing the motivic space of twisted $K$-theory as an extension of the twisted Grassmannian by the sheaf of"twisted integers". This leads to a proof of cdh descent and Milnor excision for twisted homotopy $K$-theory.

We provide new $\infty$-categorical models for unstable and stable global homotopy theory. We use the notion of partially lax limits to formalize the idea that a global object is a collection of $G$-objects, one for each compact Lie group $G$, which are compatible with the restriction-inflation functors. More precisely, we show that the $\infty$-category of global spaces is equivalent to a partially lax limit of the functor sending a compact Lie group $G$ to the $\infty$-category of $G$-spaces. We also prove the stable version of this result, showing that the $\infty$-category of global spectra is equivalent to the partially lax limit of a diagram of $G$-spectra. Finally, the techniques employed in the previous cases allow us to describe the $\infty$-category of proper $G$-spectra for a Lie group $G$, as a limit of a diagram of $H$-spectra for $H$ running over all compact subgroups of $G$.

We define Grothendieck-Witt spectra in the setting of Poincar\'e $\infty$-categories and show that they fit into an extension with a K- and an L-theoretic part. As consequences we deduce localisation sequences for Verdier quotients, and generalisations of Karoubi's fundamental and periodicity theorems for rings in which 2 need not be invertible. Our set-up allows for the uniform treatment of such algebraic examples alongside homotopy-theoretic generalisations: For example, the periodicity theorem holds for complex oriented $\mathrm{E}_1$-rings, and we show that the Grothendieck-Witt theory of parametrised spectra recovers Weiss and Williams' LA-theory. Our Grothendieck-Witt spectra are defined via a version of the hermitian Q-construction, and a novel feature of our approach is to interpret the latter as a cobordism category. This perspective also allows us to give a hermitian version -- along with a concise proof -- of the theorem of Blumberg, Gepner and Tabuada, and provides a cobordism theoretic description of the aforementioned LA-spectra.

We study the Hilbert scheme Hilbd (A1/ from an A1-homotopical viewpoint and obtain applications to algebraic K-theory. We show that the Hilbert scheme Hilbd (A1/ is A1-equivalent to the Grassmannian of (d-1/-planes in A1. We then describe the A1-homotopy type of Hilbd (An/ in a certain range, for n large compared to d. For example, we compute the integral cohomology of Hilbd (An/(C/ in a range. We also deduce that the forgetful map FFlat-+/- Vect from the moduli stack of finite locally free schemes to that of finite locally free sheaves is an A1-equivalence after group completion. This implies that the moduli stack FFlat, viewed as a presheaf with framed transfers, is a model for the effective motivic spectrum kgl representing algebraic K-theory. Combining our techniques with the recent work of Bachmann, we obtain Hilbert scheme models for the kgl-homology of smooth proper schemes over a perfect field.

In this short note, we given a new proof of Mitchell's theorem that $L_{T\left(n\right)} K(Z) \cong 0$ for $n \geq 2$. Instead of reducing the problem to delicate representation theory, we use recently established hyperdescent technology for chromatically-localized algebraic K-theory.

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 that symmetric Grothendieck-Witt theory further satisfies d\'evissage and A^1-invariance over a regular Noetherian base of finite Krull dimension, as well as a projective bundle formula. We use this to show that over a regular Noetherian base, symmetric Grothendieck-Witt theory is represented by a motivic E-infinity-ring spectrum, which we then show is an absolutely pure spectrum, answering a question of D\'eglise. As with algebraic K-theory, we show that over a general base, one can also construct a hermitian K-theory motivic spectrum, representing this time a suitable homotopy invariant and Karoubi-localising version of Grothendieck-Witt theory.

We study the Hilbert scheme $\mathrm{Hilb}_d(\mathbb{A}^\infty)$ from an $\mathbb{A}^1$-homotopical viewpoint and obtain applications to algebraic K-theory. We show that the Hilbert scheme $\mathrm{Hilb}_d(\mathbb{A}^\infty)$ is $\mathbb{A}^1$-equivalent to the Grassmannian of $(d-1)$-planes in $\mathbb{A}^\infty$. We then describe the $\mathbb{A}^1$-homotopy type of $\mathrm{Hilb}_d(\mathbb{A}^n)$ in a range, for $n$ large compared to $d$. For example, we compute the integral cohomology of $\mathrm{Hilb}_d(\mathbb{A}^n)(\mathbb{C})$ in a range. We also deduce that the forgetful map $\mathrm{FFlat}\to\mathrm{Vect}$ from the moduli stack of finite locally free schemes to that of finite locally free sheaves is an $\mathbb{A}^1$-equivalence after group completion. This implies that the moduli stack $\mathrm{FFlat}$, viewed as a presheaf with framed transfers, is a model for the effective motivic spectrum $\mathrm{kgl}$ representing algebraic K-theory. Combining our techniques with the recent work of Bachmann, we obtain Hilbert scheme models for the $\mathrm{kgl}$-homology of smooth proper schemes over a perfect field.

We develop the rudiments of a theory of parametrized ∞-operads, including parametrized generalizations of monoidal envelopes, Day convolution, operadic left Kan extensions, results on limits and colimits of algebras, and the symmetric monoidal Yoneda embedding.

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 trivialized dualizing sheaf. We deduce that hermitian K-theory is universal among generalized motivic cohomology theories with transfers along oriented finite Gorenstein morphisms. As an application, we obtain a Hilbert scheme model for hermitian K-theory as a motivic space. We also give an application to computational complexity: we prove that 1-generic minimal border rank tensors degenerate to the big Coppersmith-Winograd tensor.

This paper is the first in a series in which we offer a new framework for hermitian K -theory in the realm of stable ∞ -categories. Our perspective yields solutions to a variety of classical problems involving Grothendieck-Witt groups of rings and clarifies the behaviour of these invariants when 2 is not invertible. In the present article we lay the foundations of our approach by considering Lurie’s notion of a Poincaré ∞ -category, which permits an abstract counterpart of unimodular forms called Poincaré objects. We analyse the special cases of hyperbolic and metabolic Poincaré objects, and establish a version of Ranicki’s algebraic Thom construction. For derived ∞ -categories of rings, we classify all Poincaré structures and study in detail the process of deriving them from classical input, thereby locating the usual setting of forms over rings within our framework. We also develop the example of visible Poincaré structures on ∞ -categories of parametrised spectra, recovering the visible signature of a Poincaré duality space. We conduct a thorough investigation of the global structural properties of Poincaré ∞ -categories, showing in particular that they form a bicomplete, closed symmetric monoidal ∞ -category. We also study the process of tensoring and cotensoring a Poincaré ∞ -category over a finite simplicial complex, a construction featuring prominently in the definition of the L - and Grothendieck-Witt spectra that we consider in the next instalment. Finally, we define already here the 0th Grothendieck-Witt group of a Poincaré ∞ -category using generators and relations. We extract its basic properties, relating it in particular to the 0th L - and algebraic K -groups, a relation upgraded in the second instalment to a fibre sequence of spectra which plays a key role in our applications.

We study the Hilbert schemes $\mathrm{Hilb}_d(\mathbb{A}^\infty)$ and $\mathrm{Hilb}_\infty(\mathbb{A}^\infty)$ from an $\mathbb{A}^1$-homotopical viewpoint. We show in particular that the rational Voevodsky motive of $\mathrm{Hilb}_d(\mathbb{A}^\infty)$ is pure Tate and that $\mathrm{Hilb}_\infty(\mathbb{A}^\infty)$ is $\mathbb{A}^1$-homotopy equivalent to the infinite Grassmannian $\mathrm{Gr}_\infty(\mathbb{A}^\infty)$. We deduce that the forgetful functor $\mathrm{FFlat}\to\mathrm{Vect}$ from the moduli stack of finite locally free schemes to that of finite locally free sheaves is an $\mathbb{A}^1$-homotopy equivalence after group completion. This implies that the moduli stack $\mathrm{FFlat}$, viewed as a presheaf with framed transfers, is a model for the effective motivic spectrum $\mathrm{kgl}$ representing algebraic K-theory.

We establish a fibre sequence relating the classical Grothendieck-Witt theory of a ring $R$ to the homotopy $\mathrm{C}_2$-orbits of its K-theory and Ranicki's original (non-periodic) symmetric L-theory. We use this fibre sequence to remove the assumption that 2 is a unit in $R$ from various results about Grothendieck-Witt groups. For instance, we solve the homotopy limit problem for Dedekind rings whose fraction field is a number field, calculate the various flavours of Grothendieck-Witt groups of $\mathbb{Z}$, show that the Grothendieck-Witt groups of rings of integers in number fields are finitely generated, and that the comparison map from quadratic to symmetric Grothendieck-Witt theory of Noetherian rings of global dimension $d$ is an equivalence in degrees $\geq d+3$. As an important tool, we establish the hermitian analogue of Quillen's localisation-d\'evissage sequence for Dedekind rings and use it to solve a conjecture of Berrick-Karoubi.

We solve a problem proposed by Khovanov by constructing, for any set of primes $S$, a triangulated category (in fact a stable $\infty$-category) whose Grothendieck group is $S^{-1}\mathbf{Z}$. More generally, for any exact $\infty$-category $E$, we construct an exact $\infty$-category $S^{-1}E$ of equivariant sheaves on the Cantor space with respect to an action of a dense subgroup of the circle. We show that this $\infty$-category is precisely the result of categorifying division by the primes in $S$. In particular, $K_n(S^{-1}E)\cong S^{-1}K_n(E)$.

We prove the following fact which is difficult to find in the literature: if p : X → S is a Cartesian fibration of arbitrary simplicial sets, and f is a degenerate edge of X, then f is a p-Cartesian edge.

where ξ is the generic point of X. This definition is set up in order to make true that the dimension of the generic fiber is equal to the dimension of the total space minus the dimension of the base. This definition is well behaved if the base has a well-behaved notion of dimension of points ([7, Tag 02JW]). Note that if Y ⊆ X locally closed, the codimension of Y in X using Krull dimension is the same as the codimension using this new notion of dimension. We say that a finite type B-scheme C is of pure relative dimension ( oprd ) if the dimension of all the fibers is constant, that is for every b ∈ B dimCb = dimC − dimB .

This note concerns a weak form of Parshin's conjecture, which states that the rational motivic Borel--Moore homology of a quasiprojective variety of dimension $m$ over a finite field in bidegree $(s,t)$ vanishes for $s>m+t$. It is shown that this conjecture holds if and only if the cyclic action on the motivic cohomology of an Artin--Schreier field extension in bidegree $(i,j)$ is trivial if $i

In this technical note, we proffer a very explicit construction of the "dual cocartesian fibration" $p^{\vee}$ of a cartesian fibration $p$, and we show they are classified by the same functor to $\mathbf{Cat}_{\infty}$.

We introduce the basic elements of the theory of parametrized $\infty$-categories and functors between them. These notions are defined as suitable fibrations of $\infty$-categories and functors between them. We give as many examples as we are able at this stage. Simple operations, such as the formation of opposites and the formation of functor $\infty$-categories, become slightly more involved in the parametrized setting, but we explain precisely how to perform these constructions. All of these constructions can be performed explicitly, without resorting to such acts of desperation as straightening. The key results of this Exposé are: (1) a universal characterization of the $T$-$\infty$-category of $T$-objects in any $\infty$-category, (2) the existence of an internal Hom for $T$-$\infty$-categories, and (3) a parametrized Yoneda lemma.

. We solve a problem proposed by Khovanov by constructing, for any set of primes S , a triangulated category (in fact a stable ∞ -category) whose Grothendieck group is S − 1 Z . More generally, for any exact ∞ -category E , we construct an exact ∞ -category S − 1 E of equivariant sheaves on the Cantor space with respect to an action of a dense subgroup of the circle. We show that this ∞ -category is precisely the result of categorifying division by the primes in S . In particular, K n ( S − 1 E ) ∼ = S − 1 K n ( E ) .

In this paper we develop a theory of stability for $G$-categories (presheaf of categories on the orbit category of $G$), where $G$ is a finite group. We give a description of Mackey functors as $G$-commutative monoids exploit it to characterize $G$-spectra as the $G$-stabilization of $G$-spaces. As an application of this we provide an alternative proof of a theorem by Guillou and May. The theory here is developed in the more general setting of orbital categories.