We study the Chow ring of the moduli stack $\mathfrak {M}_{g,n}$ of prestable curves and define the notion of tautological classes on this stack. We extend formulas for intersection products and functoriality of tautological classes under natural morphisms from the case of the tautological ring of the moduli space $\overline {\mathcal {M}}_{g,n}$ of stable curves. This paper provides foundations for the paper [BS21].

In the appendix (jointly with J. Skowera), we develop the theory of a proper, but not necessary projective, pushforward of algebraic cycles. The proper pushforward is necessary for the construction of the tautological rings of $\mathfrak {M}_{g,n}$ and is important in its own right. We also develop operational Chow groups for algebraic stacks.

Hausel and Rodriguez-Villegas (2015, Astérisque 370, 113–156) recently observed that work of Göttsche, combined with a classical result of Erdös and Lehner on integer partitions, implies that the limiting Betti distribution for the Hilbert schemes $(\mathbb {C}^{2})^{[n]}$ on $n$ points, as $n\rightarrow +\infty ,$ is a Gumbel distribution. In view of this example, they ask for further such Betti distributions. We answer this question for the quasihomogeneous Hilbert schemes $((\mathbb {C}^{2})^{[n]})^{T_{\alpha ,\beta }}$ that are cut out by torus actions. We prove that their limiting distributions are also of Gumbel type. To obtain this result, we combine work of Buryak, Feigin, and Nakajima on these Hilbert schemes with our generalization of the result of Erdös and Lehner, which gives the distribution of the number of parts in partitions that are multiples of a fixed integer $A\geq 2.$ Furthermore, if $p_{k}(A;n)$ denotes the number of partitions of $n$ with exactly $k$ parts that are multiples of $A$, then we obtain the asymptotic

$$ \begin{align*} p_{k}(A,n)\sim \frac{24^{\frac k2-\frac14}(n-Ak)^{\frac k2-\frac34}}{\sqrt2\left(1-\frac1A\right)^{\frac k2-\frac14}k!A^{k+\frac12}(2\pi)^{k}}e^{2\pi\sqrt{\frac1{6}\left(1-\frac1A\right)(n-Ak)}}, \end{align*} $$

Let X be a smooth proper variety over a field k and suppose that the degree map ${\mathrm {CH}}_0(X \otimes _k K) \to \mathbb {Z}$ is isomorphic for any field extension $K/k$. We show that $G(\operatorname {Spec} k) \to G(X)$ is an isomorphism for any $\mathbb {P}^1$-invariant Nisnevich sheaf with transfers G. This generalises a result of Binda, Rülling and Saito that proves the same conclusion for reciprocity sheaves. We also give a direct proof of the fact that the unramified logarithmic Hodge–Witt cohomology is a $\mathbb {P}^1$-invariant Nisnevich sheaf with transfers.

Dans cet article on caractérise la lissité du schéma Quot ponctuel emboîté d’une variété lisse—c’est-à-dire l’espace de modules paramétrant les drapeaux de quotients de dimension $0$ d’un faisceau localement libre fixé. Nos résultats étendent la classification de Cheah dans le cadre des schémas de Hilbert ponctuels emboîtés.

In this article, we improve our main results from [LL21] in two directions: First, we allow ramified places in the CM extension $E/F$ at which we consider representations that are spherical with respect to a certain special maximal compact subgroup, by formulating and proving an analogue of the Kudla–Rapoport conjecture for exotic smooth Rapoport–Zink spaces. Second, we lift the restriction on the components at split places of the automorphic representation, by proving a more general vanishing result on certain cohomology of integral models of unitary Shimura varieties with Drinfeld level structures.

Let $\mathbb {V}$ be a motivic variation of Hodge structure on a $K$-variety $S$, let $\mathcal {H}$ be the associated $K$-algebraic Hodge bundle, and let $\sigma \in \mathrm {Aut}(\mathbb {C}/K)$ be an automorphism. The absolute Hodge conjecture predicts that given a Hodge vector $v \in \mathcal {H}_{\mathbb {C}, s}$ above $s \in S(\mathbb {C})$ which lies inside $\mathbb {V}_{s}$, the conjugate vector $v_{\sigma } \in \mathcal {H}_{\mathbb {C}, s_{\sigma }}$ is Hodge and lies inside $\mathbb {V}_{s_{\sigma }}$. We study this problem in the situation where we have an algebraic subvariety $Z \subset S_{\mathbb {C}}$ containing $s$ whose algebraic monodromy group $\textbf {H}_{Z}$ fixes $v$. Using relationships between $\textbf {H}_{Z}$ and $\textbf {H}_{Z_{\sigma }}$ coming from the theories of complex and $\ell$-adic local systems, we establish a criterion that implies the absolute Hodge conjecture for $v$ subject to a group-theoretic condition on $\textbf {H}_{Z}$. We then use our criterion to establish new cases of the absolute Hodge conjecture.

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.

We formulate a version of the integral Hodge conjecture for categories, prove the conjecture for two-dimensional Calabi–Yau categories which are suitably deformation equivalent to the derived category of a K3 or abelian surface, and use this to deduce cases of the usual integral Hodge conjecture for varieties. Along the way, we prove a version of the variational integral Hodge conjecture for families of two-dimensional Calabi–Yau categories, as well as a general smoothness result for relative moduli spaces of objects in such families. Our machinery also has applications to the structure of intermediate Jacobians, such as a criterion in terms of derived categories for when they split as a sum of Jacobians of curves.

