We connect two developments that aim to extend Voevodsky's theory of motives over a field in such a way as to encompass non-$\mathbf {A}^1$-invariant phenomena. One is theory of reciprocity sheaves introduced by Kahn, Saito and Yamazaki. The other is theory of the triangulated category $\operatorname {\mathbf {logDM}}^{{\operatorname {eff}}}$ of logarithmic motives launched by Binda, Park and Østvær. We prove that the Nisnevich cohomology of reciprocity sheaves is representable in $\operatorname {\mathbf {logDM}}^{{\operatorname {eff}}}$.

We bound from below the complexity of the top Chern class $\lambda _g$ of the Hodge bundle in the Chow ring of the moduli space of curves: no formulas for $\lambda _g$ in terms of classes of degrees 1 and 2 can exist. As a consequence of the Torelli map, the 0-section over the second Voronoi compactification of the moduli of principally polarized abelian varieties also cannot be expressed in terms of classes of degree 1 and 2. Along the way, we establish new cases of Pixton's conjecture for tautological relations. In the log Chow ring of the moduli space of curves, however, we prove $\lambda _g$ lies in the subalgebra generated by logarithmic boundary divisors. The proof is effective and uses Pixton's double ramification cycle formula together with a foundational study of the tautological ring defined by a normal crossings divisor. The results open the door to the search for simpler formulas for $\lambda _g$ on the moduli of curves after log blow-ups.

We introduce a linearised form of the square root of the Todd class inside the Verbitsky component of a hyper-Kähler manifold using the extended Mukai lattice. This enables us to define a Mukai vector for certain objects in the derived category taking values inside the extended Mukai lattice which is functorial for derived equivalences. As applications, we obtain a structure theorem for derived equivalences between hyper-Kähler manifolds as well as an integral lattice associated to the derived category of hyper-Kähler manifolds deformation equivalent to the Hilbert scheme of a K3 surface mimicking the surface case.

For any odd integer $d$, we give a presentation for the integral Chow ring of the stack $\mathcal {M}_{0}(\mathbb {P}^r, d)$, as a quotient of the polynomial ring $\mathbb {Z}[c_1,c_2]$. We describe an efficient set of generators for the ideal of relations, and compute them in generating series form. The paper concludes with explicit computations of some examples for low values of $d$ and $r$, and a conjecture for a minimal set of generators.

We extend Poincaré duality in étale cohomology from smooth schemes to regular ones. This is achieved via a formalism of trace maps for local complete intersection morphisms.

For a weight structure w on a triangulated category $\underline {C}$ we prove that the corresponding weight complex functor and some other (weight-exact) functors are ‘conservative up to weight-degenerate objects’; this improves earlier conservativity formulations. In the case $w=w^{sph}$ (the spherical weight structure on $SH$), we deduce the following converse to the stable Hurewicz theorem: $H^{sing}_{i}(M)=\{0\}$ for all $i<0$ if and only if $M\in SH$ is an extension of a connective spectrum by an acyclic one. We also prove an equivariant version of this statement.

The main idea is to study M that has no weights $m,\dots ,n$ (‘in the middle’). For $w=w^{sph}$, this is the case if there exists a distinguished triangle $LM\to M\to RM$, where $RM$ is an n-connected spectrum and $LM$ is an $m-1$-skeleton (of M) in the sense of Margolis’s definition; this happens whenever $H^{sing}_i(M)=\{0\}$ for $m\le i\le n$ and $H^{sing}_{m-1}(M)$ is a free abelian group. We also consider morphisms that kill weights $m,\dots ,n$; those ‘send n-w-skeleta into $m-1$-w-skeleta’.

The goal of this paper is to raise the possibility that there exists a meaningful theory of ‘motives’ associated with certain hypergeometric integrals, viewed as functions of their parameters. It goes beyond the classical theory of motives, but should be compatible with it. Such a theory would explain a recent and surprising conjecture arising in the context of scattering amplitudes for a motivic Galois group action on Gauss’s ${}_2F_1$ hypergeometric function, which we prove in this paper by direct means. More generally, we consider Lauricella hypergeometric functions and show, on the one hand, how the coefficients in their Taylor expansions can be promoted, via the theory of motivic fundamental groups, to motivic multiple polylogarithms. The latter are periods of ordinary motives and admit an action of the usual motivic Galois group, which we call the local action. On the other hand, we define lifts of the full Lauricella functions as matrix coefficients in a Tannakian category of twisted cohomology, which inherit an action of the corresponding Tannaka group. We call this the global action. We prove that these two actions, local and global, are compatible with each other, even though they are defined in completely different ways. The main technical tool is to prove that metabelian quotients of generalised Drinfeld associators on the punctured Riemann sphere are hypergeometric functions. We also study single-valued versions of these hypergeometric functions, which may be of independent interest.

