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$.

Let $X/{\mathbb C}$ be a smooth projective variety. We consider two integral invariants, one of which is the level of the Hodge cohomology algebra $H^*(X,{\mathbb C})$ and the other involving the complexity of the higher Chow groups ${\mathrm {CH}}^*(X,m;{\mathbb Q})$ for $m\geq 0$. We conjecture that these two invariants are the same and accordingly provide some strong evidence in support of this.

We prove an extension of the Kato–Saito unramified class field theory for smooth projective schemes over a finite field to a class of normal projective schemes. As an application, we obtain Bloch’s formula for the Chow groups of $0$-cycles on such schemes. We identify the Chow group of $0$-cycles on a normal projective scheme over an algebraically closed field to the Suslin homology of its regular locus. Our final result is a Roitman torsion theorem for smooth quasiprojective schemes over algebraically closed fields. This completes the missing p-part in the torsion theorem of Spieß and Szamuely.

For an infinity of number rings we express stable motivic invariants in terms of topological data determined by the complex numbers, the real numbers and finite fields. We use this to extend Morel’s identification of the endomorphism ring of the motivic sphere with the Grothendieck–Witt ring of quadratic forms to deeper base schemes.

We show that the additive higher Chow groups of regular schemes over a field induce a Zariski sheaf of pro-differential graded algebras, the Milnor range of which is isomorphic to the Zariski sheaf of big de Rham–Witt complexes. This provides an explicit cycle-theoretic description of the big de Rham–Witt sheaves. Several applications are derived.

We establish a kind of ‘degree $0$ Freudenthal ${\mathbb {G}_m}$ -suspension theorem’ in motivic homotopy theory. From this we deduce results about the conservativity of the $\mathbb P^1$ -stabilization functor.

In order to establish these results, we show how to compute certain pullbacks in the cohomology of a strictly homotopy-invariant sheaf in terms of the Rost–Schmid complex. This establishes the main conjecture of [2], which easily implies the aforementioned results.

The main purpose of this article is to define a quadratic analogue of the Chern character, the so-called Borel character, that identifies rational higher Grothendieck-Witt groups with a sum of rational Milnor-Witt (MW)-motivic cohomologies and rational motivic cohomologies. We also discuss the notion of ternary laws due to Walter, a quadratic analogue of formal group laws, and compute what we call the additive ternary laws, associated with MW-motivic cohomology. Finally, we provide an application of the Borel character by showing that the Milnor-Witt K-theory of a field F embeds into suitable higher Grothendieck-Witt groups of F modulo explicit torsion.

We equate various Euler classes of algebraic vector bundles, including those of [12] and one suggested by M. J. Hopkins, A. Raksit, and J.-P. Serre. We establish integrality results for this Euler class and give formulas for local indices at isolated zeros, both in terms of the six-functors formalism of coherent sheaves and as an explicit recipe in the commutative algebra of Scheja and Storch. As an application, we compute the Euler classes enriched in bilinear forms associated to arithmetic counts of d-planes on complete intersections in $\mathbb P^n$ in terms of topological Euler numbers over $\mathbb {R}$ and $\mathbb {C}$ .

We introduce a weak Lefschetz-type result on Chow groups of complete intersections. As an application, we can reproduce some of the results in [P]. The purpose of this paper is not to reproduce all of [P] but rather illustrate why the aforementioned weak Lefschetz result is an interesting idea worth exploiting in itself. We hope the reader agrees.

In this article we introduce the local versions of the Voevodsky category of motives with $\mathbb{F} _p$ -coefficients over a field k, parametrized by finitely generated extensions of k. We introduce the so-called flexible fields, passage to which is conservative on motives. We demonstrate that, over flexible fields, the constructed local motivic categories are much simpler than the global one and more reminiscent of a topological counterpart. This provides handy ‘local’ invariants from which one can read motivic information. We compute the local motivic cohomology of a point for $p=2$ and study the local Chow motivic category. We introduce local Chow groups and conjecture that over flexible fields these should coincide with Chow groups modulo numerical equivalence with $\mathbb{F} _p$ -coefficients, which implies that local Chow motives coincide with numerical Chow motives. We prove this conjecture in various cases.

