[論文レビュー] Hodge classes associated to 1-parameter families of Calabi-Yau 3-folds

Pedro Luis del Angel, Stefan Müller–Stach+2 more|arXiv (Cornell University)|Nov 2, 2009

Algebraic Geometry and Number Theory参考文献 12被引用数 6

ひとこと要約

本稿は、1パラメータ族のCalabi-Yau 3-fold における、原始的中央コホロロジーの局所系統 $ \mathbb{V} $ に対する、パラボリックコホロロジー $ H^1(\bar{S}, j_*\mathbb{V}) $ のホッジ数を計算するため、$ L^2 $-Higgsコホロロジー法を展開する。$ h^{2,2} $ が代数的2次元サイクルの主要な指標であることを特定し、モノドロミー情報とピカール＝フック作用素を用いてホッジ数の明示的公式を導出。特に鏡像対称的族における有理サイクルの存在を確認する。

ABSTRACT

We use $L^2$-Higgs cohomology to determine the Hodge numbers of the parabolic cohomology $H^1(\bar S, j_*\V)$, where the local system $\V$ arises from the third primitive cohomology of family of Calabi-Yau threefolds over a curve $\bar S$. The method gives a way to predict the presence of algebraic 2-cycles in the total space of the family and is applied to some examples.

研究の動機と目的

• 1パラメータ族のCalabi-Yau 3-fold におけるパラボリックコホロロジー $ H^1(\bar{S}, j_*\mathbb{V}) $ のホッジ数を決定すること。
• モノドロミー情報とピカール＝フック作用素を結びつける手法を確立し、族の全空間における代数的2次元サイクルを検出すること。
• ジョルダンブロック構造やモノドロミー重みなど幾何的不変量を用いて、ホッジ数 $ h^{p,q} $ の明示的公式を提示すること。
• 鏡像対称性や超幾何幾何学の具体例（グラスマンニアンやハダマール積構成含む）に本手法を適用すること。

提案手法

• 複体 $ \Omega_{(2)}^\bullet(\mathbb{V}) $ を用いて、$ L^2 $-Higgsコホロロジーにより交差コホロロジーを計算し、$ H^1(\bar{S}, j_*\mathbb{V}) $ を得る。
• ズッカーの $ L^2 $-可積分性条件を用い、調和形式をモノドロミー重みフィルトレーションの観点から特徴付ける。
• 境界点におけるヘッジ場 $ \theta $ 及びその留数 $ N_p = \mathrm{Res}_p(\theta) $ を解析し、モノドロミー重みフィルトレーションを特定する。
• スペクトル系列 $ \mathbb{H}^q(\mathrm{Gr}_F^p \Omega_{(2)}^\bullet(\mathbb{V})) \Rightarrow H^{p+q}_{(2)}(S,\mathbb{V}) $ が $ E_1 $ で退化することを根拠にホッジ構造を計算する。
• ピカール＝フック微分作用素を用いて局所系統 $ \mathbb{V} $ を計算し、モノドロミー情報から $ h^{1} = 3A + 2B + 3C - 8 $ を導出する。
• 基底変換 $ z \mapsto z^k $ を適用し、モノドロミー型を変更し、特に $ h^{2,2} $ の変化を計算する。

実験結果

リサーチクエスチョン

• RQ1 1パラメータ族のCalabi-Yau 3-fold におけるパラボリックコホロロジー $ H^1(\bar{S}, j_*\mathbb{V}) $ のホッジ数は何か？
• RQ2 ジョルダンブロック構造を有するモノドロミー情報は、全空間における代数的2次元サイクルの存在を予測するためにどのように利用できるか？
• RQ3 ピカール＝フック作用素にどのような条件が成立すると、非自明な $ h^{2,2} $ が生じ、有理2次元サイクルの存在を示唆するか？
• RQ4 基底変換はホッジ構造および $ h^{2,2} $ の出現にどのように影響を与えるか？
• RQ5 $ L^2 $-Higgsコホロロジー法は、鏡像対称的族におけるホッジ数の分類に体系的に適用可能か？

主な発見

• $ \mathbb{P}^5[3,3] $ 家族において、三重引き戻しを行った後、$ h^{4,0} = 1 $、$ h^{3,1} = 0 $、$ h^{2,2} = 1 $ となり、有理2次元サイクルが存在することを示唆する。
• $ \mathbb{P}^5[2,6] $ の場合、$ A=6 $、$ B=1 $、$ C=1 $ のとき $ h^{2,2} = 1 $ となり、非自明な $ H^{2,2} $ クラスが存在することが確認される。
• グラスマンニアン鏡像族 $ \mathrm{Gr}(2,5) $ では、$ h^{2,2} = 1 $、$ h^{1} = 1 $、モノドロミー情報として $ A=4 $、$ B=1 $、$ C=1 $、$ a=1 $、$ b=1 $ が得られる。
• ハダマール積の例では、$ h^{2,2} = 1 $、$ h^1 = 1 $、$ A=0 $、$ B=0 $、$ C=3 $、$ a=1 $、$ b=0 $ であり、$ h^{2,2} $ が無限遠点における最大ジョルダンブロックを持たない場合にも生じ得ることを示す。
• 無限遠点に最大ジョルダンブロックがある場合、$ h^{4,0} = k-1 $、$ h^{3,1} = h^{2,2} = 0 $ となり、このような構成では $ H^{2,2} $ クラスは生じない。
• 方程式 $ \Phi_Z $ のピカール＝フック方程式における非同次項に $ \sqrt{z} $ が現れることが、非自明な $ h^{2,2} $ と相関すると予測され、代数的サイクルの存在を支持する。