An official website of the United States government
Abstract The well-studied moduli space of complex cubic surfaces has three different, but isomorphic, compact realizations: as a GIT quotient$${\mathcal {M}}^{\operatorname {GIT}}$$, as a Baily–Borel compactification of a ball quotient$${(\mathcal {B}_4/\Gamma )^*}$$, and as a compactifiedK-moduli space. From all three perspectives, there is a unique boundary point corresponding to non-stable surfaces. From the GIT point of view, to deal with this point, it is natural to consider the Kirwan blowup$${\mathcal {M}}^{\operatorname {K}}\rightarrow {\mathcal {M}}^{\operatorname {GIT}}$$, whereas from the ball quotient point of view, it is natural to consider the toroidal compactification$${\overline {\mathcal {B}_4/\Gamma }}\rightarrow {(\mathcal {B}_4/\Gamma )^*}$$. The spaces$${\mathcal {M}}^{\operatorname {K}}$$and$${\overline {\mathcal {B}_4/\Gamma }}$$have the same cohomology, and it is therefore natural to ask whether they are isomorphic. Here, we show that this is in factnotthe case. Indeed, we show the more refined statement that$${\mathcal {M}}^{\operatorname {K}}$$and$${\overline {\mathcal {B}_4/\Gamma }}$$are equivalent in the Grothendieck ring, but notK-equivalent. Along the way, we establish a number of results and techniques for dealing with singularities and canonical classes of Kirwan blowups and toroidal compactifications of ball quotients.
more »
« less
This content will become publicly available on April 10, 2026
Kappa classes on KSBA spaces
Abstract We define kappa classes on moduli spaces of Kollár-Shepherd-Barron-Alexeev (KSBA)-stable varieties and pairs, generalizing the Miller–Morita–Mumford classes on moduli of curves, and computing them in some cases where the virtual fundamental class is known to exist, including Burniat and Campedelli surfaces. For Campedelli surfaces, an intermediate step is finding the Chow (same as cohomology) ring of the GIT quotient$$(\mathbb {P}^2)^7//SL(3)$$.
more »
« less
- Award ID(s):
- 2201222
- PAR ID:
- 10652892
- Publisher / Repository:
- Cambridge University Press
- Date Published:
- Journal Name:
- Moduli
- Volume:
- 2
- ISSN:
- 2949-7647
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Abstract We study collections of subrings of$$H^*({\overline {\mathcal {M}}}_{g,n})$$that are closed under the tautological operations that map cohomology classes on moduli spaces of smaller dimension to those on moduli spaces of larger dimension and contain the tautological subrings. Such extensions of tautological rings are well-suited for inductive arguments and flexible enough for a wide range of applications. In particular, we confirm predictions of Chenevier and Lannes for the$$\ell $$-adic Galois representations and Hodge structures that appear in$$H^k({\overline {\mathcal {M}}}_{g,n})$$for$$k = 13$$,$$14$$and$$15$$. We also show that$$H^4({\overline {\mathcal {M}}}_{g,n})$$is generated by tautological classes for allgandn, confirming a prediction of Arbarello and Cornalba from the 1990s. In order to establish the final base cases needed for the inductive proofs of our main results, we use Mukai’s construction of canonically embedded pentagonal curves of genus 7 as linear sections of an orthogonal Grassmannian and a decomposition of the diagonal to show that the pure weight cohomology of$${\mathcal {M}}_{7,n}$$is generated by algebraic cycle classes, for$$n \leq 3$$.more » « less
-
Abstract We provide a uniform bound on the partial sums of multiplicative functions under very general hypotheses. As an application, we give a nearly optimal estimate for the count of$$n \le x$$for which the Alladi–Erdős function$$A(n) = \sum_{p^k \parallel n} k p$$takes values in a given residue class moduloq, whereqvaries uniformly up to a fixed power of$$\log x$$. We establish a similar result for the equidistribution of the Euler totient function$$\phi(n)$$among the coprime residues to the ‘correct’ moduliqthat vary uniformly in a similar range and also quantify the failure of equidistribution of the values of$$\phi(n)$$among the coprime residue classes to the ‘incorrect’ moduli.more » « less
-
Abstract For a smooth projective surface$$X$$satisfying$$H_1(X,\mathbb{Z}) = 0$$and$$w \in H^2(X,\mu _r)$$, we study deformation invariants of the pair$$(X,w)$$. Choosing a Brauer–Severi variety$$Y$$(or, equivalently, Azumaya algebra$$\mathcal{A}$$) over$$X$$with Stiefel–Whitney class$$w$$, the invariants are defined as virtual intersection numbers on suitable moduli spaces of stable twisted sheaves on$$Y$$constructed by Yoshioka (or, equivalently, moduli spaces of$$\mathcal{A}$$-modules of Hoffmann–Stuhler). We show that the invariants do not depend on the choice of$$Y$$. Using a result of de Jong, we observe that they are deformation invariants of the pair$$(X,w)$$. For surfaces with$$h^{2,0}(X) \gt 0$$, we show that the invariants can often be expressed as virtual intersection numbers on Gieseker–Maruyama–Simpson moduli spaces of stable sheaves on$$X$$. This can be seen as a$${\rm PGL}_r$$–$${\rm SL}_r$$correspondence. As an application, we express$${\rm SU}(r) / \mu _r$$Vafa–Witten invariants of$$X$$in terms of$${\rm SU}(r)$$Vafa–Witten invariants of$$X$$. We also show how formulae from Donaldson theory can be used to obtain upper bounds for the minimal second Chern class of Azumaya algebras on$$X$$with given division algebra at the generic point.more » « less
-
Abstract We prove that the rational cohomology group$$H^{11}(\overline {\mathcal {M}}_{g,n})$$vanishes unless$$g = 1$$and$$n \geq 11$$. We show furthermore that$$H^k(\overline {\mathcal {M}}_{g,n})$$is pure Hodge–Tate for all even$$k \leq 12$$and deduce that$$\# \overline {\mathcal {M}}_{g,n}(\mathbb {F}_q)$$is surprisingly well approximated by a polynomial inq. In addition, we use$$H^{11}(\overline {\mathcal {M}}_{1,11})$$and its image under Gysin push-forward for tautological maps to produce many new examples of moduli spaces of stable curves with nonvanishing odd cohomology and nontautological algebraic cycle classes in Chow cohomology.more » « less
