[論文レビュー] Canonical Coordinates in Toric Degenerations

Helge Ruddat, Bernd Siebert|arXiv (Cornell University)|Sep 16, 2014

Algebraic Geometry and Number Theory参考文献 21被引用数 19

ひとこと要約

この論文は、グロスとシーベルトの多面体的崩壊枠組みにおいて、基底空間の多面体的単項式が標準座標をなしており、鏡映写像が自明であることを確立する。トロピカル幾何学を用いて整数的サイクルを構成し、周期積分を明示的に計算することで、著者たちはこれらの座標がモリソンの標準座標の定義を満たすことを証明し、多面体的崩壊のアプローチが鏡対称性の期待に整合することを確認する。

ABSTRACT

We prove that the mirror map is trivial for the canonical formal families of Calabi-Yau varieties constructed by Gross and the second author. In other words, the natural coordinate in a canonical Calabi-Yau family is a canonical coordinate in the sense of Hodge theory. This implies that the higher weight periods directly carry enumerative information with no further gauging necessary as opposed to the classical case. A side result is that the canonical formal families lift to analytic families. We compute the relevant period integrals explicitly. The cycles to integrate over are constructed from tropical 1-cycles in the intersection complex of the degenerate Calabi-Yau.

研究の動機と目的

• 多面体的崩壊の基底空間における多面体的単項式が、モリソンの意味での標準座標であるかどうかを検証すること。
• 代数的座標から標準座標への変換である鏡映写像が、多面体的崩壊の設定において自明であることを示すこと。
• この枠組みにおける退化したカーボリ・ヤウ多様体の形式的滑らか化が、解析的族に引き上げられることを示すこと。
• トロピカルサイクルが崩壊設定におけるすべての関連するホモロジー・サイクルを生成することを確立すること。
• トロピカルサイクル上の周期積分を明示的に計算し、標準座標構造を確認すること。

提案手法

• アフィン多様体 $B$ の多面体的分解 $\mathscr{P}$ の重心分割を用いて、特異ファイバー内のサイクルをトロピカル手法により構成すること。
• $E_1^{p,q} = H^{p+q}(\operatorname{Gr}^p_F C^\bullet(B,\Lambda)) \Rightarrow H^{p+q}(B,\Lambda)$ というスペクトル系列を用い、$q \neq 0$ 項の消滅により $E_2$ で退化することを示すこと。
• Čech複体と局所ホモロジー計算を用いて、微分作用素と可換な写像 $f: C_i(B,\partial B; \Lambda) \to H^{n-i}(\operatorname{Gr}^{n-i}_F C^\bullet(B; \Lambda))$ を定義すること。
• ホッジフィルトレーションの各階層を用いて、写像 $f$ が $H_i(B, \partial B; \Lambda) \to H^{n-i}(B; \Lambda)$ の自然な同型を誘導することを証明すること。
• ホロモルフィック $n$-形式 $\Omega$ に対するトロピカルサイクル上の周期積分を計算し、それが基底空間における正則関数を与えることを示すこと。
• Morrisonの標準座標の定義 $h_\beta(t) = \exp\left(-2\pi i \frac{\int_\beta \Omega}{\int_\alpha \Omega}\right)$ を適用し、$\beta$ が多面体的単項式に対応する場合にその関数が正則に拡張されることを証明すること。

実験結果

リサーチクエスチョン

• RQ1 多面体的崩壊の基底空間における多面体的単項式は、モリソンの意味での標準座標であるか？
• RQ2 グロス＝シーベルトの多面体的崩壊枠組みにおいて、鏡映写像は消えるか？
• RQ3 この設定における退化したカーボリ・ヤウ多様体の形式的滑らか化は、解析的族に引き上げられるか？
• RQ4 トロピカルサイクルは、崩壊設定におけるすべての関連ホモロジー・サイクルを生成するか？
• RQ5 トロピカルサイクル上の周期積分を明示的に計算し、標準座標構造を確認できるか？

主な発見

• 基底空間の多面体的単項式は標準座標であり、多面体的崩壊設定において鏡映写像が自明であることを意味する。
• [GS11] で構成された形式的滑らか化は、周期積分が正則関数を与えるため、解析的族に引き上げられる。
• $\mathscr{P}$ の重心分割を用いて構成されたトロピカルサイクルは、特異ファイバーにおけるすべてのホモロジー・サイクルを生成する。
• 写像 $f: C_i(B, \partial B; \Lambda) \to H^{n-i}(\operatorname{Gr}^{n-i}_F C^\bullet(B; \Lambda))$ は、ホモロジー群とコホモロジー群の間に自然な同型を誘導する。
• スペクトル系列 $E_1^{p,q} = H^{p+q}(\operatorname{Gr}^p_F C^\bullet(B,\Lambda))$ は $E_2$ で退化し、ホッジフィルトレーションがサイクル構造と整合することを示す。
• 周期積分の明示的計算により、 $h_\beta(t) = \exp(-2\pi i \cdot \int_\beta \Omega / \int_\alpha \Omega)$ で定義される標準座標が正則であり、多面体的単項式と一致することが確認された。