[论文解读] Homological mirror symmetry without corrections

Mohammed Abouzaid|arXiv (Cornell University)|Mar 23, 2017

Geometric and Algebraic Topology参考文献 23被引用 12

一句话总结

本文在 $\pi_2(Q) = 0$ 的条件下，建立了闭对称流形 $X$ 上具有拉格朗日子丛纤维化的、典型无阻碍的分次拉格朗日子流形的弗克亚范畴到由孔采维奇-索伊贝尔曼的 $T$-对偶构造出的刚性解析空间 $Y$ 上扭曲凝聚层的导出范畴的全忠实嵌入。关键进展在于，在 $\pi_2(Q) = 0$ 条件下证明了全族弗克亚映射的满射性，从而消除了对边界链的依赖，使得能够通过塔特的无旋性定理与无限秩局部系统直接构造镜像对称。

ABSTRACT

Let $X$ be a closed symplectic manifold equipped a Lagrangian torus fibration over a base $Q$. A construction first considered by Kontsevich and Soibelman produces from this data a rigid analytic space $Y$, which can be considered as a variant of the $T$-dual introduced by Strominger, Yau, and Zaslow. We prove that the Fukaya category of tautologically unobstructed graded Lagrangians in $X$ embeds fully faithfully in the derived category of (twisted) coherent sheaves on $Y$, under the technical assumption that $π_2(Q)$ vanishes (all known examples satisfy this assumption). The main new tool is the construction and computation of Floer cohomology groups of Lagrangian fibres equipped with topological infinite rank local systems that correspond, under mirror symmetry, to the affinoid rings introduced by Tate, equipped with their natural topologies as Banach algebras.

研究动机与目标

• 建立闭对称流形 $X$ 上具有拉格朗日子丛纤维化的典型无阻碍分次拉格朗日子流形的弗克亚范畴到镜像刚性解析空间 $Y$ 上扭曲凝聚层的导出范畴的全忠实嵌入。
• 证明此类拉格朗日子流形的全族弗克亚映射是满射的，从而将已知的单射性结果强化为全忠实性。
• 通过假设 $\pi_2(Q) = 0$ 消除弗克亚理论中对边界链的依赖，该条件确保所有被纤维束缚的全纯盘均为常值。
• 构造并计算配备无限秩局部系统的拉格朗日子流形纤维的弗克亚上同调群，其镜像对应于带有巴拿赫代数拓扑的塔特仿射环。

提出的方法

• 通过孔采维奇-索伊贝尔曼的 $T$-对偶构造，从拉格朗日子丛纤维化 $X \to Q$ 构造刚性解析空间 $Y$。
• 利用 $\pi_2(Q)$ 的消失性，确保所有被纤维束缚的全纯盘均为常值，从而在弗克亚理论中消除对边界链的依赖。
• 在拉格朗日子丛纤维上引入无限秩局部系统，这些系统在镜像对称下对应于带有自然巴拿赫代数拓扑的塔特仿射环。
• 应用塔特的无旋性定理计算具有扭曲系数的上同调群，从而实现从弗克亚理论数据构造 $Y$ 上的凝聚层。
• 建立一个全族弗克亚函子，为每个分次拉格朗日子流形 $L$ 分配一个 $Y$ 上的凝聚解析复形层 $\mathcal{L}_L$，并证明其在态射空间上的满射性。
• 利用半正交分解与双模结构，比较不同镜像空间覆盖上的模范畴，确保像落在扭曲凝聚层的导出范畴中。

实验结果

研究问题

• RQ1 在 $\pi_2(Q) = 0$ 条件下，能否证明从典型无阻碍分次拉格朗日子流形的弗克亚范畴到镜像空间 $Y$ 上凝聚层导出范畴的全族弗克亚映射是满射的？
• RQ2 $\pi_2(Q) = 0$ 的假设是否足以消除拉格朗日子丛纤维化中弗克亚理论对边界链的依赖？
• RQ3 能否利用拉格朗日子流形上的无限秩局部系统来建模镜像中的塔特仿射环？它们是否产生 $Y$ 上良定义的凝聚层？
• RQ4 全族弗克亚函子是否独立于构造中的选择？其像是否落在正确的扭曲凝聚层子范畴中？
• RQ5 在给定的几何约束下，$Y$ 上扭曲凝聚层的导出范畴能否作为弗克亚范畴的全忠实函子的像？

主要发现

• 在 $\pi_2(Q) = 0$ 的假设下，全族弗克亚映射 $HF^*(L, L') \to H^*(Y; \operatorname{Hom}_{\mathcal{O}_Y}(\mathcal{L}_{L'}, \mathcal{L}_L))$ 对所有分次拉格朗日子流形 $L, L'$ 都是满射的。
• 在 $X$ 中典型无阻碍分次拉格朗日子流形的弗克亚范畴通过 $\beta$-扭曲的导出范畴全忠实嵌入到刚性解析镜像空间 $Y$ 上，其中 $\beta$ 是由 $H^2(Y, \mathcal{O}_Y^*)$ 分类的gerbe。
• 配备无限秩局部系统的拉格朗日子流形纤维的弗克亚上同调群的构造是良定义的，并且在镜像对称下对应于带有巴拿赫代数拓扑的塔特仿射环的结构层。
• 应用塔特的无旋性定理证明某些具有扭曲系数的上同调群为零，这对证明全族弗克亚映射的满射性至关重要。
• 全族弗克亚函子的像落在满足相容性条件（公式 D.6）的完美模子范畴中，从而确保其像位于扭曲凝聚层的导出范畴内。
• 对分次拉格朗日子流形的限制在证明中是技术性必需的，尤其在第 4.3 节中；尽管作者预期通过改进能量滤子技术可去除此条件。