Quasi-BPS categories appear as summands in semiorthogonal decompositions of DT categories for Hilbert schemes of points in the three-dimensional affine space and in the categorical Hall algebra of the two-dimensional affine space. In this paper, we prove several properties of quasi-BPS categories analogous to BPS sheaves in cohomological DT theory.

We first prove a categorical analogue of Davison’s support lemma, namely that complexes in the quasi-BPS categories for coprime length and weight are supported over the small diagonal in the symmetric product of the three-dimensional affine space. The categorical support lemma is used to determine the torsion-free generator of the torus equivariant K-theory of the quasi-BPS category of coprime length and weight.

We next construct a bialgebra structure on the torsion free equivariant K-theory of quasi-BPS categories for a fixed ratio of length and weight. We define the K-theoretic BPS space as the space of primitive elements with respect to the coproduct. We show that all localized equivariant K-theoretic BPS spaces are one-dimensional, which is a K-theoretic analogue of the computation of (numerical) BPS invariants of the three-dimensional affine space.

Structures where we have both a contravariant (pullback) and a covariant (pushforward) functoriality that satisfy base change can be encoded by functors out of ($\infty$-)categories of spans (or correspondences). In this paper, we study the more complicated setup where we have two pushforwards (an ‘additive’ and a ‘multiplicative’ one), satisfying a distributivity relation. Such structures can be described in terms of bispans (or polynomial diagrams). We show that there exist $(\infty,2)$-categories of bispans, characterized by a universal property: they corepresent functors out of $\infty$-categories of spans where the pullbacks have left adjoints and certain canonical 2-morphisms (encoding base change and distributivity) are invertible. This gives a universal way to obtain functors from bispans, which amounts to upgrading ‘monoid-like’ structures to ‘ring-like’ ones. For example, symmetric monoidal $\infty$-categories can be described as product-preserving functors from spans of finite sets, and if the tensor product is compatible with finite coproducts our universal property gives the canonical semiring structure using the coproduct and tensor product. More interestingly, we encode the additive and multiplicative transfers on equivariant spectra as a functor from bispans in finite $G$-sets, extend the norms for finite étale maps in motivic spectra to a functor from certain bispans in schemes, and make $\mathrm {Perf}(X)$ for $X$ a spectral Deligne–Mumford stack a functor of bispans using a multiplicative pushforward for finite étale maps in addition to the usual pullback and pushforward maps. Combining this with the polynomial functoriality of $K$-theory constructed by Barwick, Glasman, Mathew, and Nikolaus, we obtain norms on algebraic $K$-theory spectra.

Given a resolution of rational singularities $\pi \colon {\tilde {X}} \to X$ over a field of characteristic zero, we use a Hodge-theoretic argument to prove that the image of the functor ${\mathbf {R}}\pi _*\colon {\mathbf {D}}^{\mathrm {b}}({\tilde {X}}) \to {\mathbf {D}}^{\mathrm {b}}(X)$ between bounded derived categories of coherent sheaves generates ${\mathbf {D}}^{\mathrm {b}}(X)$ as a triangulated category. This gives a weak version of the Bondal–Orlov localization conjecture [BO02], answering a question from [PS21]. The same result is established more generally for proper (not necessarily birational) morphisms $\pi \colon {\tilde {X}} \to X$, with ${\tilde {X}}$ smooth, satisfying ${\mathbf {R}}\pi _*({\mathcal {O}}_{\tilde {X}}) = {\mathcal {O}}_X$.

We produce an isomorphism $E_{\infty }^{m,-m-1}\cong \text{Nrd}_{1}(A^{\otimes m})$ between terms of the $\text{K}$-theory coniveau spectral sequence of a Severi–Brauer variety $X$ associated with a central simple algebra $A$ and a reduced norm group, assuming $A$ has equal index and exponent over all finite extensions of its center and that $\text{SK}_{1}(A^{\otimes i})=1$ for all $i>0$.

Making use of Gruson–Raynaud’s technique of ‘platification par éclatement’, Kerz and Strunk proved that the negative homotopy $K$-theory groups of a Noetherian scheme $X$ of Krull dimension $d$ vanish below $-d$. In this article, making use of noncommutative algebraic geometry, we improve this result in the case of quotient singularities by proving that the negative homotopy $K$-theory groups vanish below $-1$. Furthermore, in the case of cyclic quotient singularities, we provide an explicit ‘upper bound’ for the first negative homotopy $K$-theory group.

It is shown that the Grayson tower for $K$-theory of smooth algebraic varieties is isomorphic to the slice tower of $S^{1}$-spectra. We also extend the Grayson tower to bispectra, and show that the Grayson motivic spectral sequence is isomorphic to the motivic spectral sequence produced by the Voevodsky slice tower for the motivic $K$-theory spectrum $\mathit{KGL}$. This solves Suslin’s problem about these two spectral sequences in the affirmative.

For any perfect field k a triangulated category of K-motives is constructed in the style of Voevodsky's construction of the category . To each smooth k-variety X the K-motive is associated in the category and

where pt = Spec(k) and K(X) is Quillen's K-theory of X.

Let $k$ be a base commutative ring, $R$ a commutative ring of coefficients, $X$ a quasi-compact quasi-separated $k$-scheme, and $A$ a sheaf of Azumaya algebras over $X$ of rank $r$. Under the assumption that $1/r\in R$, we prove that the noncommutative motives with $R$-coefficients of $X$ and $A$ are isomorphic. As an application, we conclude that a similar isomorphism holds for every $R$-linear additive invariant. This leads to several computations. Along the way we show that, in the case of finite-dimensional algebras of finite global dimension, all additive invariants are nilinvariant.

We construct families of hyperelliptic curves over ${\mathbb Q}$ of arbitrary genus g with (at least) g integral elements in K2. We also verify the Beilinson conjectures about K2 numerically for several curves with g = 2, 3, 4 and 5. The first few sections of the paper also provide an elementary introduction to the Beilinson conjectures for K2 of curves.

Most extant localization theories for spaces, spectra and diagrams of such can be derived from a simple list of axioms which are verified in broad generality. Several new theories are introduced, including localizations for simplicial presheaves and presheaves of spectra at homology theories represented by presheaves of spectra, and a theory of localization along a geometric topos morphism. The $f$-localization concept has an analog for simplicial presheaves, and specializes to the ${{\mathbb{A}}^{1}}$-local theory of Morel-Voevodsky. This theory answers a question of Soulé concerning integral homology localizations for diagrams of spaces.

Generalizing a result of Soulé we prove that for an elliptic curve E defined over an imaginary quadratic field K with complex multiplication having good ordinary reduction at the prime number p > 3 which is regular for E and the extension F of K contained in K(Ep) the dimensions of the étale K-groups are equal to the numbers predicted by Bloch and Beilinson, i.e.,