[論文レビュー] Theta functions on varieties with effective anti-canonical class

Mark D. Gross, Paul Hacking+1 more|arXiv (Cornell University)|Jan 26, 2016

Advanced Algebra and Geometry被引用数 6

ひとこと要約

本稿は、有効な反標準クラスをもつ $n$ 次元極小化された多様体の退化のための断片的基底を、実 $n$ 次元（擬）多様体上のウォール構造を用いて構成する。トーリックの場合のシータ関数を一般化することで、鏡像退化のための斉次座標環が得られ、安定対を用いたモジュライ空間のコンパクト化の枠組みが確立され、K3 表面および対数 Calabi-Yau 表面の結果が拡張される。

ABSTRACT

We show that a large class of maximally degenerating families of n-dimensional polarized varieties come with a canonical basis of sections of powers of the ample line bundle. The families considered are obtained by smoothing a reducible union of toric varieties governed by a wall structure on a real n-(pseudo-)manifold. Wall structures have previously been constructed inductively for cases with locally rigid singularities and by Gromov-Witten theory for mirrors of log Calabi-Yau surfaces and K3 surfaces by various combinations of the authors. For trivial wall structures on the n-torus we retrieve the classical theta functions. Possible applications include mirror symmetry, geometric compactifications of moduli of certain polarized varieties via stable pairs and geometric quantization.

研究の動機と目的

• 有効な反標準クラスをもつ $n$ 次元極小化された多様体のクラスに、トーリックおよび対数 Calabi-Yau の場合を越えて canonical シータ関数の構成を拡張すること。
• このような多様体の退化のための断片的基底を構成し、ミラー対称性におけるシータ関数の役割を一般化すること。
• K3 表面の事例にインspされ、安定対を用いた極小化多様体のモジュライ空間のコンパクト化の枠組みを確立すること。
• Gromov-Witten 不変量と帰納的接合データを用いて、ウォール構造によるミラーの構成を統一的かつ一般化すること。
• 幾何的量子化およびアーベル多様体の退化への応用を探索すること。

提案手法

• 多面体的アフィン擬多様体 $B$ にウォール構造を備えた構成を用い、標準的なトーリック接合データに対する補正を符号化する。
• ウォール構造は、具体的には $Y\setminus D$ 内の $\mathbb{A}^1$-曲線の Gromov-Witten 不変量から構成され、$n$-頂点構成を一般化する。
• 折れた線（broken lines）を用いて、射影的設定における所望のシータ関数としてのグローバル関数 $\vartheta_m$ を定義する。
• スラブ関数 $f_{\rho}$ を用いたトーリック部品の帰納的接合が行われ、$t^k$ での適切な変形を保証する整合性条件が満たされる。
• ファミリー $\mathfrak{X}_{\mathbb{P}}$ の codimension-one strata に沿った形式的完成は、$\tilde{A}_{\mathbb{P}}\llbracket Q\rrbracket[w^{\pm1}]$ 内の $xy = f_{\rho} z^{\kappa_\rho}$ という方程式で記述される。
• レジェンドル双対性が、元の構成と双対構成における特異点を関連付けるために用いられ、変形の下で $A_r$-型特異点が保存される。

実験結果

リサーチクエスチョン

• RQ1 有効な反標準クラスをもつ $n$ 次元極小化された多様体の退化に対して、トーリックおよび対数 Calabi-Yau の場合を超えて、断片的基底を構成できるか。この構成は、シータ関数の枠組みを拡張する。
• RQ2 最大退化から、ウォール構造を体系的に構成できるか。これは、先行研究の帰納的および数え上げ的構成を一般化する。
• RQ3 シータ関数は、特異ファイバー、特に $n$-頂点の原点における変形の延長において、果たす役割は何か。
• RQ4 得られた canonical 関数 $\vartheta_m$ は、鏡像退化の斉次座標環の乗法的構造をどのように符号化するか。
• RQ5 この構成が、K3 表面の事例を一般化して、安定対を用いたモジュライ空間の良いコンパクト化にどの程度まで至るか。

主な発見

• 有効な反標準クラスをもつ $n$ 次元極小化された多様体の最大退化ファミリーの広いクラスに対して、断片的基底が構成された。
• ウォール構造と折れた線を用いて、トーリックでない設定への古典的 $n$-トーラス上のシータ関数の一般化が達成された。
• 鏡像退化の斉次座標環は、グローバル関数 $\vartheta_m$ から生じる canonical 基底を明示的に実現した。
• 特異点集合内の各辺 $\rho$ に対して、変形の一般ファイバーには $n^\rho_r$ 個の $A_{r-1}$-特異点が中心ファイバーと交わる。これはスラブ関数 $f_\rho$ の零点構造によって決定される。
• codimension-one stratum $X_\rho$ 沿いのファミリーの形式的完成は、$\operatorname{Spf}(\tilde{A}_{\mathbb{P}}\llbracket Q\rrbracket\llbracket x,y\rrbracket[w^{\pm1}]/(xy - f_\rho z^{\kappa_\rho}))$ と同型であることが確認され、退化の局所幾何が裏付けられた。
• この方法は特異点を保存する：$f_\rho$ が次数 $r$ の零点を持つとき、辺に沿った $A_r$-特異点は一般ファイバーでも保存される。