For a prime p and a field k of characteristic $p,$ we define Steenrod operations $P^{n}_{k}$ on motivic cohomology with $\mathbb {F}_{p}$ -coefficients of smooth varieties defined over the base field $k.$ We show that $P^{n}_{k}$ is the pth power on $H^{2n,n}(-,\mathbb {F}_{p}) \cong CH^{n}(-)/p$ and prove an instability result for the operations. Restricted to mod p Chow groups, we show that the operations satisfy the expected Adem relations and Cartan formula. Using these new operations, we remove previous restrictions on the characteristic of the base field for Rost’s degree formula. Over a base field of characteristic $2,$ we obtain new results on quadratic forms.

We study relationships between the Nisnevich topology on smooth schemes and certain Grothendieck topologies on proper and not necessarily proper modulus pairs, which were introduced in previous papers. Our results play an important role in the theory of sheaves with transfers on proper modulus pairs.

For a split reductive group $G$ over a finite field, we show that the intersection (cohomology) motive of the moduli stack of iterated $G$-shtukas with bounded modification and level structure is defined independently of the standard conjectures on motivic $t$-structures on triangulated categories of motives. This is in accordance with general expectations on the independence of $\ell$ in the Langlands correspondence for function fields.

We study Tate motives with integral coefficients through the lens of tensor triangular geometry. For some base fields, including $\overline{\mathbb{Q}}$ and $\overline{\mathbb{F}_{p}}$, we arrive at a complete description of the tensor triangular spectrum and a classification of the thick tensor ideals.

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$.

In this paper, we construct surfaces in $\mathbf{P}^{3}$ with large higher Chow groups defined over a Laurent power series field. Explicit elements in higher Chow group are constructed using configurations of lines contained in the surfaces. To prove the independentness, we compute the extension class in the Galois cohomologies by comparing them with the classical monodromies. It is reduced to the computation of linear algebra using monodromy weight spectral sequences.

We give a generalization of Poitou–Tate duality to schemes of finite type over rings of integers of global fields.

In this paper we construct a $\mathbb{Q}$-linear tannakian category $\mathsf{MEM}_{1}$ of universal mixed elliptic motives over the moduli space ${\mathcal{M}}_{1,1}$ of elliptic curves. It contains $\mathsf{MTM}$, the category of mixed Tate motives unramified over the integers. Each object of $\mathsf{MEM}_{1}$ is an object of $\mathsf{MTM}$ endowed with an action of $\text{SL}_{2}(\mathbb{Z})$ that is compatible with its structure. Universal mixed elliptic motives can be thought of as motivic local systems over ${\mathcal{M}}_{1,1}$ whose fiber over the tangential base point $\unicode[STIX]{x2202}/\unicode[STIX]{x2202}q$ at the cusp is a mixed Tate motive. The basic structure of the tannakian fundamental group of $\mathsf{MEM}$ is determined and the lowest order terms of a set (conjecturally, a minimal generating set) of relations are deduced from computations of Brown. This set of relations includes the arithmetic relations, which describe the ‘infinitesimal Galois action’. We use the presentation to give a new and more conceptual proof of the Ihara–Takao congruences.

Given a smooth variety $X$ and an effective Cartier divisor $D\subset X$, we show that the cohomological Chow group of 0-cycles on the double of $X$ along $D$ has a canonical decomposition in terms of the Chow group of 0-cycles $\text{CH}_{0}(X)$ and the Chow group of 0-cycles with modulus $\text{CH}_{0}(X|D)$ on $X$. When $X$ is projective, we construct an Albanese variety with modulus and show that this is the universal regular quotient of $\text{CH}_{0}(X|D)$. As a consequence of the above decomposition, we prove the Roitman torsion theorem for the 0-cycles with modulus. We show that $\text{CH}_{0}(X|D)$ is torsion-free and there is an injective cycle class map $\text{CH}_{0}(X|D){\hookrightarrow}K_{0}(X,D)$ if $X$ is affine. For a smooth affine surface $X$, this is strengthened to show that $K_{0}(X,D)$ is an extension of $\text{CH}_{1}(X|D)$ by $\text{CH}_{0}(X|D)$.