[论文解读] Polytopes and Skeleta

David Treumann, Eric Zaslow|arXiv (Cornell University)|Sep 20, 2011

Algebraic structures and combinatorial models参考文献 13被引用 4

一句话总结

本文从一个对偶的反射多面体对构造出一个Legendrian空间 $\Lambda^\infty$，并利用Kashiwara-Schapira理论为其配备一个微分graded范畴的层。作者猜想该层模型了大体积极限 $Z^\vee_\infty$ 的Fukaya范畴，并通过与Danilov-Khovanskiïb2011计算出的贝蒂数一致的同调计算提供了计算证据。该工作支持了对toric超曲面在极大复结构极限下的同调镜像对称猜想。

ABSTRACT

To each simplicial reflexive polytope in Z^(n+1), we attach an n-dimensional space, Lambda^\infty. It is the Legendrian boundary of a conic Lagrangian considered in work of the authors, Fang and Liu, and because of this it carries a sheaf of dg categories called the "Kashiwara-Schapira sheaf." We discuss some conjectures and results about the role that Lambda^\infty and the Kashiwara-Schapira sheaf should play in homological mirror symmetry.

研究动机与目标

• 定义一个拓扑空间 $\Lambda^\infty$，使其可作为镜像toric超曲面的大体积极限 $Z^\vee_\infty$ 的拉格朗日子流形。
• 利用Kashiwara-Schapira理论为 $\Lambda^\infty$ 配备一个微分graded范畴的层，猜想其模型了 $Z^\vee_\infty$ 的Fukaya范畴。
• 通过计算证据表明 $\Lambda^\infty$ 的同调与Danilov和Khovanskiïb2011计算出的 $Z^\vee_\infty$ 的贝蒂数一致。
• 支持Kontsevich的同调镜像对称猜想在toric超曲面的极大复结构极限与大体积极限下的成立。
• 建立一个框架，使得 $\Lambda^\infty$ 上层的全局截面能恢复 $\mathrm{Perf}(Z^\infty)$，从而连接几何与范畴论。

提出的方法

• 将 $\Lambda^\infty$ 构造为紧致环面的余切丛的接触边界中的Legendrian子流形，其来源于对偶多面体 $\triangle^\vee$。
• 利用Kashiwara-Schapira层理论，基于其奇异拉格朗日子流形结构，为 $\Lambda^\infty$ 赋予一个微分graded范畴的层。
• 定义一个链复形 $C_*$ 来建模 $\Lambda^\infty$ 的同调，其生成元来自 $\triangle^\vee$ 的顶点与边，微分由面包含关系的组合学编码。
• 使用 $G_F$-群之间映射的矩阵表示，通过Sage将矩阵化为Smith标准型，计算 $C_*$ 的同调。
• 使用Sage工作表自动化计算全部194个面为单形的三维反射多面体，矩阵编码了面包含映射。
• 将计算得到的贝蒂数与Danilov-Khovanskiïb2011的结果进行比较，验证一致性。

实验结果

研究问题

• RQ1 是否 $\Lambda^\infty$ 同伦等价于大体积极限下的仿射超曲面 $Z^\vee_\infty$？
• RQ2 Kashiwara-Schapira层在 $\Lambda^\infty$ 上是否模型了 $Z^\vee_\infty$ 上紧致拉格朗日子 brane 的Fukaya范畴？
• RQ3 对于映射 $\Lambda^\infty \to \partial\triangle^\vee$，其Leray谱序列是否在 $\mathbb{Q}$ 上于 $E^2$ 页退化，如所猜想？
• RQ4 是否可以算法化地计算 $\Lambda^\infty$ 的同调，并证明其与 $Z^\vee_\infty$ 的贝蒂数一致？
• RQ5 该层在 $\Lambda^\infty$ 上的全局截面范畴是否等价于 $\mathrm{Perf}(Z^\infty)$，如镜像对称所预期？

主要发现

• 通过链复形 $C_*$ 计算出的 $\Lambda^\infty$ 同调满足 $H_0(\Lambda^\infty) \cong \mathbb{Q}$ 且 $H_1(\Lambda^\infty) \cong \mathbb{Q}^3 \oplus \mathbb{Q}^7$，与 $Z^\vee_\infty$ 的贝蒂数一致。
• 对于标准单形 $\triangle^\vee = \mathrm{conv}\{v_1,v_2,v_3\}$，微分矩阵 $\partial: \mathbb{Q}^9 \to \mathbb{Q}^3$ 的秩为2，导致 $\dim H_0 = 1$ 且 $\dim H_1 = 10$，与 $Z^\vee_\infty$ 为去掉九点的椭圆曲线一致。
• 对全部194个面为单形的三维反射多面体，计算出的贝蒂数与Danilov和Khovanskiïb2011的结果完全一致。
• 对于映射 $\Lambda^\infty \to \partial\triangle^\vee$ 的Leray谱序列，其 $E^2$ 页在 $\mathbb{Q}$ 上的退化性被猜想成立，支持 $\Lambda^\infty$ 与 $Z^\vee_\infty$ 的同伦等价。
• 在Sage中的算法实现正确计算了 $G_F$-群之间映射的秩与核，实现了对 $\mathbb{Z}$ 上同调的自动化验证。
• 猜想 $\Lambda^\infty$ 上的dg范畴层等价于 $Z^\vee_\infty$ 上的Fukaya范畴，且其全局截面应能恢复 $\mathrm{Perf}(Z^\infty)$。