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 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
-
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 describe a locally connected model of the cubic connectedness locus. The model is obtained by constructing a decomposition of the space of critical portraits and collapsing elements of the decomposition into points. This model is similar to a quotient of the combinatorial quadratic Mandelbrot set in which all baby Mandelbrot sets, as well as the filled Main Cardioid, are collapsed to points. All fibres of the model, possibly except one, are connected. The authors are not aware of other known models of the cubic connectedness locus.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.1090/memo/1395