Consider three normalized cuspidal eigenforms of weight $2$ and prime level p. Under the assumption that the global root number of the associated triple product L-function is $+1$, we prove that the complex Abel–Jacobi image of the modified diagonal cycle of Gross–Kudla–Schoen on the triple product of the modular curve $X_0(p)$ is torsion in the corresponding Hecke isotypic component of the Griffiths intermediate Jacobian. The same result holds with the complex Abel–Jacobi map replaced by its étale counterpart. As an application, we deduce torsion properties of Chow–Heegner points associated with modified diagonal cycles on elliptic curves of prime conductor with split multiplicative reduction. The approach also works in the case of composite square-free level.

In this article, we study a Gysin triangle in the category of motives with modulus (Theorem 1.2). We can understand this Gysin triangle as a motivic lift of the Gysin triangle of log-crystalline cohomology due to Nakkajima and Shiho. After that we compare motives with modulus and Voevodsky motives (Corollary 1.6). The corollary implies that an object in $\operatorname {\mathbf {MDM}^{\operatorname {eff}}}$ decomposes into a p-torsion part and a Voevodsky motive part. We can understand the corollary as a motivic analogue of the relationship between rigid cohomology and log-crystalline cohomology.

We prove the generic Torelli theorem for hypersurfaces in $\mathbb {P}^{n}$ of degree $d$ dividing $n+1$, for $d$ sufficiently large. Our proof involves the higher-order study of the variation of Hodge structure along particular one-parameter families of hypersurfaces that we call ‘Schiffer variations.’ We also analyze the case of degree $4$. Combined with Donagi's generic Torelli theorem and results of Cox and Green, this shows that the generic Torelli theorem for hypersurfaces holds with finitely many exceptions.

We interpret the degrees which arise in Tevelev’s study of scattering amplitudes in terms of moduli spaces of Hurwitz covers. Via excess intersection theory, the boundary geometry of the Hurwitz moduli space yields a simple recursion for the Tevelev degrees (together with their natural two parameter generalisation). We find exact solutions which specialise to Tevelev’s formula in his cases and connect to the projective geometry of lines and Castelnuovo’s classical count of $g^1_d$’s in other cases. For almost all values, the calculation of the two parameter generalisation of the Tevelev degree is new. A related count of refined Dyck paths is solved along the way.

Let $f\colon X\to B$ be a semistable fibration where X is a smooth variety of dimension $n\geq 2$ and B is a smooth curve. We give the structure theorem for the local system of the relative $1$-forms and of the relative top forms. This gives a neat interpretation of the second Fujita decomposition of $f_*\omega _{X/B}$. We apply our interpretation to show the existence, up to base change, of higher irrational pencils and on the finiteness of the associated monodromy representations under natural Castelnuovo-type hypothesis on local subsystems. Finally, we give a criterion to have that X is not of Albanese general type if $B=\mathbb {P}^1$.

In this paper, we prove a decomposition result for the Chow groups of projectivizations of coherent sheaves of homological dimension $\le 1$. In this process, we establish the decomposition of Chow groups for the cases of the Cayley trick and standard flips. Moreover, we apply these results to study the Chow groups of symmetric powers of curves, nested Hilbert schemes of surfaces, and the varieties resolving Voisin maps for cubic fourfolds.

We give a formula for the cohomological invariants of a root stack, which we apply to compute the cohomological invariants and the Brauer group of the compactification of the stacks of hyperelliptic curves given by admissible double coverings.

We study the fundamental groups of the complements to curves on simply connected surfaces, admitting non-abelian free groups as their quotients. We show that given a subset of the Néron–Severi group of such a surface, there are only finitely many classes of equisingular isotopy of curves with irreducible components belonging to this subset for which the fundamental groups of the complement admit surjections onto a free group of a given sufficiently large rank. Examples of subsets of the Néron–Severi group are given with infinitely many isotopy classes of curves with irreducible components from such a subset and fundamental groups of the complements admitting surjections on a free group only of a small rank.

This article is about Lehn–Lehn–Sorger–van Straten eightfolds $Z$ and their anti-symplectic involution $\iota$. When $Z$ is birational to the Hilbert scheme of points on a K3 surface, we give an explicit formula for the action of $\iota$ on the Chow group of $0$-cycles of $Z$. The formula is in agreement with the Bloch–Beilinson conjectures and has some non-trivial consequences for the Chow ring of the quotient.

We prove that a formula for the ‘pluricanonical’ double ramification cycle proposed by Janda, Pandharipande, Pixton, Zvonkine, and the second-named author is in fact the class of a cycle constructed geometrically by the first-named author. Our proof proceeds by a detailed explicit analysis of the deformation theory of the double ramification cycle, both to first and to higher order.

Let Y be a smooth complete intersection of three quadrics, and assume the dimension of Y is even. We show that Y has a multiplicative Chow–Künneth decomposition, in the sense of Shen–Vial. As a consequence, the Chow ring of (powers of) Y displays K3-like behaviour. As a by-product of the argument, we also establish a multiplicative Chow–Künneth decomposition for double planes.

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.