[論文レビュー] Numerical Weil-Petersson metrics on moduli spaces of Calabi-Yau manifolds

Julien Keller, Sergio Lukić|arXiv (Cornell University)|Jul 9, 2009

Geometry and complex manifolds参考文献 27被引用数 11

ひとこと要約

本稿では、Calabi-Yau多様体のモジュライ空間上のWeil-Petersson計量を計算する2つの数値的アルゴリズムを導入する：高速なモンテカルロ法に基づく手法と、より一般性があるが遅い量子化に基づく手法。後者はドナルドソンの有限次元と無限次元の幾何学的不変量理論の間の関係を用いる。主な貢献は、Calabi-Yauの五次三つfoldに対して、Weil-Petersson計量計算の明示的かつ計算可能で実用的な実装を初めて達成したことである。両手法について収束解析と数値的妥当性の検証が行われ、収束速度と特異点付近での限界も観察された。

ABSTRACT

We introduce a simple and very fast algorithm that computes Weil-Petersson metrics on moduli spaces of polarized Calabi-Yau manifolds. Also, by using Donaldson's quantization link between the infinite and finite dimensional G.I.T quotients that describe moduli spaces of varieties, we define a natural sequence of Kaehler metrics. We prove that the sequence converges to the Weil-Petersson metric. We also develop an algorithm that numerically approximates such metrics, and hence the Weil-Petersson metric itself. Explicit examples are provided on a family of Calabi-Yau Quintic hypersurfaces in CP^4. The scope of our second algorithm is much broader; the same techniques can be used to approximate metrics on null spaces of Dirac operators coupled to Hermite Yang-Mills connections.

研究の動機と目的

• 解析的に扱いにくいCalabi-Yau多様体のモジュライ空間上のWeil-Petersson計量を、効率的な数値的手法で計算すること。
• 弦理論のコンパクト化においてWeil-Petersson計量が有効場理論作用に現れるため、数値的近似の必要性に対処すること。
• 特に高次元のモジュライ空間において、正確な解析的計算に代わる計算可能な代替手法を提供すること。
• リッチ平坦計量にとどまらず、Calabi-Yau多様体上のベクトル束のモジュライ空間など、他のモジュライ空間に対しても数値的手法の適用を拡張すること。
• 提案されたアルゴリズムの収束性および数値的精度を、特にモジュライ空間の特異点付近で分析すること。

提案手法

• 最初のアルゴリズムは、微分同相写像下での正則最高形式の局所変形式のモンテカルロ積分を用い、Calabi-Yauの五次三つfoldにおけるWeil-Petersson計量の高速な数値的評価を可能にする。
• 2番目のアルゴリズムはドナルドソンの量子化フレームワークを適用し、正則断面の有限次元商上の系列のKähler計量によってWeil-Petersson計量を近似する。
• 線形化された$T$-写像上で反復スキームを用いて、バランスド計量の系列を構築し、$k \to \infty$の極限でWeil-Petersson計量に収束させる。
• この手法は、式 (4.13) で定義される量子化されたKähler形式$\Omega_{k,\mathcal{T}}$を用いて計量を評価する。$k$が増加するにつれて、これはWeil-Petersson計量を近似する。
• バランスド計量上でのWeil-Petersson公式の直接評価（式 4.17）と比較され、後者は著しく遅いことが判明した。
• 数値的実装は、$Z_0^5 + \cdots + Z_4^5 - 5tZ_0Z_1Z_2Z_3Z_4$という1パラメータ族のCalabi-Yau五次三つfold上で、$k=1$から$6$まで実施された。

実験結果

リサーチクエスチョン

• RQ1 解析的に扱いにくいCalabi-Yau多様体のモジュライ空間上のWeil-Petersson計量を、数値的手法によって効率的に計算できるか？
• RQ2 量子化に基づく近似手法の収束速度は、モジュライ空間の異なる領域、特に特異点付近でどのように振る舞うか？
• RQ3 ドナルドソンの量子化フレームワークを用いて、バランスド計量によるWeil-Petersson計量の近似はどの程度達成可能か？
• RQ4 高速なモンテカルロ法と、より厳密だが遅いバランスド計量上でのWeil-Petersson公式の直接評価との間で、計算コストと精度のトレードオフはいかほどか？
• RQ5 なぜ近似は特異点付近で失敗するのか？この制限は、改善された数値的手法によって緩和可能か？

主な発見

• 高速なモンテカルロに基づくアルゴリズムにより、Calabi-Yau五次三つfoldにおけるWeil-Petersson計量の迅速な計算が可能となり、1点あたりの計算時間はバランスド計量を計算するのとほぼ同等である。
• 量子化に基づく手法は、$k \to \infty$の極限でWeil-Petersson計量に収束し、$|t|$が大きい領域では収束速度が$t=0$のフェルマー点付近よりも高いことが観察された。
• $k=6$のとき、$t=0$における量子化計量の近似値は$0.07$であったのに対し、正確な値は$0.19$であった。$k>12$では$0.01$未満の偏差が達成可能である可能性がある。
• 収束が最も悪くなるのは、$t = \exp(2\sqrt{-1}\pi\mathbb{Z}/5)$の点付近であり、ここでは五次三つfoldが二重点特異点を有するため、近似精度の低下が生じる。
• バランスド計量上でのWeil-Petersson公式の直接評価（式 4.17）は、$k=6$のとき、量子化計量を計算するのと比べて約4倍遅く、詳細な解析には現実的でない。
• 特異点付近での失敗は、量子化における量子不確定性によって説明される。$\hbar^n \sim \text{Vol}(X_t)/k^n$未満のスケールの特徴は、正確に解像できない。これはランゲ現象に類似している。