For a smooth rigid space X over a perfectoid field extension K of $\mathbb {Q}_p$, we investigate how the v-Picard group of the associated diamond $X^{\diamondsuit }$ differs from the analytic Picard group of X. To this end, we construct a left-exact ‘Hodge–Tate logarithm’ sequence

$$\begin{align*}0\to \operatorname{Pic}_{\mathrm{an}}(X)\to \operatorname{Pic}_v(X^{\diamondsuit})\to H^0(X,\Omega_X^1)\{-1\}. \end{align*}$$

We deduce some analyticity criteria which have applications to p-adic modular forms. For algebraically closed K, we show that the sequence is also right-exact if X is proper or one-dimensional. In contrast, we show that, for the affine space $\mathbb {A}^n$, the image of the Hodge–Tate logarithm consists precisely of the closed differentials. It follows that, up to a splitting, v-line bundles may be interpreted as Higgs bundles. For proper X, we use this to construct the p-adic Simpson correspondence of rank one.

We propose a variation of the classical Hilbert scheme of points, the double nested Hilbert scheme of points, which parametrizes flags of zero-dimensional subschemes whose nesting is dictated by a Young diagram. Over a smooth quasi-projective curve, we compute the generating series of topological Euler characteristic of these spaces, by exploiting the combinatorics of reversed plane partitions. Moreover, we realize this moduli space as the zero locus of a section of a vector bundle over a smooth ambient space, which therefore admits a virtual fundamental class. We apply this construction to the stable pair theory of a local curve, that is the total space of the direct sum of two line bundles over a curve. We show that the invariants localize to virtual intersection numbers on double nested Hilbert scheme of points on the curve, and that the localized contributions to the invariants are controlled by three universal series for every Young diagram, which can be explicitly determined after the anti-diagonal restriction of the equivariant parameters. Under the anti-diagonal restriction, the invariants are matched with the Gromov–Witten invariants of local curves of Bryan–Pandharipande, as predicted by the Maulik–Nekrasov–Okounkov–Pandharipande (MNOP) correspondence. Finally, we discuss $K$-theoretic refinements à la Nekrasov–Okounkov.

In this paper, we show the existence of an action of Chow correspondences on the cohomology of reciprocity sheaves. In order to do so, we prove a number of structural results, such as a projective bundle formula, a blow-up formula, a Gysin sequence and the existence of proper pushforward. In this way, we recover and generalise analogous statements for the cohomology of Hodge sheaves and Hodge-Witt sheaves.

We give several applications of the general theory to problems which have been classically studied. Among these applications, we construct new birational invariants of smooth projective varieties and obstructions to the existence of zero cycles of degree 1 from the cohomology of reciprocity sheaves.

O’Grady’s generalised Franchetta conjecture (GFC) is concerned with codimension 2 algebraic cycles on universal polarised K3 surfaces. In [4], this conjecture has been studied in the Betti cohomology groups. Following a suggestion of Voisin, we investigate this problem in the Deligne-Beilinson (DB) cohomology groups. In this paper, we develop the theory of Deligne-Beilinson cohomology groups on (smooth) Deligne-Mumford stacks. Using the automorphic cohomology group and Noether-Lefschetz theory, we compute the 4th DB-cohomology group of universal oriented polarised K3 surfaces with at worst an $A_1$-singularity and show that GFC for such family holds in DB-cohomology. In particular, this confirms O’Grady’s original conjecture in DB cohomology.

We offer a systematic study of rigid analytic motives over general rigid analytic spaces, and we develop their six-functor formalism. A key ingredient is an extended proper base change theorem that we are able to justify by reducing to the case of algebraic motives. In fact, more generally, we develop a powerful technique for reducing questions about rigid analytic motives to questions about algebraic motives, which is likely to be useful in other contexts as well. We pay special attention to establishing our results without noetherianity assumptions on rigid analytic spaces. This is indeed possible using Raynaud’s approach to rigid analytic geometry.

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 determine the integral Chow and cohomology rings of the moduli stack $\mathcal {B}_{r,d}$ of rank r, degree d vector bundles on $\mathbb {P}^1$-bundles. We work over a field k of arbitrary characteristic. We first show that the rational Chow ring $A_{\mathbb {Q}}^*(\mathcal {B}_{r,d})$ is a free $\mathbb {Q}$-algebra on $2r+1$ generators. The isomorphism class of this ring happens to be independent of d. Then, we prove that the integral Chow ring $A^*(\mathcal {B}_{r,d})$ is torsion-free and provide multiplicative generators for $A^*(\mathcal {B}_{r,d})$ as a subring of $A_{\mathbb {Q}}^*(\mathcal {B}_{r,d})$. From this description, we see that $A^*(\mathcal {B}_{r,d})$ is not finitely generated as a $\mathbb {Z}$-algebra. Finally, when $k = \mathbb {C}$, the cohomology ring of $\mathcal {B}_{r,d}$ is isomorphic to its Chow ring.

