[論文レビュー] K-moduli of curves on a quadric surface and K3 surfaces

Kenneth Ascher, Kristin DeVleming+1 more|arXiv (Cornell University)|Jun 11, 2020

Geometry and complex manifolds参考文献 18被引用数 5

ひとこと要約

本稿は、$(4,4)$-曲線 $C$ に対する $\mathbb{P}^1 \times \mathbb{P}^1$ 上の対 $(\mathbb{P}^1 \times \mathbb{P}^1, cC)$ の $K$-moduli 空間が、$\mathbb{P}^3$ 内の $(2,4)$-完全交差曲線の幾何的不変理論（VGIT）商の変動と正確に一致する壁交叉を経験することを確立し、$(4,4)$-曲線の GIT 商と四次超楕円型 $K3$ 表面の Baily-Borel コンパクト化との間のモジュラー補間を提供する。

ABSTRACT

We show that the K-moduli spaces of log Fano pairs $(\mathbb{P}^1 imes\mathbb{P}^1, cC)$ where $C$ is a $(4,4)$-curve and their wall crossings coincide with the VGIT quotients of $(2,4)$ complete intersection curves in $\mathbb{P}^3$. This, together with recent results by Laza-O'Grady, implies that these K-moduli spaces form a natural interpolation between the GIT moduli space of $(4,4)$-curves on $\mathbb{P}^1 imes\mathbb{P}^1$ and the Baily-Borel compactification of moduli of quartic hyperelliptic K3 surfaces.

研究の動機と目的

• 対 $(\mathbb{P}^1 \times \mathbb{P}^1, cC)$ の $K$-moduli 空間を構成・研究すること。ここで $C$ は $(4,4)$-曲線であり、$K$-安定性を枠組みとして用いる。
• 四次超楕円型 $K3$ 表面のモジュライ空間の Baily-Borel コンパクト化と、$\mathbb{P}^1 \times \mathbb{P}^1$ 上の $(4,4)$-曲線の GIT コンパクト化を比較する長年の問題を解決すること。
• 変化する $c \in (0, \frac{1}{2})$ における $K$-moduli 空間の壁交叉が、$\mathbb{P}^3$ 内の $(2,4)$-完全交差曲線の VGIT 壁交叉と完全に一致することを示すこと。
• $K$-安定性を通じて、GIT と Baily-Borel コンパクト化の間の中間的コンパクト化空間にモジュラー解釈を与えること。

提案手法

• 文献 [ADL19] の $K$-多様体的対の枠組みを用い、$\mathbb{Q}$-Gorenstein滑らかにできる $K$-多様体的対 $(X, cD)$ をパラメトライズする正則な良いモジュライ空間 $\overline{K}_c$ を構成する。
• $c$（$K$-moduli パrameter）と $t$（VGIT パrameter）の間の対応関係 $t = \frac{3c}{2c + 2}$ を確立し、$K$-安定性と VGIT 安定性を結びつける。
• $\mathrm{CM}$ ラインバンドルの計算を用い、$d=4$ の場合に $\lambda_{\mathrm{CM}} = \mathcal{O}(3(2 - dc)^2 c)$ という公式を通じて、対 $(\mathbb{P}^1 \times \mathbb{P}^1, cC)$ の $K$-安定性を、曲線 $C$ の GIT 安定性と関連付ける。
• グローバル Torelli 定理と周期写像を用い、$K$-moduli 空間を超楕円型四次 $K3$ 表面の周期領域と関連付ける。
• 壁に沿った帰納法と $\mathrm{CM}$ ラインバンドルおよび VGIT ラインバンドル $N_t$ を用いた安定性条件の比較により、$\lambda_{U,c} \propto N_t$ という比例関係を示し、$t = \frac{6c}{dc + 4}$ を得る。
• Laza-O'Grady [LO21] の結果を応用し、周期領域 $\mathscr{F}^*$ 内での壁交叉を示し、$\mathscr{F}(\beta) = \mathrm{Proj} R(\lambda + \beta \Delta)$ が $\mathfrak{M}$ と $\mathscr{F}^*$ の間を補間することを示す。

実験結果

リサーチクエスチョン

• RQ1 $(4,4)$-曲線に対する $K$-moduli 空間 $\overline{K}_c$ は、$(4,4)$-曲線の GIT 商と四次超楕円型 $K3$ 表面の Baily-Borel コンパクト化との間を補間するために用いることができるか？
• RQ2 $\overline{K}_c$ の壁交叉は、$\mathbb{P}^3$ 内の $(2,4)$-完全交差曲線の VGIT 壁交叉と正確に一致するか？
• RQ3 GIT と Baily-Borel コンパクト化の間の中間空間に、$K$-安定性を通じてモジュラー解釈を与えることは可能か？
• RQ4 $K$-moduli パrameter $c$ と VGIT パrameter $t$ の正確な関係は何か？
• RQ5 どの $c$ の値で $\overline{K}_{d,c} \cong \mathfrak{M}_d(t)$ が成り立ち、どこで成り立たなくなるか？

主な発見

• $(0, \frac{1}{8})$ 内の $c$ に対して、$K$-moduli 空間 $\overline{K}_c$ は $\mathbb{P}^1 \times \mathbb{P}^1$ 上の $(4,4)$-曲線の GIT 商 $\mathfrak{M}$ に同型であり、初期の壁交叉を確立する。
• $c = \frac{1}{8}$ における壁交叉は、$K$-安定性における最初の非自明な変化を示し、$\overline{K}_c \cong \mathfrak{M}$ から非自明な自己同型群を持つ新たなモジュライ空間への遷移を示す。
• $(0, \frac{4 - \sqrt{2}}{8})$ 内の $c$ に対して、$K$-moduli 空間 $\overline{K}_c$ は $t = \frac{3c}{2c + 2}$ を用いた VGIT 商 $\mathfrak{M}(t)$ に同型であり、$K$-moduli と VGIT 壁交叉の正確な一致を示す。
• $K$-moduli 空間上の $\mathrm{CM}$ ラインバンドル $\lambda_{\mathrm{CM}}$ は、$t = \frac{6c}{dc + 4}$ を用い、$d=4$ の場合に VGIT ラインバンドル $N_t$ に比例する。これにより安定性の等価性が確認される。
• $\overline{K}_c$ の壁交叉構造は、Laza-O'Grady が構成した $\mathscr{F}(\beta) = \mathrm{Proj} R(\lambda + \beta \Delta)$ と一致し、$0 \leq \beta \leq 1$ の範囲で補間を実現する。
• $d \neq 4$（例：$d=3$）の場合、$c > \frac{4 - \sqrt{2}}{2d}$ のとき、同型 $\overline{K}_{d,c} \cong \mathfrak{M}_d(t)$ は成立しない。例として、$\mathbb{P}(1,2,9)$ が $\overline{K}_{3,\frac{1}{2}}$ に現れる。