[论文解读] Tropical coamoeba and torus-equivariant homological mirror symmetry for the projective space

Masahiro Futaki, Kazushi Ueda|arXiv (Cornell University)|Jan 27, 2010

Algebraic structures and combinatorial models参考文献 11被引用 6

一句话总结

本文通过将实n维环面分解为n+1个交错多面体，引入了镜像投影空间Pⁿ的Fukaya范畴的组合结构——热带共阿莫巴（tropical coamoeba）。证明了Pⁿ的环挠等变版本的同调镜像对称性，表明与热带共阿莫巴相关的A∞-范畴与Pⁿ上T-等变凝聚层的导出范畴之间存在拟等价关系，从而通过一个完整的例外系列建立了猜想的等价性。

ABSTRACT

We introduce the notion of a tropical coamoeba which gives a combinatorial description of the Fukaya category of the mirror of a toric Fano stack. We show that the polyhedral decomposition of a real n-torus into (n + 1) permutohedra gives a tropical coamoeba for the mirror of the projective space, and prove a torus-equivariant version of homological mirror symmetry for the projective space. As a corollary, we obtain homological mirror symmetry for toric orbifolds of the projective space.

研究动机与目标

• 为塔希克法诺堆栈（特别是投影空间Pⁿ）建立环挠等变版本的同调镜像对称性。
• 将热带共阿莫巴引入为描述Pⁿ镜像Fukaya范畴的组合工具。
• 证明与热带共阿莫巴相关的A∞-范畴的导出范畴与Pⁿ上T-等变凝聚层的导出范畴等价。
• 通过同一框架将同调镜像对称性推广至Pⁿ的塔希克轨道丛。

提出的方法

• 将热带共阿莫巴定义为实n维环面Tⁿ分解为n+1个阶为n+1的交错多面体，其面上和余维数为2的面对上配备有度函数与符号函数。
• 利用度函数与符号数据从热带共阿莫巴构造A∞-范畴AG，确保其与镜像Lefschetz纤维丛的万有覆叠的Fukaya范畴拟等价。
• 通过{1,…,n+1}的集合划分定义交错多面体上面对与面的从属关系，利用对称群Sn+1的作用。
• 通过将对象与环面T的特征的层的张量积关联，将A∞-范畴提升至等变设置。
• 应用Pⁿ上集合(Ωⁿ(n)[n], …, O)构成完整例外系列的结果，证明导出范畴的等价性。
• 证明所得A∞-范畴AG与Pⁿ上T-等变凝聚层的导出范畴拟等价，从而确立主定理。

实验结果

研究问题

• RQ1 能否通过实n维环面的分解，组合性地描述Pⁿ镜像的Fukaya范畴？
• RQ2 热带共阿莫巴构造是否在A∞-范畴与镜像Lefschetz纤维丛万有覆叠的Fukaya范畴之间提供拟等价？
• RQ3 从热带共阿莫巴导出的A∞-范畴的导出范畴是否与Pⁿ上T-等变凝聚层的导出范畴等价？
• RQ4 该框架能否扩展以证明Pⁿ的塔希克轨道丛的环挠等变同调镜像对称性？

主要发现

• Pⁿ镜像的热带共阿莫巴源于实n维环面分解为n+1个阶为n+1的交错多面体。
• 与热带共阿莫巴相关的A∞-范畴与Lefschetz纤维丛的万有覆叠的Fukaya范畴拟等价。
• A∞-范畴的导出范畴与Pⁿ上T-等变凝聚层的导出范畴等价，从而证明了Pⁿ的猜想1.1。
• 等价关系可提升至等变设置，意味着Pⁿ及其塔希克轨道丛的普通同调镜像对称性成立。
• 面上的度函数由划分B₁ ⊔ B₂ = {1,…,n+1}中子集B₂的大小给出，符号函数由外代数中的楔积符号决定。
• 通过牛顿多面体的整线性变换，该构造可推广至塔希克轨道丛，将结果扩展至更广泛的塔希克法诺堆栈类。