[論文レビュー] SYZ conjecture for Calabi-Yau hypersurfaces in the Fermat family

Yang Li|arXiv (Cornell University)|Dec 5, 2019

Geometry and complex manifolds参考文献 38被引用数 12

ひとこと要約

本稿は、大複素構造極限に近いフェルマー族のカルラヤ・ハイパーサーフェスの一般領域において、$C^{u}_{\text{loc}}$-近い半フラット近似と摂動技法を用いて、特別ラグランジュ $T^n$-ファイブレーションを構成する。主な結果は、ある部分列の計量に対して、ファイブレーションが体積のほとんどをカバーしており、$s \to \infty$ のとき一般領域に良好に振る舞うSYZファイブレーションが存在することである。Gromov-Hausdorff極限は単体境界上の特異な実Monge-Ampère計量であり、直径は一様に有界のまま保たれる。

ABSTRACT

We produce special Lagrangian $T^n$-fibrations on the generic regions of some Calabi-Yau hypersurfaces in the Fermat family $X_s=\{ Z_0\ldots Z_{n+1}+ e^{-s} ( Z_0^{n+2}+ \ldots Z_{n+1}^{n+2} ) =0 \}\subset \mathbb{CP}^{n+1} $ near the large complex structure limit $s o +\infty$.

研究の動機と目的

• ストロミンジャー＝ヤウ＝ザスロウ（SYZ）予想を、具体的で非自明なカルラヤ多様体の族であるフェルマー超曲面において検証すること。
• 計量が半フラット計量の小さな $C^\infty_{\text{loc}}$-摂動であるとして、$s \to \infty$ のとき $X_s$ の一般領域に特別ラグランジュ $T^n$-ファイブレーションを構成すること。
• カルラヤ計量が単体の境界上で特異な実Monge-Ampère計量にGromov-Hausdorff収束することを確立すること。
• collapsing 行動が見られるにもかかわらず、$s \to \infty$ のときカルラヤ計量の直径が一様に有界のまま保たれることを示すこと。

提案手法

• フェルマー族のカルラヤ超曲面 $X_s = \{\prod Z_i + e^{-s}\sum Z_i^{n+2} = 0\} \subset \mathbb{CP}^{n+1}$ を具体的なテストケースとして用いる。
• 一般領域における局所幾何を分析し、$X_s$ が $(\mathbb{C}^*)^n$ 内の大きなアニュラスに近い構造を持ち、正則体積形式が $d\log z_1 \wedge \cdots \wedge d\log z_n$ に近いことを確認する。
• 擬・コンパクト関数のファイバー平均を用いて、基底上への凸関数を導出し、複素幾何と実Monge-Ampère方程式を結びつける。
• 張の結果（平坦ファイブレーションの摂動）を応用し、重複する座標近傍で特別ラグランジュ $T^n$-ファイブレーションを構成する。
• スケーリングされたカルラヤ計量が半フラット構造と $C^\infty_{\text{loc}}$-一様に近いことを確立し、局所的ファイブレーション構成を可能にする。
• 摂動的領域における一意性により、局所的ファイブレーションが近傍間で一致することを示し、$X_s$ の大半の測度部分集合上でグローバルなファイブレーションが得られる。

実験結果

リサーチクエスチョン

• RQ1 $s \to \infty$ のとき、フェルマー族のカルラヤ超曲面の一般領域に特別ラグランジュ $T^n$-ファイブレーションを構成できるか？
• RQ2 カルラヤ計量のGromov-Hausdorff極限が単体の境界上での実Monge-Ampère計量に一致するか？
• RQ3 collapsing 行動が見られるにもかかわらず、$s \to \infty$ のときカルラヤ計量の直径が一様に有界であるか？
• RQ4 一般領域が、$C^\infty_{\text{loc}}$-近い半フラット構造に $C^\infty_{\text{loc}}$-近いファイブレーションを支持する程度はどの程度か？
• RQ5 計量的・幾何的解析技法を用いて、非自明で明示的なカルラヤ多様体族においてSYZ予想を検証できるか？

主な発見

• 部分列 $X_s$ ($s \to \infty$) に対して、$X_s$ の部分集合 $U_s \subset X_s$ 上に特別ラグランジュ $T^n$-ファイブレーションが存在し、$\text{Vol}(U_s)/\text{Vol}(X_s) \to 1$ が成り立つ。これは一般領域がファイブレーションを支持することを確認する。
• カルラヤ計量の部分列がGromov-Hausdorffの意味で、$\partial\Delta_\lambda^\vee$ の中で稠密な開集合 $\mathcal{R} \subset \partial\Delta_\lambda^\vee$ 上の滑らかな実Monge-Ampère計量の完成に収束する。特異集合の $(n-1)$-ヒルベルト・ハウスドルフ測度はゼロである。
• カルラヤ計量の直径は一様に有界である。すなわち、ある定数 $C$ が存在し、$s$ に依存しない $\text{diam}(X_s, g_{CY,s}) \leq C$ が成り立つ。これは collapse が起きても成り立つ。
• 一般領域において、カルラヤ計量は半フラット計量と $C^\infty_{\text{loc}}$-一様に近い。これは、有界な断面曲率と制御された幾何を意味する。
• ファイブレーションは、対数ファイブレーション $\text{Log}: (\mathbb{C}^*)^n \to \mathbb{R}^n$ の局所的摂動により構成され、摂動的領域における一意性により、重複する近傍間で一貫性が保証される。
• 極限の基底 $\partial\Delta_\lambda^\vee$ は $S^n$ に位相同相であり、ファイブレーション構造はトロピカル幾何および非アルキメデス幾何と整合する。