arXiv:2108.06848v1 [math.AG] 16 Aug 2021 compactification ouisae o oaie 3srae.Tegoa Torelli global The surfaces. space K3 polarized moduli for spaces moduli aiy hsi santrlpolmt compare to problem natural a is it Thus family. sioopi,udrtepro a,t h rtmtcquoti arithmetic the to map, period the under isomorphic, is ytmtcapoc oti rbe svaitroaigth interpolating via is problem this to approach systematic h og iebnl on bundle line Hodge the and domain symmetric Hermitian uteto etcpaecre and curves plane sextic of quotient eidmp hntedge 2 degree the When map. vi period (GIT), theory invariant geometric from coming those e.g. ln etc ywr fLojnaadSa,ti a a er v be or can quotient, map GIT this the Shah, of and desingularization Looijenga Kirwan of partial work a By sextic. a along [ -TBLT N IAINLMDL FMDL FQATCK3 QUARTIC OF MODULI OF MODELS BIRATIONAL AND K-STABILITY Sha80 nipratqeto nagbacgoer st construct to is geometry algebraic in question important An Date theorems main of References Proof surfaces surfaces K3 K3 6. unigonal Hyperelliptic and surfaces surface K3 developable 5. quartic Tangent of moduli and 4. K-moduli Geometry and K-stability on 3. Preliminaries 2. npriua,i sntrlt s fteeeit oua w modular a exists there if ask to natural is it particular, In .Introduction 1. β aisbten0ad1(e ..[ e.g. (see 1 and 0 between varies , uut1,2021. 17, August : Abstract. ufc neplt ewe h I ouisaeo quartic of space as surfaces moduli K3 quartic GIT of moduli the of compactification between interpolate surface ecietewl rsig fteeKmdl pcs sthe double As quartic of of degenerations Fano compactification spaces. canonical K-moduli K-moduli the obtain these Hassett-Keel-Looijenga also the of on crossings prediction Laza-O’Grady’s wall the describe Loo86 .Araiaino aaOGay(ae nwr fLooijenga of work on (based Laza-O’Grady of realization A ]. M 2 F d ENT SHR RSI ELMN,ADYCE LIU YUCHEN AND DEVLEMING, KRISTIN ASCHER, KENNETH eso htteKmdl pcso o aopis( pairs Fano log of spaces K-moduli the that show We 2 ∗ fpiiieyplrzdK ufcswt uVlsingularit Val du with surfaces K3 polarized primitively of d u ti elkonthat well-known is it but , F 2 h iio ssm emtial ennflHenrdiv Heegner meaningful geometrically some is ∆ divisor the , D 2 d stepro oan h space The domain. period the as d F P 3 2 ∗ ,teei iainlpro a ewe h GIT the between map period birational a is there 2, = . ic eei uhK stedul oe of cover double the is K3 such generic a since , 1. LO18 SURFACES Introduction Contents ]). 1 F 2 ∗ F d c 2 ∗ aisi h nevl(0 interval the in varies osntcryancl eae universal behaved nicely a carry not does d ihohrgoerccompactifications, geometric other with rga o uri 3srae.We surfaces. K3 quartic for program rjof Proj e ois n lsiyalGorenstein all classify and solids, h eidmap. period the a aasalprilrslto of resolution partial small a ia hoe niae httecoarse the that indicates theorem emtial ennflcompact meaningful geometrically ent ufcsadteBaily-Borel the and surfaces anapiain everify we application, main P 3 yt eov h (birational) the resolve to ay F cS , sle ycnieigeither considering by esolved F 2 2 d d R where ) = a aua Baily-Borel natural a has ( , F ) ecompletely We 1). D 2 λ , ,i hta alternate an that is ), 2 d S / + Γ saquartic a is 2 β e fdge 2 degree of ies d ) where ∆), faTp IV Type a of P 2 ramified isor, λ F 45 37 27 15 11 is d 6 1 2 ∗ When the degree 2d = 4 (for simplicity, denoted by M = M4 and F = F4), a distinguished GIT geometric compactification is given by the GIT moduli space M of quartic surfaces in P3. GIT There is a birational period map p : M 99K F∗ with much more complicated exceptional loci as compared to the degree two case. In a series of papers [LO19, LO18, LO21], Laza and O’Grady proposed a systematic way to resolve such period maps via a sequence of explicit birational transformations governed by the Heegner divisors in F∗, and predict that they satisfy a natural interpolation. Motivated by the Hassett-Keel program – running the log minimal model program on M g to interpolate between different birational models of the moduli space of curves (see e.g. [HH13]), they named this program the Hassett-Keel-Looijenga program. In [LO21], Laza and O’Grady verified their proposal for the the moduli of hyperelliptic quartic K3 surfaces, which is an 18-dimensional divisor in F∗, but their prediction for the 19-dimensional space F has remained open. One of the main purposes of this paper is to completely verify their prediction for F using the recently constructed moduli spaces of log Fano pairs from the theory of K-stability. For a rational number c ∈ (0, 1), the pair (P3, cS) is a log Fano pair, where S ⊂ P3 is a smooth quartic surface. Thus, K-stability provides a natural framework to construct geometrically meaningful compactifications of moduli of quartic K3 surfaces. In recent years, the algebro- geometric theory of constructing projective K-moduli spaces of log Fano pairs has been completed as a combination of the important works [Jia20, LWX21, CP21, BX19, ABHLX20, BLX19, Xu20b, XZ20, XZ21, BHLLX21, LXZ21]. Meanwhile, when we vary the coefficient c, the K- moduli spaces of Q-Gorenstein smoothable log Fano pairs display wall-crossing phenomena as established in [ADL19] (see also [Zho21b]). In this paper, we show that the K-moduli compactifications of log Fano pairs (P3, cS) where GIT S is a smooth quartic surface interpolate naturally between the GIT moduli space M and the Baily-Borel compactification F∗ as c varies in the interval (0, 1). As a result, we resolve the GIT period map p : M 99K F∗ where all intermediate birational models have a modular meaning as they parametrize certain K-polystable log Fano pairs. Furthermore, using the positivity of the log CM line bundle [CP21, Pos19, XZ20], we confirm the prediction by Laza and O’Grady on the Hassett-Keel-Looijenga program for moduli space of quartic K3 surfaces [LO18, LO19]. We first fix some notation. Let M◦ and M◦ be the Deligne-Mumford stack and coarse moduli space of quartic surfaces S ⊂ P3 with du Val singularities, respectively. Let F be the locally symmetric variety parametrizing periods of all polarized K3 surfaces of degree 4 with du Val singularities. The global Torelli theorem implies that the period map p : M◦ ֒→ F is an open immersion of quasi-projective varieties. Let F∗ be the Baily-Borel compactification of F. Let λ be the Hodge line bundle over F. By [LO19], there are two Heegner divisors Hh and Hu of F, which parametrize hyperelliptic and unigonal quartic K3 surfaces respectively, such that ◦ GIT GIT p(M ) = F \ (Hh ∪ Hu). Let M and M be the GIT moduli stack and space of quartic surfaces in P3, respectively.
K K Theorem 1.1. For c ∈ (0, 1) ∩ Q, let Mc (resp. Mc ) be the K-moduli stack (resp. K-moduli space) parametrizing K-semistable (resp. K-polystable) log Fano pairs (X, cD) admitting a Q- Gorenstein smoothing to (P3, cS) where S is a quartic surface. 1 MK ∼ MGIT K ∼ GIT (1) For any c ∈ (0, 3 ) ∩ Q, there are isomorphisms c = and Mc = M . (2) For any c ∈ (0, 1) ∩ Q, the section ring R(F, cλ + (1 − c)∆K) is finitely generated where K 1 9 K ∼ F K ∆ := 4 Hh + 8 Hu. Moreover, there is an isomorphism Mc = Proj R( , cλ+(1−c)∆ ) K where the log CM line bundle on Mc is proportional to O(1) on the Proj up to a positive constant. 2 K (3) For 0 <ǫ ≪ 1, the K-moduli space M1−ǫ is isomorphic to Looijenga’s Q-Cartierization F ∗ K of F associated to Hh and Hu. Moreover, the Hodge line bundle on M1−ǫ is semiample and its ample model is isomorphic to F∗. b (4) There are 9 K-moduli walls for c ∈ (0, 1). Among them, 2 walls are weighted blow-ups: 1 at the double quadric surface [2Q] extracting a strict transform of Hh when c = 3 , and at the tangent developable surface [T ] of a twisted cubic curve extracting a strict transform 9 of Hu when c = 13 , respectively. The remaining 7 walls are flips. For a detailed description of the K-moduli wall crossings, see Theorem 5.14. K That is, by varying the coefficient c, the K-moduli spaces Mc provide a natural interpolation between the GIT quotient for quartic surfaces and the Baily-Borel compactification, and explic- itly resolve the period map. We note that a special case of Theorem 1.1(1) was proved earlier in [GMGS21, Theorem 1.2] and [ADL19, Theorem 1.4] (see also [Zho21a]). K Since these K-moduli spaces Mc provide birational models of F, we are able to confirm Laza- O’Grady’s prediction on the Hassett-Keel-Looijenga program for F [LO19, LO18] by modifying K Mc and checking ampleness of Laza-O’Grady’s line bundle. Indeed, we prove a more general finite generation result and describe a wall-chamber structure for the full-dimensional subcone 1 of NR(F) generated by λ, Hh, and Hu. F 1 Theorem 1.2. For any a, b ∈ Q>0, the section ring R( , λ+ 2 (aHh +bHu)) is finitely generated, F F 1 F which yields a projective birational model (a, b) := Proj R( , λ + 2 (aHh + bHu)) of . These F(a, b)’s have a wall-chamber structure where the walls are a = ai or b = 1 with 1 1 1 1 1 1 1 (a , a , · · · , a )= , , , , , , , 1 . 1 2 8 9 7 6 5 4 3 2 Moreover, we have the following description of F(a, b). Here we assume 0 <ǫ ≪ 1. 1 F ∼ F (1) If a ∈ (0, 9 ) and b ∈ (0, 1), then (a, b) = . GIT (2) If a, b ∈ [1, +∞), then F(a, b) =∼ M . (3) The birational map F(1−ǫ, b) → F(1, b) isb a divisorial contraction of the strict transform ∼ of Hh to a point, and F(1, b) = F(a, b) for any a> 1. (4) The birational map F(a, 1−ǫ) → F(a, 1) is a divisorial contraction of the strict transform of Hu to a point, and F(a, 1) =∼ F(a, b) for any b> 1. (5) If 1 ≤ i ≤ 7, then birational maps F(ai − ǫ, b) → F(ai, b) ← F(ai + ǫ, b) form a flip whose j flipping locus (resp. flipped locus) is the strict transform of Z (resp. of Wj−1) where 9 − i if i ≥ 4; j = Here Zj ⊂ F is a tower of Shimura subvarieties of codimension (10 − i if i ≤ 3. GIT j (see (3.2)), and Wi ⊂ M is a tower of i-dimensional subvarieties (see (3.1)). Corollary 1.3. Laza-O’Grady’s prediction for the 19-dimensional locally symmetric variety F [LO19, Prediction 5.1.1] holds. We note that partial results toward Laza-O’Grady’s prediction were obtained in [LO19, LO18]. In [LO21] the 18-dimensional case of their prediction was confirmed (see also [ADL20] for a different approach). As a consequence of Theorem 1.1, we give an explicit description of the K-moduli space of quartic double solids, i.e. del Pezzo threefolds of degree 2. The smooth quartic double solids are previously known to be K-stable [Der16]. Note that this K-moduli space displays similar behavior to the K-moduli space of del Pezzo surfaces of degree 1 [OSS16] as both are two-step 3 birational modifications (a blow-up followed by a small contraction) of GIT moduli spaces, while K-moduli spaces of del Pezzo threefolds/fourfolds of degree 3 or 4 are identical to GIT moduli spaces [SS17, LX19, Liu20]. Theorem 1.4. Let Y be the K-moduli space of quartic double solids. Then the seminormaliza- K tion of Y is isomorphic to M 1 . Moreover, it fits into the following diagram 2 GIT ρ GIT ψ K ι M ←− M −→ M 1 −→ Y 2 where ρ is a Kirwan-type weighted blow up at the double quadric surface [2Q] extracting a c birational transform of Hh, ψ is a small contraction of a rational curve (the strict transform of W1) to a point p, and ι is the seminormalization obtained by taking fiberwise double covers, 4 where ι(p) represents the toric Q-Fano threefold (x2 = x3x4) ⊂ P(1, 1, 2, 4, 4)[x0 ,··· ,x4]. Another interesting consequence is a classification of all Gorenstein canonical Fano degenera- 3 1 1 tions of P . Here Xh is the projective anti-canonical cone over P × P , and Xu is a Gorenstein Q-Fano threefold constructed in Section 4.2. Their notation is chosen so that Xh (resp. Xu) contains a general hyperelliptic (resp. unigonal) quartic K3 surface as its anti-canonical divisor. Theorem 1.5. Let X be a Gorenstein canonical Fano variety that admits a Q-Gorenstein 3 3 smoothing to P . Then X is isomorphic to P , Xh, P(1, 1, 2, 4), or Xu. Sketch of proofs. We sketch the proofs of Theorems 1.1 and 1.2. First of all, by [GMGS21, K ∼ GIT 3 ADL19] we know that Mǫ = M . If S is a quartic surface in P with semi-log canonical (slc) singularities (also called insignificant limit singularities), then (P3,S) is a K-semistable log Calabi-Yau pair, and P3 is K-polystable. Hence by interpolation of K-stability, the log Fano 3 K 99K GIT pair (P , cS) is K-semistable for any 0
Prior and related works. Compactifying the moduli space F2 of degree 2 K3 surfaces is a well studied problem. Recall that a general K3 surface of degree two can be realized as a double cover of P2 branched along a sextic curve. As such, there is a natural birational period map between the GIT quotient of plane sextics and the Baily-Borel compactification. Shah [Sha80] constructed a partial Kirwan desingularization of the GIT quotient which provides a compactification of ∗ F2 with a set-theoretic map to F2. Work of Looijenga [Loo86, Loo03b] shows that Shah’s ∗ compatification is a Q-factorialization of F2 and additionally resolves the birational period map. In fact, this case serves as a major motivation for the Hassett-Keel-Looijenga (HKL) program. The case of degree 2 was revisited, in terms of Koll´ar-Shepherd-Barron (KSB) stable pairs, by Laza [Laz16], and more recently studied from the viewpoint of toroidal compactifications in work of Alexeev-Engel-Thompson [AET19] (see also the more recent [AE21]). As mentioned above, the Hasset-Keel-Looijenga program was proposed by Laza-O’Grady 2 [LO19] for Type IV locally symmetric varieties associated to the lattice U ⊕ DN−2. It has been verified in the case of N = 18 for hyperelliptic quartic K3 surfaces by Laza-O’Grady using variation of GIT [LO21], and partial results for N = 19, i.e. moduli of quartic K3 surfaces were obtained in [LO19, LO18]. The wall-crossing phenomenon for K-moduli spaces of log Fano pairs with varying coefficients was systematically investigated in [ADL19]. One novelty of this strategy is to naturally connect well-studied moduli spaces, such as GIT, moduli of curves, and K3 surfaces, through birational maps between a sequence of K-moduli spaces. In our previous works [ADL19, ADL20], we carried out this strategy for the Hassett-Keel-Looijenga program for F2 and the hyperelliptic Heegner divisor Hh of F4. In this paper, we use this novel approach of wall-crossing for K-moduli to solve the problem of Laza-O’Grady (HKL program for F4). One of the key benefits of this approach is that it gives a direct solution to a problem which was posed from an entirely different point of view, namely considering the Proj of a ring of automorphic forms and interpolating based on some arithmetic predictions. Finally, we mention that moduli of pairs (P3, cH) have been studied from the point of view of KSB stable pairs by DeVleming [DeV19] where H is a surface in P3 of degree d ≥ 5.
Acknowledgements. We would like to thank Dori Bejleri, Justin Lacini, Zhiyuan Li, Andrea Petracci, David Stapleton, Xiaowei Wang, and Chenyang Xu for helpful discussions, and Yuji Odaka for useful comments. The authors were supported in part by the American Insitute of 5 Mathematics as part of the AIM SQuaREs program. Research of KA was supported in part by the NSF grant DMS-2140781 (formerly DMS-2001408). Research of YL was supported in part by the NSF grant DMS-2001317.
2. Preliminaries on K-stability and K-moduli Throughout this paper, we work over the field of complex numbers C. We refer the background of singularities of pairs, such as Kawamata log terminal (klt), purely log terminal (plt), log canonical (lc), and semi-log canonical (slc), to the standard references [KM98, Kol13]. All schemes are assumed to be of finite type over C.
2.1. K-stability.
2.1.1. Fujita-Li’s valuative criteria. Definition 2.1. Let X be a normal variety. Let D be an effective Q-divisor on X. We say (X, D) is a log pair if KX + D is Q-Cartier. A log pair (X, D) is called log Fano if X is projective and −KX − D is ample. A log pair (X, D) is called log Calabi-Yau if X is projective and KX + D ∼Q 0. If (X, 0) is a klt log Fano pair, then we call X a Q-Fano variety. We refer the definitions of test configurations and K-(poly/semi)stability of log Fano pairs to [ADL19, Section 2.1]. Here we use Fujita-Li’s valuative criteria as alternative definitions. Definition 2.2. Let (X, D) be a log pair. We call E a prime divisor over X if there is a proper birational morphism µ : Y → X from a normal variety Y such that E is a prime divisor on Y . We define the log discrepancy of E with respect to (X, D) as ∗ A(X,D)(E) := 1 + coeffE(KY − µ (KX + D)). If, in addition, (X, D) is a log Fano pair, then we define the pseudo-effective threshold, the expected vanishing order (also known as the S-functional), and the β-invariant of E with respect to (X, D) as ∗ T(X,D)(E) := sup{t ∈ R≥0 | µ (−KX − D) − tE is big}, 1 T(X,D)(E) S (E) := vol (−K − D − tE)dt, (X,D) vol (−K − D) X X X X Z0 β(X,D)(E) := A(X,D)(E) − S(X,D)(E). ∗ Here volX (−KX − D − tE) := volY (µ (−KX − D) − tE). The α-invariant and the stability threshold (also known as the δ-invariant) of a klt log Fano pair (X, D) are defined as
A(X,D)(E) A(X,D)(E) α(X, D) := inf and δ(X, D) := inf , E T(X,D)(E) E S(X,D)(E) where the infima run over all prime divisors E over X. Next, we recall Fujita-Li’s valuative criteria for K-(semi)stability and uniform K-stability. Theorem 2.3 ([Fuj19c, Li17, BX19], see also [FO18, BJ20]). A klt log Fano pair (X, D) is
(1) K-semistable if and only if β(X,D)(E) ≥ 0 for any prime divisor E over X, or equiva- lently, δ(X, D) ≥ 1; (2) K-stable if and only if β(X,D)(E) > 0 for any prime divisor E over X; (3) uniformly K-stable if and only if δ(X, D) > 1. 6 Note that a K-semistable log Fano pair is always klt by [Oda13]. By a recent result of Liu- Xu-Zhuang [LXZ21], K-stability is equivalent to uniform K-stability for any klt log Fano pair. If X is a Q-Fano variety, D is an effective Q-Cartier Q-divisor on X, and c ∈ Q>0, then we say (X, D) is c-K-(poly/semi)stable if (X, cD) is a K-(poly/semi)stable log Fano pair. 2.1.2. Special degenerations and plt blow-ups. Recall that a test configuration (X , D; L) of a klt log Fano pair (X, D) is called special if (X , X0 + D) is plt and L ∼Q −l(KX /A1 + D) for some l ∈ Z>0. In this case, we call (X0, D0) a special degeneration of (X, D) and denote by (X, D) (X0, D0). By adjunction we know that (X0, D0) is also a klt log Fano pair. Next, we recall a result of Li-Wang-Xu which gives a characterization for K-polystability in terms of special degenerations. Theorem 2.4 ([LWX21]). A K-semistable log Fano pair (X, D) is K-polystable if and only if any K-semistable special degeneration of (X, D) is isomorphic to itself. Definition 2.5. Let (X, D) be a klt log pair. Let E be a prime divisor over X. (1) ([Fuj19b]) We say E is of plt type over (X, D) if there exists a birational morphism µ : Y → X from a normal projective variety Y such that • E is a Q-Cartier prime divisor on Y , and −E is µ-ample; • µ|Y \E : Y \ E → X \ µ(E) is an isomorphism; −1 • (Y, E + µ∗ D) is plt. Such a morphism µ is called a plt blow-up. (2) [Pro00, Xu14] A plt type divisor E over (X, D) with center µ(E) = x being a closed point is called a Koll´ar component over the singularity x ∈ (X, D). (3) We say E is a special divisor over (X, D) if there exists a special test configuration
(X , D; L) of (X, D) and a positive integer d such that ordX0 |C(X) = d · ordE. Lemma 2.6 (Zhuang). Any special divisor over a klt log Fano pair (X, D) is of plt type. Proof. By Zhuang’s Theorem [Xu20a, Theorem 4.12], if E is a special divisor over (X, D), then there exists a Q-complement D+ of (X, D) such that E is the only lc place of (X, D+). Thus for 0 <ǫ ≪ 1, the log pair (X, (1 − ǫ)D + ǫD+) is klt where E has log discrepancy less than 1. Thus by [BCHM10] there exists a birational morphism µ : Y → X from a normal projective variety Y such that the first two conditions in Definition 2.5(2) hold. Moreover, since E is the only lc + −1 + −1 place of (X, D ), we know that (Y, E + µ∗ D ) is plt. Thus (Y, E + µ∗ D) is also plt. 2.1.3. Equivariant K-stability. The following theorem is essentially due to Zhuang [Zhu20]. The equivalence between (i) and (iii) was also proved by Fujita [Fuj19b] when G is trivial. Theorem 2.7 (Zhuang). Let (X, D) be a klt log Fano pair. Let G be an algebraic group acting on (X, D). Then the following are equivalent. (i) (X, D) is K-semistable; (ii) β(X,D)(E) ≥ 0 for any G-invariant special divisor E over (X, D); (iii) β(X,D)(E) ≥ 0 for any G-invariant prime divisor E of plt type over (X, D). Proof. The (i)⇒(iii) part is a consequence of Theorem 2.3. The (iii)⇒(ii) part follows from Lemma 2.6. So we focus on the (ii)⇒(i) part. Let (X , D; L) be any non-trivial G-equivariant special test configuration of (X, D). Then ordX0 |C(X) = d · ordE for some special divisor E and d ∈ Z>0. Then Fut(X , D; L)= d · β(X,D)(E) ≥ 0 by [Fuj19c]. The equivariant version of [LX14] implies that (X, D) is G-equivariantly K-semistable, hence is K-semistable by [Zhu20]. Proposition 2.8. Let (X, D) be a K-semistable, but not K-polystable, log Fano pair. Let G be a reductive group acting on (X, D). Then there exists a G-invariant special divisor E over (X, D) with β(X,D)(E) = 0 which induces a K-polystable special degeneration of (X, D). 7 Proof. By [Zhu20] we know that (X, D) is G-equivariantly K-semistable but not G-equivariantly K-polystable. Using the G-equivariant version of [LX14], we can generalize [LWX21, The- orem 1.3] to the G-equivariant setting, i.e. there exists a non-trivial G-equivariant special test configuration (X , D; L) of (X, D) such that (X0, D0) is G-equivariantly K-polystable and Fut(X , D; L) = 0. Hence (X0, D0) is K-polystable by [Zhu20]. From [Fuj19c] we know that there exists a special divisor E over (X, D) and d ∈ Z>0 such that ordX0 |C(X) = d · ordE, and 0 = Fut(X , D; L)= d · β(X,D)(E). Thus the proof is finished. 2.1.4. Almost log Calabi-Yau pairs. The following definition is equivalent to the original defini- tion by [Oda13]. Definition 2.9. A log Calabi-Yau pair (X, D) is called K-semistable if (X, D) is log canonical. The following theorem can be viewed as an algebraic analogue of [JMR16, Corollary 1]. A different proof can be obtained by applying [Zho21b, Lemma 5.3].
Theorem 2.10. Let X be a Q-Fano variety of dimension n ≥ 2. Let D ∼Q −KX be an effective Q-Cartier Weil divisor. Assume that (X, D) is plt. Then there exists ǫ0 ∈ (0, 1) depending only on n, such that for any rational number c ∈ (1 − ǫ0, 1), the log Fano pair (X, cD) is uniformly K-stable. In particular, Aut(X, D) is a finite group. m−1 Proof. Consider the pair (X, m D) where m ∈ Z>0. By [BLX19, Corollary 3.5] based on Birkar’s boundedness of complements [Bir19, Theorem 1.8], there exists N ∈ Z>0 depending m−1 only on n, such that either (X, m D) is uniformly K-stable, or
− m − 1 A(X, m 1 D)(E) (2.1) δ(X, D) = inf m , m E S m−1 (E) (X, m D) + m−1 + m−1 where E runs over lc places of N-complements ∆m of (X, m D) satisfying ∆m ≥ m D. Since + + + N∆m is a Weil divisor, we know that ∆m ≥ D as long as m > N. Since ∆m ∼Q −KX ∼Q D, + we have that ∆m = D for m > N. N We claim that (X, N+1 D) is uniformly K-stable. If not, from n ≥ 2 and ampleness of D we + know that D is connected. Since ∆N+1 = D and (X, D) is plt, the prime divisor D is the only + N lc place of N-complements ∆N+1. Hence (2.1) implies that δ(X, N+1 D) is computed by E = D, and simple computation shows that 1 1 A(X, N D)(D)= and S(X, N D)(D)= . N+1 N + 1 N+1 (n + 1)(N + 1) N This contradicts the assumption that δ(X, N+1 D) ≤ 1. Thus we prove the claim which implies N the uniform K-stability of (X, cD) for any c ∈ [ N+1 , 1) by [ADL19, Proposition 2.13]. The finiteness of Aut(X, D) follows from [BX19, Corollary 1.3]. 2.2. CM line bundles. The CM line bundle of a flat family of polarized projective varieties is a functorial line bundle over the base which was introduced algebraically by Tian [Tia97]. The following definition of CM line bundles is due to Paul and Tian [PT06, PT09] using the Knudsen-Mumford expansion (see also [FR06]). We use the concept of relative Mumford divisors from [Kol18, Kol19]; see also [ADL20, Definition 2.7]. Definition 2.11 (log CM line bundle). Let f : X → B be a proper flat morphism of connected schemes. Assume that f has S2 fibers of pure dimension n. Let L be an f-ample line bundle k on X . Let D := i=1 ciDi be a relative Mumford Q-divisor on X over B where each Di is a relative Mumford divisor and ci ∈ [0, 1] ∩ Q . We also assume that each Di is flat over B. P 8 A result of Knudsen-Mumford [KM76] says that there exist line bundles λj = λj(X , L) on B such that for all k, k k k (n+1) (n) det f!(L )= λn+1 ⊗ λn ⊗···⊗ λ0. k n n−1 n−2 By flatness, the Hilbert polynomial χ(Xb, Lb )= a0k + a1k + O(k ) for any b ∈ B. Then the CM line bundle and the Chow line bundle of the data (f : X → B, L) are defined as
µ+n(n+1) −2(n+1) λCM,f,L := λn+1 ⊗ λn , λChow,f,L := λn+1. where µ := 2a1 . The log CM Q-line bundle of the data (f : X → B, L, D) is defined as a0 n−1 n(Lb · Db) λCM,f,D,L := λCM,f,L − n λChow,f,L + (n + 1)λChow,f|D,L|D , (Lb )
n−1 k n−1 k ⊗ci where (Lb · Db) := i=1 ci(Lb · Di,b) and λChow,f|D,L|D := i=1 λ . Chow,f|Di ,L|Di 2.3. K-moduli of Q-FanoP varieties. We first recall the moduliN stack of Q-Fano varieties. Definition 2.12. A Q-Fano family is a morphism f : X → B between schemes such that (1) f is projective and flat of pure relative dimension n for some positive integer n; (2) the geometric fibers of f are Q-Fano varieties; (3) −KX /B is Q-Cartier and f-ample; (4) f satisfies Koll´ar’s condition. Definition 2.13. Let n be a positive integer and V a positive rational number. We define the Fano moduli pseudo-functor Mn,V that sends a scheme B to Fano n Mn,V (B) := {Q-Fano families f : X → B | dim(Xb)= n, (−KXb ) = V for all b ∈ S}. Fano It follows from [Kol17] that Mn,V is represented by an Artin stack locally of finite type, which Fano Fano we also denote by Mn,V as abuse of notation. The CM Q-line bundle on Mn,V is defined as the CM Q-line bundle of its universal family. The following result, known as the K-moduli theorem, is a combination of many recent important algebraic works [Jia20, LWX21, CP21, BX19, ABHLX20, BLX19, Xu20b, XZ20, XZ21, BHLLX21, LXZ21]. Theorem 2.14 (K-moduli theorem). Let n be a positive integer and V a positive rational Kss Fano number. Then there exists an open substack Mn,V of Mn,V parametrizing K-semistable Q- Kss Fano varieties of dimension n and volume V . Moreover, Mn,V admits a projective good moduli Kps Fano space Mn,V parametrizing K-polystable Q-Fano varieties, and the CM Q-line bundle on Mn,V Kps descends to an ample Q-line bundle on Mn,V .
Kss Kps We call Mn,V and Mn,V a K-moduli stack and a K-moduli space, respectively. In this paper, we are mainly interested in the Q-Gorenstein smoothable case. sm Fano Definition 2.15. Let n and V be positive integers. Let Mn,V be the open substack of Mn,V that parametrizes smooth Fano manifolds of dimension n and volume V . By the Kodaira-Nakano sm vanishing theorem and boundedness of Fano manifolds, it is clear that Mn,V is a smooth Artin sm sm Fano stack of finite type. Let Mn,V be the Zariski closure of Mn,V in Mn,V with reduced structure. sm We call Mn,V a moduli stack of Q-Gorenstein smoothable Q-Fano varieties. A Q-Fano variety sm X is called Q-Gorenstein smoothable if [X] ∈ Mn,V for some n, V . 9 sm,Kss sm Kss Kss Let Mn,V := Mn,V ∩ Mn,V be a reduced closed substack of Mn,V . According to Theorem sm,Kss sm,Kps 2.14, the stack Mn,V admits a projective good moduli space M n,V as a reduced closed Kps subscheme of Mn,V . Note that prior to the algebraic approach in Theorem 2.14, it was shown sm,Kps sm,Kss using analytic methods that there exists a proper good moduli space M n,V of Mn,V by [LWX19] (see also [Oda15]). 2.3.1. Q-Gorenstein smoothable log Fano pairs. We will consider the following class of pairs. Definition 2.16. Let c, r be positive rational numbers such that c< min{1, r−1}. A log Fano pair (X, cD) is Q-Gorenstein smoothable if there exists a Q-Fano family π : X → C over a pointed smooth curve (0 ∈ C) and a relative Mumford divisor D on X over C such that the following holds:
• D is Q-Cartier, π-ample, and D∼Q,π −rKX /C ; • Both π and π|D are smooth morphisms over C \ {0}; • (X0, cD0) =∼ (X, cD), in particular X has klt singularities. A Q-Gorenstein smoothable log Fano family f : (X , cD) → B over a reduced scheme B consists of a Q-Fano family f : X → B and a Q-Cartier relative Mumford divisor D on X over B, such that all fibers (Xb, cDb) are Q-Gorenstein smoothable log Fano pairs, and D∼Q,f −rKX . For a Q-Gorenstein smoothable log Fano family, we define its Hodge line bundle as follows.
Definition 2.17. For c, r ∈ Q>0 with cr < 1, let f : (X , cD) → B be a Q-Gorenstein smoothable log Fano family over a reduced scheme B where D ∼Q,f −rKX /B. The Hodge Q-line bundle λHodge,f,r−1D is defined as the Q-linear equivalence class of Q-Cartier Q-divisors on T such that −1 ∗ KX /B + r D∼Q f λHodge,f,r−1D.
In [ADL19] we define the Artin stacks KMχ0,r,c and prove that they admit proper good moduli spaces KMχ0,r,c, where the projectivity of such K-moduli spaces is proven by Xu and Zhuang [XZ20]. Note that the K-moduli theorem also holds for all log Fano pairs without the Q-Gorenstein smoothable assumption as a generalization of Theorem 2.14 (see e.g. [LXZ21, Theorem 1.3]), though we restrict to the Q-Gorenstein smoothable case in this article.
Theorem 2.18 ([ADL19, Theorem 3.1 and Remark 3.25] and [XZ20]). Let χ0 be the Hilbert polynomial of an anti-canonically polarized Fano manifold. Fix r ∈ Q>0 and a rational number c ∈ (0, min{1, r−1}). Consider the following moduli pseudo-functor over reduced schemes B: (X , cD)/B is a Q-Gorenstein smoothable log Fano family,
KMχ0,r,c(B)= (X , D)/B D∼B,Q −rKX /B, each fiber (Xb, cDb) is K-semistable, .
and χ(X , OX (−kKX )) = χ0(k) for k sufficiently divisible. b b b
Then there exists a reduced Artin stack KMχ0,r,c (called a K-moduli stack) of finite type over C representing the above moduli pseudo-functor. In particular, the C-points of KMχ0,r,c pa- rametrize K-semistable Q-Gorenstein smoothable log Fano pairs (X, cD) with Hilbert polynomial χ(X, OX (−mKX )) = χ0(m) for sufficiently divisible m and D ∼Q −rKX .
Moreover, the Artin stack KMχ0,r,c admits a good moduli space KMχ0,r,c (called a K-moduli space) as a projective reduced scheme of finite type over C, whose closed points parametrize K-polystable log Fano pairs.
Lemma 2.19. Let n and V be positive integers. Let χ0 be the Hilbert polynomial of an anti- canonically polarized Fano manifold of dimension n and volume V . Then the forgetful morphism sm KMχ0,r,c → Mn,V that assigns [(X, D)] 7→ [X] is a smooth morphism with connected fibers. Proof. This follows from the last paragraph of the proof of [ADL20, Theorem 2.21]. 10 3. Geometry and moduli of quartic K3 surfaces 3.1. Geometry of quartic K3 surfaces. Our goal in this section is to review the Hassett- Keel-Looijenga program (Section 3.4). Before doing so, we introduce some terminology from the geometry of quartic K3 surfaces as studied by Mayer in [May72]. A K3 surface S is a connected 1 projective surface with du Val singularities such that ωS =∼ OS and H (S, OS ) = 0. A polarized K3 surface (S,LS) consists of a K3 surface S and an ample line bundle LS. A quartic K3 surface 2 99K ∨ ∼ 3 is a polarized K3 surface (S,LS ) of degree 4, i.e. (LS) = 4. Consider the map S |LS| = P induced by the linear system |LS|.
Definition 3.1. Generically, the linear system |LS| defines an isomorphism onto a quartic surface in P3 with du Val singularities. 3 (1) We say that S is hyperelliptic if |LS| induces a 2 : 1 map onto a quadric surface in P . In this case S is isomorphic to a double cover of P1 × P1 or P(1, 1, 2) ramified along a (4, 4) curve or a degree 8 curve, respectively. (2) We say that S is unigonal if |LS| defines a rational map from S onto a twisted cubic curve in P3 with general fiber a smooth elliptic curve. By [May72], we know that any quartic K3 surface belongs to one of the three classes above.
K K 3.2. K-moduli of quartic surfaces. We define the K-moduli stacks Mc and spaces Mc . 3 Definition 3.2. Let χ0 be the Hilbert polynomial of (P , OP3 (4)). Let c ∈ (0, 1) ∩ Q be a K K rational number. We define the K-moduli stacks Mc and spaces Mc as K K Mc := KMχ0,1,c and Mc := KMχ0,1,c. K K By Theorem 2.18 we know that Mc is a reduced Artin stack of finite type, and Mc is a reduced projective scheme. sm Lemma 3.3. Let X be a Q-Fano variety in M3,64. Then X admits a Q-Gorenstein smoothing to P3. Moreover, there exists an ample Q-Cartier Weil divisorial sheaf L on X such that the following conditions hold. (1) L[m] is Cohen-Macaulay for any m ∈ Z; [−4] 3 (2) ωX =∼ L and (L ) = 1; i [m] i 3 (3) h (X,L )= h (P , OP3 (m)) for any m ∈ Z and i ≥ 0; Proof. From the Iskovskikh-Mori-Mukai classfication of smooth Fano threefolds [IP99], we know that P3 is the only smooth Fano threefold with anti-canonical volume 64. Hence X admits a Q-Gorenstein smoothing π : X → B over a smooth pointed curve 0 ∈ B such that X0 =∼ X and ∼ 3 ◦ ◦ Xb = P for b ∈ B \ {0}. Denote by X := X \X0 and B := B \ {0}. After a quasi-finite base ◦ 3 ◦ ◦ ◦ change of π, we may assume that X =∼ P × B . Let L be a Weil divisor on X in |O 3 (1)|. PB◦ ◦ ◦ Let L be the Zariski closure of L in X . Since 4L ∼B −KX ◦/B◦ and X0 is a Cartier prime divisor, we know that 4L ∼B −KX /B, in particular L is Q-Cartier. Since X is klt and L is Q-Cartier, the sheaf OX (mL) is Cohen-Macaulay for any m ∈ Z by [KM98, Corollary 5.25]. Let
L := L|X0 , then L is a Q-Cartier Weil divisor on X. Moreover, we have OX (mL) ⊗ OX0 and OX (mL) are isomorphic on a big open subset of X0, hence they are isomorphic everywhere since
OX (mL) ⊗ OX0 is Cohen-Macaulay. Thus part (1) is proved. 3 For part (2), notice that 4L ∼B −KX /B implies 4L ∼ −KX . We have (L ) = 1 since 3 (−KX ) = 64. Part (3) follows from Kawamata-Viehweg vanishing similar to [Liu20, Proof of Theorem 3.1]. 11 Next we recall a result connecting K-stability and GIT stability as a special case of [GMGS21, Theorem 1.2] and [ADL19, Theorem 1.4] (see also [Zho21a]).
Theorem 3.4 ([GMGS21, ADL19]). There exists ǫ0 ∈ (0, 1) such that for any rational number 3 3 c ∈ (0,ǫ0), a quartic surface S ⊂ P is GIT (poly/semi)stable if and only if (P , cS) is K- (poly/semi)stable. Lemma 3.5. Let S ⊂ P3 be a quartic surface. (1) If S has only ADE singularities, then (P3, cS) is K-stable for any c ∈ [0, 1) ∩ Q. (2) If S is semi-log canonical, then (P3, cS) is K-semistable for any c ∈ [0, 1] ∩ Q. Proof. We first prove part (1). Since S has ADE singularities, it is GIT stable by [Sha81, Theorem 2.4]. Hence Theorem 3.4 implies that (P3,ǫS) is K-stable for 0 <ǫ ≪ 1. Moreover, by adjunction we have that (P3,S) is plt. Hence part (1) follows from [ADL19, Proposition 2.13]. Next we prove (2). In fact, inversion of adjunction implies that (P3,S) is log canonical since S is slc. Then the result follows from [ADL19, Proposition 2.13] since P3 is K-polystable. Recall that M◦ and M◦ denote the modui stack and coarse moduli space of ADE quartic GIT surfaces in P3, respectively. Denote by Mslc the open substack of the GIT moduli stack M parametrizing quartic surfaces S that are semi-log canonical (i.e. (P3,S) is log canonical). K K Proposition 3.6. For any rational number c ∈ (0, 1), both Mc and Mc are irreducible. ◦ slc K K Moreover, there are open immersions M ֒→ M ֒→ Mc whose images in Mc are saturated ◦ slc K open substacks. Taking good moduli spaces yields open immersions M ֒→ M ֒→ Mc where Mslc parametrizes GIT polystable slc quartic surfaces S ⊂ P3. In particular, both M◦ and Mslc GIT are saturated open substacks of M . sm K Proof. By Lemma 3.3 we know that M3,64 is irreducible. Thus Mc is irreducible since the K sm forgetful map Mc → M3,64 is smooth with connected fibers by Lemma 2.19. By interpolation of K-stability [ADL19, Proposition 2.13] we know that any [S] ∈ Mslc satisfies that (P3, cS) is K-semistable for any c ∈ (0, 1). Thus by openness of klt and lc (see [Kol97, Corollary 7.6]), we ◦ slc K know that both M and M are dense open substacks of Mc . ◦ K Next, we show saturatedness of M in Mc . If S is an ADE quartic surface, then Lemma 3.5 implies that (P3, cS) is K-stable for any c ∈ (0, 1). Thus all C-points in M◦ are closed with finite ◦ K stabilizers, which implies that M is saturated in Mc . slc K 3 Finally, we show saturatedness of M in Mc . Let S be a slc quartic surface. Since (P , cS) is K-semistable for any c ∈ (0, 1) from the above discussion, by Theorem 3.4 we know that S is GIT semistable. Let S0 be the unique GIT polystable quartic surface in the orbit closure of S. Then 3 3 1 by Theorem 3.4 we know that (P ,ǫS0) is K-polystable for 0 < ǫ ≪ 1. Denote by (P × A , S) 3 3 3 1 the test configuration of (P ,S) degenerating to (P ,S0). Hence we have Fut(P × A ,ǫS) = 0. Since Fut is linear in coefficients, we know that Fut(P3 × A1, cS) = 0 for any c ∈ (0, 1). Hence 3 (P , cS0) is K-semistable for any c ∈ (0, 1) by [LWX21, Lemma 3.1] which implies that S0 is slc. 3 Thus interpolation of K-stability [ADL19, Proposition 2.13] implies that (P , cS0) is the unique 3 slc slc K-polystable degeneration of (P , cS) for any c ∈ (0, 1). Since S0 ∈ M , we have that M is K K ∼ GIT saturated in Mc . The last statement follows from Mǫ = M by Theorem 3.4. Definition 3.7. The K-semistable threshold of a quartic surface S ⊂ P3 is define as kst(P3,S) := sup{c ∈ [0, 1] | (P3, cS) is K-semistable}. If S is GIT semistable, then by Theorem 3.4 and [ADL19, Theorem 3.15] we know that kst(P3,S) ∈ (0, 1] is a rational number, and the supremum is a maximum. 12 By Lemma 3.5, we know that kst(P3,S) = 1 if and only if S is slc. If, in addition, S is GIT polystable, then by interpolation of K-stability [ADL19, Proposition 2.13] and Theorem 3.4, we know that for any c ∈ [0, kst(P3,S)), the log pair (P3, cS) is K-polystable. If a GIT polystable quartic surface S is not slc, i.e. kst(P3,S) < 1, then (P3, kst(P3,S)S) is K-semistable but not K-polystable by [ADL19, Proposition 3.18]. The following theorem follows directly from [ADL19, Theorem 1.2] and Proposition 3.6.
Theorem 3.8. There exist rational numbers 0= c0 < c1 < c2 < · · · < ck = 1 such that for each K K 0 ≤ i ≤ k − 1, both the K-moduli stack Mc and the K-moduli space Mc are independent of the choice of the rational number c ∈ (ci, ci+1). Moreover, for each 1 ≤ i ≤ k − 1 and 0 <ǫ ≪ 1 we have open immersions MK MK MK .ci−ǫ ֒→ ci ←֓ ci+ǫ which induce projective birational morphisms
− + K φi K φi K Mci−ǫ −−→ Mci ←−− Mci+ǫ. In addition, all the above morphisms have local VGIT presentations in terms of [AFS17, (1.2)]. GIT 3.3. GIT stratification of quartic surfaces. By Proposition 3.6, the GIT moduli space M has an open subset Mslc parametrizing GIT polystable quartic surfaces with slc singularities. GIT From [Sha81, LO18], we know that the complement M \ Mslc (denoted by MIV therein) has two connected components, where one of them is an isolated point {[T ]} representing the tangent developable surface T (see Definition 4.1), and the other component has the following stratification GIT slc (3.1) (M \ M ) \ {[T ]} = W8 ⊃ W7 ⊃ W6 ⊃ W4 ⊃ W3 ⊃ W2 ⊃ W1 ⊃ W0. GIT Here Wi is an i-dimensional closed integral subvariety of M , and W0 = {[2Q]} is the single point representing the double quadric surface. For each i ∈ {0, 1, 2, 3, 4, 6, 7, 8}, we denote by ◦ ◦ ◦ Wi := Wi \ Wi−1 when i 6∈ {0, 6}, W6 := W6 \ W4, and W0 = W0. The following result follows from the classification of Shah [Sha81, S-4.3 on Page 282] (see also [LO18, Section 4.3]). ◦ Theorem 3.9 ([Sha81]). Let [S] ∈ Wi for i ∈ {0, 1, 2, 3, 4, 6, 7, 8}. Then in suitable projective 3 2 coordinates [x0,x1,x2,x3] of P , the equation of S has the form q + g = 0 where q and g are given as follows. 2 2 q = x0x2 + x1 + ax3, 3 2 2 x3(x0 + β1(x1,x2,x3)) + x2(x3f1(x1,x2)+ x2x3g1(x1,x2)+ x2h1(x1,x2)), if i ≥ 3; g = 3 (x3l1(x1,x3), if i ≤ 2.
Here β1, f1, g1, h1, and l1 are homogeneous linear polynomials in corresponding variables. More precisely, we have the following classification. ◦ (1) [S] ∈ W8 if and only if x2 ∤ h1; ◦ (2) [S] ∈ W7 if and only if x2 | h1 and x2 ∤ g1; ◦ (3) [S] ∈ W6 if and only if x2 | h1 6= 0 and x2 | g1; ◦ (4) [S] ∈ W4 if and only if h1 = 0, and either x2 | g1 6= 0 or x2 ∤ f1; ◦ (5) [S] ∈ W3 if and only if h1 = g1 = 0 and x2 | f1 6= 0; ◦ (6) [S] ∈ W2 if and only if x3 ∤ l1; ◦ (7) [S] ∈ W1 if and only if x3 | l1 6= 0; ◦ (8) [S] ∈ W0 if and only if g = 0 and a 6= 0. 13 3.4. Laza-O’Grady and the Hassett-Keel-Looijenga Program. The moduli space of quar- tic K3 surfaces can be constructed as a Type IV locally symmetric variety F, and comes with a natural Baily-Borel compactification F∗. The global Torelli theorem for K3 surfaces implies GIT that the period map p : M 99K F∗ is birational. Building off of previous work of Shah [Sha80] and Looijenga [Loo03a, Loo03b], in a series of papers [LO19, LO18, LO21] Laza and O’Grady propose a conjectural method to resolve the period map p whenever F is a Type IV locally 2 symmetric variety associated to a lattice of the form U ⊕ DN−2. When N = 18 this is the case of hyperelliptic quartic K3 surfaces, and when N = 19 this is the case of quartic K3 surfaces. Recall that Baily-Borel showed that (for any N) one has F∗ =∼ Proj R(F, λ), where λ denotes the hodge line bundle. Based on observations of Looijenga, Laza-O’Grady predict that in many GIT cases there is an isomorphism M =∼ Proj R(F, λ + ∆), for some geometrically meaningful boundary divisor ∆ depending on F. Moreover, they predict that more generally the rings R(F, λ + β∆) are finite generated and so the schemes F(β) = Proj R(F, λ + β∆) interpolate GIT between M and F∗. Their work also predicts the location of the walls, i.e. the values β where the moduli spaces change. 3.4.1. Hyperelliptic quartic K3 surfaces. When N = 18, i.e. the hyperelliptic case, Laza and O’Grady confirm their conjecture in [LO19]. By Definition 3.1, this case occurs when the K3 1 1 GIT surface is a double cover of P × P ramified along a (4, 4) curve. If we let M(4,4) denote the GIT quotient of (4, 4) curves on P1 × P1, then Laza and O’Grady show that the period map GIT 99K ∗ p : M(4,4) F (18) can be resolved via a series of explicit wall crossings arising from variation of GIT. Let Hh,18 ⊂ F(18) denote the divisor which parametrizes periods of hyperelliptic K3s which are the double cover of a quadric cone. GIT ∼ If Reg(p) ⊂ M(4,4) denotes the regular locus of p, then p(Reg(p))∩F(18) = F(18)\Hh,18. Laza F Hh,18 and O’Grady prove that R(β) := R( (18), λ + β · 2 ) is a finitely generated C-algebra, and ∗ that F18(β) := Proj R(β) is a projective variety which interpolates between F18(0) =∼ F(18) , ∼ GIT the Baily-Borel compactification, and F18(1) = M(4,4), the GIT quotient. Moreover, the period map can be explicitly described as a composition of elementary birational maps. The first step ∗ F18(ǫ) → F18(0) can be realized as the Q-factorialization of F(18) , which fails to be Q-factorial along Hh,18. The remainder of the birational transformations are flips, finally followed by a GIT divisorial contraction F18(1 − ǫ) → M(4,4). In [ADL20], we show that the wall crossings resolving the period map p can be interpreted as wall-crossings in a suitable K-moduli space of log Fano pairs. Let Kc denote the connected com- ponent of the moduli stack parametrizing K-semistable log Fano pairs admitting Q-Gorenstein 1 1 smoothings to (P × P , cC) where C is a (4, 4) curve. Denote the good moduli space of Kc by GIT ∗ Kc. Then, varying the weight c, the K-moduli spaces Kc interpolate between M(4,4) and F(18) . Moreover, the explicit intermediate spaces constructed in [LO19] using variation of GIT are all isomorphic to K-moduli spaces, and the walls coincide. 3.4.2. General conjecture. In fact, Laza and O’Grady conjecture that a similar behavior that is shown in [LO19] is true for many classes of varieties whose moduli space can be constructed as a Type IV locally symmetric variety. They expect that, as in the hyperelliptic case, if GIT p : M 99K F∗ represents the relevant birational period map from a GIT compactification to Baily-Borel, then p(Reg(p))∩F =∼ F\∆, for some geometrically meaningful divisor ∆. Moreover, R(β) := R(F, λ+β ·∆) should be finitely generated and so F(β) := Proj R(β) should interpolate GIT GIT between M and F∗. Moreover, they conjecture that interpolating from F∗ to M should consist of birational transformations related to ∆. More precisely, let H := π−1Supp∆, where 14 π : D → F. Then H is a union of hyperplane sections of D, and has a stratification by closed subsets, where the stratification is given by the number of independent sheets of H containing the general point. Then, the stratification of H induces a stratification of Supp∆. With this in mind, the prediction for resolving p is as follows: Q-factorialize ∆, followed by a series of explicit flips of strata inside ∆, followed by a divisorial contraction of the strict GIT transform of ∆ to obtain M .
GIT 3.4.3. Quartic K3 surfaces. Now let M denote the GIT moduli space of quartic surfaces. We recall some notation from [LO18]. For quartic K3 surfaces, we have that the K3 lattice 2 Λ =∼ U ⊕ D17. Consider D = {[σ] ∈ P(Λ ⊗ C) | q(σ) = 0,q(σ + σ) > 0}+, and then F =∼ D/O+(Λ) is the period space for quartic K3 surfaces. ⊥ Definition 3.10. Thet hyperelliptic divisor Hh ⊂ F is the image of v ∩ D for v ∈ Λ such that ⊥ q(v)= −4 and div(v)=2. The unigonal divisor Hu ⊂ F is the image of v ∩ D for v ∈ Λ such that q(v)= −4 and div(v) = 4.
Remark 3.11. Note that p(S,LS ) ∈ Hh (resp. Hu) if and only if (S,LS) is hyperelliptic (resp. unigonal) in the sense of Definition 3.1. For quartic K3 surfaces, Laza-O’Grady predict that the regular locus of p is the complement of Hu and Hh. If∆=(Hu + Hh)/2, they predict that the predicted critical β values are 1 1 1 1 1 1 1 β ∈ {1, 2 , 3 . 4 , 5 , 6 , 7 , 9 , 0} (see [LO19, Prediction 5.1.1]). Recall, in (3.1), we discussed a GIT stratification of M . They predict that, under p, this stratification is related to a stratification of F∗. This is made more precise as follows. Let ∆(k) ⊂ Supp∆ be the k-th stratum of the stratification defined above, and consider 9 8 7 5 4 3 2 1 (3.2) Z ⊂ Z ⊂ Z ⊂ Z ⊂ Z ⊂ Z ⊂ Z ⊂ Z = Hu ∪ Hh ⊂ F, where Zk =∆(k) for k ≤ 5, and then 7 ,Z = ImF(II2,10 ⊕ A2) ֒→ F • 8 Z = ImF(II2,10 ⊕ A1) ֒→ F, and • 9 .Z = ImF(II2,10) ֒→ F • Then, they predict that each birational map occurring at one of the critical values above k k GIT corresponds to a flip with center Z , and that each Z is replaced by Wk−1 ⊂ M .
4. Tangent developable surface and unigonal K3 surfaces In this section, we show that if T denotes the tangent developable surface (see Definition 3 9 4.1), then the pair (P , cT ) is K-polystable if and only if c< 13 . Moreover, the c-K-polystable 3 9 replacements of (P , T ) for c > 13 are log pairs (Xu,S) where Xu is a Gorenstein canonical Fano threefold (see Proposition 4.5 for the construction), and S is a GIT polystable unigonal K3 surface.
4.1. Destabilizing divisor.
Definition 4.1. [EL20, Pages 30 - 31] The tangent developable to the twisted cubic curve C0 in P3 is the surface T ⊂ P3 defined to be the union of all the embedded projective tangent lines to C0. The surface T is a quartic surface that has cuspidal singularities along C0, and whose 1 1 1 1 normalization is P × P such that the diagonal ∆P1 ⊂ P × P is the preimage of C0. 15 3 Consider the group G := PGL(2, C) acting linearly on P where C0 is G-invariant, since clearly 3 Aut(P ,C0) =∼ Aut(C0) =∼ G. A simple analysis shows that there are precisely three G-orbits in 3 3 P , which are C0, T \ C0, and P \ T . ∼ 1 = ∗ 3 ∼ 1 1 Proposition 4.2. Let ι : P −→ C0 be a parametrization. Then ι NC0/P = OP (5) ⊕ OP (5). ∗ 3 ∼ 1 Moreover, there exists a G-equivariant sub-line bundle N1 of NC0/P such that ι N1 = OP (4). 3 We denote by N2 := NC0/P /N1 the quotient line bundle. Then locally analytically along C0 we 2 3 3 may split NC0/P as N1 ⊕N2 such that the surface T has analytic equation (y = x ) where N1 = h∂/∂xi and N2 = h∂/∂yi. ∗ 3 ∼ 1 1 3 Proof. By [EVdV81], ι NC0/P = OP (5)⊕OP (5). Denote by OC0 (m) := OP (m)⊗OC0 , then we ∗ ∼ 3 have ι OC0 (m) = OP1 (3m). Denote by IC0 the ideal sheaf of C0 in P . Since C0 is projectively normal, we have a short exact sequence 0 3 0 3 0 0 → H (P , IC0 (2)) → H (P , OP3 (2)) → H (C0, OC0 (2)) → 0. 0 3 Hence a dimension computation shows that h (P , IC0 (2)) = 3. Since G = PGL(2, C) has fundamental group Z/2Z, the line bundle OP3 (2) has a natural G-linearization. Thus G acts on 0 3 H (P , IC0 (2)). From the classification of G-orbits, we know that there does not exist any G- 3 0 3 invariant quadric surface in P . Thus H (P , IC0 (2)) is a 3-dimensional irreducible representation of G. Next we consider the restriction map 0 3 0 2 r : H (P , IC0 (2)) → H (C0, (IC0 /IC0 )(2)). 2 ∨ It is clear that r is non-zero and G-equivariant. Since I /I is the conormal bundle N 3 , C0 C0 C0/P ∗ 2 ⊕2 0 2 we have that ι (I /I )(2) ∼ O 1 (1) which implies that h (C , (I /I )(2)) = 4. Since G C0 C0 = P 0 C0 C0 is reductive, the cokernel of r provides a non-zero G-invariant section s ∈ H0(C , (I /I2 )(2)). 0 C0 C0 2 Since (I /I )(2) ∼ Hom(N 1 , O (2)), the section s induces a non-zero G-equivariant C0 C0 = C0/P C0 3 morphism NC0/P → OC0 (2) which has to be surjective since G acts transitively on C0. Thus 3 ։ we define N2 := OC0 (2) and N1 as the kernel of the surjection NC0/P N2. Computations on ∗ ∼ ∗ ∼ degrees show that ι N1 = OP1 (4) and ι N2 = OP1 (6). It is clear that T has equation (y2 = x3) in some analytic coordinate (x,y,z) of P3. Moreover, ′ 3 the tangent vector ∂/∂x spans a G-invariant sub-line bundle N1 of NC0/P . Since the G-action 1 ′ ′ ∼ ∼ 3 on C0 = P is transitive, we know that either N1 = N1 or N1 ⊕N1 = NC0/P . The latter ⊕2 1 ∼ 3 ∼ 1 case is not possible since OP (4) = N1 ֒→ NC0/P = OP (5) does not split. Thus we have ′ h∂/∂xi = N1 = N1. 3 Theorem 4.3. Let T be the tangent developable surface of twisted cubic curve C0 in P . Let c ∈ [0, 1) be a rational number. Then (P3, cT ) is K-semistable (resp. K-polystable) if and only 9 9 if c ≤ 13 (resp. c< 13 ). Proof. We first show the statement for K-semistability. For the “only if” part, we use Fujita-Li’s 3 3 valuative criteria Theorem 2.3. Denote by µ : Y0 → P the (2, 3)-weighted blow up of P along the twisted cubic curve C0 in the local coordinates (x,y) defined by N1 and N2 from Proposition ∼ 4.2. Let E0 be the exceptional divisor of µ. Then we know that E0 = ProjP1 Sym(E2 ⊕E3) where ∼ ∗ ∨ ∼ ∗ ∨ E2 := OP1 (−4) = ι N1 , E3 := OP1 (−6) = ι N2 , Sym(E2 ⊕E3) is a Z≥0-graded OP1 -algebra, and each Ei has degree i. Denote by T the strict transform of T in Y0. From [EL20], we see that 1 1 T =∼ P × P . Denote the two pencil of rulings on T by R and C respectively, such that µ∗R ∗ is a tangent line of C0 and µ∗C ise a conic curve. Denote by H := µ O(1). Then we have the followinge relations: e
(4.1) (H · R) = 1, (H · C) = 2, (E0 · R) = 1, (E0 · C) = 1. 16 Moreover, we have T = 4H − 6E0 and −KY0 = 4(H − E0).
Claim. H − E0 (and hence −KY0 ) is nef and big on Y0. Proof of claim.eWe first show that H − E0 is nef. Indeed, since 4H − 4E0 ∼ T + 2E0, it 1 1 e ∼ suffices to show that (H − E0)|T and (H − E0)|E0 are both nef. Since T = P × P with R and e C as two rulings, (4.1) implies that ((H − E0) · R) = 0, ((H − E0) · C) = 1. Hence (eH − E0)|T 1 e e is nef. Denote by F the fiber of the P -bundle E0 → C0. Let ∆T := T ∩ E0. It is clear that 1 1 ∼ e e E0 = P × P with F and ∆T as the two rulings. Since ∆T ∼ R + C in T , (4.1) implies that e 3 e ((H −E0)·∆T ) = 1. Moreover, we know that (H ·F ) = (OP (1)·µ∗F )=0and −E0|E0 ∼ OE0 (1), hence (−E0 · F ) = 1. Thus ((H − E0) · F ) = 1. This implies that (H − E0)e|E0 is also nef. Next we show that H − E0 is big. This is done by computing the self intersection number of H − tE0 for t ∈ [0, 1]. It is clear that
e e e H|T ∼ 2R + C, E0|T ∼ R + C, T |T ∼ 2R − 2C. Hence e (H3) = 1, (H2 · T ) = 4, (H · T 2)= −2, (T 3)= −8. 1 Using the fact that E0 = (4H − T ), we see 6 e e e 3 2 t 3 3 2 2 3 (H − tE0) =e ((1 − t)H + T ) = 1 − t + t . 3 6 2 3 1 When 0 ≤ t ≤ 1 this is also the volume of H − tE0 sincee it is nef. Thus volY0 (H − E0)= 6 > 0 which implies that H − E0 is big. The claim is proved.
Next we compute the S-invariant of E0. Since −KY0 is nef and big, and Y0 has only quotient singularities which are klt, we know that −KY0 (and hence H − E0) is semi-ample. The ample ′ model of H − E0 gives a divisorial contraction g : Y0 → Y0 which contracts T to a smooth rational curve by contracting R to a point. If t> 1, by Zariski decomposition we know that (3 −e2t)3 vol (H − tE ) = vol (g∗g (H − tE )) = vol((3 − 2t)(H − E )) = . Y0 0 Y0 ∗ 0 0 6 Therefore, ∞ 1 3 2 3/2 (3 − 2t)3 11 vol(H − tE )dt = (1 − t2 + t3)dt + dt = . 0 2 3 6 16 Z0 Z0 Z1 Thus we know that 11 A 3 (E ) = 5 − 6c, S 3 (E )= (4 − 4c). (P ,cT ) 0 (P ,cT ) 0 16 3 11 So if (P , cT ) is K-semistable, then Theorem 2.3 implies that 5 − 6c ≥ 16 (4 − 4c) which is 9 equivalent to c ≤ 13 . Thus we have shown the “only if” part for K-semistability. Next, we show the “if” part for K-semistability. By interpolation of K-stability [ADL19, 3 9 Proposition 2.13], it suffices to show that (P , 13 T ) is K-semistable. Consider the G = PGL(2, C)- 3 action on P which preserves the twisted cubic curve C0. By Theorem 2.7, it suffices to show 3 9 that β 3 9 (F ) ≥ 0 for any G-invariant prime divisor F of plt type over (P , T ). Since (P , 13 T ) 13 3 3 there are only three G-orbits in P : C0, T \ C0, and P \ T , we know that either F = T or F 3 9 is centered at C0. The first case is easy. For the second case, notice that localizing (P , 13 T ) 2 9 2 3 at the generic point of C0 produces a singularity analytically isomorphic to (A , 13 (y = x )). Hence the (2, 3)-weighted blow up in (x,y) produces the only G-invariant divisor E0 of plt type centered at C0 by Lemma 4.4. Therefore, the above computations show that β 3 9 (E0) = 0. (P , 13 T ) 3 9 Thus (P , 13 T ) is K-semistable. This finishes the proof for K-semistability. 17 Finally, we show the statement for K-polystability. Since T is GIT polystable by [Sha81, LO18], Theorem 3.4 implies that (P3, ǫT ) is GIT polystable for 0 < ǫ ≪ 1. Thus [ADL19, 3 9 Proposition 2.13] implies that (P , cT ) is K-polystable when 0 ≤ c < 13 . Moreover, since 3 9 (P , cT ) is K-unstable for any c > 13 from the “only if” part for K-semistability, [ADL19, 3 9 Proposition 3.18] implies that (P , 13 T ) is not K-polystable. Thus the proof is finished. 2 9 2 3 Lemma 4.4. The klt singularity 0 ∈ (A , 13 (y = x )) admits a unique plt blow-up given by the (2, 3)-weighted blow-up in (x,y). π Proof. Let E ⊂ Y −→ A2 be the (2, 3)-weighted blow-up in (x,y). Let Γ be the different divisor −1 9 2 3 on E, i.e. KE +Γ=(KY +E +π∗ D)|E where D = 13 (y = x ). Then it is not hard to see that ∼ 1 1 9 2 1 9 2 24 (E, Γ) = (P , 2 [0] + 13 [1] + 3 [∞]). Hence α(E, Γ) = (1 − max{ 2 , 13 , 3 })(2 − deg(Γ)) = 11 > 1, which means that (E, Γ) is an exceptional log Fano pair. Thus [Pro00, Section 4] implies that E is the unique Koll´ar component over 0 ∈ (A2, D).
4.2. Construction of Xu. Let E := OP1 ⊕ OP1 (−4) ⊕ OP1 (−6) be a rank 3 vector bundle 1 over P . Denote by Ei the i-th direct summand line bundle of E for i = 1, 2, 3. Denote by PE := ProjP1 Sym E where Sym E is a Z≥0-graded OP1 -algebra such that each line bundle Ei has degree i. Thus p : PE → P1 is a P(1, 2, 3)-bundle. It is clear that ∼ p∗OPE (1) = OP1 , ∗ ∼ p∗(OPE (2) ⊗ p OP1 (4)) = OP1 (4) ⊕ OP1 , ∗ ∼ p∗(OPE (3) ⊗ p OP1 (6)) = OP1 (6) ⊕ OP1 (2) ⊕ OP1 . 0 0 ∗ 0 ∗ Let x ∈ H (PE, OPE (1)), y ∈ H (PE, OPE (2)⊗p OP1 (4)), and z ∈ H (PE, OPE (3)⊗p OP1 (6)) be non-zero sections in the last direct summand of the right-hand-side in each isomorphism above. By the Euler sequence for weighted projective bundles (see [Har77, Ex. III.8.4] and [Dol82]), we have ∗ ∨ ∨ ∨ ∗ ∼ ∗ (4.2) − KPE ∼ π (E1 ⊗E2 ⊗E3 ) ⊗ π OP1 (−KP1 ) ⊗ OPE (1 + 2 + 3) = p OP1 (12) ⊗ OPE (6). It is clear that ∼ ⊗2 ⊗3 ⊗3 ⊗2 ⊗2 ⊗3 ⊗6 p∗OPE (6) = E3 ⊕ (E1 ⊗E2 ⊗E3) ⊕ (E1 ⊗E3) ⊕E2 ⊕ (E1 ⊗E2 ) ⊕ (E1 ⊗E2) ⊕E1 . 0 Thus any section s ∈ H (PE, OPE (−KPE )) can be uniquely expressed as 2 3 3 2 2 4 6 (4.3) s = az + f2xyz + f6x z + by + f4x y + f8x y + f12x , 0 1 where fj ∈ H (P , OP1 (j)). Let HE ∈ |OPE (1)| be the Weil divisor defined by (x = 0). Let TE be the anti-canonical divisor 2 3 on PE defined by (z − y = 0). Then TE and HE intersect transversally along a smooth curve 2 3 1 CE = V (x, z − y ) which is a section of PE → P . Let h : PE → PE be the (2, 1)-weighted blow up along the divisors (TE ,HE ). Let EE be the exceptional divisor of h. Denote by HE and TE 1 1 the strict transforms of HE and TE in PE respectively. It isf clear that HE =∼ HE =∼ P × P . e e e Proposition 4.5. With the above notation, PE is a Gorenstein canonical weak Fano threefold, f e f i.e. −KPE is nef and big. We call its anti-canonical model Xu. Then Xu is a Gorenstein canonical Fano threefold. Moreover, the birationalf morphism ψ : PE → Xu contracts HE to an isolated singularity o ∈ Xu, and is isomorphic elsewhere. f e Proof. From the geometry of the weighted blow-up h we know that PE has quotient singularities 1 along three disjoint smooth rational curves in HE , where two curves are of type 2 (1, 1, 0), and 1 f the rest is of type 3 (1, 2, 0). Thus PE is Gorenstein canonical. 18e f 2 3 4 6 Let SE be an anti-canonical divisor on PE defined by (z = y + f8x y + f12x ) where f8 and f12 are general degree 8 and 12 binary forms respectively. By [Huy16, Chapter 11 1 §2] we have that SE → P is a smooth elliptic K3 surface with a section CE , i.e. a smooth unigonal K3 surface, as the discriminant does not vanish for general binary forms f8 and f12. 2 Denote by F a general elliptic fiber on SE . Then since (CE ) = −2 we know that mF + CE is ample on SE whenever m ≥ 3. It is easy to see that SE and TE are tangent along CE which implies that ord e (S ) = 2. Denote by S the strict transform of S in PE. Thus EE E E E ∗ ∗ SE = h SE − 2EE ∼ h (−KPE ) − 2EE ∼ −Kf because APE (EE ) = 3. By (4.2), we know that PE e f −KPE |SE ∼ 12F + 6CE . Thus e e ∗ e e∗ −Kf | e ∼ h (12F + 6C ) − 2E | e ∼ 4h (3F + C ). PE SE E E SE E =∼ Since h : S −→ S , we know that −Kf | e is ample. Thus −Kf is big and nef. E E PE SE e PE Moreover, S is disjoint from H which implies that −Kf | e ∼ 0. Thus H is contracted E E PE HE E e 1 1 under ψ to an single point. Since h ◦ p realizes HE as a P -bundle over P , we know that the e e e curve classes O(1, 0) and O(0, 1) on HE are not proportional in N1(PE)R. Since PE has Picard rank 3, if we only contract HE from PE then thee resulting variety has Picard rank 1 which has to be Xu. This implies that ψ is isomorphice away from HE . f f e f Let L be the Q-Cartier Weil divisor on X obtained as the limit of O 3 (1) according to Lemma u e P 3.3. The next result determines the Cartier index of L.
Lemma 4.6. With the above notation, the Cartier index of L on Xu is 4.
Proof. By Lemma 3.3 and Proposition 4.5, we know that L is a Q-Cartier Weil divisor on Xu such that 4L ∼−KXu is Cartier. Thus the Cartier index of L divides 4. Recall that h : PE → PE is 1 a (2, 1)-weighted blow up along (TE ,HE ) where the center CE is a section of PE → P . Hence on −1 PE the divisor TE := h∗ TE and the h-exceptional divisor EE have transverse intersectionf along 1 1 a section of PE → P . Denote by RE a fiber of EE → P . Then the above argument implies that ∗ ∗ f e e f (TE · RE ) = 1. By the proof of Proposition 4.5, we know that TE ∼−KPE = ψ (−KXu ) ∼ 4ψ L. f 1 1 Thus we have (L · ψ∗RE )= 4 (TE · RE )= 4 which implies that L has Cartier index 4. e e Proposition 4.7. With the above notation, E induces a K-polystable degeneration (X , 9 T ) e 0 u 13 0 3 9 of (P , 13 T ). Proof. We perform the following birational transformations,
f X X + g ψ µ h P3 × A1 Y Z where in the central fiber we have
f ′ Y0 ∪ PE Y0 ∪ PE g ψ µ h f 3 ′ P Y0 ∪ PE Xu
Recall that C0 ⊂ T denotes the twisted cubic curve. Using notation from Theorem 4.3 and Proposition 4.5, the maps are as follows: 19 3 1 (1) µ : X → P × A is the (2, 3, 1)-weighted blow up along C0 in the central fiber, where Y0 is the strict transform of P3 × {0} and PE is the exceptional divisor. (2) f : X 99K X + is the flip of T induced by the contraction g of the rulings R of T in the ′ central fiber. The strict transform of Y0 is Y0 and the strict transform of PE is PE. + ′ (3) ψ : X →Z is the divisoriale contraction of Y0. e f We elaborate on these maps below. 3 1 3 1 The first morphism µ : X → P × At is the (2, 3, 1)-weighted blow up of P × A along C0, in local coordinates (x,y,t), where x,y are as in Theorem 4.3, whose exceptional divisor PE is 3 a P(1, 2, 3) bundle over C0. In the central fiber, this is the (2, 3)-weighted blow up of P along C0 ⊂ T . Let R and C denote the two pencils of rulings (µ∗R is a tangent line of C0, and µ∗C is a conic curve). With this notation, g is the flipping contraction obtained by contracting the rulings R of T , the strict transform of T in the central fiber, and the flip f flips T ⊂ X . Indeed, the rulings R are contractible, and the computations in Theorem 4.3 imply that they generate a KXe+ T -negative extremal ray in X , where T is the family of surfaces. Usinge the local structure of X as a fibration over C0, we can obtain an explicit description of the flip. 2 3 Along C0, using the local coordinates (x,y) in the central fiber, T has equation y = x and µ normalizes the cusp. Consider X as a fibration of surfaces in a neighborhood of p ∈ C0. In each fiber Xp = Y0p ∪ P(1, 2, 3), the normal bundle of R is NR/Xp = OR(−2) ⊕ OR(−1) by 1 ′ computation, so the contraction g creates a 2 (1, 1) singularity at q ∈ Y0p and the map h is the (2, 1) weighted blow up of q in P(1, 2, 3). The structure of the central fiber of X + is therefore exactly as described in Proposition 4.5. ′ The last morphism ψ is the divisorial contraction of Y0 , and Xu is the image of PE under ψ. ′ Indeed, an easy computation shows that curves in Y0 are KX + -negative, and Proposition 4.5 ′ ′ shows that Y0 ∩ PE is contractible in PE, but Y0 has Picard rank one, hence is contractiblef in + X to Z. Let T0 be the central fiber of the strict transform of T in Z. 9 Finally, we showf that (Xu, 13 T0) isf K-polystable. By Proposition 4.3, the log Fano pair 3 9 (P , 13 T ) is K-semistable but not K-polystable. Let G := PGL(2, C) as in the proof of Theorem 3 9 4.3. Then Proposition 2.8 implies that there exists a G-invariant special divisor F over (P , 13 T ) which induces a K-polystable degeneration and β 3 9 (F ) = 0. Since F is G-invariant of plt (P , 13 T ) type by Lemma 2.6, from the proof of Theorem 4.3 there are only two such divisors: T or E0, and the β-invariant of E0 (resp. of T ) is zero (resp. non-zero). Hence F = E0 and the proof is finished.
4.3. GIT for Weierstrass models of unigonal K3 surfaces. By construction of Xu, the surface T0 has the structure of a Weierstrass elliptic fibration over the twisted cubic curve. 3 1 Repeating these birational transforms for any family (P × A , T ) whose central fiber T0 is the tangent developable surface, the new central fiber also has this structure. These elliptic surfaces naturally live inside (birational models of) PE, a P(1, 2, 3) bundle over C0. Next, we relate this construction to GIT for Weierstrass elliptic surfaces. We recall some notation from Section 4.2, namely the construction of Weierstrass ellip- tic surfaces inside a P(1, 2, 3)-bundle. As above, let E = OP1 ⊕ OP1 (−4) ⊕ OP1 (−6) and let Ei denote the ith direct summand line bundle where Ei has degree i. Then we obtain 1 the P(1, 2, 3) bundle p : PE → P , where PE := ProjP1 SymE. Consider the affine space 0 1 0 1 A := H (P , OP1 (8)) ⊕ H (P , OP1 (12)) of dimension 22 parametrizing pairs (A, B) of degree 8 and 12 binary forms respectively. In this way, for each pair (A, B) ∈ A one can associate a 20 Weierstrass elliptic surface S(A,B) ∈|− KPE | whose equation is given by 2 3 4 6 S(A,B) = (z = y + Ax y + Bx ), where x,y,z have degrees one, two, and three respectively. Note that S(0,0) = TE by definition. The discriminant divisor 4A3 + 27B2 vanishes at the singular fibers, and for every point 1 p ∈ P , one has ordp(A) ≤ 3 or ordp(B) ≤ 5. The latter condition is equivalent to the surface having only ADE singularities. Furthermore, one can show that a pair (A, B) satisfying these conditions yields a unigonal K3 surface with ADE singularities, and vice versa. Next, we introduce the GIT set-up for Weierstrass elliptic surfaces. Clearly the affine space A admits an (SL(2, C) × Gm)-action given by (g,t) · (A, B) := (t4A ◦ g,t6B ◦ g).
Let P := [(A\{0})/Gm] be the weighted projective stack where Gm acts as above. Let P be the weighted projective space as the coarse moduli space of P. Then we have P =∼ P(29, 313). The SL(2, C)-action on A descends to an SL(2, C)-action on (P, OP(1)). We say that a non-zero pair (A, B) ∈ A \ {0} is GIT (poly/semi)stable if [A, B] ∈ P is GIT (poly/semi)stable with respect to the SL(2, C)-action on (P, OP(1)). Denote by Ass ⊂ A \ {0} the GIT semistable open locus. In [Mir81], Miranda constructs a compact moduli space parametrizing Weierstrass fibrations over P1 using GIT following the above discussion. In particular, Miranda gives (see [Mir81, Proposition 5.1]) a criterion for when a pair (A, B) is GIT (semi)stable based on the valuations. Remark 4.8. Before stating the following theorem, we point out that Miranda’s setup (and the discussion that follows in [OO21] and [AB19]) considers Weierstrass elliptic surfaces embedded in a P2 bundle, instead of a P(1, 2, 3) bundle, which is more convenient for our work. The same results hold in our setup, as the underlying surfaces are the same.
Theorem 4.9. If (A, B) ∈ A \ {0} is GIT semistable, then the surface S(A,B) is slc. Proof. See [OO21, Proposition 7.4] for an explicit description of the GIT compactification of Weierstrass elliptic surfaces (see also [AB19, Section 10]).
Lemma 4.10. Let S ∈ |− KXu | be an anti-canonical divisor. If S does not pass through the ∗ singular point o ∈ Xu, then there exists an automorphism ϕ ∈ Aut(Xu) such that (Xu, ϕ S) is the birational transform of (PE,S(A,B)) for some (A, B) ∈ A. Moreover, S is isomorphic to the Weierstrass elliptic surface S(A,B).
h ψ Proof. Recall from Proposition 4.5 that there is a diagram PE ←− PE −→ Xu where h is a ∗ weighted blow-up and ψ is taking the anti-canonical model. Let SE := h∗ψ S. Then we know that ord e (S ) = 2 which implies that S is tangent to T along the curve C . Thus by (4.3) EE E E E f E 2 3 3 2 2 4 6 we know that SE has the equation (a(z − y )+ f6x z + f4x y + f8x y + f12x = 0). Since o 6∈ S, we know that SE does not contain HE = (x = 0) which implies a 6= 0. Hence we f4 2 f6 3 may assume that a = 1. Let ϕE ∈ Aut(PE) be ϕE (x,y,z) := (x,y + 3 x , z − 2 x ). Then ∗ 2 3 4 6 clearly ϕE SE is defined by the equation (z = y + Ax y + Bx ) which is a Weierstrass elliptic ∗ surface, i.e. ϕE SE = S(A,B). Hence ϕE induces the desired ϕ ∈ Aut(Xu). Since SE is tangent −1 to TE along CE , we know that h∗ SE is isomorphic to SE and disjoint with HE , which implies −1 ∼ −1 ∼ S = ψ∗(h∗ SE ) = h∗ SE = SE . e By Lemma 4.10, every unigonal K3 surface S(A,B) with ADE singularities is isomorphic to an anti-canonical divisor S ∈|− KXu | not passing through o. Since the ample Q-Cartier divisor 2 1 3 L on Xu is Cartier away from o, and (L · S)= 16 (−KXu ) = 4, we know that every polarized unigonal K3 surface of degree 4 is isomorphic to some (S,L|S ). 21 ′ ′ Theorem 4.11. Let S,S ∈|− KXu | be two divisors where o 6∈ S and o ∈ S . Let (A, B) ∈ A ∗ be a pair such that ϕ S is the birational transform of S(A,B) for some ϕ ∈ Aut(Xu). 9 ∗ (1) (Xu, 13 S) is always K-semistable, and it is K-polystable if and only if ϕ S = T0; 9 (2) if c ∈ ( 13 , 1) ∩ Q, then (Xu, cS) is K-(poly/semi)stable if and only if (A, B) ∈ A \ {0} is GIT (poly/semi)stable; 9 (3) if c ∈ (0, 13 ) ∩ Q, then (Xu, cS) is K-unstable; ′ (4) (Xu, cS ) is K-unstable for any rational c ∈ (0, 1). Proof. For simplicity, we always assume that ϕ is the identity as guaranteed by Lemma 4.10, −1 i.e. S = ψ∗(h∗ S(A,B)) for some (A, B) ∈ A. 4 6 (1) Since limt→0(t A, t B) = (0, 0), the Gm-action on A induces a special degeneration 9 9 of (Xu, 13 S) to (Xu, 13 T0) which is K-polystable by Proposition 4.7. Hence it follows from openness of K-semistability [BLX19, Xu20b] and the fact that (Xu,S) =6∼ (Xu, T0) whenever (A, B) 6= (0, 0). 3 9 (2) To start with, notice that (P , cT ) admits a special degeneration to (Xu, cT0) for c ≤ 13 . 3 9 Since (P , cT ) is K-polystable for c< 13 by Theorem 4.3, we know that (Xu, cT0) is K-unstable 9 9 for c < 13 . Since (Xu, 13 T0) is K-polystable by Proposition 4.7, we know that (Xu, cT0) is 9 K-unstable for any c 6= 13 by [ADL19, Proposition 3.18]. Thus we may assume (A, B) 6= 0. We first show the “only if” part, that is, K implying GIT. This follows from the Paul-Tian criterion [ADL19, Theorem 2.22]. There is a universal family of Weierstrass elliptic surfaces 2 3 4 6 (PE × A, SE,A) → A where the fiber over (A, B) ∈ A is (PE, (z = y + Ax y + Bx )). By performing the weighted blow-up h and anti-canonical morphism ψ in families, we obtain a universal family (Xu × A, SA) → A. Clearly the Gm-action on A lifts naturally to PE × A 4 6 (where t·([x,y,z], (A, B)) := ([tx,y,z], (t A, t B))) and Xu ×A such that both SE,A and SA are Gm-invariant. Hence taking the stacky quotient of Gm over A\{0}, we obtain a Q-Gorenstein log Fano family πP : (XP , SP ) → P. We show that the assumptions of [ADL19, Theorem 2.22] are 9 satisfied for πP : (XP , cSP ) → P when c ∈ ( 13 , 1). Assumptions (a) and (b) are straightforward. For assumption (c), it suffices to show that the CM line bundle λCM,πP ,cSP descends to an ample 9 P Q-line bundle Λ ,c on P for c ∈ ( 13 , 1). For a general choice of (A, B), the surface S is klt which implies that (Xu,S) is plt. Hence Theorem 2.10 implies that (X, (1 − ǫ)S) uniformly K-stable for 0 <ǫ ≪ 1. Thus interpolation [ADL19, Proposition 2.13] implies that (Xu, cS) is uniformly 9 P K-stable for any c ∈ ( 13 , 1). Thus [CP21, Pos19, XZ20] implies that Λ ,c is big, hence it is ample since P has Picard rank 1. Thus the proof of the “only if” part is finished by [ADL19, Theorem 2.22]. For the “if” part, notice that by Theorem 4.9 any GIT semistable S is slc. Thus (Xu, cS) is K- 9 semistable for any c ∈ ( 13 , 1) by part (1) and interpolation for K-stability [ADL19, Proposition 2.13]. For a general choice of (A, B), the above discussion shows that (Xu, cS) is K-stable 9 9 for any c ∈ ( 13 , 1). If S is GIT polystable, then it suffices to show that (Xu, ( 13 + ǫ)S) is K-polystable, since then (Xu, cS) is K-polystable by interpolation [ADL19, Proposition 2.13]. 9 9 Let (X0, ( 13 + ǫ)S0) be the K-polystable degeneration of (Xu, ( 13 + ǫ)S). Then we know that 9 9 9 (X0, 13 S0) is K-semistable. Since (Xu, 13 T0) is the K-polystable degeneration of (Xu, 13 S), by 9 9 9 [LWX21] we have a sequence of special degenerations (Xu, 13 S) (X, 13 S0) (Xu, 13 T0). This implies that X =∼ Xu and S0 does not pass through the singular point on X. We may assume that X = Xu for simplicity. By Lemma 4.10, we can find a 1-parameter family of automorphisms ∗ ∗ (ϕt) ∈ Aut(Xu) over a pointed curve (B, 0) such that ϕt S (t 6= 0) and ϕ0S0 are all in Weierstrass ∗ ∗ 9 ∗ ∗ form, and limt→0 ϕt S = ϕ0S0. Since (Xu, ( 13 +ǫ)ϕ0S0) is K-polystable, we know that ϕ0S0 6= T0, ∗ i.e. ϕ0S0 corresponds to a non-zero pair (A0,B0) ∈ A. By the “only if” part, (A0,B0) is GIT polystable. Hence the separatedness of GIT quotient implies that [A, B] and [A0,B0] belong to 22 9 ∼ 9 the same SL(2, C)-orbit in P. In particular, (Xu, ( 13 + ǫ)S) = (Xu, ( 13 + ǫ)S0) are K-polystable. The proof is finished. 9 (3) Assume to the contrary that (Xu, cS) is K-semistable for some c < 13 . By openness of K-semistability [BLX19, Xu20b], we may choose S such that (A, B) is a general pair of binary 9 forms. Thus (A, B) is GIT stable which implies that (X, ( 13 + ǫ)S) is K-stable by part (2). By 9 interpolation [ADL19, Proposition 2.13] we know that (X, 13 S) is K-stable, contradicting part (1). Thus part (3) is proved. ′ (4) By Proposition 4.5, the divisor S is Cartier as Xu is Gorenstein. Besides, the birational 1 1 morphism ψ : PE → Xu contracts the prime divisor HE to o ∈ Xu, where HE =∼ P × P and Kf | e ∼ 0. Hence by adjunction we have H | e = K e + Γ where Γ is the different divisor. PE HE E HE HE f 1 1 e ′ 1 e Denote the two families of fibers of P × P by Fa and Fb for a, b ∈ P . Then by construction we 1 1 2 e have that Γ = 2 F0 + 2 F1 + 3 F∞ under a suitable choice of coordinates. Thus AXu (HE )=1 and 2 4 vol (H ) = (−K e −Γ) = . Here we refer to the survey article [LLX20] for the background Xu,o E HE 3 e of normalized volumes. Since S is Cartier and passes through o = ψ(H ), we have ord e (S) ≥ 1. E HE Hence wee have e 3 4 3 vol (HE ) = (AX (HE ) − cord e (S)) volX ,o(HE ) ≤ (1 − c) . (Xu,cS),o u HE u 3 27 3 3 On the other hand,c we havee 64 (−KXu −ecS) = 27(1−c) > vol(Xue,cS),o(HE ), which implies that (Xu, cS) is K-unstable by [LL19]. c e 4.4. Deformation theory of Xu. In this subsection, we show that the allowed deformations 3 of Xu are unobstructed, and any such small deformation of Xu is isomorphic to itself or P . sm In the moduli stack M3,64, we only consider deformations induced by the index one cover of the Q-Cartier Weil divisor L that is the limit of OP3 (1), see Lemma 3.3. In the case of Xu, the divisor L is 4-Cartier by Lemma 4.6.
Lemma 4.12. The unique singular point o ∈ Xu admits a special degeneration to an orbifold cone singularity x0 ∈ Xu,0. Under this special degeneration, the divisor L degenerates to a Q-Cartier Weil divisor L0 on Xu,0, whose Cartier index is 4. Moreover, the index one cover 4 Y → Xu,0 of L0 is a toric Gorenstein canonical singularity of the form (xy − zw = 0) ⊂ A /µ3, 2 2 2πi where the action of µ3 is given by ζ3 · (x, y, z, w) = (ζ3x,ζ3 y,ζ3 z,ζ3w) with ζ3 = e 3 . Proof. By construction from Section 4.2 and the proof of Theorem 4.11(4), we know that 1 1 1 1 2 (H , Γ) ∼ (P ×P , F + F + F ) and H | e = K e +Γ where Γ is the different divisor. Thus E = 2 0 2 1 3 ∞ E HE HE 1 1 HE induces a special degeneration of (o ∈ Xu) to the orbifold cone Xu,0 := Ca(P ×P , −KP1×P1 −Γ) e e (see [LX20, Section 2.4] and [LZ19, Section 2.4]). Since Xu,0 is an anti-canonical cone over a klt loge Fano pair with standard coefficients, it is Gorenstein canonical.
Let L0 be the degeneration of L to Xu,0. Then clearly 4L0 ∼ −KXu,0 is Cartier, and 2L0 is not Cartier because 2L is not Cartier. Thus we can take an index 1 cover Y → Xu,0 of L0 which has degree 4. In fact, there is a local universal cover of o ∈ Xu,0 as follows: 1 1 1 1 1 1 Ca(P × P , O(1, 1)) → Ca(P × P , O(2, 2)) → Ca(P × P , −KP1×P1 − Γ). Here the first map is raising the polarization to the second tensor power, and the second map 1 1 1 1 2 comes from the quotient map P → (P , 2 [0]+ 2 [1]+ 3 [∞]) of degree 6, induced by the S3-action 1 on P generated by [u0, u1] 7→ [u0,ζ3u1] and [u0, u1] 7→ [u1, u0]. Thus we have a group of order 1 1 12 (isomorphic to a binary dihedral group) acting on the singularity Ca(P × P , O(1, 1)) whose quasi-´etale quotient is precisely x0 ∈ Xu,0. 23 Since L0 has Cartier index 4, the index 1 cover of L0 on Xu,0 is a µ3-quotient of the singularity 1 1 1 1 Ca(P × P , O(1, 1)). Let ([u0, u1], [v0, v1]) be the projective coordinate on P × P , then we may 1 1 3 identify Ca(P × P , O(1, 1)) with Y := (xy − zw = 0) ⊂ A , where
(x, y, z, w) = (u0v0, u1v1, u1v0, u0v1). 1 e The group µ3 acts on P as generated by [u0, u1] 7→ [u0,ζ3u1]. After lifting to the anti- 1 1 2 2 2 2 canonical cone Ca(P × P , O(2, 2)), the µ3-action becomes (u0, u0u1, u1) 7→ (ζ3 u0, u0u1,ζ3u1) 2 2 where v0, v0v1, and v1 are µ3-invariant. Thus the only lifting of µ3-action on Y is given by 2 2 (x, y, z, w) 7→ (ζ3x,ζ3 y,ζ3 z,ζ3w). Therefore, we must understand the deformation theory of these singularities.e Because they are toric Gorenstein threefold singularities, Altmann’s method described in [Alt97] applies to compute the miniversal deformation space. 4 Lemma 4.13. The singularity 0 ∈ Y = (xy = zw) ⊂ A /µ3 with above action of µ3 is isomor- phic to the affine toric Gorenstein threefold singularity V corresponding to the two dimensional polytope Q pictured below. (1, 3) (2, 3)
(0, 0) (1, 0)
′ 3 ′ 3 Proof. Let M = Z be the standard lattice. Let ω ⊂ MR = R be the cone generated by (0, 0, 1), (1, 1, 1), (1, 0, 1), and (0, 1, 1) corresponding to the variables x, y, z, and w. Then the toric variety Y := C[x, y, z, w]/(xy − zw) is isomorphic to Spec C[ω ∩ M ′]. Let N ′ := Hom(M ′, Z)= Z3 and ∨ ′ 3 σ = ω ⊂ NR = R , then computations shows that σ is generated by (1, 0, 0), (0, 1, 0), (0, −1, 1), ′ ande (−1, 0, 1). The µ3-action on Y induces an index 3 sublattice M ⊂ M corresponding to w 3 µ3-invariant monomials. It is clear that xz, x , and x are µ3-invariant. Thus M is generated by (1, 0, 2), (0, 1, 0), (0, 0, 3) whiche correspond to the above three µ3-invariant monomials. Let N = Hom(M, Z) be the dual lattice. Then computing dual basis shows that N is generated 2 1 2 1 by (1, 0, 0), (0, 1, 0), and (− 3 , 0, 3 ). We pick a new basis ~v1 = (1, −1, 0), ~v2 = (− 3 , 0, 3 ), and ~v3 = (0, 1, 0) of N. Then under the basis ~vi, the cone σ is generated by
~v1 + ~v3 = (1, 0, 0), ~v3 = (0, 1, 0), 2~v1 + 3~v2 + ~v3 = (0, −1, 1), and ~v1 + 3~v2 + ~v3 = (−1, 0, 1).
This shows that Y = Y /µ3 corresponds to the polytope Q from the picture as 2 Q = {(a, b) ∈ R | a~v1 + b~v2 + ~v3 ∈ σ}. e The proof is finished. Proposition 4.14. The base of the miniversal deformation space for the singularity 0 ∈ Y is a smooth curve. In particular, the singularity 0 ∈ Y has unobstructed deformations. Proof. A more general result is proved in [Pet21, Proposition 4.4 (ii)]. We provide a proof here for readers’ convenience. The miniversal base space of a toric Gorenstein threefold singularity is determined by the corresponding two-dimensional polytope. Indeed, in [Alt97, Theorem 5.1], Altmann constructs a flat deformation over a base space M from the polytope, and proves it is the miniversal deformation space in [Alt97, Corollary 7.2]. For more information on the construction of M, see [Alt97, Definition 2.2, Theorem 2.4]. f 24 f To obtain equations for the space M, label the edges of the polytope Q in a counterclockwise fashion starting at the origin: d1 = (1, 0), d2 = (1, 3), d3 = (−1, 0), d4 = (−1, −3). Define the 4 k i vector valued polynomial gk(t)= i=1f ti d . The inner products hgk(t), (1, 0)i and hgk(t), (0, 1)i define two polynomials gk,x(t) and gk,y(t). We define the ideal P J = {gk,x(t), gk,y(t) | k ≥ 1}⊂ C[t1,t2,t3,t4]. 4 Let M = Spec C[t1,t2,t3,t4]/J ⊂ A . By [Alt97, Theorem 7.4], M is defined by equations in C[ti − tj], and the miniversal base space M is defined by J ∩ C[ti − tj], or the pre-image of M under the canonical projection C4 → C4/C · (1, 1, 1, 1). i k k k k Plugging in the values of d , we see thatfJ is defined by the equations t1 + t2 − t3 − t4 and k k 3t2 − 3t4, for k ≥ 1 which reduces to t1 − t3 and t2 − t4. Hence, M = Spec C[t1,t2], and 1 M = Spec C[t1 − t2] =∼ A . Therefore, the miniversal base space of the singularity Y is a smooth curve, so Y has unobstructed deformations. f The miniversal base space of the singular point of Xu,0 where L0 deforms in a Q-Gorenstein family is given by the Z/(4)-invariant part of the miniversal base space of Y , which is a proper subspace of M. However, by construction x0 ∈ Xu,0 deforms to o ∈ Xu which admits a smoothing to P3, so the miniversal base space must be at least one-dimensional. Therefore, it must be all of M and wef obtain the following corollary. Corollary 4.15. The singularities x ∈ X and o ∈ X are formally isomorphic. As a result, f 0 u,0 u the singular point o ∈ Xu has unobstructed deformations where L deforms in a Q-Gorenstein family.
To finish the study of the deformation theory of Xu, we must show that there are no local- to-global obstructions in extending the local deformation to a global deformation of Xu, which is done by the following lemma.
Lemma 4.16. There are no local-to-global obstructions for deformations of Xu. 2 Proof. By [Pet19, Proposition 2.3], it suffices to show that H (TXu ) = 0. Using Serre duality, we 1 [1] may show that H (ΩXu (KXu )) = 0. Because KXu is an anti-ample line bundle, this follows from the singular Kodaira-Akizuki-Nakano vanishing theorem in [GKP14, Proposition 4.3.2].
Corollary 4.17. The Q-Fano threefold Xu has unobstructed deformations where L deforms in a Q-Gorenstein family, and the miniversal base space is a smooth curve. Moreover, any small sm 3 deformation of Xu in M3,64 is isomorphic to P or Xu. Proof. This follows from Corollary 4.15 and Lemma 4.16. 9 H Definition-Proposition 4.18. Let c ∈ ( 13 , 1) be a rational number. Let u,c be the locally K closed substack of Mc with reduced structure parametrizing K-semistable pairs (X,cS) where ∼ K X = Xu. Then Hu,c is a closed substack of Mc . K Denote by Hu,c the good moduli space of Hu,c. Then Hu,c is a closed subscheme of Mc that is isomorphic to the GIT quotient P // SL(2, C).
Proof. We first show that Hu,c is closed which follows from the existence part of valuative K criterion for properness of the map Hu,c ֒→ Mc . Let (X , cS) → C be a Q-Gorenstein family of K-semistable log Fano pairs over a smooth pointed curve 0 ∈ C such that KX /C + S ∼C 0 and Xt =∼ Xu for any t ∈ C \ {0}. It suffices to show that X0 =∼ Xu as well. ◦ ◦ ◦ ◦ Denote by C := C \ {0}, X := X ×C C , and S := S|X ◦ . After replacing (0 ∈ C) by a ◦ ◦ quasi-finite cover if necessary, we may assume that X =∼ Xu × C . Recall from the proof of 25 Theorem 4.11(2) that there is a universal family (Xu × A, SA) → A parametrizing (Xu,S(A,B)) for (A, B) ∈ A. Hence by a family version of Lemma 4.10, we can find a map γ◦ : C◦ → A such ◦ ◦ ∼ ◦ ◦ ◦ that (X , S ) = (Xu ×A, SA)×γ C . Since (Xt, cSt) is K-semistable for t ∈ C , Theorem 4.11(2) implies that St is the birational transform of S(A,B) where (A, B) ∈ A \ {0} is GIT semistable. ◦ ◦ ◦ ss ss Hence γ factors as γ : C → A ֒→ A. Since A // (SL(2, C) × Gm) =∼ P // Gm is proper, after ◦ replacing (0 ∈ C) by a further quasi-finite base change we can find g : C → SL(2, C) × Gm and ′ ss ′ ◦ γ : C → A such that γ |C◦ = g · γ . In particular, we have a K-semistable log Fano family ′ ′ ◦ ∼ ◦ ◦ (Xu × C, cS ) := (Xu × A, cSA) ×γ′ C over C such that (Xu × C, cS ) ×C C = (X , cS ). Thus ′ (Xu, cS0) and (X0, cS0) are S-equivalent K-semistable log Fano pairs, and by [BX19] they admit ′′ ′′ ′′ a common K-polystable degeneration (X , cS ). By Theorem 4.11(2), we have that X =∼ Xu ′′ ′ and S is the GIT polystable degeneration of S0. Hence X0 is isomorphic to Xu as it not only specially degenerates to Xu but also comes from an isotrivial degeneration of Xu. Thus Hu,c is K a closed substack of Mc . Finally, we show that Hu,c is isomorphic to P // SL(2, C). In fact, the universal family ss (Xu × A, SA) ×A A parameterizes c-K-semistable log Fano pairs by Theorem 4.11(2). After ss taking quotient of SL(2, C) × Gm, we get a stack morphism [A /(SL(2, C) × Gm)] → Hu,c. Thus taking good moduli spaces yields a morphism P // SL(2, C) → Hu,c which is bijective by Theorem 4.11. By Corollary 4.17 we know that Hu,c is smooth, so Hu,c is normal. Therefore, P // SL(2, C) → Hu,c is an isomorphism. K 9 Theorem 4.19. The K-moduli spaces Mc has a wall at c = 13 . Moreover, we have − K K 3 (1) The wall crossing morphism φ : M 9 → M 9 replaces [(P , T )] by [(Xu, T0)], and is 13 −ǫ 13 isomorphic near [(Xu, T0)]. + K K (2) The wall crossing morphism φ : M 9 → M 9 replaces [(Xu, T0)] by the divisor 13 +ǫ 13 H 9 . u, 13 +ǫ 9 K K (3) For any c ∈ ( , 1), the birational map M 99K M 9 is an isomorphism over a 13 c 13 +ǫ neighborhood of H 9 . u, 13 +ǫ GIT Proof. (1) Let UT := M \ W8 be an open neighborhood of [T ]. By (3.1), we know that any 3 3 9 [S] ∈ UT \ {[T ]} is slc, thus (P , cS) is K-stable for any c ∈ (0, 1). Since kst(P , T ) = 13 by K 9 K Theorem 4.3, there are open immersions UT ֒→ Mc when c ∈ (0, 13 ) and UT \ {[T ]} ֒→ Mc 9 − K K when c ∈ [ , 1). Thus the map φ : M 9 → M 9 is isomorphic on UT \ {[T ]}. On the other 13 13 −ǫ 13 − 3 hand, we know that φ ([(P , T )]) = [(Xu, T0)] by Proposition 4.7. By Corollary 4.17, we know sm K that M is smooth in a neighborhood of [Xu]. Thus M 9 is normal near [(Xu, T0)] by Lemma 3,64 13 − −1 2.19. By Zariski’s main theorem, we know that (φ ) ([(Xu, T0)]) is connected, thus it has to 3 − be the singleton {[(P , T )]}. Hence φ is an isomorphism near [(Xu, T0)]. + (2) By Theorem 4.11(1) we know that φ contracts H 9 to the point [(Xu, T0)]. It u, 13 +ǫ K 9 suffices to show that any [(X,S)] ∈ M 9 whose -K-polystable replacement is [(Xu, T0)] 13 +ǫ 13 3 3 satisfies X =∼ Xu. By Corollary 4.17, we know that X is isomorphic to P or Xu. If X =∼ P , 9 then by interpolation [ADL19, Proposition 2.13] we know that (X, 13 S) is also K-polystable, a contradiction to the uniqueness of K-polystable degenerations [LWX21]. Hence we have X =∼ Xu. + −1 − (3) Let Uu := (φ ) (φ (UT )). By parts (1) and (2), we have Uu = (UT \ {[T ]}) ⊔ H 9 as u, 13 +ǫ 3 sets. Since every [S] ∈ UT \ {[T } is slc and GIT polystable, Proposition 3.6 implies that (P , cS) is always K-polystable for c ∈ (0, 1). Moreover, Theorem 4.11(2) implies that any pair (Xu,S) 9 K in H 9 is c-K-polystable for any c ∈ ( , 1). Thus there are open immersions Uu ֒→ Mc for u, 13 +ǫ 13 26 9 K K any c ∈ ( , 1), which implies that the birational map M 99K M 9 is an isomorphism over 13 c 13 +ǫ Uu. The proof is finished.
5. Hyperelliptic K3 surfaces In this section, we will use the results from [ADL20] to study K-polystable replacements of GIT the locus Wi in M for i ∈ {0, 1, 2, 3, 4, 6, 7, 8} (see Section 3.3 for the definition). We will show that the first K-moduli wall crossing extracts the divisor Hh birationally by blowing up the i+1 point W0 = {[2Q]}, and subsequential wall crossings precisely replace Wi (i ≥ 1) by Z ⊂ F inside the hyperelliptic divisor Hh as introduced in Section 3.4. 5.1. A cone construction for hyperelliptic K3 surfaces. In this subsection, we provide a cone construction to produce K-polystable threefold pairs from K-polystable surface pairs. This is very useful in constructing the K-polystable replacements of the locus Wi in the GIT moduli space based on the replacements from [ADL20]. Definition 5.1. Let V be a Gorenstein log Del Pezzo surface, that is, a Q-Fano variety of 1 dimension 2 with KV Cartier. Let C ∈ |− 2KV | be an effective Cartier divisor on V . Let X := Cp(V, −KV ) be the projective cone. Let S be the double cover of V branched along C. Then S is naturally embedded into X as an anti-canonical divisor. We denote this construction C 4c+1 1 by (V,cC) := (X, 3 S) where c ∈ [0, 2 ] is a rational number. 1 Theorem 5.2. With the above notation, let c ∈ [0, 2 ) be a rational number. Then (V,cC) is 4c+1 C K-semistable (resp. K-polystable) if and only if (X, 3 S) = (V,cC) is K-semistable (resp. K-polystable).
Proof. We first treat the “only if” part. Assume that (V,cC) is K-semistable. Let VX ⊂ X be the section at infinity. Let Y := Cp(V, −2KV ) be a new projective cone with VY the section at infinity. Then there exists a finite morphism π : X → Y as a double cover branched along ∗ VY and π VY = 2VX . Denote by τ : X → X the involution induced by π. Then it is clear that S is τ-invariant. Denote by D := S/τ as a divisor in Y . Clearly D corresponds to a 4c+1 section of Y such that D|VY = C. The finite morphism π is crepant between (X, S ) and 1 4c+1 1 4c+1 (Y, 2 VY + 3 D). Hence by [LZ20, Zhu20] it suffices to show that (Y, 2 VY + 3 D) is K- 1 semistable. The natural Gm-action on Y degenerates D to D0 as the cone over C. Let r := 2 −c −1 be a positive rational number, hence −2KV ∼Q r (−KV − cC). By [LX20, Proposition 5.3], r r 5 c we know that (Y, (1 − 3 )VY + cD0) is K-semistable. Since 1 − 3 = 6 + 3 , we know that 5 c (Y, ( 6 + 3 )VY +cD) is K-semistable since it admits a K-semistable special degeneration. Similarly, 5 c since VY and D are symmetric, we know that (Y, cVY + ( 6 + 3 )D) is also K-semistable. We 1 4c+1 5 c 5 c know that ( 2 , 3 ) is a convex linear combination of (( 6 + 3 ), c) and (c, ( 6 + 3 )) since the sum 1 5 c of two components are the same and c< 2 < 6 + 3 . Hence by interpolation, we conclude that 1 4c+1 4c+1 (Y, 2 VY + 3 D) is K-semistable. Hence (X, 3 S) is K-semistable. Next we assume that (V,cC) is K-polystable. Since π is a Galois morphism, by [LZ20, Zhu20] 1 4c+1 it suffices to show that (Y, 2 VY + 3 D) is K-polystable. By [LWX21] we can choose a special 1 4c+1 1 4c+1 ′ 1 ′ 4c+1 ′ test configuration (Y, 2 V + 3 D) of (Y, 2 VY + 3 D) whose central fiber (Y , 2 V + 3 D ) is 1 4c+1 5 c K-polystable. In particular, Fut(Y, 2 V + 3 D) = 0. Denote by b := 6 + 3 . By linearity of the generalized Futaki invariant in coefficients and K-semistability of (Y, bVY +cD) and (Y, cVY +bD), we know that (5.1) Fut(Y, bV + cD) = Fut(Y, cV + bD) = 0.
1In later discussions, we will very often assume that V is isomorphic to either P1 × P1 or P(1, 1, 2). 27 By [LWX21, Theorem 1.4], we know that the analogous statement of [LX20, Proposition 5.3] for K-polystability is true (see also [LZ19, Proposition 2.11]). Hence (Y, bVY + cD0) is the K-polystable since (V,cC) is K-polystable. In particular, (Y, bVY + cD0) is the K-polystable special degeneration of (Y, bVY + cD). By [LX14] and [LWX21, Lemma 3.1], (5.1) implies ′ ′ ′ that (Y , bV + cD ) is a K-semistable special degeneration of (Y, bVY + cD). Thus [LWX21, Theorem 1.3] implies that (Y, bVY + cD0) is isomorphic to the K-polystable special degeneration of (Y ′, bV ′ + cD′). Thus we have a sequence of special degenerations ′ ′ ′ (5.2) (Y, bVY + cD) (Y , bV + cD ) (Y, bVY + cD0). ′ ′ ′ By forgetting D, D , and D0, we obtain (Y, bVY ) (Y , bV ) (Y, bVY ). This implies that ′ ′ (Y ,V ) =∼ (Y,VY ). Similarly, since VY and D are symmetric, using the second equality in (5.1) ′ ′ ′ ′ ′ we have that (Y , D ) =∼ (Y,VY ). Thus Y =∼ Y = Cp(V, −2KV ) where both V and D are ′ ′ sections in Y . Moreover, since D|VY = D0|VY , after restricting (5.2) to VY and V we see ∼ ∼ ′ ′ ′ ′ ′ ′ ∼ that (V,C) = (VY , D|VY ) = (V , D |V ). Hence (Y ,V + D ) = (Y,VY + D) which implies that 1 4c+1 (Y, 2 VY + 3 D) is K-polystable. 4c+3 Next we treat the “if” part for K-semistability. Assume that (X, 3 S) is K-semistable, 1 4c+1 which implies the K-semistability of (Y, 2 VY + 3 D) from the above discussion. It suffices to show that (V,cC) is K-semistable. Assume to the contrary that (V,cC) is K-unstable. By Theorem 2.3, there exists a prime divisor E over V such that β(V,cC)(E) < 0. Let vt be the quasi-monomial valuation on Y obtained by taking the (1,t)-linear combination of ordVY and ordE∞ where E∞ is a prime divisor over Y by taking cone over E. For simplicity, denote by 1 4c+1 ∆ := 2 VY + 3 D. Then a simple computation shows that AY (vt)=1+ tAV (E), vt(VY ) = 1, and vt(D) = min{1,tordE(C)}. Hence we have 1 4c + 1 (5.3) A (v )= + tA (E)+ ctord (C) − min{1,tord (C)}. (Y,∆) t 2 (V,cC) E 3 E Next we compute S(Y,∆)(vt). Let LY := OY (VY ). Then for m ∈ Z>0 it is clear that 0 ∼ m 0 m−i H (Y,mLY ) = ⊕i=0H (V, −2iKV ) · s0 , 0 where (s0 = 0) represents the divisor VY , and s ∈ H (V, −2iKV ) corresponds a section in 0 m−i H (Y,iLY ) by taking cone. We have that vt(s · s0 ) = tordE(s) + (m − i) for each non-zero 0 section s ∈ H (V, −2iKV ). Hence we have m 1 0 (5.4) SLY ,m(vt)= 0 h (V, −2iKV )(2itS−KV ,m(ordE) + (m − i)). mh (Y,mLY ) Xi=0 Here we refer to [BJ20] for the definition and properties of Sm-invariants. It is clear that 0 1 3 0 1 2 h (Y,mLY ) ∼ 6 volV (−2KV )m and h (V, −2iKV ) ∼ 2 volV (−2KV )i as m, i → ∞. By taking limit of (5.4) as m →∞, we have that 3 1 (5.5) S (v )= tS (E)+ . LY t 2 −KV 4 2−4c Since −KY − ∆ ∼Q 3 LY and −KV − cC ∼Q (1 − 2c)(−KV ), (5.5) implies that 1 − 2c (5.6) S (v )= tS (E)+ . (Y,∆) t (V,cC) 6 Combining (5.3) and (5.6), we have that c + 1 4c + 1 (5.7) β (v )= tβ (ord )+ ctord (C)+ − min{1,tord (C)}. (Y,∆) t (V,cC) E E 3 3 E Recall that β(V,cC)(ordE) < 0 by our assumption. If ordE(C) = 0, then we see that β(Y,∆)(vt) < 0 for t ≫ 0 which implies that (Y, ∆) is K-unstable by Theorem 2.3, a contradiction. If ordE(C) 6= 0, 28 we choose t = 1 . Then (5.7) implies that β (v ) = tβ (ord ) < 0, again a ordE (C) (Y,∆) t (V,cC) E contradiction. Thus the “if” part for K-semistability is proven. 4c+3 Finally, we treat the “if” part for K-polystability. Assume that (X, 3 S) is K-polystable, 1 4c+1 which implies the K-polystability of (Y, 2 VY + 3 D) from the above discussion. Assume to the contrary that (V,cC) is not K-polystable. By the “if” part for K-semistability, we know that (V,cC) is K-semistable. Let (V ′, cC′) be a K-polystable degeneration of (V,cC). By the “only if” part, we may use the cone construction over (V ′, cC′) to obtain a K-polystable log Fano ′ 1 ′ 4c+1 ′ ′ ′ pair (Y , 2 VY ′ + 3 D ). Then we may take the cone of (V,cC) (V , cC ) as in [LZ19, Proof of 1 4c+1 ′ 1 ′ 4c+1 ′ Proposition 2.11] to produce a K-polystable degeneration (Y, 2 VY + 3 D) (Y , 2 VY ′ + 3 D ) 1 4c+1 which has to be a product test configuration since (Y, 2 VY + 3 D) is K-polystable. By ′ ∼ ′ ′ restricting to VY VY ′ we have that (V,cC) = (V , cC ) is K-polystable. The proof is finished.
Proposition 5.3. Let X be a Q-Fano threefold that is isomorphic to either Xh or P(1, 1, 2, 4). Let S ∼−KX be an effective Cartier divisor on X. If S passes through the cone vertex o of X, then (X,cS) is K-unstable for any c ∈ [0, 1). Proof. Let X → X be the partial resolution by blowing up the cone vertex. Denote by E ⊂ X 1 1 the exceptional divisor. Since X =∼ Cp(V, −KV ) where V is P × P or P(1, 1, 2), we know that 2 AX (E) = 1e and volX,o(E) = (−KV ) = 8. Since S is Cartier and passes through o = cX (E), wee know that ordE(S) ≥ 1. Hence we have 3 3 vol(X,cS),o(E) = (AX (E) − cordE(S)) volX,o(E) ≤ 8(1 − c) . On the other hand, we have 27 (−K − cS)3 = 27(1 − c)3 > vol (E), which implies that c 64 X (X,cS),o (X,cS) is K-unstable by [LL19]. c 5.2. Deformation theory of cones. In this subsection, we show that the allowed deformations of Xh or P(1, 1, 2, 4) are unobstructed, and any such small deformation of Xh (resp. P(1, 1, 2, 4)) 3 3 is isomorphic to itself or P (resp. itself, Xh, or P ). Recall that Xh is the projective anti- canonical cone over P1 × P1. sm Lemma 5.4. The Q-Gorenstein deformations of Xh or P(1, 1, 2, 4) in the moduli stack M3,64 of Q-Gorenstein smoothable Q-Fano varieties are unobstructed. Proof. We consider the deformations only in the smoothable locus, in particular, we only consider deformations induced by the index 1 cover of L, the limit of OP3 (1). In this setting, the 2 deformation theory in [Hac01, Section 3] applies and the obstructions are contained in TQG,X , defined as follows. Let π : Z → X be local index 1 cover of L near x ∈ X, with group G, and let i i 1 i i 1 p : Z → X be the index 1 cover stack. Then, define TZ = Ext (ΩZ , OZ ) and TZ = Ext (ΩZ , OZ ). i i G The Q-Gorenstein smoothable deformations of X are controlled by TQG,X = π∗(TZ) (locally) i i and TQG,X = Ext (LZ , OX ), where LZ is the cotangent complex of the stack. 0 1 By definition, TQG,X = TX , the sheaf TZ is supported on the singular locus of Z and, by 2 [Ser06, Corollary 3.1.13(ii)] the sheaf TZ is supported on the non-lci locus of Z. Furthermore, p q p+q there is a local-to-global spectral sequence H (TQG,X) ⇒ TQG,X, so it suffices to show that p q H (TQG,X)=0 for p + q = 2. First, consider X = Xh. The divisor L is 2-Cartier and passes through the vertex of the cone. A computation shows H2(T 0 ) = H2(T ) = 0, and T 1 is supported on the singular QG,Xh Xh QG,Xh locus of X , a single point, hence H1(T 1 ) = 0. Finally, the index 1 cover of L on X has only h Xh h hypersurface singularities, hence T 2 = 0, so H0(T 2 ) = 0. Therefore, T 2 = 0 and the Z QG,Xh QG,Xh deformations are unobstructed. 29 Now, let X = P(1, 1, 2, 4). The divisor L = OX (2) is 2-Cartier. From the Euler sequence and 2 0 2 cohomology of weighted projective space, we also obtain H (TQG,X )= H (TX ) = 0. Let x ∈ X 1 be the 4 (1, 1, 2) singularity. Away from x, L is Cartier, and near x, a computation shows that 1 1 the index one cover is 2 (1, 1, 0) → 4 (1, 1, 2). In particular, in a neighborhood of x ∈ X, the index one covering p : Z → X is Z = P(1, 1, 2, 2). Let [x : y : z : w] be the coordinates on X and [a : b : u : v] be the coordinates on Z. Noting that Z is a (singular) quadric threefold in P4, we have an exact sequence 1 1 0 → OP4 (−2)|Z → ΩP4 |Z → ΩZ → 0. Dualizing, we obtain 1 0 → TZ → TP4 |Z → OP4 (2)|Z →TZ → 0. 1 Because TZ is mapped onto by the line bundle OP4 (2)|Z = OZ (4) in the weighted coordinates 1 1 on Z, and is supported on the singular locus a = b =0 of Z, P[u:v], we obtain that TZ = OP1 (2). Let us assume the branch locus of p is given by z = 0. By definition and because the canonical covering stack is uniquely determined in the ´etale topology, away from the branch locus of 1 1 G p : Z → X, we have TQG,X = p∗(TZ ) , where G is the action v → −v on the singular locus 1 1 ∼ 1 P[u:v]. As TQG,X is supported on the singular locus x = y =0of X, which is P(2, 4)[w:z] = P[w2:z], 1 G 1 1 we can explicitly compute p∗(T ) , where p := p| 1 : P → P 2 . By computation, Z P[u:v] [u:v] [w :z] 1 1 2 since TZ = OP1 (2), p∗(TZ ) = O(1) ⊕ O. As p is given by the map [u : v] 7→ [u : v ], we 1 can compute the local charts and transition functions for p∗(TZ ). On the local chart where u 6= 0, computation shows that the module OP1 (2) = C[v/u] can be viewed as the OP1 - [w2:z] module C[w2/z] ⊕ v/uC[w2/z], where w2/z = v2/u2. Similarly, on the local chart where v 6= 0, computation shows that the module OP1 (2) = C[u/v] can be viewed as the OP1 - [w2:z] module C[z/w2] ⊕ u/vC[z/w2], where z/w2 = u2/v2. Furthermore, the transition function on 2 2 2 2 OP1 (2)u6=0 = C[v/u] to OP1 (2)v6=0 = C[u/v] is given by multiplication by u /v (and v /u in the other direction), gluing together to give three global sections, u2, uv, and v2. With the OP1 -module structure, we see that the transition functions (from the z 6= 0 chart to the [w2:z] w2 6= 0 chart, and vice versa) become multiplication by w2/z = v2/u2 and multiplication by 2 2 2 1 z/w = u /v , so we see that first summand of p∗(TZ ) is G-invariant and the second is not. 1 G Therefore, p∗(TZ ) = O(1). 1 1 However, this only computes TQG,X on the chart z 6= 0. In order to compute TQG,X on the entire singular locus, we can compute the canonical covering with a different section (branched over a different point), and use the explicitly computed transition functions to glue the them together. Indeed, consider index-one covering using the section z − w2, giving a map p′ : Z → X 2 1 2 such that the branch locus is z = w . This computes TQG,X on the chart z 6= w . By the ′ 1 G 2 2 2 same computation as above, p∗(TZ ) = O(1), given on charts z − w 6=0 by C[w /(z − w )] and w2 6=0by C[(z −w2)/w2] with transition function multiplication by (z −w2)/w2 from z −w2 6= 0 to w2 6= 0 and w2/(z − w2) in the opposite direction. 1 The above calculation computes TQG,X on various charts; now it is a matter of gluing the charts together. Note that the singular locus is covered completely by the charts z 6= 0 1 2 1 (accurately computing TQG,X at all points) and z − w 6= 0 (accurately computing TQG,X at all points). Noting that these coincide on their common intersection, we use the previous 1 descriptions to determine the gluing and transition functions. We then see that TQG,X is given by C[w2/z] on the z 6= 0 chart and C[w2/(z − w2)] on the z − w2 6= 0 chart, and the transition function is given by multiplication by z/w2 · w2/z − w2 = z/z − w2 from z 6= 0 to z − w2 6= 0, 30 and by z − w2/z in the other direction. Then, it is easy to see that there are global sections z 2 1 1 1 and w , so in particular, TQG,X = O(1) and H (TQG,X ) = 0. 2 Finally, the index 1 cover of L on P(1, 1, 2, 4) has only hypersurface singularities, so TZ = 0 0 2 2 and H (TQG,X) = 0. Hence, TQG,X = 0 and the deformations are unobstructed. Lemma 5.5. Let π : X → B be a Q-Gorenstein smoothable Q-Fano family over a smooth pointed curve 0 ∈ B. ∼ 3 (1) If X0 = Xh, then a general fiber Xb is isomorphic to P or Xh. ∼ 3 (2) If X0 = P(1, 1, 2, 4), then a general fiber Xb is isomorphic to P , Xh, or P(1, 1, 2, 4). sm Proof. Since both Xh and P(1, 1, 2, 4) belongs to M3,64, we know that π is obtained by pulling sm sm back the universal family over M3,64 under some morphism B → M3,64. Let η be the generic sm point of B. Since the geometric geometric fiber [Xη¯] ∈ M3,64, by Lemma 3.3 it admits a Q-
Cartier Weil divisor Lη¯ such that 4Lη¯ ∼ −KXη¯ . After replacing 0 ∈ B by a quasi-finite cover, we may assume that Lη¯ is the base change of a Q-Cartier Weil divisor Lη on the generic fiber Xη. Then we can take the Zariski closure L of Lη as a Weil divisor on X . By similar arguments [−4] ∼ [2] to the proof of Lemma 3.3, we have L =B ωX /B, and the sheaves π∗L and π∗L are locally free over B of rank 4 and 10 respectively. 2 [2] Consider the sheaf F := coker(Sym π∗L → π∗L ). Denote by Fb := F ⊗ OB/mb. Since (X0, L0) is isomorphic to (P(1, 1, 2, 4), OP(1,1,2,4) (2)), we know that dim F0 = 1. Since b 7→ dim Fb is upper semi-continuous, we know that there exists an open neighborhood 0 ∈ B′ ⊂ B such ′ [2] [2] that dim Fb ≤ 1 for any b ∈ B . Moreover, since L0 is base point free and π∗L is locally free, [2] ′ we may assume that Lb is base point free (in particular Cartier) for any b ∈ B . If dim Fb = 0, ∼ 3 then Lb is base point free hence Cartier, which implies that Xb = P . If dim Fb = 1, then we may 0 0 [2] pick a basis s0, · · · ,s3 of H (Xb, Lb) and s4 ∈ H (Xb, Lb ) whose image in Fb is non-zero. Since [2] 4 Lb is base point free, we know that [s0, · · · ,s3,s4] defines a finite morphism Xb → P(1 , 2). Since this map is a closed embedding when b = 0, it is of degree 1 for general b. Thus its image is a weighted hypersurface of degree 2, and the map is by taking the normalization. Then a ∼ simple analysis shows that Xb = Xh or P(1, 1, 2, 4).
K 3 The next result shows that there is a smooth open substack of Mc parametrizing P , Xh, K P(1, 1, 2, 4), or Xu. Later on we will see that this open substack is indeed the entire stack Mc (see Proposition 5.13). sm 3 Corollary 5.6. The subset of M3,64 that parametrizes P , Xh, P(1, 1, 2, 4), and Xu is a smooth K open substack. In particular, there exists a smooth open substack of Mc parametrizing (X,S) 3 where X is isomorphic to P , Xh, P(1, 1, 2, 4), or Xu. Proof. This follows from Corollary 4.17 and Lemma 5.4.
Theorem 5.7. Let Kc be the K-moduli stack constructed from [ADL20]. Let Kc → Kc be the µ2-gerbe obtained by taking fiberwise double covers. Then the operation C(·, ·) induces a closed K 1 K c− M M e immersion K 3 1 ֒→ c for any c ∈ ( 3 , 1). Moreover, [(X,S)] ∈ c is contained in the image 4 ∼ if and only if X = Xh or P(1, 1, 2, 4). e Proof. By Theorem 5.2, the cone construction associates a K-semistable pair (X,cS) to a K- 3c−1 semistable pair (V, C). Every morphism B → K 3c−1 from a scheme B corresponds to a 4 4 family of (possibly singular) hyperelliptic quartic K3 surfaces S → B with a fiberwise involution e 3c−1 τ : S → S, such that the τ-quotient (V, C) → B has 4 -K-semistable fibers where C is the 31 branch divisor. Thus we can take the fiberwise cone construction C(·, ·) to obtain a K-semistable K family (X , cS) → B. This gives a morphism fc : K 3c−1 → Mc . We want to show that it is a 4 closed immersion. By Lemma 5.5 and Corollary 5.6, we know that theree exists a reduced locally closed substack sm K sm T of M3,64 parametrizing Xh or P(1, 1, 2, 4). Let πc : Mc → M3,64 be the forgetful map where −1 K πc([(X,S)]) = [X]. We have a locally closed substack Hh,c := πc (T) of Mc . We will show that T is smooth which implies smoothness of Hh,c since πc is smooth by Lemma 2.19. Then we will show that fc maps isomorphically onto Hh,c. Finally, we will show that fc is a closed immersion. The strategy showing smoothness of T is similar to [ADL19, Section 3.6] and [ADL20, Proof 9 of Proposition 5.9]. Let H be the locally closed subscheme of Hilb(P ) parametrizing Xh and P(1, 1, 2, 4) embedded by 2L. Then from loc. cit., we know that T =∼ [H/PGL(10, C)]. Let XH → H be the universal family. Since the embedded Xh and P(1, 1, 2, 4) are projective cones, there exists a section σ : H →XH taking fiberwise cone vertices. Therefore we have a morphism σ g : H → P9 as the composition H −→XH ֒→ P9 × H → P9. It is clear that g is an isotrivial fibration with fiber isomorphic to the Hilbert scheme H′ of anti-canonically embedded P1 × P1 and P(1, 1, 2) in P8. By [ADL20, Proof of Proposition 5.9] we know that H′ is smooth, hence H is also smooth. Thus we obtain the smoothness of T. Next we show that fc maps K 3c−1 isomorphically onto Hh,c. By [ADL20, Theorem 4.8], we 4 know that for any point [(V,C)] ∈ K 3c−1 , the underlying surface V is isomorphic to either e 4 P1 × P1 or P(1, 1, 2). Hence by taking the cone construction C(V, 3c−1 ) = (X,cS), we know that e 4 X is isomorphic to either Xh or P(1, 1, 2, 4). Thus the image of fc is contained in Hh,c. On the other hand, if (X,S) ∈ Hh,c, then Proposition 5.3 implies that S does not pass through the ∼ C 3c−1 cone vertex of X. Hence after an automorphism of X we have (X,cS) = (V, 4 C) where ∼ 1 1 3c−1 V = P × P or P(1, 1, 2). Since (X,cS) is K-semistable, Theorem 5.2 implies that (V, 4 C) is also K-semistable hence belongs to K 3c−1 . As a result, the forgetful map Hh,c → K 3c−1 sending 4 4 [(X,S)] to S provides the inverse of fc : K 3c−1 → Hh,c. e 4 e Finally, we show that fc is a closed immersion. Since we have shown that fc is a locally closed immersion, it suffices to show that fc is finite.e After taking good moduli spaces for fc, there is a K map Fc : K 3c−1 → Mc . Clearly fc is representable, quasi-finite, and separated as it is a locally 4 closed immersion. By Theorem 5.2, we know that fc sends closed points to closed points, and Fc is injective between proper schemes. Thus Fc is finite which implies the finiteness of fc by [Alp13, Proposition 6.4]. The proof is finished.
1 Definition 5.8. Let c ∈ ( 3 , 1) be a rational number. By Theorem 5.7, there exists a closed K immersion K 3c−1 ֒→ Mc of Artin stacks. By taking good moduli spaces, we obtain a closed 4 K immersion K 3c−1 ֒→ Mc . Let Hh,c (resp. Hh,c) be the image of the closed embedding in e 4 the K-moduli space (resp. K-moduli stack). Equivalently, by Theorem 5.7 Hh,c (resp. Hh,c) ∼ is the locus parametrizing K-polystable (resp. K-semistable) pairs (X, cD) where X = Xh or P(1, 1, 2, 4).
5.3. K-polystable replacements. In this section, we describe all K-polystable replacements GIT 3 of the locus W8 inside M . In particular, we show that the replacements of (P ,S) where ′ ′ ′ 1 1 [S] ∈ W8 is either (Xh,S ) or (P(1, 1, 2, 4),S ). Here S is a double cover of P × P or P(1, 1, 2). 2 By Theorem 3.9, every [S] ∈ W8 is defined by S = (q + g = 0) where q is a degree 2 polynomial and g is a degree 4 polynomial. There is a natural closed embedding of such a log 32 3 4 pair (P ,S) with into the weighted projective space P(1 , 2) with coordinates [x0,x1,x2,x3, z] such that the image is given by (V (z − q),V (z − q, z2 + g)). We start with the K-polystable replacement of [2Q]. Proposition 5.9. Let S = 2Q where Q ⊂ P3 is a smooth quadric surface. Let c ∈ (0, 1) be a 3 1 rational number. Then (P , cS) is K-semistable (resp. K-polystable) if and only if c ≤ 3 (resp. 1 3 1 1 < 3 ). Moreover, the K-polystable degeneration of (P , 3 S) is isomorphic to (Xh, 3 S0) where S0 = 2Q∞ and Q∞ is the section of Xh = Cp(Q, −KQ) at infinity. 3 1 Proof. We first show that if (P , cS) is K-semistable, then c ≤ 3 . Computation shows that 1/2 3 1 − c A 3 (ord ) = 1 − 2c, S 3 (ord ) = (4 − 4c) (1 − 2t) dt = . (P ,cS) Q (P ,cS) Q 2 Z0 1 By Theorem 2.3, we have A(P3,cS)(ordQ) ≥ S(P3,cS)(ordQ) which implies that c ≤ 3 . 3 1 1 3 Next, we show that (P , 3 S) special degenerates to (Xh, 3 S0). We may embed (P ,S) into 4 2 2 2 P(1 , 2) with image (V (z − q),V (z − q, z )) where q = x0x1 + x2 + x3. Consider a 1-PSσ ˜ in 4 SL(4, C)×Gm of weight (0, 0, 0, 0, −1) acting diagonally on P(1 , 2). Thenσ ˜ specially degenerates 3 1 1 2 1 (P , 3 S) to (V (q), 3 V (q, z )) which is isomorphic to (Xh, 3 S0). Since Q admits KE metrics, by 1 [LL19] we know that (Xh, 3 S0) admits a conical KE metric hence is K-polystable. This implies 3 1 that (P , 3 S) is K-semistable by openness of K-semistability [BLX19, Xu20b]. Since S = 2Q is GIT polystable, Theorem 3.4 implies that (P3,ǫS) is K-polystable for 0 < ǫ ≪ 1. Hence 3 1 interpolation for K-stability implies that (P , cS) is K-polystable for any c ∈ (0, 3 ). The proof is finished. 2 Theorem 5.10. Let [S] ∈ W8 \ {[2Q]} be a GIT polystable point with S = (q + g = 0) as in Theorem 3.9. Let V = (q = 0) and C = V (q, g) be a quadric surface and a (2, 4)-complete intersection curve in P3, respectively. Denote by c := kst(P3,S). Then we have the following. 3c−1 (1) The log Fano pair (V, 4 C) is K-semistable but not K-polystable. 3c−1 (2) There exists a 1-PS σ in SL(4, C) that induces a K-polystable degeneration (V0, 4 C0) 3c−1 3 of (V, 4 C) in P . 4 (3) There exists a 1-PS σ˜ in SL(4, C) × Gm acting diagonally on P(1 , 2) such that the SL(4, C)-component of σ˜ is a positive rescaling of σ, and σ˜ induces a K-polystable C 3c−1 3 4 degeneration (V0, 4 C0) of (P , cS) in P(1 , 2). Moreover, the K-semistable thresholds and the destabilizing 1-PS’ in SL(4, C) × Gm are given in ◦ 3 ◦ Table 1, where 0 < α ≪ 1 and kst(Wi ) := kst(P ,S) for any [S] ∈ Wi .
2 ◦ Proof. Let S = (q +2g = 0) be a GIT polystable quartic surface in Wi for i ∈ {1, 2, 3, 4, 6, 7, 8}. As mentioned earlier, the pair (P3,S) admits an embedding into P(14, 2) given by the equations (V (z − q),V (z − q, z2 + g)). The pair (V,C) = (V (q),V (q, g)) ⊂ P3 provides a threefold pair (X,S′) := C(V,C). It is clear that (X,S′) admits a embedding into P(14, 2) given by the equations (V (q),V (q, z2 + g)). According to [LO21, Theorem 6.2, Proposition 6.6, and Table 2], ◦ for each i ∈ {1, 2, 3, 4, 6, 7, 8} and [S] ∈ Wi , there exists a 1-PS σ of SL(4, C) acting diagonally 3 on P and a rational number ti−1 depending on i such that the following properties hold in the context of VGIT from [LO21, Section 6].
• (V,C) is GIT polystable at slope (ti−1 − ǫ) for 0 <ǫ ≪ 1, and is GIT semistable but not polystable at slope ti−1; • σ degenerates (V,C) to a GIT polystable pair (V0,C0) at slope ti−1. Here the correspondence between i and ti−1 are given in the following table. Indeed, the σ from [LO21, Table 2] matches the SL(4, C)-component ofσ ˜ from Table 1 up to positive rescaling. 33 ◦ Table 1. K-polystable replacements of Wi
◦ ◦ i kst(Wi ) Sing. of S in Wi Destabilizing 1-PS 1 0 3 double quadric (0, 0, 0, 0, −1) 1 1 2 two quadrics tangent along a conic (1, α, 2α − 1, −3α, −6α) 3 2 5 cuspidal along a conic (1, α, 2α − 1, −3α, −4α) 2 3 3 J4,∞ (7, 3, −1, −9, −10) 5 4 7 J3,0, J3,r, or J3,∞ (3, 1, −1, −3, −3) 3 6 4 E14 (17, 5, −7, −15, −14) 7 7 9 E13 (11, 3, −5, −9, −8) 9 8 11 E12 (8, 2, −4, −6, −5)
Table 2. VGIT slopes and K-semistable thresholds
i 1 2 3 4 6 7 8 1 1 3 1 5 3 2 VGIT slope: ti−1 6 4 10 3 14 8 5 kst(W ◦): 1+2ti−1 1 3 2 5 3 7 9 i 3−2ti−1 2 5 3 7 4 9 11
By [ADL20, Theorem 1.1(2)], we know that (V, 2ti−1 C) is K-semistable but not K-polystable, 3−2ti−1 whose K-polystable degeneration is (V , 2ti−1 C ). Let c := 1+2ti−1 which depends on the choice 0 3−2ti−1 0 3−2ti−1 of i. Hence Theorem 5.2 implies that (X , cS ) := C(V , 2ti−1 C ) is K-polystable. Suppose 0 0 0 3−2ti−1 0 3 2 4 (V0,C0) = (V (q0),V (q0, g0)) ⊂ P . Then clearly (X0,S0) = (V (q0),V (q0, z + g0)) ⊂ P(1 , 2). 2 We choose the Gm-component ofσ ˜ so that the weight of z is the same as the weight of g0, while the weight of z is smaller than the weight of q0. It is straightforward to check that the column ofσ ˜ from Table 1 satisfies this property. Thus we know thatσ ˜ degenerates both (P3, cS) and ′ (X,cS ) to the K-polystable pair (X0, cS0). By openness of K-semistability [BLX19, Xu20b], 3 this implies that (P , cS) is K-semistable but not K-polystable, as X0 is either Xh or P(1, 1, 2, 4) so P3 =6∼ X . Thus c = kst(P3,S)= 1+2ti−1 is listed in the last row of Table 2 for every quartic 0 3−2ti−1 ◦ surface [S] ∈ Wi . The proof is finished. K 5.4. K-moduli wall crossings. Recall from Theorem 3.8 that K-moduli spaces Mc display wall crossing phenomena as we vary c. The goal of this subsection is to completely describe all ± K K K-moduli walls {ci}1≤i≤k−1 and all wall crossing birational morphisms φi : Mci±ǫ → Mci . We ± first give a definition of the exceptional loci of φi . ± Definition 5.11. For each K-moduli wall ci ∈ (0, 1), the exceptional locus Ei is defined as ± K Ei := {[(X,S)] ∈ Mci±ǫ | (X,S) is (ci ± ǫ)-K-polystable but not ci-K-polystable}. ± K By [ADL19, Theorem 1.2], we know that Ei is a Zariski closed subset of Mci±ǫ. We start from describing the first wall crossing.
34 MK 1 Theorem 5.12 (First wall crossing). The first wall of K-moduli stacks c is c1 = 3 . The first wall crossing has the following description. 1 MK ∼ MGIT K ∼ GIT (1) For any 0 K ∼ GIT Proof. We first prove part (1). It follows from Theorem 3.4 that we have Mǫ = M for K 0 <ǫ ≪ 1. By Proposition 3.6, the K-moduli stack Mc is irreducible. Hence it suffices to show 3 3 1 that any GIT semistable quartic surface S ⊂ P satisfies kst(P ,S) ≥ 3 . Let S0 be the GIT polystable degeneration of S. Then by openness of K-semistability [BLX19, Xu20b], we know 3 3 3 that kst(P ,S0) ≤ kst(P ,S). If S0 is slc, then Lemma 3.5 implies that kst(P ,S0)=1. If S0 is GIT 3 1 not slc, then either [S0] = [T ] or [S0] ∈ W8 in M . Thus we have kst(P ,S0) ≥ 3 by Theorems 4.3 and 5.10. This finishes the proof of part (1). ± For part (2), Theorem 3.8 implies that φ1 are projective and birational, hence surjective. By Theorems 4.3 and 5.10, we know that the only GIT polystable quartic surface S with 3 1 − 3 kst(P ,S) = 3 is the double quadric surface [S] = [2Q]. Hence φ1 only replaces (P , 2Q) by K (Xh, 2Q∞) by Proposition 5.9. Since Mc is irreducible, by [ADL19, Theorem 1.2] the morphism − K 3 φ is projective and bijective. Since any closed point [(X,S)] of M 1 satisfies that X =∼ P or 1 3 K K − Xh, Corollary 5.6 implies that M 1 is smooth. Hence M 1 is normal, and φ is an isomorphism 3 3 1 by Zariski’s main theorem. For part (3), we use the deformation theory of Xh. By Theorem 5.7 and Definition 5.8, there K is a closed embedding Kǫ/4 ֒→ M 1 +ǫ whose image is a prime divisor denote by H 1 . By 3 h, 3 +ǫ [ADL20, Theorem 1.1(1)], we know that H 1 parametrizes (Xh,S) where S is a double cover h, 3 +ǫ 1 1 of P × P branched along a GIT polystable (4, 4)-curve D. Since (Xh,S) admits a special de- + generation to (Xh, 2Q∞), we know that φ (H 1 ) = [(Xh, 2Q∞)]. Thus H 1 is contained in 1 h, 3 +ǫ h, 3 +ǫ + + −1 + + E1 = (φ1 ) ([(Xh, 2Q∞)]). On the other hand, if (X,S) ∈ E1 i.e. φ1 ([(X,S)]) = [(Xh, 2Q∞)], ∼ 3 then X admits a special degeneration to Xh. Thus Lemma 5.5 implies that X = P or Xh. If ∼ 3 1 ∼ X = P , then (X, 3 S) is K-polystable by interpolation, a contradiction. Thus we have X = Xh + and hence [(X,S)] ∈ H 1 by Theorem 5.7. Thus we have H 1 = E . h, 3 +ǫ h, 3 +ǫ 1 K 1 The following result shows that all but one K-moduli wall crossings of Mc for c ∈ ( 3 , 1) are directly induced by those of Hh,c, i.e. the divisor parametrizing hyperelliptic K3 surfaces. 1 K Proposition 5.13. Let c ∈ ( 3 , 1) be a rational number. Then any point in Mc \ Hh,c is either 3 ′ ′ [(P ,S)] where S is a GIT polystable quartic surface, or [(Xu,S )] where S is an anti-canonical divisor on Xu. 1 Proof. We do induction on the K-moduli walls. When c = 3 + ǫ, by Theorem 5.12 we know that K GIT Mc = (M \ {[2Q]}) ∪ Hh,c. Assume that we hit a K-moduli wall ci such that the statement 35 1 is true for any 3 − + K φi K φi K Mci−ǫ −−→ Mci ←−− Mci+ǫ. We first show that the statement is true for c = ci. Indeed, all ci-K-polystable replacements 3 K of Hh,ci−ǫ belongs to Hh,ci by Theorem 5.7. For [(P ,S)] ∈ Mci−ǫ \ Hh,ci−ǫ and [S] ∈ W8, 3 its K-polystable replacement belongs to Hh,ci by Theorem 5.10. For (P , T ), its K-polystable 9 replacement at ci = 13 is (Xu, T0). Since any Fano threefold appearing in Hh,ci is either Xh or MK P(1, 1, 2, 4), Lemma 5.4 implies that ci is a smooth stack. Thus the statement holds for c = ci. MK MK Next, we show that the statement is true for c = ci +ǫ. Since ci+ǫ is an open substack of ci , K it is also a smooth stack. Assume that [(X,S)] ∈ Mci+ǫ \ Hh,ci+ǫ. If(X,S) is ci-K-polystable, 3 then it is also (ci − ǫ)-K-polystable by [ADL19, Proposition 3.18]. Thus X =∼ P or Xu. If (X,S) is not ci-K-polystable, then let (X0,S0) be its ci-K-polystable replacement. Then either ∼ ∼ (X0,S0) ∈ Hh,ci or (X0,S0) = (Xu, T0). In the first case, we know that X0 = Xh or P(1, 1, 2, 4) ∼ 3 which implies that X = P , Xh, or P(1, 1, 2, 4) by Lemma 5.5. In fact, X cannot be isomorphic 3 ∼ to P since otherwise (X, ciS) is K-polystable by interpolation, a contradiction. Thus X = Xh or P(1, 1, 2, 4) which implies that [(X,S)] ∈ Hh,ci+ǫ by Theorem 5.7, again a contradiction. In 3 the second case, by Corollary 4.17 we have that X =∼ P or Xu. Hence the proof is finished. The following theorem summarizes the results we have obtained, which provides a detailed K description of wall crossings for K-moduli spaces Mc . K K Theorem 5.14. The K-moduli space Mc (resp. K-moduli stack Mc ) is irreducible and normal K (resp. smooth) for any c ∈ (0, 1). Moreover, the list of K-moduli walls of Mc is given as follows. 1 1 3 2 9 5 3 7 9 (5.8) (c , c , · · · , c )= , , , , , , , , . 1 2 9 3 2 5 3 13 7 4 9 11 In the below, we give precise description of the wall crossing morphisms. 1 (1) When c = c1 = 3 , the K-moduli wall crossing is a weighted blow-up at [2Q] with + exceptional divisor E1 being the birational transform of Hh. 9 (2) When c = c5 = 13 , the K-moduli wall crossing is a weighted blow-up at [T ] with + exceptional divisor E5 being the birational transform of Hu. 1 3 2 5 3 7 9 (3) When c = ci ∈ { 2 , 5 , 3 , 7 , 4 , 9 , 11 }, i.e. 2 ≤ i ≤ 9 and i 6= 5, K-moduli wall crossings − are flips. Moreover, if i ∈ {2, 3, 4, 7, 8, 9} (resp. if i = 6) then the exceptional locus Ei + is the birational transform of Wi−1 (resp. Wi−2), while Ei is the birational transform of Zi (resp. Zi−1). Proof. By Theorem 5.12 and Proposition 5.13, we know that the only possible Fano threefolds K 3 K appearing in Mc are P , Xh, P(1, 1, 2, 4), or Xu for any c ∈ (0, 1). Thus the smoothness of Mc K and normality of Mc follow from Corollary 5.6, while irreducibility is proven in Proposition 3.6. K Next, we turn to the list of K-moduli walls. By Proposition 5.13, a K-moduli wall ci of Mc 3 either satisifies ci = kst(P ,S) for some [S] ∈ W8 ∪ {[T ]}, or it is a wall of the K-moduli spaces ∼ 9 K 3c−1 = Hh,c from [ADL20], as there are no wall crossings on Hu,c when c ∈ ( , 1) by Theorem 4 13 4.19. In the former case, we precisely obtain the right-hand-side of (5.8). In the latter case, by 3c−1 1 1 1 2 5 1 4 [ADL20, Remark 5.13] the collection of walls is {c | 4 ∈ { 8 , 5 , 4 , 7 , 16 , 3 , 11 }}, which equals 1 3 2 5 3 7 9 { 2 , 5 , 3 , 7 , 4 , 9 , 11 } as a subset of the right-hand-side of (5.8). Thus we have verified the list of all K-moduli walls (5.8). 36 Next, we characterize the K-moduli wall crossing morphisms. Part (1) follows from Theorem 5.12. Part (2) follows from Theorems 4.11 and 4.19. We focus on part (3). Let j := i − 1 (resp. j := i − 2) when i ∈ {2, 3, 4, 7, 8, 9} (resp. when i = 6). By Theorem 5.10 and Proposition − − + ◦ ∼ − 5.13, we know that E = W ⊔ (E ∩ Hh,ci−ǫ) as sets, and E ⊂ Hh,ci+ǫ. Since Hh,c = K 3c 1 i j i i 4 ± C by Theorem 5.7, we know that Ei ∩ Hh,ci±ǫ is isomorphic (via the operation (·, ·)) to the ′± 3c −1 exceptional locus E of K ′ → K ′ where c′ := i . By [ADL20, Theorem 1.1], the locus i ci±ǫ ci i 4 ′ ′± 3ci E is the same as the VGIT exceptional locus of slope ti := ′ for (2, 4) complete intersections i 2ci+2 3 ′− −1 in P . By [LO21, Theorem 1.1], we know that E is the strict transform of ρ∗ Wj ∩ H 1 , i h, 3 +ǫ ′+ j+1 − + while Ei is the strict transform of Z . Thus we see that Ei (resp. Ei ) is the strict transform j+1 of Wj (resp. Z ). The proof is finished. 6. Proof of main theorems In this section we present proofs of main theorems. 6.1. CM line bundles on K-moduli spaces. In this subsection, we compute the log CM K Q-line bundles on the K-moduli spaces Mc , and prove Theorem 1.1. The following result describes the locus of K3 surfaces with Du Val singularities inside K- moduli stacks and spaces. Proposition 6.1. Let c ∈ (0, 1) be a rational number. There exists a saturated open substack K,◦ K Mc of Mc consisting of c-K-stable log pairs [(X,S)] where S has Du Val singularities. More- K,◦ K,◦ over, Mc is a smooth Deligne-Mumford stack with coarse moduli space Mc . The birational K 99K ◦ K,◦ period map pc : Mc F for boundary divisors induces an open immersion pc : Mc ֒→ F satisfying the following properties. K,◦ K (1) Mc is a big open subset of Mc for any c ∈ (0, 1). 9 none if c ∈ ( 13 , 1); F ◦ K,◦ 1 9 (2) The divisorial components of \ pc (Mc ) are Hu if c ∈ ( 3 , 13 ]; 1 Hh ∪ Hu if c ∈ (0, 3 ]. (3) p◦ is an isomorphism if and only if c ∈ ( 9 , 1). c 11 K,◦ K Proof. We first show that Mc is a saturated open substack of Mc . By the openness of K- lc K stability [BLX19] and lower semi-continuity of lct, there exists an open substack Mc of Mc parametrizing c-K-stable log pairs (X,S) that are log canonical. By applying adjunction, we lc obtain a Q-Gorenstein universal family S → Mc with fibers being semi-log-canonical surfaces with trivial canonical divisor. Since klt is an open condition in Q-Gorenstein families, and K,◦ Gorenstein klt is the same as having ADE singularities for surfaces, we know that Mc is an lc K K,◦ open substack of Mc and hence an open substack of Mc . Since Mc consists of K-stable log K,◦ pairs, every point is closed with finite stabilizers. Hence we know that Mc is a saturated open K Deligne-Mumford substack of Mc . By taking period map for boundary divisors, we obtain a K,◦ ◦ K,◦ morphism Mc → F which descends to a morphism pc : Mc → F. ◦ ◦ Since pc is birational, so is pc . Next we show that pc is injective on closed points. By global ′ ′ K,◦ ′ Torelli theorem it suffices to show that if (X,S) and (X ,S ) both belong to Mc and S =∼ S as polarized K3 surfaces, then (X,S) =∼ (X′,S′). This clearly holds when S and S′ are quartic surfaces in P3. If S and S′ are hyperelliptic, then their quotients (V,C) and (V ′,C′) by the hyperelliptic involutions are isomorphic. By Theorem 5.7 and Proposition 5.13, we know that ∼ C 3c−1 ∼ C ′ 3c−1 ′ ∼ ′ ′ ′ (X,cS) = (V, 4 C) = (V , 4 C ) = (X , cS ). If S and S are unigonal, then Proposition 37 ∼ ′ ∼ ∼ ′ ′ ◦ 5.13 implies that X = X = Xu, and hence (X,S) = (X ,S ) by Lemma 4.10. Thus pc is injective on closed points. By Zariski’s main theorem and normality of K-moduli spaces (Theorem 5.14), ◦ we conclude that pc is an open immersion. 1 Next we turn to parts (1) – (3). For part (1), if c ∈ (0, 3 ], then by Lemma 3.5 and Theorem K,◦ ∼ ◦ K ∼ GIT K,◦ 5.12 we know that Mc = M under the isomorphism Mc = M , which implies that Mc K 1 is a big open subset of Mc . If c > 3 , then a general hyperelliptic K3 surface S ⊂ Xh satisfies 9 that (Xh, cS) is K-stable by Theorem 5.7 and [ADL20, Theorem 1.1]. If c> 13 , then a general ′ ′ unigonal K3 surface S ⊂ Xu satisfies that (Xu, cS ) is K-stable by Theorem 4.19. Thus we know K,◦ 1 9 that Mc has non-empty intersection with Hh,c (resp. Hu,c) if c > 3 (resp. if c > 13 ). Since ◦ K,◦ there is an open immersion M ֒→ Mc for any c by Lemma 3.5, and all but two wall crossings K,◦ K are flips by Theorem 5.14, we know that Mc is a big open subset of Mc for any c ∈ (0, 1). ◦ ∼ Part (2) follows for similar reasons to part (1) as M = F \ (Hh ∪ Hu) under p. For part (3), ◦ 9 since pc is an open immersion, it suffices to show that it is surjective if and only if c ∈ ( 11 , 1). F ∼ ◦ K,◦ K,◦ 9 We know that \ (Hh ∪ Hu) = M ֒→ Mc for any c, and Hu ⊂ Mc if and only if c> 13 by ◦ Theorem 4.19. Thus the surjectivity of pc is equivalent to the containment Hh ⊂ Hh,c. Since ∼ Hh,c = K 3c−1 by Theorem 5.7, from the explicit wall crossings for K-moduli of hyperelliptic 4 quartic K3 surfaces (see [ADL19, Remarks 5.13 and 5.14] and [LO21, Section 6]) we know that 3c−1 4 9 Hh ⊂ Hh,c if and only if 4 > 11 , i.e. c> 11 . Thus the proof is finished. Next, we recall the definition of log CM line bundles on K-moduli stacks and spaces from [ADL19, Definition 3.34]. By the construction of K-moduli stacks from [ADL19, Section 3], we K red red may write Mc = [Zc /PGL(N + 1)] where Zc is a reduced locally closed subscheme of certain N K red relative Hilbert scheme in P parametrizing c-K-semistable pairs in Mc . Let πc : (Xc, Dc) → Zc be the universal family. Let c′ ∈ (0, 1) be a rational number. Then the log CM Q-line bundle ′ red λCM,πc,c Dc (resp. the Hodge Q-line bundle λHodge,πc,Dc ) on Zc descends to a Q-line bundle K λc,c′ (resp. λc,Hodge) on Mc . We simply denote λc := λc,c. By [ADL19, Proposition 3.35], we K know that λc descends to a Q-line bundle Λc on Mc for any c ∈ (0, 1). Moreover, if c ∈ (0, 1) is not a K-moduli wall listed in Theorem 5.14, then both λc,c′ and λc,Hodge descend to Q-line K bundles Λc,c′ and Λc,Hodge on Mc . By [XZ20], we know that the CM Q-line bundle Λc is ample K K on Mc for any c ∈ (0, 1). Moreover, the Hodge Q-line bundle Λc,Hodge is nef on Mc for any 9 c ∈ ( 11 , 1) by Theorem 5.14 and [ADL19, Proposition 3.35]. F K 1 9 Theorem 6.2. Let λ be the Hodge line bundle on . Let ∆ := 4 Hh + 8 Hu. Then for any c ∈ (0, 1) ∩ Q we have K ∼ K Mc = Proj R(F, cλ + (1 − c)∆ ). K −1 K Moreover, the CM Q-line bundle Λc on Mc is proportional to (pc )∗(cλ + (1 − c)∆ ) up to a positive constant. K 99K K Proof. From Theorem 5.14, we know that the birational map Mc′ Mc is a birational ′ contraction for any 0 9 Since λ|Hu is ample but not Q-trivial, equations (6.4) and (6.5) imply that bu = 8 . ◦ 2 Finally, we compute bh. Denote by Hh := Hh \ Z parametrizing hyperelliptic K3 surfaces S with ADE singularities that are double covers of P1 × P1. By Theorem 5.12, we know that 1 (Xh, ( 3 + ǫ)S) is K-stable. Thus interpolation [ADL19, Proposition 2.13] implies that (Xh, cS) 1 ◦ + ∗ is K-stable for any c ∈ ( , 1), i.e. H ⊂ Hh,c. Similar to the Hu case, we have Λ 1 1 = (φ ) Λ 1 3 h 3 +ǫ, 3 1 3 ◦ K K ◦ which is trivial along H , and M 99K M 1 is isomorphic near H . Thus (6.2) implies h 1−ǫ 3 +ǫ h 1 2 1 (6.6) 0 = λ + (bhHh + buHu) = (λ + 2bhHh)| ◦ . Hh 3 3 H◦ 3 h Meanwhile, (6.3) implies that 1 (6.7) (λ + Hh)|H◦ = 0. 2 h ◦ It is clear that H is a big open subset of H 1 which is isomorphic to the GIT moduli space h h, 3 +ǫ 1 1 of (4, 4)-curves on P × P , and H 1 restricting to itself is anti-ample as it is the exceptional h, 3 +ǫ 39 K GIT divisor of the weighted blow-up M 1 → M , thus Hh|H◦ is anti-ample but not Q-trivial. 3 +ǫ h 1 This combining with (6.6) and (6.7) implies that bh = 4 . 2 1 1 Lemma 6.3. For any ǫ ∈ (0, 11 ) ∩ Q, a ∈ (0, 9 ) ∩ Q, and b ∈ (0, 2 ) ∩ Q, we have K ∼ F a b ∼ F M1−ǫ = Proj R( , λ + 2 Hh + 2 Hu) = . Proof. We focus on the first isomorphism, as the second isomorphism is an easy consequence b of [LO18, Proposition 17] where it is shown that F =∼ Proj R(F, λ + ǫ∆) for 0 < ǫ ≪ 1. By K 2 K Theorem 5.14, we know that M1−ǫ is independent of the choice of ǫ ∈ (0, 11 ) ∩ Q. Since M1−ǫ F b −1 1 and are isomorphic in codimension 1, it suffices to show that (p1−ǫ)∗(λ + 2 (aHh + bHu)) is K 2 1 1 ample on M1−ǫ for ǫ ∈ (0, 11 ) ∩ Q, a ∈ (0, 9 ) ∩ Q, and b ∈ (0, 2 ) ∩ Q. We split into two cases. 9 1 2a 2 K 1 9 Case 1: b ≤ 2 a. Since a< 9 , we may choose ǫ := 1+2a < 11 . As∆ = 4 Hh + 8 Hu, we have 1 2b 2b a (6.8) λ + (aH + bH )= (λ + 2a∆K) + (1 − )(λ + H ). 2 h u 9a 9a 2 h −1 K −1 K By Theorems 5.14 and 6.2, (p1−ǫ)∗(λ + 2a∆ ) = (1 + 2a)(p1−ǫ)∗((1 − ǫ)λ + ǫ∆ ) is a positive K multiple of the CM Q-line bundle Λ1−ǫ on M1−ǫ hence is ample by [XZ20]. As we men- −1 K tioned earlier, (p1−ǫ)∗λ = Λ1−ǫ,Hodge is nef on M1−ǫ. Thus by (6.8) it suffices to show that −1 a a K (p1−ǫ)∗(λ + 2 Hh) = Λ1−ǫ,Hodge + 2 Hh,1−ǫ is nef on M1−ǫ. Since Λ1−ǫ,Hodge is nef and Hh,1−ǫ a is effective Q-Cartier, it suffices to show that (Λ1−ǫ,Hodge + 2 Hh,1−ǫ)|Hh,1−ǫ is nef. By Theorem 5.14, we know that Hh,1−ǫ and Hu,1−ǫ are disjoint. Thus a a 9a (Λ + H )| = (Λ + H + H )| 1−ǫ,Hodge 2 h,1−ǫ Hh,1−ǫ 1−ǫ,Hodge 2 h,1−ǫ 4 u,1−ǫ Hh,1−ǫ is a positive multiple of Λ1−ǫ|Hh,1−ǫ which is ample. Thus Case 1 is proved. 9 1 4b 2 Case 2: b> 2 a. Since b< 2 , we may choose ǫ := 9+4b < 11 . Then we have 1 9a 4b 9a b λ + (aH + bH )= (λ + ∆K) + (1 − )(λ + H ). 2 h u 2b 9 2b 2 u −1 4b K 4b −1 K Similarly to Case 1, (p1−ǫ)∗(λ + 9 ∆ ) = (1+ 9 )(p1−ǫ)∗((1 − ǫ)λ + ǫ∆ ) is ample as a positive multiple of the CM Q-line bundle Λ1−ǫ. Thus it suffices to show the nefness of b (Λ1−ǫ,Hodge + 2 Hu,1−ǫ)|Hu,1−ǫ as Hu,1−ǫ is also effective Q-Cartier. This again follows from the disjointness of Hh,1−ǫ and Hu,1−ǫ and the ampleness of Λ1−ǫ|Hu,1−ǫ . Thus Case 2 is proved. Proof of Theorem 1.1. Part (1) is a consequence of Theorem 5.12. Part (4) is exactly Theo- rem 6.2. Part (4) follows from Theorem 5.14. Hence we only need to prove part (3). By construction, F, F, and F∗ are all isomorphic in codimension 1. Hence Lemma 6.3 implies ˆ ∼ K ˆ (F, λ) = (M1−ǫ, Λ1−ǫ,Hodge) where λ is the unique extension of λ on F. Clearly, λ uniquely extends to an ampleb Q-line bundle λ∗ on F∗ whose pullback under the morphism F → F∗ is exactlyb λˆ. Thus (3) is proved. b b 6.2. Proof of Laza-O’Grady’s prediction. In this section, we prove Theorem 1.2 which implies Laza-O’Grady’s prediction. The key idea is to construct F(a, b) from modifications of K K-moduli spaces Mc , use positivity of the log CM line bundle [CP21, Pos19, XZ20], and follow the MMP with scaling from [KKL16]. 1 F Definition 6.4. Let a, b ∈ Q>0. Denote by c = c(a) := 1+2a . We define (a, b) as follows. 2 F K (1) For a ∈ (0, 9 ) and b ∈ (0, 1), we define (a, b) := Mc ; 40 2 F K (2) For a ∈ ( 9 , +∞) and b ∈ (0, 1), we define (a, b) as the Kirwan weighted blow-up of Mc 3 F 2 F 2 at [(P , T )] which extracts the birational transform of Hu, and ( 9 , b) := ( 9 + ǫ, b) for 0 <ǫ ≪ 1; 2 F (3) For a ∈ (0, 9 ) and b ∈ [1, +∞), we define (a, b) as the Kirwan weighted blow-down of K Mc that contracts Hu,c to a point; 2 F K (4) For a ∈ [ 9 , +∞) and b ∈ [1, +∞) we define (a, b) := Mc . Denote by ψa,b : F 99K F(a, b) the inverse of the birational period map. Let λ(a, b), Hh(a, b), and Hu(a, b) be the pushforward of λ, Hh, and Hu under ψa,b, respectively. By Theorem 5.14, we know that such F(a, b)’s undergo wall crossings at a = ai or b = 1 where 1 1 1 1 1 1 1 (a , · · · , a )= , , , , , , , 1 1 8 9 7 6 5 4 3 2 − + ϕi ϕi We denote the wall crossing morphisms for a fixed b ∈ (0, 1) by F(ai−ǫ, b) −−→ F(ai, b) ←−− F(ai+ǫ, b). GIT Definition 6.5. Letρ ˜ : MGIT → M be the composition of two Kirwan weighted blow-ups at [2Q] and [T ] that extracts the union of birational transforms of Hh and Hu. Then the birational GIT map F 99K M is isomorphicf in codimension 1. Denote the pushforward of λ, Hh, and Hu under this map by λ˜, Hh, and Hu, respectively. GIT From Definitionf 6.4 and Theorem 5.14, we see that F(a, b) =∼ M if a, b ∈ [1, +∞), and GIT e e F(1 − ǫ, b1) =∼ M if 0 <ǫ ≪ 1 and b1 ∈ (0, 1). Lemma 6.6. Let a, b ∈ (0, 1) ∩ Q. Then the birational map ψ is an isomorphism in codimen- f a,b sion 1. Moreover, we have the following. 2 a 9a F (1) If a ∈ (0, 9 ), then λ(a, b)+ 2 Hh(a, b)+ 4 Hu(a, b) is ample on (a, b); 2 a 1−ǫ F (2) If a ∈ [ 9 , 1), then λ(a, b)+ 2 Hh(a, b)+ 2 Hu(a, b) is ample on (a, b) for 0 <ǫ ≪ 1. a (3) λ(a, b)+ 2 Hh(a, b) is nef for any a, b ∈ (0, 1) ∩ Q. −1 1−c K K Proof. By Theorem 6.2 we know that (pc )∗(λ + c ∆ ) is ample on Mc . 2 −1 1−c K F (1) If a ∈ (0, 9 ), we know that pc = ψa,b, hence (ψa,b)∗(λ + c ∆ ) is ample on (a, b) for 1 c = 1+2a . It is clear that 1 − c 1 9 a 9a λ + ∆K = λ + 2a( H + H )= λ + H + H . c 4 h 8 u 2 h 4 u a 9a Hence λ(a, b)+ 2 Hh(a, b)+ 4 Hu(a, b) is ample. 2 −1 (2) If a ∈ [ 9 , 1), by Theorem 5.14 we know that pc is a birational contraction which only 1 1 9 contracts the divisor Hu since c = 1+2a ∈ ( 3 , 13 ]. Hence we know a 1 − c (p−1) (λ + H ) = (p−1) (λ + ∆K) c ∗ 2 h c ∗ c K K is ample on Mc . Denote the Kirwan weighted blow-up by σa,b : F(a, b) → Mc with exceptional K 1 divisor Hu(a, b) which is anti-ample over Mc . Since (λ + 2 Hu)|Hu ∼Q 0 and Hh ∩ Hu = ∅ by (6.4), we know that a a 1 (σ )∗(p−1) (λ + H ) = (ψ ) (λ + H + H ). a,b c ∗ 2 h a,b ∗ 2 h 2 u a 1−ǫ K Hence (ψa,b)∗(λ + 2 Hh + 2 Hu) is ample as it is the pull back of an ample Q-divisor on Mc twisted by a small multiple of a σa,b-ample divisor. 41 1 (3) Since the statement is independent of the choice of b ∈ (0, 1), we may assume b ∈ (0, 2 ). We prove nefness by induction on the walls of a. To start with, we assume a ∈ (0, a1) where 1 F ∼ K ∼ F 1 9 a1 = 9 . Then we have (a, b) = Mc = by Lemma 6.3 as c = 1+2a ∈ ( 11 , 1). By Lemma 6.3, a b a we know that λ(a, b)+ 2 Hh(a, b)+ 2 Hu(a, b) is ample. Hence we get nefness of λ(a, b)+ 2 Hh(a, b) for a ∈ (0, a1) by letting b → 0. Next,b we divide the induction into two parts. Note that we always assume 0 <ǫ ≪ 1 in this proof. ai−ǫ F Assume that λ(ai − ǫ, b)+ 2 Hh(ai − ǫ, b) is nef. Since (ai − ǫ, b) is independent of the ai F choice of ǫ, by letting ǫ → 0 we have that λ(ai − ǫ, b)+ 2 Hh(ai − ǫ, b) is nef. As all (a, b)’s are isomorphic in codimension 1, we have that a a (6.9) λ(a ± ǫ, b)+ i H (a ± ǫ, b) = (ϕ±)∗(λ(a , b)+ i H (a , b)). i 2 h i i i 2 h i ai Hence we obtain that λ(ai, b)+ 2 Hh(ai, b) is also nef. ai F ∼ F Assume that λ(ai, b)+ 2 Hh(ai, b) is nef and a ∈ (ai, ai+1). By (6.9) and (a, b) = (ai +ǫ, b), ai + ai we know that λ(a, b)+ 2 Hh(a, b) is the ϕi -pull-back of λ(ai, b)+ 2 Hh(ai, b) hence is nef. Since a a a > ai, in order to show nefness of λ(a, b)+ 2 Hh(a, b) it suffices to show that (λ(a, b)+ 2 Hh(a, b))|Hh(a,b) ′ ′ a b′ is nef. By parts (1) and (2), there exists b = b (a) ∈ (0, 1) such that λ(a, b)+ 2 Hh(a, b)+ 2 Hu(a, b) is ample. Since Hh(a, b) ∩ Hu(a, b)= ∅, a a b′ (λ(a, b)+ H (a, b))| = (λ(a, b)+ H (a, b)+ H (a, b))| 2 h Hh(a,b) 2 h 2 u Hh(a,b) a is ample. Thus λ(a, b)+ 2 Hh(a, b) is nef for any a ∈ (ai, ai+1). As a result, the induction steps a are validated which yield the nefness of λ(a, b)+ 2 Hh(a, b) for any a, b ∈ (0, 1) ∩ Q. F a b Theorem 6.7. For any a, b ∈ Q>0, the section ring R( , λ + 2 Hh + 2 Hu) is finitely generated, F ∼ F a b and (a, b) = Proj R( , λ + 2 Hh + 2 Hu). Proof. We split into four cases based on values of a and b. Case 1: a, b ∈ (0, 1). By Lemma 6.6, ψa,b : F 99K F(a, b) is an isomorphism in codimension a b F 1. Thus it suffices to show that the Q-divisor λ(a, b)+ 2 Hh(a, b)+ 2 Hu(a, b) is ample on (a, b) for a, b ∈ (0, 1) ∩ Q. ′ ′ a b′ By Lemma 6.6(1)(2), there exists b = b (a) ∈ (0, 1) such that λ(a, b)+ 2 Hh(a, b)+ 2 Hu(a, b) a is ample. By Lemma 6.6(3), we know that λ(a, b)+ 2 Hh(a, b) is nef. Since a strict convex combination of a nef Q-divisor and an ample Q-divisor is ample, it suffices to show the nefness a 1 b′ 1 of λ(a, b)+ 2 Hh(a, b)+ 2 Hu(a, b). Moreover, since 2 < 2 and Hh(a, b) ∩ Hu(a, b)= ∅, it suffices to show that a 1 1 (λ(a, b)+ H (a, b)+ H (a, b))| = (λ(a, b)+ H (a, b))| 2 h 2 u Hu(a,b) 2 u Hu(a,b) is nef. Indeed, by Definition 6.4, Theorem 4.19(3), and Lemma 6.3, the birational map F 99K F(a, b) Hu is isomorphic near Hu and Hu(a, b). Since Hu is a big open subset of Hu and (λ + 2 )|Hu = 0 b Hu 1 b by (6.4), we know that (λˆ + )| b = 0. This implies (λ(a, b)+ H (a, b))| is Q-linearly 2 Hu 2 u Hu(a,b) trivial and hence nef.b Thus Case 1 is proved. b ρ ∼ Case 2: a ∈ (0, 1) and b ∈ [1, +∞). We have the diagram F(a, 1 − ǫ) −→a F(a, 1) ←−= F(a, b) from Definition 6.4, where ρa is the Kirwan weighted blow-down of the divisor Hu(a, 1 − ǫ) to a F a point. We first show that λ(a, 1) + 2 Hh(a, 1) is ample on (a, 1). Indeed, from Case 1 we a 1−ǫ F have the ampleness of λ(a, 1 − ǫ)+ 2 Hh(a, 1 − ǫ)+ 2 Hu(a, 1 − ǫ) on (a, 1 − ǫ). By letting a 1 ǫ → 0, we know that λ(a, 1 − ǫ)+ 2 Hh(a, 1 − ǫ)+ 2 Hu(a, 1 − ǫ) is big and nef, whose restrict to 42 Hu(a, 1 − ǫ) is Q-linearly trivial. Thus a 1 a λ(a, 1 − ǫ)+ H (a, 1 − ǫ)+ H (a, 1 − ǫ)= ρ∗(λ(a, 1) + H (a, 1)). 2 h 2 u a 2 h a This shows that λ(a, 1) + 2 Hh(a, 1) is big and nef. By the Nakai-Moishezon criterion, to a a show the ampleness of λ(a, 1) + 2 Hh(a, 1), it suffices to show that (λ(a, 1) + 2 Hh(a, 1))|V is big for any positive dimensional closed subvariety V ⊂ F(a, 1). Let V ⊂ F(a, 1) be the birational transform of V . Then clearly V 6⊂ Hu(a, b) as ρa contracts Hu(a, b) to a point. Since a 1−ǫ e e (λ(a, 1 − ǫ)+ 2 Hh(a, 1 − ǫ)+ 2 Hu(a, 1 − ǫ))|V is ample, we know that e a 1 ∗ a (λ(a, 1 − ǫ)+ H (a, 1 − ǫ)+ H (a, 1 − ǫ))| e = ρ ((λ(a, 1) + H (a, 1))| ) 2 h 2 u V a 2 h V a a is big. Thus (λ(a, 1) + 2 Hh(a, 1))|V is big which implies the ampleness of λ(a, 1) + 2 Hh(a, 1). Since F(a, 1 − ǫ) and F are isomorphic in codimension 1, Case 2 reduces to showing a b Proj R(F(a, 1 − ǫ), λ(a, 1 − ǫ)+ H (a, 1 − ǫ)+ H (a, 1 − ǫ)) =∼ F(a, 1). 2 h 2 u a This is true because λ(a, 1) + 2 Hh(a, 1) is ample, Hu(a, 1 − ǫ) is ρa-exceptional, and a b a b − 1 λ(a, 1 − ǫ)+ H (a, 1 − ǫ)+ H (a, 1 − ǫ)= ρ∗(λ(a, 1) + H (a, 1)) + H (a, 1 − ǫ). 2 h 2 u a 2 h 2 u Thus Case 2 is proved. ∼ GIT Case 3: a ∈ [1, +∞) and b ∈ (0, 1). By Definition 6.4 we know that F(a, b) = Bl[T ]M as GIT the Kirwan weighted blow-up extracting the birational transform of Hu. Since F and M are isomorphic in codimension 1, it suffices to show that a b GIT f (6.10) Proj R(MGIT, λ˜ + H + H ) =∼ Bl M . 2 h 2 u [T ] GIT GIT Clearly, ρ1 : M → Bl[T ]M fis the Kirwane weightede blow-up at [2Q] extracting Hh. We first ˜ b ˜ 1 show amplenss of (ρ1)∗(λ+ 2 Hu). Indeed, by (6.3) we know that (ρ1)∗(λ+ 2 Hu) is the pull-back of f GIT GIT GIT e the ample Q-line bundle Λ under the Kirwan blow-up ρ2 : Bl[T ]M → M . Since (ρ1)∗Hu e ˜ 1−ǫ e is ρ2-exceptional, it is ρ2-anti-ample. Thus (ρ1)∗(λ+ 2 Hu) is ample for 0 <ǫ ≪ 1. On the other 1 ∗ 1 e hand, we know that (λ˜ + H )| e is Q-linearly trivial by (6.7). Thus (ρ1) (ρ1)∗λ˜ = λ˜ + H . 2 h Hh 2 h GITe ∼ F ˜ 1−ǫ By Definition 6.5 and Lemma 6.6(3), we know that M = (1 − ǫ, 1 − ǫ) and λ + 2 Hh is e ˜ 1 ˜ e nef. By letting ǫ → 0 we obtain nefness of λ + 2 Hh which implies the nefness of (ρ1)∗λ. This ˜ 1−ǫ f ˜ b e together with ampleness of (ρ1)∗(λ + 2 Hu) implies that (ρ1)∗(λ + 2 Hu) is ample. e ˜ b Now we prove (6.10). From the above arguments, we have that (ρ1)∗(λ + 2 Hu) is ample on GIT e e Bl[T ]M , and a b b a − 1 e λ˜ + H + H = (ρ )∗(ρ ) (λ˜ + H )+ H . 2 h 2 u 1 1 ∗ 2 u 2 h Since a ≥ 1 and Hh is ρ1-exceptional, (6.10) follows. Thus Case 3 is proved. e e e e GIT Case 4: a, b ∈ [1, +∞). By Definition 6.5 we know that F(a, b) =∼ M . Similarly to Case 3, it suffices to showe that a b GIT (6.11) Proj R(MGIT, λ˜ + H + H ) =∼ M . 2 h 2 u ∗ GIT ˜ 1 1 GIT GIT By (6.3), we know thatρ ˜ Λ = λf+ 2 Hh + 2 Heu. Sincee Λ is ample on M , both Hh and Hu areρ ˜-exceptional, and a, b ≥ 1, we conclude that (6.11) holds. Thus Case 4 is proved. e 43e e e Proof of Theorem 1.2. This follows from Definition 6.4, Theorems 5.14, and 6.7. Proof of Corollary 1.3. This is a direct consequence of Theorem 1.2 by letting a = b. F a b Remark 6.8. It is reasonable to expect that R( , λ + 2 Hh + 2 Hu) is finitely generated if one of a or b is zero and the other is positive. Taking Proj of these rings should extend the wall-crossing ∗ picture as described in Theorem 1.2 to a, b ∈ Q≥0 where F(0, 0) = F . 6.3. Quartic double solids. Recall that a smooth quartic double solid Y is a double cover of P3 branched along a smooth quartic surface S. Denote the double cover map by π : Y → P3. A quartic double solid is the same as a del Pezzo threefold of degree 2 (see e.g. [Fuj90]). By [Der16, Example 4.2], we know that Y is K¨ahler-Einstein and hence K-stable as Aut(Y ) is finite. Since any smooth deformation of a del Pezzo threefold is still del Pezzo of the same degree, there Kss exists an open substack Y of M3,16 parametrizing all smooth quartic double solids. Let Y be the Kss Zariski closure of Y in M3,16 with reduced structure. By definition, we know that Y is also a sm,Kss closed substack of M3,16 . Let Y be the good moduli space of Y, then Y is a closed subscheme sm,Kps Kps of M 3,16 and M3,16 . Since Y parametrizes K-stable pairs, it is a saturated Deligne-Mumford open substack of Y. Hence Y admits a coarse moduli space Y as an open subscheme of Y. We call Y the K-moduli space of quartic double solids. We know that Y is an irreducible component Kps Kps of M3,16 since Y is open in M3,16 . K Proposition 6.9. There exists a bijective morphism ι : M 1 → Y. 2 K Proof. Consider the universal family (X , D) → M 1 . By Theorem 5.14 we know that any 2 K 3 fiber Xt for t ∈ |M 1 | is isomorphic to P , Xh, or P(1, 1, 2, 4). In particular, there exists a 2 Q-Cartier Weil divisorial sheaf Lt on Xt such that −KXt ∼ 4Lt and Nt := 2Lt is Cartier. Since K K M 1 is a smooth stack, there exists a µ2-gerbe Z → M 1 and a line bundle NZ on XZ where 2 2 (XZ, DZ) := (X , D) × K Z, such that −K Z Z ∼Z 2NZ ∼Z DZ. Thus we can take a fiberwise M 1 X / 2 double cover YZ → XZ branched along DZ. By [LZ20, Zhu20] we know that YZ → Z has K- semistable fibers, where a general fiber is a smooth quartic double solid. Thus we obtain a morphism Z → Y which descends to ι : Z → Y where Z is the good moduli space of Z. Since Z K K is a µ2-gerbe over M 1 , we have Z =∼ M 1 , and we identify them for simplicity. 2 2 K Next, we will show that ι : M 1 → Y is bijective. Clearly, Y is contained in the image of 2 K ι, so properness of M 1 implies the surjectivity of ι. It suffices to show injectivity of ι, i.e. for 2 ′ ′ K ′ any two points [(X, D)], [(X , D )] ∈ M 1 , if their double covers Y and Y are isomorphic, then 2 ∼ ′ ′ ′ 3 (X, D) = (X , D ). First of all, we know that X (resp. X ) is isomorphic to P , Xh, or P(1, 1, 2, 4) by Theorem 5.14, where in the latter two cases D (resp. D′) does not pass through the cone vertex. By Lemma 3.3, we know that there exist ample Q-Cartier Weil divisorial sheaves L and ′ ′ ′ L on X and X respectively, such that −KX = 4L and −KX′ = 4L . In addition, if X (resp. X′) is a cone, then L (resp. L′) is Cartier away from the cone vertex, and it has Cartier index 2 at the cone vertex. Let L and L′ be the pull-back of L and L′ to Y and Y ′ respectively. If X (resp. X′) is smooth, then clearly Y (resp. Y ′) has local complete intersection singularities. If X (resp. X′) is singular, thene Y e(resp. Y ′) has precisely two singularities, the preimage of the cone vertex, that are not local complete intersections, since D (resp. D′) is away from the cone vertex by Theorem 5.14. Since Y =∼ Y ′, we know that X is smooth if and only if X′ is smooth. We split into two cases. For simplicity we assume Y = Y ′, and denote the double cover maps by π : Y → X and π′ : Y → X′. 44 ′ 3 ′ ′ Case 1: X =∼ X =∼ P . In this case, both L and L are Cartier on Y , and −KY = 2L = 2L which implies that L − L′ is a torsion Cartier divisor on Y . Since Y is Q-Fano, it is rationally connected by [Zha06] and hence simply connected.e Thuse any torsion line bundle on Y ise triviale ′ which implies L = Le. Bye [KM98, Definition 2.50] we know that π∗OY (L) =∼ OX (L) ⊕ OX (−L) ′ ′ ∼ ′ ′ and π∗OY (L ) = OX′ (L ) ⊕ OX′ (−L ). Thus e e0 0 0 ′ 0 ′ e ′ (6.12) H (X, O (L)) =∼ H (Y, L)= H (Y, L ) =∼ H (X , O ′ (L )). e X X Hence the linear system |L| induces a map Y → P3 isomorphic to both π and π′. By taking ramification divisors, we obtain (X, D) =∼ (eX′, D′). e Case 2: both X and X′ are cones. In this case, denote the unique non-lci singularity in ′ ′ −1 ′−1 ′ X and X by x and x , respectively. Then π (x) = π (x ) =: {y1,y2}. From the geometry ∼ ′ ′ ∼ ′ of Xh and P(1, 1, 2, 4), we know that Pic(x ∈ X) = Pic(x ∈ X ) = Z/2Z where L and L are generators respectively. Since π (resp. π′) is ´etale over a neighborhood of x (resp. of x′), we know that L − L′ is a torsion Cartier divisor on Y , and as above we conclude that L = L′. ′ ′ ∼ ′ We have (6.12), and also π∗OY (2L)= OX (2L) ⊕ OX and π∗OY (2L ) = OX′ (2L ) ⊕ OX′ which implies e e e e 0 e∼ 0 0 ′ ∼ 0e ′ ′ (6.13) H (X, OX (2L)) ⊕ C = H (Y, 2L)= H (Y, 2L ) = H (X , OX′ (2L )) ⊕ C. 0 0 0 By choosing a basis (s0,s1,s2,s3) of H (X,L) and an element s4 ∈ H (Y, 2L) \ H (X, OX (2L)), e 4 e we obtain a morphism [s0, · · · ,s4] : Y → P(1 , 2) which is isomorphic to π after taking the ′ ′ 4 ′ image. Similarly, we have [s0, · · · ,s4] : Y → P(1 , 2) isomorphic to π aftere taking the image. From the construction, (6.12), and (6.13), we know that π and π′ only differ by an automorphism of P(14, 2), so they are isomorphic to each other. Thus (X, D) =∼ (X′, D′). Proof of Theorem 1.4. The first statement follows from Proposition 6.9. The diagram follows 2 4 from Theorem 5.14 where p = [(P(1, 1, 2, 4), (x3 = x2))]. Then τ(p) represents the weighted 2 2 4 4 hypersurface (x4 = x3 − x2) ⊂ P(1, 1, 2, 4, 4) which is isomorphic to (x2 = x3x4) ⊂ P(1, 1, 2, 4, 4) after an automorphism of P(1, 1, 2, 4, 4). Remark 6.10. If we take quadruple cyclic covers instead of double covers, then similar ar- K Kps guments show that there is a finite birational morphism M 3 → M whose image is the 4 3,4 Zariski closure of the moduli space of smooth quartic threefolds that are cyclic covers of P3 under linear projections. Note that smooth quartic threefolds are known to be K-stable by [Che01, CP02, Fuj19a], while their K-moduli compactification is currently unknown. 6.4. Gorenstein Q-Fano degenerations of P3. In this subsection, we prove Theorem 1.5. Proof of Theorem 1.5. Let X be a Gorenstein Q-Fano degeneration of P3. By the effective non- vanishing theorem of Ambro [Amb99, Main Theorem] and Kawamata [Kaw00, Theorem 5.1], there exists an effective Cartier divisor S ∈|− KX | such that (X,S) is plt. Hence Theorem 2.10 implies that (X, (1 − ǫ)S) is uniformly K-stable for 0 < ǫ ≪ 1. Let π : X → B be a Q-Fano ∼ ∼ 3 family over a smooth pointed curve 0 ∈ B such that X0 = X and Xb = P for any b ∈ B \{0}. By ∨ Lemma 3.3 we know that π∗ωX /B is a vector bundle over B whose fiber over b ∈ B is precisely H0(X ,ω∨ ). In particular, we know that (X,S) admits a Q-Gorenstein smoothing to (P3,S ) b Xb b K where Sb is a smooth quartic surface. Hence [(X,S)] ∈ M1−ǫ, and the statement follows from Proposition 5.13. References [AB19] Kenneth Ascher and Dori Bejleri. Compact moduli of elliptic K3 surfaces, 2019. arXiv:1902.10686. 45 [ABHLX20] Jarod Alper, Harold Blum, Daniel Halpern-Leistner, and Chenyang Xu. Reductivity of the automorphism group of K-polystable Fano varieties. Invent. Math., 222(3):995–1032, 2020. [ADL19] Kenneth Ascher, Kristin DeVleming, and Yuchen Liu. Wall crossing for K-moduli spaces of plane curves. 2019. arXiv:1909.04576. [ADL20] Kenneth Ascher, Kristin DeVleming, and Yuchen Liu. K-moduli of curves on a quadric surface and K3 surfaces. J. Inst. Math. Jussieu, to appear, 2020. arXiv:2006.06816. [AE21] Valery Alexeev and Philip Engel. Compact moduli of K3 surfaces, 2021. arXiv:2101.12186. [AET19] Valery Alexeev, Philip Engel, and Alan Thompson. Stable pair compactification of moduli of K3 surfaces of degree 2. 2019. arXiv:1903.09742. [AFS17] Jarod Alper, Maksym Fedorchuk, and David Ishii Smyth. Second flip in the Hassett-Keel program: existence of good moduli spaces. Compos. Math., 153(8):1584–1609, 2017. [Alp13] Jarod Alper. Good moduli spaces for Artin stacks. Ann. Inst. Fourier (Grenoble), 63(6):2349–2402, 2013. [Alt97] Klaus Altmann. The versal deformation of an isolated toric Gorenstein singularity. Invent. Math., 128(3):443–479, 1997. [Amb99] Florin Ambro. Ladders on Fano varieties. J. Math. Sci. (New York), 94(1):1126–1135, 1999. Algebraic geometry, 9. [BCHM10] Caucher Birkar, Paolo Cascini, Christopher D. Hacon, and James McKernan. Existence of minimal models for varieties of log general type. J. Amer. Math. Soc., 23(2):405–468, 2010. [BHLLX21] Harold Blum, Daniel Halpern-Leistner, Yuchen Liu, and Chenyang Xu. On properness of K-moduli spaces and optimal degenerations of Fano varieties. Selecta Math. (N.S.), 27(4):Paper No. 73, 2021. [Bir19] Caucher Birkar. Anti-pluricanonical systems on Fano varieties. Ann. of Math. (2), 190(2):345–463, 2019. [BJ20] Harold Blum and Mattias Jonsson. Thresholds, valuations, and K-stability. Adv. Math., 365:107062, 57, 2020. [BLX19] Harold Blum, Yuchen Liu, and Chenyang Xu. Openness of K-semistability for Fano varieties. 2019. arXiv:1907.02408. [BX19] Harold Blum and Chenyang Xu. Uniqueness of K-polystable degenerations of Fano varieties. Ann. of Math. (2), 190(2):609–656, 2019. [Che01] I. A. Cheltsov. Log canonical thresholds on hypersurfaces. Mat. Sb., 192(8):155–172, 2001. [CP02] I. A. Cheltsov and Jihun Park. Global log-canonical thresholds and generalized Eckardt points. Mat. Sb., 193(5):149–160, 2002. [CP21] Giulio Codogni and Zsolt Patakfalvi. Positivity of the CM line bundle for families of K-stable klt Fano varieties. Invent. Math., 223(3):811–894, 2021. [Der16] Ruadha´ıDervan. On K-stability of finite covers. Bull. Lond. Math. Soc., 48(4):717–728, 2016. [DeV19] Kristin DeVleming. Moduli of surfaces in P3, 2019. arXiv:1903.09230. [Dol82] Igor Dolgachev. Weighted projective varieties. In Group actions and vector fields (Vancouver, B.C., 1981), volume 956 of Lecture Notes in Math., pages 34–71. Springer, Berlin, 1982. [EL20] Lawrence Ein and Robert Lazarsfeld. Tangent developable surfaces and the equations defining algebraic curves. Bull. Amer. Math. Soc. (N.S.), 57(1):23–38, 2020. [EVdV81] D. Eisenbud and A. Van de Ven. On the normal bundles of smooth rational space curves. Math. Ann., 256(4):453–463, 1981. [FO18] Kento Fujita and Yuji Odaka. On the K-stability of Fano varieties and anticanonical divisors. Tohoku Math. J. (2), 70(4):511–521, 2018. [FR06] J. Fine and J. Ross. A note on positivity of the CM line bundle. Int. Math. Res. Not., pages Art. ID 95875, 14, 2006. [Fuj90] Takao Fujita. On singular del Pezzo varieties. In Algebraic geometry (L’Aquila, 1988), volume 1417 of Lecture Notes in Math., pages 117–128. Springer, Berlin, 1990. [Fuj19a] Kento Fujita. K-stability of Fano manifolds with not small alpha invariants. J. Inst. Math. Jussieu, 18(3):519–530, 2019. [Fuj19b] Kento Fujita. Uniform K-stability and plt blowups of log Fano pairs. Kyoto J. Math., 59(2):399–418, 2019. [Fuj19c] Kento Fujita. A valuative criterion for uniform K-stability of Q-Fano varieties. J. Reine Angew. Math., 751:309–338, 2019. [GKP14] Daniel Greb, Stefan Kebekus, and Thomas Peternell. Reflexive differential forms on singular spaces. Geometry and cohomology. J. Reine Angew. Math., 697:57–89, 2014. 46 [GMGS21] Patricio Gallardo, Jesus Martinez-Garcia, and Cristiano Spotti. Applications of the moduli continuity method to log K-stable pairs. J. Lond. Math. Soc. (2), 103(2):729–759, 2021. [Hac01] Paul Hacking. A compactification of the space of plane curves. 2001. Thesis (Ph.D.)– Cambridge Univserity. [Har77] Robin Hartshorne. Algebraic geometry. Springer-Verlag, New York-Heidelberg, 1977. Graduate Texts in Mathematics, No. 52. [HH13] Brendan Hassett and Donghoon Hyeon. Log minimal model program for the moduli space of stable curves: the first flip. Annals of Mathematics, 177:1–58, 2013. [Huy16] Daniel Huybrechts. Lectures on K3 surfaces, volume 158 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 2016. [IP99] V. A. Iskovskikh and Yu. G. Prokhorov. Fano varieties. In Algebraic geometry, V, volume 47 of Encyclopaedia Math. Sci., pages 1–247. Springer, Berlin, 1999. [Jia20] Chen Jiang. Boundedness of Q-Fano varieties with degrees and alpha-invariants bounded from below. Ann. Sci. Ec.´ Norm. Sup´er. (4), 53(5):1235–1248, 2020. [JMR16] Thalia Jeffres, Rafe Mazzeo, and Yanir A. Rubinstein. K¨ahler-Einstein metrics with edge singularities. Ann. of Math. (2), 183(1):95–176, 2016. [Kaw00] Yujiro Kawamata. On effective non-vanishing and base-point-freeness. Asian J. Math., 4(1):173–181, 2000. Kodaira’s issue. [KKL16] Anne-Sophie Kaloghiros, Alex K¨uronya, and Vladimir Lazi´c. Finite generation and geography of models. In Minimal models and extremal rays (Kyoto, 2011), volume 70 of Adv. Stud. Pure Math., pages 215–245. Math. Soc. Japan, [Tokyo], 2016. [KM76] Finn Faye Knudsen and David Mumford. The projectivity of the moduli space of stable curves. I. Preliminaries on “det” and “Div”. Math. Scand., 39(1):19–55, 1976. [KM98] J´anos Koll´ar and Shigefumi Mori. Birational geometry of algebraic varieties, volume 134 of Cambridge Tracts in Mathematics. Cambridge University Press, Cambridge, 1998. With the collaboration of C. H. Clemens and A. Corti, Translated from the 1998 Japanese original. [Kol97] J´anos Koll´ar. Singularities of pairs. In Algebraic geometry—Santa Cruz 1995, volume 62 of Proc. Sympos. Pure Math., pages 221–287. Amer. Math. Soc., Providence, RI, 1997. [Kol13] J´anos Koll´ar. Singularities of the minimal model program, volume 200 of Cambridge Tracts in Mathematics. Cambridge University Press, Cambridge, 2013. With a collaboration of S´andor Kov´acs. [Kol17] J´anos Koll´ar. Families of varieties of general type. 2017. https://web.math.princeton.edu/~kollar/book/modbook20170720-hyper.pdf. [Kol18] J´anos Koll´ar. Mumford divisors. 2018. arXiv:1803.07596. [Kol19] J´anos Koll´ar. Families of divisors. 2019. arXiv:1910.00937. [Laz16] Radu Laza. The KSBA compactification for the moduli space of degree two K3 pairs. J. Eur. Math. Soc. (JEMS), 18(2):225–279, 2016. [Li17] Chi Li. K-semistability is equivariant volume minimization. Duke Math. J., 166(16):3147–3218, 2017. [Liu20] Yuchen Liu. K-stability of cubic fourfolds. 2020. arXiv:2007.14320. [LL19] Chi Li and Yuchen Liu. K¨ahler-Einstein metrics and volume minimization. Adv. Math., 341:440–492, 2019. [LLX20] Chi Li, Yuchen Liu, and Chenyang Xu. A guided tour to normalized volume. In Geometric analysis, volume 333 of Progr. Math., pages 167–219. Birkh¨auser/Springer, Cham, 2020. [LO18] Radu Laza and Kieran G. O’Grady. GIT versus Baily-Borel compactification for quartic K3 surfaces. In Geometry of moduli, volume 14 of Abel Symp., pages 217–283. Springer, Cham, 2018. [LO19] Radu Laza and Kieran O’Grady. Birational geometry of the moduli space of quartic K3 surfaces. Compos. Math., 155(9):1655–1710, 2019. [LO21] Radu Laza and Kieran O’Grady. GIT versus Baily-Borel compactification for K3’s which are double covers of P1 × P1. Adv. Math., 383:107680, 63, 2021. [Loo86] Eduard Looijenga. New compactifications of locally symmetric varieties. In Proceedings of the 1984 Vancouver conference in algebraic geometry, volume 6 of CMS Conf. Proc., pages 341–364. Amer. Math. Soc., Providence, RI, 1986. [Loo03a] Eduard Looijenga. Compactifications defined by arrangements. I. The ball quotient case. Duke Math. J., 118(1):151–187, 2003. [Loo03b] Eduard Looijenga. Compactifications defined by arrangements. II. Locally symmetric varieties of type IV. Duke Math. J., 119(3):527–588, 2003. [LWX19] Chi Li, Xiaowei Wang, and Chenyang Xu. On the proper moduli spaces of smoothable K¨ahler-Einstein Fano varieties. Duke Math. J., 168(8):1387–1459, 2019. 47 [LWX21] Chi Li, Xiaowei Wang, and Chenyang Xu. Algebraicity of the metric tangent cones and equivariant K-stability. J. Amer. Math. Soc., 34(4):1175–1214, 2021. [LX14] Chi Li and Chenyang Xu. Special test configuration and K-stability of Fano varieties. Ann. of Math. (2), 180(1):197–232, 2014. [LX19] Yuchen Liu and Chenyang Xu. K-stability of cubic threefolds. Duke Math. J., 168(11):2029–2073, 2019. [LX20] Chi Li and Chenyang Xu. Stability of valuations and Koll´ar components. J. Eur. Math. Soc. (JEMS), 22(8):2573–2627, 2020. [LXZ21] Yuchen Liu, Chenyang Xu, and Ziquan Zhuang. Finite generation for valuations computing stability thresholds and applications to K-stability. 2021. arXiv:2102.09405. [LZ19] Yuchen Liu and Ziquan Zhuang. On the sharpness of Tian’s criterion for K-stability. Nagoya Math. J., to appear, 2019. arXiv:1903.04719. [LZ20] Yuchen Liu and Ziwen Zhu. Equivariant K-stability under finite group action. 2020. arXiv:2001.10557. [May72] Alan L. Mayer. Families of K − 3 surfaces. Nagoya Mathematical Journal, 48:1–17, 1972. [Mir81] Rick Miranda. The moduli of Weierstrass fibrations over P1. Math. Ann., 255(3):379–394, 1981. [Oda13] Yuji Odaka. The GIT stability of polarized varieties via discrepancy. Ann. of Math. (2), 177(2):645– 661, 2013. [Oda15] Yuji Odaka. Compact moduli spaces of K¨ahler-Einstein Fano varieties. Publ. Res. Inst. Math. Sci., 51(3):549–565, 2015. [OO21] Yuji Odaka and Yoshiki Oshima. Collapsing K3 surfaces, tropical geometry and moduli compactifications of Satake, Morgan-Shalen type, volume 40 of MSJ Memoirs. Mathematical Society of Japan, Tokyo, 2021. [OSS16] Yuji Odaka, Cristiano Spotti, and Song Sun. Compact moduli spaces of del Pezzo surfaces and K¨ahler-Einstein metrics. J. Differential Geom., 102(1):127–172, 2016. [Pet19] Andrea Petracci. On deformations of toric Fano varieties. Interactions with Lattice Polytopes, to appear, 2019. arxiv:1912.01538. [Pet21] Andrea Petracci. On deformation spaces of toric varieties. 2021. arxiv:2105.01174. [Pos19] Quentin Posva. Positivity of the CM line bundle for K-stable log Fanos. 2019. arxiv:1910.12623. [Pro00] Yu. G. Prokhorov. Blow-ups of canonical singularities. In Algebra (Moscow, 1998), pages 301–317. de Gruyter, Berlin, 2000. [PT06] Sean Timothy Paul and Gang Tian. CM stability and the generalized Futaki invariant I. 2006. arXiv:math/0605278. [PT09] Sean Timothy Paul and Gang Tian. CM stability and the generalized Futaki invariant II. Ast´erisque, (328):339–354 (2010), 2009. [Ser06] Edoardo Sernesi. Deformations of algebraic schemes, volume 334 of Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer-Verlag, Berlin, 2006. [Sha80] Jayant Shah. A complete moduli space for K3 surfaces of degree 2. Ann. of Math. (2), 112(3):485–510, 1980. [Sha81] Jayant Shah. Degenerations of K3 surfaces of degree 4. Trans. Amer. Math. Soc., 263(2):271–308, 1981. [SS17] Cristiano Spotti and Song Sun. Explicit Gromov-Hausdorff compactifications of moduli spaces of K¨ahler-Einstein Fano manifolds. Pure Appl. Math. Q., 13(3):477–515, 2017. [Tia97] Gang Tian. K¨ahler-Einstein metrics with positive scalar curvature. Invent. Math., 130(1):1–37, 1997. [Xu14] Chenyang Xu. Finiteness of algebraic fundamental groups. Compos. Math., 150(3):409–414, 2014. [Xu20a] Chenyang Xu. K-stability of Fano varieties: an algebro-geometric approach. 2020. arXiv:2011.10477. [Xu20b] Chenyang Xu. A minimizing valuation is quasi-monomial. Ann. of Math. (2), 191(3):1003–1030, 2020. [XZ20] Chenyang Xu and Ziquan Zhuang. On positivity of the CM line bundle on K-moduli spaces. Ann. of Math. (2), 192(3):1005–1068, 2020. [XZ21] Chenyang Xu and Ziquan Zhuang. Uniqueness of the minimizer of the normalized volume function. Camb. J. Math., 9(1):149–176, 2021. [Zha06] Qi Zhang. Rational connectedness of log Q-Fano varieties. J. Reine Angew. Math., 590:131–142, 2006. [Zho21a] Chuyu Zhou. Log K-stability of GIT-stable divisors on Fano manifolds. 2021. arXiv:2102.07458. [Zho21b] Chuyu Zhou. On wall crossing for K-stability. 2021. arXiv:2103.04925. [Zhu20] Ziquan Zhuang. Optimal destabilizing centers and equivariant K-stability. Invent. Math., to appear, 2020. arXiv:2004.09413. 48 Department of Mathematics, University of California, Irvine, CA, 92697, USA. Email address: [email protected] Department of Mathematics, University of California, San Diego, La Jolla, CA 92093, USA. Email address: [email protected] Department of Mathematics, Northwestern University, Evanston, IL 60208, USA Email address: [email protected] 49