Let $\pi \colon \mathcal {X}\to B$ be a family whose general fibre $X_b$ is a $(d_1,\,\ldots,\,d_a)$-polarization on a general abelian variety, where $1\leq d_i\leq 2$, $i=1,\,\ldots,\,a$ and $a\geq 4$. We show that the fibres are in the same birational class if all the $(m,\,0)$-forms on $X_b$ are liftable to $(m,\,0)$-forms on $\mathcal {X}$, where $m=1$ and $m=a-1$. Actually, we show a general criteria to establish whether the fibres of certain families belong to the same birational class.

We construct the logarithmic and tropical Picard groups of a family of logarithmic curves and realize the latter as the quotient of the former by the algebraic Jacobian. We show that the logarithmic Jacobian is a proper family of logarithmic abelian varieties over the moduli space of Deligne–Mumford stable curves, but does not possess an underlying algebraic stack. However, the logarithmic Picard group does have logarithmic modifications that are representable by logarithmic schemes, all of which are obtained by pullback from subdivisions of the tropical Picard group.

We prove that any nef $b$-divisor class on a projective variety defined over an algebraically closed field of characteristic zero is a decreasing limit of nef Cartier classes. Building on this technical result, we construct an intersection theory of nef $b$-divisors, and prove several variants of the Hodge index theorem inspired by the work of Dinh and Sibony. We show that any big and basepoint-free curve class is a power of a nef $b$-divisor, and relate this statement to the Zariski decomposition of curves classes introduced by Lehmann and Xiao. Our construction allows us to relate various Banach spaces contained in the space of $b$-divisors which were defined in our previous work.

Recent works at the interface of algebraic combinatorics, algebraic geometry, number theory and topology have provided new integer-valued invariants on integer partitions. It is natural to consider the distribution of partitions when sorted by these invariants in congruence classes. We consider the prominent situations that arise from extensions of the Nekrasov–Okounkov hook product formula and from Betti numbers of various Hilbert schemes of n points on ${\mathbb {C}}^2$. For the Hilbert schemes, we prove that homology is equidistributed as $n\to \infty $. For t-hooks, we prove distributions that are often not equidistributed. The cases where $t\in \{2, 3\}$ stand out, as there are congruence classes where such counts are zero. To obtain these distributions, we obtain analytic results of independent interest. We determine the asymptotics, near roots of unity, of the ubiquitous infinite products

$$ \begin{align*}F_1(\xi; q):=\prod_{n=1}^{\infty}\left(1-\xi q^n\right), \ \ \ F_2(\xi; q):=\prod_{n=1}^{\infty}\left(1-(\xi q)^n\right) \ \ \ {\mathrm{and}}\ \ \ F_3(\xi; q):=\prod_{n=1}^{\infty}\left(1-\xi^{-1}(\xi q)^n\right). \end{align*} $$

We prove that torsion codimension $2$ algebraic cycles modulo rational equivalence on supersingular abelian varieties are algebraically equivalent to zero. As a consequence, we prove that homological equivalence coincides with algebraic equivalence for algebraic cycles of codimension $2$ on supersingular abelian varieties over the algebraic closure of finite fields.

A conic bundle is a contraction $X\to Z$ between normal varieties of relative dimension $1$ such that $-K_X$ is relatively ample. We prove a conjecture of Shokurov that predicts that if $X\to Z$ is a conic bundle such that X has canonical singularities and Z is $\mathbb {Q}$-Gorenstein, then Z is always $\frac {1}{2}$-lc, and the multiplicities of the fibres over codimension $1$ points are bounded from above by $2$. Both values $\frac {1}{2}$ and $2$ are sharp. This is achieved by solving a more general conjecture of Shokurov on singularities of bases of lc-trivial fibrations of relative dimension $1$ with canonical singularities.