[論文レビュー] Integral affine structures on spheres and torus fibrations of Calabi-Yau toric hypersurfaces II

Christian Haase, Ilia Zharkov|ArXiv.org|Jan 21, 2003

Geometry and complex manifolds被引用数 6

ひとこと要約

本稿は、大複素構造極限に近いカーラビ-ヤウトーリック超曲面に、一連のケーラー計量を構成し、その滑らかな部分がGromov-Hausdorff収束して、整数的ケーラー・アフィン構造を持つ特異な計量空間 $Σ$ になることを示している。モデルトーラス bundle への埋め込みは、複素構造とスカラー積を $o(1)$ の誤差内で保ち、半平坦近似を介して、ホモロジカル鏡像対称性予想の計量版を支持する。

ABSTRACT

This paper is a continuation of our paper math.AG/0205321 where we have built a combinatorial model for the torus fibrations of Calabi-Yau toric hypersurfaces. This part addresses the connection between the model torus fibration and the complex and Kähler geometry of the hypersurfaces.

研究の動機と目的

• 整数的ケーラー・アフィン構造を用いて、カーラビ-ヤウトーリック超曲面の大きな複素構造極限の計量的モデルを確立すること。
• 半平坦近似を介して、超曲面 $Z_s$ の幾何学をトップロジカルモデル $Σ$ に関連付けること。
• $(Z_s, Z_s \setminus Z_s^{\mathrm{sm}})$ と $(\Sigma, D)$ の間のGromov-Hausdorff距離が $s \to \infty$ のとき $o(1)$ に収束することを示すこと。
• 埋め込み $\psi_s: Z_s^{\mathrm{sm}} \to W_s$ が、$x \in Z_s^{\mathrm{sm}}$ に対して一様に、接空間上の複素構造とスカラー積を $o(1)$ の誤差内で保つこと。

提案手法

• 双対な反射的多面体の対 $(\Delta, S)$ と $(\Delta^\vee, T)$ と、整合的な三角形分割を用いて、$\Sigma \setminus D$ 上に整数的ケーラー・アフィン構造を構成する。
• 二重多面体的ケーラー構造（bi-PIKAS）を用い、スケーリングパラメータ $\lambda \sim \lambda_0 \log|s|$、$\nu \sim \nu_0 / \log|s|$ を用いて、モデルトーラス bundle $W_s$ 上にケーラー計量の族を定義する。
• Legendre変換を用いて双対ケーラー・アフィン構造を定義し、双対性下での整数性と整合性を保証する。
• スケーリングされた bi-PIKAS 計量における $C_i$-推定を用いて収束を制御し、$\partial\Delta_{\lambda_0}$ 上でユークリッド計量と bi-PIKAS 計量の等価性に依存する。
• 幾何的パラメータ $\beta, \gamma, h, c$ を $\sim 1/\log|s|$ にスケーリングし、$e^{-\beta_0 \log|s|}$ を用いて誤差項の指数的減衰を保証する。
• スケーリングされたパラメータの漸近的挙動が、すべての誤差項（計量および複素構造の一致に影響するものも含む）をゼロに駆り立てるのを検証する。

実験結果

リサーチクエスチョン

• RQ1 モデルトーラス bundle 上の半平坦ケーラー計量が、大複素構造極限に近い超曲面上の真のカーラビ-ヤウ計量を近似できるか？
• RQ2 滑らかな超曲面とその特異的モデルの間のGromov-Hausdorff距離が $s \to \infty$ のとき 0 に収束するか？
• RQ3 超曲面 $Z_s^{\mathrm{sm}}$ の接空間上の複素構造および計量が、モデル空間 $W_s$ への埋め込みによって $o(1)$ の誤差内で保たれるか？
• RQ4 超曲面 $\Sigma$ 上の双対ケーラー・アフィン構造は、鏡像カーラビ-ヤウ族の幾何学とどのように関係するか？

主な発見

• $(Z_s, Z_s \setminus Z_s^{\mathrm{sm}})$ と $(\Sigma, D)$ の間のGromov-Hausdorff距離は、$|s| \to \infty$ のとき $o(1)$ のオーダーである。
• 埋め込み $\psi_s: Z_s^{\mathrm{sm}} \to W_s$ は、$x \in Z_s^{\mathrm{sm}}$ に対して一様に、接空間上のスカラー積と複素構造を $o(1)$ の誤差内で同定する。
• 構成は双対性に関して対称である：$(\Delta, S, \lambda)$ と $(\Delta^\vee, T, \nu)$ を交換しても、同じ極限計量空間 $\Sigma$ と双対ケーラー・アフィン構造が得られる。
• スケーリングされたパラメータ $\beta_0, \gamma_0, c_0, h_0 \sim 1/\log|s|$ の漸近的挙動により、すべての誤差項が $\log|s| \to \infty$ のとき消えることが保証される。
• $(\log|s|)^{-1}\lambda, \log|s|\nu$ に関連する bi-PIKAS 構造は、$(\lambda_0, \nu_0)$-bi-PIKAS に収束する。これは [KS01] の予想と整合的であることを確認する。
• 本手法は、半平坦モデルによるカーラビ-ヤウ計量の近似のフレームワークを提供するが、特異的領域（判別集合付近）のため、完全なリッチ平坦性は未解決のままである。