[論文レビュー] Wall crossing for K-moduli spaces of plane curves

Kenneth Ascher, Kristin DeVleming+1 more|arXiv (Cornell University)|Sep 10, 2019

Geometry and complex manifolds参考文献 90被引用数 19

ひとこと要約

本稿は、$D$ を次数 $d \geq 4$ の平面曲線とするとき、対 $(\mathbb{P}^2, cD)$ のための K-モジュライ空間を構成し、係数 $c$ の変化に伴うウォールクロッシング枠組みを確立する。$c$ が小さい場合、K-モジュライ空間は GIT モジュライ空間と同型であり、最初のウォールクロッシングは重み付きキルワン型の吹き上げに対応する。次数 4, 5, 6 について完全なウォールクロッシングの記述がなされ、最終的な K-モジュライ空間はハッキングのコンパクト化および K3 表面のモジュライと関連している。

ABSTRACT

We construct proper good moduli spaces parametrizing K-polystable $\mathbb{Q}$-Gorenstein smoothable log Fano pairs $(X, cD)$, where $X$ is a Fano variety and $D$ is a rational multiple of the anti-canonical divisor. We then establish a wall-crossing framework of these K-moduli spaces as $c$ varies. The main application in this paper is the case of plane curves of degree $d \geq 4$ as boundary divisors of $\mathbb{P}^2$. In this case, we show that when the coefficient $c$ is small, the K-moduli space of these pairs is isomorphic to the GIT moduli space. We then show that the first wall crossing of these K-moduli spaces are weighted blow-ups of Kirwan type. We also describe all wall crossings for degree 4,5,6, and relate the final K-moduli spaces to Hacking's compactification and the moduli of K3 surfaces.

研究の動機と目的

• K-ポリスタブルな $\mathbb{Q}$-ゴレンシュタインで滑らかに可解な対 $(X, cD)$ をパラメトライズする正しい良いモジュライ空間を構成する。ここで $X$ はファノ多様体であり、$D$ は反標準除集合の有理数倍である。
• 係数 $c$ の変化に伴うこれらの K-モジュライ空間のウォールクロッシング枠組みを確立する。特に、次数 $d \geq 4$ の平面曲線の場合を対象とする。
• K-モジュライ空間を古典的コンパクト化と比較する：GIT 商 $\overline{P}_d^{\mathrm{GIT}}$ およびハッキングの安定対コンパクト化 $\overline{P}_d^{\mathrm{H}}$。
• 次数 4, 5, 6 について、すべてのウォールクロッシングを明示的に記述し、最終的な K-モジュライ空間がハッキングのコンパクト化および K3 表面のモジュライとどのように関連するかを明らかにする。

提案手法

• 固定されたヒルベルト多項式および $D \sim_\mathbb{Q} -rK_X$ を満たす K-半安定な $\mathbb{Q}$-ゴレンシュタインで滑らかに可解な対 $(X, cD)$ をパラメトライズする、有限型の縮小されたアーチンスタック $\mathcal{K}\mathcal{M}_{\chi_0,r,c}$ を構成する。
• K-安定性の理論および対数光滑な Yau-Tian-Donaldson 予想の解法を用いて、正しい良いモジュライ空間 $KM_{\chi_0,r,c}$ の存在を保証する。
• 特異点における K-半安定性のテストに、不変量 $S_{(X,cD)}(v)$ と対数特異点高 $A_{(X,cD)}(v)$ を用いた値の評価基準を適用する。
• 巡回商写像 $\pi: \mathbb{A}^2 \to X$ を用いて、体積 $\mathrm{vol}_X(\mathcal{O}(1) - tv)$ を計算し、オルビフォールド点に中心を持つ評価 $v$ に対する安定性閾値 $S_{(X,cD)}(v)$ を導出する。
• K-(多価)安定性の条件が変化する臨界値 $c_i$ を特定することでウォールクロッシングを分析し、変化を重み付き吹き上げとしてモデル化する。
• 特定の曲線特異点について、重み付き射影平面 $\mathbb{P}(1,1,4)$、$\mathbb{P}(1,4,25)$ などの重み付き射影面上で、対数特異点閾値および体積関数の明示的計算に依拠する。

実験結果

リサーチクエスチョン

• RQ1 係数 $c$ の変化に伴い、次数 $d \geq 4$ の滑らかな平面曲線 $D$ を持つ対 $(\mathbb{P}^2, cD)$ の K-モジュライ空間はどのように変化するか？
• RQ2 $c$ が小さい場合、K-モジュライ空間と古典的 GIT モジュライ空間 $\overline{P}_d^{\mathrm{GIT}}$ の関係は何か？
• RQ3 $c$ の増加に伴う K-モジュライ空間における最初のウォールクロッシングの性質は何か？また、キルワン型の吹き上げとどのように関連するか？
• RQ4 次数 4, 5, 6 に対する最終的な K-モジュライ空間は、ハッキングのコンパクト化および K3 表面のモジュライとどのように関連するか？
• RQ5 特定の $c$ 値において、K-モジュライスタックに現れる特異な表面および曲線は何か？また、それらが K-安定であるための条件は何か？

主な発見

• $c < \frac{3}{d}$ の場合、$(\mathbb{P}^2, cD)$ の K-モジュライ空間は GIT モジュライ空間 $\overline{P}_d^{\mathrm{GIT}}$ と同型であり、$c$ が小さい場合の K-安定性と GIT 間の直接的な関係を確立する。
• 次数 $d \geq 4$ の平面曲線に対して、K-モジュライ空間における最初のウォールクロッシングは、臨界 $c$-値での K-安定性の変化に対応する重み付きキルワン型の吹き上げである。
• 次数 4 の場合、最終的な K-モジュライ空間はハッキングのコンパクト化 $\overline{P}_4^{\mathrm{H}}$ と同型であり、次数 2 の K3 表面のモジュライ空間が最終ウォールの成分として現れる。
• 次数 5 の場合、K-モジュライ空間は複数のウォールクロッシングを経て、最終的にハッキングのコンパクト化 $\overline{P}_5^{\mathrm{H}}$ と同型である。また、表面 $\mathbb{P}(1,4,25)$ は $c \geq \frac{63}{115}$ のときのみ出現する。
• 次数 6 の場合、最終的な K-モジュライ空間はハッキングのコンパクト化 $\overline{P}_6^{\mathrm{H}}$ と同型であり、表面 $\mathbb{P}(1,1,4)$ は $c \geq \frac{1}{3}$ のときのみ出現する。
• 表面 $\mathbb{P}(1,4,25)$ は $c < \frac{3}{7}$ の間、K-モジュライスタックに出現しない。また、$c < \frac{3}{5}$ のとき、その上の曲線は K-不安定である。K-半安定性のための $c$ の下限は、曲線の方程式に依存する。