This paper is devoted to determine the geometry of a class of smooth projective rational surfaces whose minimal models are the Hirzebruch ones; concretely, they are obtained as the blowup of a Hirzebruch surface at collinear points. Explicit descriptions of their effective monoids are given, and we present a decomposition for every effective class. Such decomposition is used to confirm the effectiveness of some divisor classes when the Riemann–Roch theorem does not give information about their effectiveness. Furthermore, we study the nef divisor classes on such surfaces. We provide an explicit description for their nef monoids, and, moreover, we present a decomposition for every nef class. On the other hand, we prove that these surfaces satisfy the anticanonical orthogonal property. As a consequence, the surfaces are Harbourne–Hirschowitz and their Cox rings are finitely generated. Finally, we prove that the complete linear system associated with any nef divisor is base-point-free; thus, the semi-ample and nef monoids coincide. The base field is assumed to be algebraically closed of arbitrary characteristic.

We determine all the extremal Gromov-Witten invariants of the Hilbert scheme of $3$ points on a smooth projective complex surface. Our result for the genus-$1$ case verifies a conjecture that we propose for the genus-$1$ extremal Gromov-Witten invariant of the Hilbert scheme of n points with n being arbitrary. The main ideas in the proofs are to use geometric arguments involving the cosection localization theory of Kiem and J. Li [17, 23], algebraic manipulations related to the Heisenberg operators of Grojnowski [13] and Nakajima [34], and the virtual localization formulas of Gromov-Witten theory [12, 20, 30].

Let $f : X \to S$ be a family of smooth projective algebraic varieties over a smooth connected quasi-projective base $S$, and let $\mathbb {V} = R^{2k} f_{*} \mathbb {Z}(k)$ be the integral variation of Hodge structure coming from degree $2k$ cohomology it induces. Associated to $\mathbb {V}$ one has the so-called Hodge locus $\textrm {HL}(S) \subset S$, which is a countable union of ‘special’ algebraic subvarieties of $S$ parametrizing those fibres of $\mathbb {V}$ possessing extra Hodge tensors (and so, conjecturally, those fibres of $f$ possessing extra algebraic cycles). The special subvarieties belong to a larger class of so-called weakly special subvarieties, which are subvarieties of $S$ maximal for their algebraic monodromy groups. For each positive integer $d$, we give an algorithm to compute the set of all weakly special subvarieties $Z \subset S$ of degree at most $d$ (with the degree taken relative to a choice of projective compactification $S \subset \overline {S}$ and very ample line bundle $\mathcal {L}$ on $\overline {S}$). As a corollary of our algorithm we prove conjectures of Daw–Ren and Daw–Javanpeykar–Kühne on the finiteness of sets of special and weakly special subvarieties of bounded degree.

Jannsen asked whether the rational cycle class map in continuous $\ell $-adic cohomology is injective, in every codimension for all smooth projective varieties over a field of finite type over the prime field. As recently pointed out by Schreieder, the integral version of Jannsen’s question is also of interest. We exhibit several examples showing that the answer to the integral version is negative in general. Our examples also have consequences for the coniveau filtration on Chow groups and the transcendental Abel-Jacobi map constructed by Schreieder.

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.