[論文レビュー] PL density invariant for type II degenerating K3 surfaces, Moduli compactification and hyperKahler metrics

Yuji Odaka|arXiv (Cornell University)|Oct 1, 2020

Geometry and complex manifolds参考文献 63被引用数 6

ひとこと要約

本稿では、極小K3表面のタイプII退化の不変量として、最大18個の非線形点を持つ新しい区分的線形（PL）凸関数 $ V $ を導入する。この関数は根格子（A, D, E）を用いた組合せ的分類により、退化を分類する。関数は、超ケーラー計量が区間へ収束する際の極限測度の密度として生じる。これは[HSZ19]の結果を一般化し、モジュライ空間のコンパクト化、超ケーラー幾何、およびランドウ・ジンブルグ模型を用いた鏡像対称性を統一的に結びつける枠組みを提供する。

ABSTRACT

A protagonist here is a new-type invariant for type II degenerations of K3 surfaces, which is explicit PL (piecewise linear) convex function from the interval with at most 18 non-linear points. Forgetting its actual function behaviour, it also classifies the type II degenerations into several combinatorial types, depending on the type of root lattices as appeared in classical examples. From differential geometric viewpoint, the function is obtained as the density function of the limit measure on the collapsing hyperKahler metrics to conjectural segments, as in the work of Honda-Sun-Zhang. On the way, we also reconstruct a moduli compactification of elliptic K3 surfaces in the works of Brunyate, Ascher-Bejleri, Alexeev-Brunyate-Engel in a more elementary manner, analyze the cusps more explicitly. We also interpret the glued hyperKahler fibration of Hein-Sun-Viaclovsky-Zhang as a special case from our viewpoint, discuss other cases, and possible relations with Landau-Ginzburg models in the mirror symmetry context.

研究の動機と目的

• 区分的線形凸関数を用いて、極小K3表面のタイプII退化に対する新しい幾何的不変量を定義すること。
• この不変量を、直径有界なスケーリング下での超ケーラー計量の収束における極限測度の密度関数として解釈し、[HSZ19]の結果を拡張すること。
• 楕円的K3表面のモジュライ空間のコンパクト化を、初等的な方法で再構成し、特異点構造を明確にすること。
• [HSVZ18]の接続された超ケーラーファイブレーションを、この枠組みの特別な場合として解釈すること、特に「タイプEAE」退化に対して。
• 鏡像対称性の文脈において、この不変量とランドウ・ジンブルグ模型との関係を探索すること。

提案手法

• 退化データから、最大18個の非線形点を持つ、$ V: [0,1] \to \mathbb{R}_{\geq 0} \cup \{\infty\} $ であるPL凸関数を構成する。
• モノドロミーおよび格子論的データ（A, D, E根格子）を用いて、退化の組合せ的型を分類する。
• 安定還元と特異点解析を用いて、楕円的K3表面のモジュライ空間のコンパクト化を初等的に再構成し、[ABE20]を一般化する。
• PL関数を、[HSZ19]で予言されたように、直径有界なスケーリング下での超ケーラー計量の極限測度の密度として関連付ける。
• この枠組みを用いて、[HSVZ18]の接続された計量を特別な場合として解釈し、特に「タイプEAE」退化に対して。
• 中心特異ファイバーの各成分に対してMMPスケーリングを適用し、終端的結果に基づいて$\mathbb{D}$型と$\mathbb{E}$型退化を区別する。

実験結果

リサーチクエスチョン

• RQ1 PL凸関数がどのようにK3表面のタイプII退化を完全に不変量として表せるのか？
• RQ2 この関数が、収束する超ケーラー計量における極限測度の密度として、微分幾何学的にどのように解釈できるか？
• RQ3 根格子構造（A, D, E）がどのように退化の組合せ的型を分類するのか？
• RQ4 [HSVZ18]の接続された超ケーラーファイブレーションが、この不変量枠組みの特別な場合として理解できるか？
• RQ5 この不変量と鏡像対称性の文脈におけるランドウ・ジンブルグ模型との潜在的な関連は何か？

主な発見

• PL関数 $ V $ は最大18個の非線形点を持ち、根格子タイプ（A, D, E）を用いた組合せ的分類によって完全に退化を特徴付ける。
• 関数は、[HSZ19]で予言されたように、超ケーラー計量が予想される区間へ収束する際の極限測度の密度として生じる。
• 関数 $ V $ の端点はD型またはE型根格子のデータを符号化しており、中間部分はA型格子を反映する。
• 楕円的K3表面のモジュライ空間のコンパクト化が初等的な方法で再構成され、明示的な特異点解析が行われ、[ABE20]を一般化する。
• [HSVZ18]の接続された計量は「タイプEAE」の場合に対応し、この枠組みによりその構造がPL不変量によって説明可能である。
• 中心特異ファイバー上のMMPの終端的結果が、$\mathbb{D}$型または$\mathbb{E}$型退化の終点を特定するという予想が提示される。