[论文解读] From real affine geometry to complex geometry

Mark Gross, Bernd Siebert|arXiv (Cornell University)|Mar 28, 2007

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

一句话总结

本文通过热带几何方法，从具有奇点的实仿射流形出发，构建了卡拉比-丘流形的退化，提供了一种规范的、逐阶的形变过程。关键贡献在于解决了镜像对称中的逆问题，通过热带树族显式关联了热带数据与复几何，并证明了规范形变参数的存在性以及基于热带曲线的周期计算。

ABSTRACT

We construct from a real affine manifold with singularities (a tropical manifold) a degeneration of Calabi-Yau manifolds. This solves a fundamental problem in mirror symmetry. Furthermore, a striking feature of our approach is that it yields an explicit and canonical order-by-order description of the degeneration via families of tropical trees. This gives complete control of the B-model side of mirror symmetry in terms of tropical geometry. For example, we expect our deformation parameter is a canonical coordinate, and expect period calculations to be expressible in terms of tropical curves. We anticipate this will lead to a proof of mirror symmetry via tropical methods. This paper is the key step of the program we initiated in math.AG/0309070.

研究动机与目标

• 通过从具有奇点的实仿射流形构造卡拉比-丘流形的退化，解决镜像对称中的逆问题。
• 利用热带树族，提供一种规范的、逐阶的退化描述。
• 在热带几何与镜像对称的B模型侧之间建立直接联系，实现显式的周期积分计算。
• 证明规范形变参数的存在性，并表明周期可表示为热带曲线的形式。
• 证明该构造不依赖于判别集的选择，确保其鲁棒性与一致性。

提出的方法

• 该构造基于在边界上粘合整数多面体的组合框架，形成一个在余维数二奇点集之外具有整数仿射结构的拓扑流形。
• 通过引入板、墙和散射图来模拟形变过程，通过多面体分解中接头处的环路施加一致性条件。
• 该算法分为三步：初始结构设置、接头处的散射，以及板的同调修正，随后进行归一化。
• 使用完备幂级数环中的无限乘积展开来构造形变，通过指数的有限支集条件确保收敛性。
• 该方法依赖于tlog映射来追踪对数结构，并确保在每一阶次下形变参数的整数性。
• 通过将流形在单位区间上延拓并验证同伦变形下的一致性，证明该构造不依赖于判别集的选择。

实验结果

研究问题

• RQ1 能否从具有奇点的实仿射流形显式构造卡拉比-丘流形的退化？
• RQ2 该构造中是否存在一个对应于B模型上坐标系的规范形变参数？
• RQ3 镜像对称中的周期积分能否表示为热带曲线的形式？
• RQ4 该构造在不同判别集选择下是否保持不变？
• RQ5 整个形变过程能否通过热带树结构实现逐阶描述？

主要发现

• 本文构造了卡拉比-丘代数簇的 торic 退化，其对偶相交复形同构于给定的具有奇点的仿射流形。
• 通过热带树族实现了形变的显式逐阶描述，从而对镜像对称的B模型侧实现了完全控制。
• 该构造产生了一个规范形变参数，预计可作为模空间上的自然坐标。
• 周期积分被猜想可表示为热带曲线的形式，暗示了通往镜像对称热带证明的路径。
• 该方法不依赖于判别集的选择，通过在单位区间上延拓构造并验证同伦变形下的一致性得以证明。
• 由于每一阶次中非零系数具有有限支集，形变函数的无限乘积展开收敛，确保了每一步的良定义性。