[论文解读] 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

一句话总结

该论文在卡拉比-丘 toric 超曲面的极大复结构极限附近构造了一族凯勒度量，表明其光滑部分在 Gromov-Hausdorff 意义下收敛到一个具有整数凯勒仿射结构的奇异度量空间 $Σ$。嵌入到模型环面丛中保持复结构和内积至 $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.

研究动机与目标

• 通过整数凯勒仿射结构建立卡拉比-丘 toric 超曲面在极大复结构极限下的度量模型。
• 通过半平坦近似将超曲面 $Z_s$ 的几何与拓扑模型 $Σ$ 联系起来。
• 证明当 $s \to \infty$ 时，$(Z_s, Z_s \setminus Z_s^{\mathrm{sm}})$ 与 $(\Sigma, D)$ 之间的 Gromov-Hausdorff 距离为 $o(1)$。
• 证明嵌入映射 $\psi_s: Z_s^{\mathrm{sm}} \to W_s$ 在 $Z_s^{\mathrm{sm}}$ 上的切空间上保持复结构和内积至 $o(1)$ 阶，且一致成立。

提出的方法

• 利用对偶的反射多面体对 $(\Delta, S)$ 和 $(\Delta^\vee, T)$ 及其一致剖分，在 $\Sigma \setminus D$ 上构造整数凯勒仿射结构。
• 通过缩放参数 $\lambda \sim \lambda_0 \log|s|$ 和 $\nu \sim \nu_0 / \log|s|$，利用双多面体凯勒结构（bi-PIKAS）在模型环面丛 $W_s$ 上定义一族凯勒度量。
• 应用勒让德变换定义对偶凯勒仿射结构，确保对偶性下的整数性与相容性。
• 在缩放后的 bi-PIKAS 度量下使用 $C_i$-估计控制收敛性，依赖于 $\partial\Delta_{\lambda_0}$ 上欧氏度量与 bi-PIKAS 度量的等价性。
• 将几何参数 $\beta, \gamma, h, c$ 缩放为 $\sim 1/\log|s|$，并通过 $e^{-\beta_0 \log|s|}$ 确保误差项的指数衰减。
• 验证缩放参数的渐近行为使所有误差项趋于零，包括影响度量与复结构匹配的项。

实验结果

研究问题

• RQ1 在极大复结构极限附近，模型环面丛上的半平坦凯勒度量能否近似真实卡拉比-丘度量？
• RQ2 当 $s \to \infty$ 时，光滑超曲面与其奇异模型之间的 Gromov-Hausdorff 距离是否趋于零？
• RQ3 在嵌入到模型空间 $W_s$ 时，$Z_s^{\mathrm{sm}}$ 的切空间上的复结构与度量是否保持至 $o(1)$ 阶？
• RQ4 在 $\Sigma$ 上的对偶凯勒仿射结构如何与镜像卡拉比-丘族的几何相关？

主要发现

• 当 $|s| \to \infty$ 时，$(Z_s, Z_s \setminus Z_s^{\mathrm{sm}})$ 与 $(\Sigma, D)$ 之间的 Gromov-Hausdorff 距离为 $o(1)$ 阶。
• 嵌入映射 $\psi_s: Z_s^{\mathrm{sm}} \to W_s$ 在 $Z_s^{\mathrm{sm}}$ 上所有点 $x$ 处一致地将切空间上的内积与复结构识别至 $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] 中的猜想一致。
• 该方法为通过半平坦模型近似卡拉比-丘度量提供了框架，但由于在判别集附近存在奇点，全 Ricci 平坦性尚未证明。