[论文解读] A framework for tropical mirror symmetry

Janko Boehm|arXiv (Cornell University)|Mar 14, 2011

Algebraic Geometry and Number Theory参考文献 16被引用 4

一句话总结

本文提出了一种基于热带几何的镜面对称框架，通过自然的镜像映射将形变与除子联系起来，构建了卡拉比-丘流形（包括完全交与非完全交）的镜像。该框架利用单体的热带面与凸包推广了Batyrev与Batyrev-Borisov的构造，并在Macaulay2包SRdeformations中实现了该方法，无需依赖凸几何中的复杂结构，仅通过凸包即可重现已知镜像并生成新例子。

ABSTRACT

Applying tropical geometry a framework for mirror symmetry, including a mirror construction for Calabi-Yau varieties, was proposed by the author. We discuss the conceptual foundations of this construction based on a natural mirror map identifying deformations and divisors. We show how the construction specializes to that by Batyrev for hypersurfaces and its generalization by Batyrev and Borisov to complete intersections. Based on an explicit example we comment on the implementation in the Macaulay2 package SRdeformations.

研究动机与目标

• 开发一个统一的热带几何镜面对称框架，扩展Batyrev的超曲面镜像构造与Batyrev-Borisov对完全交的推广。
• 建立一个自然的镜像映射，将卡拉比-丘流形的形变与镜像上的除子对应起来，实现系统化的镜像构造。
• 为非完全交卡拉比-丘流形（如Pfaffian型）提供基于热带数据与形变理论的算法化镜像构造方法。
• 在Macaulay2包SRdeformations中实现该构造，支持计算验证与新镜像对的发现。
• 在具体例子（如ℙ⁴中一个二次曲面与一个三次曲面定义的K3曲面）上展示该方法，结果与已知镜像对称性一致。

提出的方法

• 该方法利用Gorenstein的toric Fano流形的Cox环，通过单项理想描述子簇，形变数据编码于齐次分量Hom(I₀, S/I₀)₀中。
• 将对偶多面体∇*构造为对应于形变空间的T-不变基的格点单项式的凸包。
• 将热带面余复形T_I₀(I)*定义为∇*的面F的集合，使得某类t-形变I₀不包含单项式，从而保证非平凡性。
• 通过式(3.1)的对偶关系，从T_I₀(I)*导出镜像理想I₀°，得到一阶热带镜像族。
• 该构造在不假设原流形为完全交的前提下，特化为Batyrev-Borisov镜像，仅依赖于热带与组合数据。
• 该方法在Macaulay2包SRdeformations中实现为算法，代码示例验证了其在K3曲面上的构造。

实验结果

研究问题

• RQ1 如何利用热带几何构建一个通用的镜面对称框架，使其超越超曲面与完全交的限制？
• RQ2 镜像映射在将卡拉比-丘流形的形变与镜像上的除子对应起来时起什么作用？它在热带设置中如何自然实现？
• RQ3 该热带镜像构造是否能在不预先假设完全交结构的前提下，重现Batyrev-Borisov对完全交的镜像？
• RQ4 该方法如何处理非完全交卡拉比-丘流形（如Pfaffian型）？它生成了哪些新镜像对？
• RQ5 该构造在代数几何软件（如Macaulay2）中的计算可行性与实现方式如何？

主要发现

• 该热带镜像构造在不预先知晓完全交结构的前提下，仅依赖形变数据与热带面，重现了Batyrev-Borisov对完全交的镜像。
• 该方法成功构造了非完全交卡拉比-丘流形（如Pfaffian型）的镜像，证实其在经典构造之外的普遍性。
• 在ℙ⁴中由二次曲面与三次曲面定义的K3曲面示例中，算法通过Stanley-Reisner复形、∇*与热带面余复形T_I₀(I)*计算镜像，其F-向量分别为{1,5,9,6,0,0}与{1,6,9,5,0,0}，显示镜像对称性。
• 余复形T_I₀(I)的顶点坐标被显式计算为一个4×11矩阵，确认了镜像的多面体结构。
• 该构造已实现在Macaulay2包SRdeformations中，文档中提供可运行代码以供验证与扩展。
• 该框架可推广至非一般完全交的退化情形，使通过相同热带机制研究具有指定奇点的族成为可能。