The KSBA compactification of the moduli space of D₁,6-polarized Enriques surfaces

DOI10.1007/S00209-021-02842-3MaRDI QIDQ2069655zbMATH OpenOpenAlexFDO

Authors Luca Schaffler

Publication date 21 January 2022

Published in Mathematische Zeitschrift (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1608.02564

zbMATH Keywords

compactification Enriques surface moduli space stable pair

Mathematics Subject Classification ID

Fibrations, degenerations in algebraic geometry (14D06) Families, moduli, classification: algebraic theory (14J10) (K3) surfaces and Enriques surfaces (14J28)

Abstract: We describe a compactification by stable pairs (also known as KSBA compactification) of the

4

-dimensional family of Enriques surfaces which arise as the

m a t h b b Z_{2}^{2}

-covers of the blow up of

m a t h b b P^{2}

at three general points branched along a configuration of three pairs of lines. Up to a finite group action, we show that this compactification is isomorphic to the toric variety associated to the secondary polytope of the unit cube. We relate the KSBA compactification considered to the Baily-Borel compactification of the same family of Enriques surfaces. Part of the KSBA boundary has a toroidal behavior, another part is isomorphic to the Baily-Borel compactification, and what remains is a mixture of these two. We relate the stable pair compactification studied here with Looijenga's semitoric compactifications.

Review text

In the paper under revision several compactifications are constructed and compared for the moduli space \(\mathbf M\) of those Enriques surfaces which are \(\mathbb Z_2^2\) cover of the blow-up of \(\mathbb P^2\) at three points branched along three pairs of lines \((\ell_i, \ell_i^{'})_{i=1,2,3}\). First, a geometric compactification \(\overline{\mathbf M}\) is constructed via the theory of Kollár-Shepherd-Barron-Alexeev. The core of the paper is the description of this compactification. This is achieved by relating the degenerations of the pairs \((\mathrm{Bl}_3 \mathbb P^2, \frac{1+\epsilon}{2} (\sum_1^3(\ell_i+\ell_i^{'})))\) to those of the pairs \(((\mathbb P^1)^3, B)\) where \(B\) is a divisor of class (1,1,1). This allows the author to employ the theory of stable toric pairs and relate \(\overline{\mathbf M}\) to the their coarse moduli space. Finally, compactifications coming from Hodge theory are considered: It is shown that the period map extends to a regular morphism \(\overline{\mathbf M}\to D/\Gamma^*\) to the relevant Baily-Borel compactification \(D/\Gamma^*\). Moreover, a Looijenga semitoric compactification \((D/\Gamma)_{\Sigma}\) is defined considering a fundamental domain for the action of the group generated by reflections along vectors of square \(-1\) in the appropriate lattice. The compactification \((D/\Gamma)_{\Sigma}\) is compared with \(\overline{\mathbf M}\): there is a bijection between the strata of the natural stratifications on them.

Recommendations

Cites work

Cited in

(4)

This page was built for publication: The KSBA compactification of the moduli space of \(D_{1,6}\)-polarized Enriques surfaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2069655)