[论文解读] A categorification of Morelli's theorem and 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参考文献 25被引用 7

一句话总结

本文通过引入一个范畴化框架，将Morelli关于toric代数簇K-理论的定理进行推广，将toric代数簇上的等变正线丛与实向量空间MR中的多面体联系起来，通过导范畴与多面体几何，为toric代数簇建立了同调镜像对称的框架。其核心贡献是通过多面体对K-理论类进行几何实现，将Morelli的结果推广至范畴化设定。

ABSTRACT

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

研究动机与目标

• 将Morelli关于toric代数簇的K-理论结果推广至范畴化框架。
• 建立toric代数簇上等变正线丛与实向量空间MR中多面体之间的对应关系。
• 在同调镜像对称的背景下，通过MR中的多面体数据对K-理论类提供几何实现。
• 统一toric代数簇的组合数据与导范畴结构。

提出的方法

• 利用与环面的共特征格相关的实向量空间MR，从等变正线丛定义多面体。
• 应用toric代数簇上凝聚层的导范畴理论，以范畴化方式建模K-理论。
• 通过线丛数据，在MR中的多面体与导范畴中的对象之间构造对应关系。
• 运用同调镜像对称原理，将多面体数据与镜像Landau-Ginzburg模型的导范畴联系起来。
• 利用扇形Σ的组合结构，确保多面体与toric代数簇结构之间的兼容性。
• 在等变线丛范畴与MR中多面体范畴之间建立函子性对应关系。

实验结果

研究问题

• RQ1 如何将Morelli关于toric代数簇的K-理论定理推广至范畴化框架？
• RQ2 等变正线丛与MR中多面体之间的精确对应关系是什么？
• RQ3 这种范畴化与toric代数簇的同调镜像对称有何关联？
• RQ4 能否通过MR中的多面体数据几何实现toric代数簇上凝聚层的导范畴？
• RQ5 扇形Σ在连接线丛与多面体之间起到何种作用？

主要发现

• 本文通过将每个toric代数簇上的等变正线丛对应到实向量空间MR中的多面体，构建了Morelli定理的范畴化。
• 线丛与多面体之间的对应关系被证明与凝聚层的导范畴结构相容。
• toric代数簇的导范畴被实现为由MR中多面体参数化的几何范畴。
• 该构造通过MR中的多面体数据，为toric代数簇上的K-理论类提供了新的几何解释。
• 该框架通过多面体结构将凝聚层的导范畴与镜像的Fukaya范畴联系起来，实现了toric代数簇的同调镜像对称。
• 该方法在组合数据（扇形Σ）与范畴结构之间建立了函子性且不变的对应关系，推广了Morelli的结果。