[论文解读] Affine manifolds, log structures, and mirror symmetry

Mark Gross, Bernd Siebert|DergiPark (Istanbul University)|Nov 5, 2002

Algebraic Geometry and Number Theory被引用 14

一句话总结

本文提出一个框架，将具有奇点的仿射流形、对数结构与toric退化联系起来，通过Strominger-Yau-Zaslow (SYZ) 猜想实现镜像对称。通过在具有奇点的仿射流形上对积分仿射结构使用离散Legendre变换，构造镜像Calabi-Yau流形，表明Calabi-Yau流形的退化对应于拓扑纤维丛，且纤维上的复结构可通过具有指数衰减误差（随纤维半径衰减）的对偶环面纤维丛的形变来近似。

ABSTRACT

This is an outline of work in progress concerning an algebro-geometric form of the Strominger-Yau-Zaslow conjecture. We introduce a limited type of degeneration of Calabi-Yau manifolds, which we call toric degenerations. For these, the degenerate fibre is a union of toric varieties meeting along toric strata. In addition, the total space must look locally toric outside of some singular set. This is a generalisation of both Mumford-type degenerations of abelian varieties and degenerations of Calabi-Yau hypersurfacesin toric varieties. From such a degeneration, we construct a dual intersection graph along with a singular affine structure. We also explain how to reverse this procedure, using logarithmic structures. We then use a discrete Legendre transform on these affine manifolds to recover mirror symmetry. Finally, we discuss the relationship between this construction and more classical forms of SYZ. The details of the ideas presented here will appear elsewhere.

研究动机与目标

• 开发一个用于Calabi-Yau退化中镜像对称的组合与几何框架，利用具有奇点的仿射流形与对数结构。
• 通过引入具有toroidal横截奇点的toric退化，将Mumford对阿贝尔簇的环面退化理论推广至Calabi-Yau流形。
• 通过在镜像族上构造对偶纤维丛，以拓扑方式实现Strominger-Yau-Zaslow猜想，其中一侧的复结构由对偶特殊拉格朗日子流形纤维丛的形变近似。
• 通过仿射流形上的离散Legendre变换，建立Calabi-Yau流形退化族与其镜像对应物之间的对偶性。
• 提供一个超越半稳定退化的几何实现，允许更一般的奇点纤维，包括toroidal横截。

提出的方法

• 本文通过定义退化数据集 (B, P, φ)，其中 B 是具有奇点的积分仿射流形，P 是一个toric多面体分解，φ 是一个势函数，来构造Calabi-Yau流形的toric退化。
• 在数据 (B, P, φ) 上引入离散Legendre变换，生成一个镜像对偶数据集 (B̂, P̂, φ̂)，该数据集控制镜像退化并诱导仿射结构之间的对偶性。
• 使用一个发展映射 d′ 来在 B 的正则部分的管状邻域上定义仿射结构，从而为镜像族构造局部模型。
• 通过在重叠区域上施加 C-接近的粘合条件，定义两个复流形的形变，从而允许对退化族纤维上的复结构进行近似。
• 使用缩放参数 ε = 1/r（其中 r = −log|t|/2π）来将纤维解释为平坦环面丛的小扰动，误差以 O(e^{-C/ε}) 衰减，与文献[10]中观察到的指数衰减一致。
• 该构造将镜像族嵌入为在仿射流形正则部分上对偶环面丛的紧化，其复结构由切丛的扭曲平坦截面近似。

实验结果

研究问题

• RQ1 能否开发一个组合与几何框架，以类比Mumford对阿贝尔簇的环面退化理论，来描述Calabi-Yau流形的退化？
• RQ2 镜像对称是否可通过离散Legendre变换在奇异仿射流形之间实现对偶，且镜像族是否由对偶纤维丛生成？
• RQ3 Strominger-Yau-Zaslow猜想是否可通过在镜像Calabi-Yau族上构造对偶特殊拉格朗日子流形纤维丛，以拓扑方式实现？
• RQ4 如何自然地将具有非半稳定全空间与非横截纤维（例如toroidal横截）的退化纳入镜像对称？
• RQ5 Calabi-Yau纤维上的复结构与对偶仿射结构之间的定量关系是什么，特别是在近似误差方面？

主要发现

• 本文确立：对于具有退化数据 (B, P, φ) 的toric退化 f: X → S，其镜像退化通过 (B, P, φ) 的离散Legendre变换构造，得到对偶数据集 (B̂, P̂, φ̂)。
• 原始族的纤维 f⁻¹(t)（当 t 较小时）被证明是大小为 O(|t|^{C₂}) 的对偶环面纤维丛 X(B, α′) 的形变，其形变误差随纤维半径呈指数衰减。
• 纤维 f⁻¹(t) 上的复结构由对偶环面丛 X(B₀, α′) 的形变近似，误差在 ε → 0 时被限制为 O(e^{-C/ε})，其中 ε = 1/r 且 r = −log|t|/2π。
• 该构造实现了SYZ猜想的拓扑形式，其中镜像族作为奇异仿射流形 B 正则部分上对偶环面丛的紧化而出现。
• 离散Legendre变换在原始族与镜像族的仿射结构之间提供了精确的对偶性，推广了SYZ框架中连续Legendre变换。
• 在toric超曲面情形下，定理被显式证明；且势函数 φ 满足Monge-Ampère方程，意味着当 t 足够小时，纤维上存在近乎Ricci平坦的度量。