[论文解读] T-Duality and Equivariant Homological Mirror Symmetry for Toric Varieties

Bohan Fang, Chiu-Chu Melissa Liu+2 more|arXiv (Cornell University)|Nov 9, 2008

Algebraic structures and combinatorial models参考文献 17被引用 8

一句话总结

本文通过将T-对偶性纳入等变同调镜像对称框架，拓展了等变正线丛与toric代数簇上多面体之间的对应关系。它建立了一个对偶框架，通过环面作用将对偶向量空间中的多面体相互关联，通过等变K-理论与导出范畴，为toric代数簇的镜像对称提供了几何实现。

ABSTRACT

An equivariant, ample line bundle on a toric variety XΣ defines a polytope in a vector space MR. We extend this simple correspondence to

研究动机与目标

• 将经典等变正线丛与toric代数簇上多面体之间的对应关系推广至包含T-对偶性的框架。
• 建立一个对偶框架，通过等变结构将对偶toric代数簇上凝聚层的导出范畴相互关联。
• 通过多面体与环作用，为toric代数簇的同调镜像对称提供几何解释。
• 在toric几何的背景下，将T-对偶性与等变K-理论及导出范畴统一起来。
• 将同调镜像对称猜想扩展至包含toric代数簇上的等变与正线丛数据。

提出的方法

• 利用格子N中的扇图Σ的标准构造方法，构建toric代数簇XΣ，其中M为N的对偶格子。
• 将XΣ上的等变正线丛与实向量空间MR = M ⊗ R中的多面体相关联。
• 应用T-对偶性，将MR中的多面体与对偶空间NR中的对偶多面体关联，体现镜像对称的对偶性。
• 通过环T = Hom(M, C*)的作用，定义线丛与层上的等变结构。
• 应用导出范畴技术，关联对偶toric代数簇的等变导出范畴。
• 运用等变K-理论与扇图的结构，确保多面体数据与镜像构造之间的相容性。

实验结果

研究问题

• RQ1 T-对偶性如何被整合进toric代数簇的等变同调镜像对称框架？
• RQ2 在T-对偶性下，等变正线丛与多面体之间的精确几何对应关系是什么？
• RQ3 环的作用如何影响导出范畴设定下镜像对称对应关系？
• RQ4 镜像对称等价性是否可通过对偶向量空间中多面体的对偶性实现？
• RQ5 等变K-理论与导出范畴在镜像对应构造中扮演何种角色？

主要发现

• 本文建立了由toric代数簇上T-对偶性诱导的对偶向量空间MR与NR中多面体之间的对偶关系。
• 通过多面体的对应关系，构建了对偶toric代数簇之间等变导出范畴的镜像对称等价。
• 该构造将经典线丛-多面体对应关系推广至包含T-对偶性与等变结构的框架。
• 镜像映射被证明保持环作用与正线丛数据，确保与同调镜像对称猜想的相容性。
• 该框架通过多面体与环等变导出范畴，为toric代数簇的镜像对称提供了几何实现。
• 研究结果将同调镜像对称的适用范围扩展至包含等变与正线丛数据，丰富了对偶框架。