An official website of the United States government
Abstract We determine the cones of effective and nef divisors on the toroidal compactification of the ball quotient model of the moduli space of complex cubic surfaces with a chosen line. From this we also compute the corresponding cones for the moduli space of unmarked cubic surfaces.
more »
« less
Cohomology of the Moduli Space of Cubic Threefolds and Its Smooth Models
We compute and compare the (intersection) cohomology of various natural geometric compactifications of the moduli space of cubic threefolds: the GIT compactification and its Kirwan blowup, as well as the Baily–Borel and toroidal compactifications of the ball quotient model, due to Allcock–Carlson–Toledo. Our starting point is Kirwan’s method. We then follow by investigating the behavior of the cohomology under the birational maps relating the various models, using the decomposition theorem in different ways, and via a detailed study of the boundary of the ball quotient model. As an easy illustration of our methods, the simpler case of the moduli space of cubic surfaces is discussed in an appendix.
more »
« less
- Award ID(s):
- 1802128
- PAR ID:
- 10505535
- Publisher / Repository:
- American Mathematical Society
- Date Published:
- Journal Name:
- Memoirs of the American Mathematical Society
- Volume:
- 282
- Issue:
- 1395
- ISSN:
- 0065-9266
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
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
-
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
-
We develop new techniques to compute the weighted L2-cohomology of quasi- fibered boundary metrics (QFB-metrics). Combined with the decay of L2-harmonic forms obtained in a companion paper, this allows us to compute the reduced L2- cohomology for various classes of QFB-metrics. Our results applies in particular to the Nakajima metric on the Hilbert scheme of n points on C2, for which we can show that the Vafa-Witten conjecture holds. Using the compactification of the monopole moduli space announced by Fritzsch, the first author and Singer, we can also give a proof of the Sen conjecture for the monopole moduli space of magnetic charge 3.more » « less
-
Abstract We prove that the moduli space of rational curves with cyclic action, constructed in our previous work, is realizable as a wonderful compactification of the complement of a hyperplane arrangement in a product of projective spaces. By proving a general result on such wonderful compactifications, we conclude that this moduli space is Chow-equivalent to an explicit toric variety (whose fan can be understood as a tropical version of the moduli space), from which a computation of its Chow ring follows.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.1090/memo/1395
