[论文解读] Noncommutative homological mirror functor

Cheol-Hyun Cho, Hansol Hong+1 more|arXiv (Cornell University)|Dec 22, 2015

Geometric and Algebraic Topology参考文献 50被引用 15

一句话总结

本文通过拉格朗日子弗理论，提出了一种构造性的非交换同调镜像函子，将辛流形的弗克亚范畴映射到非交换朗道-金兹堡模型的矩阵因子化。该研究建立了椭圆轨道丛、带 puncture 的黎曼曲面以及非紧致卡勒-雅可比三流形的函子式镜像对称，恢复并统一了艾廷科夫-金兹堡、博克兰特与史密斯的研究成果，并通过显式变形量子化构造了仿射德佩佐曲面作为椭圆轨道丛的非交换镜像。

ABSTRACT

We formulate a constructive theory of noncommutative Landau-Ginzburg models mirror to symplectic manifolds based on Lagrangian Floer theory. The construction comes with a natural functor from the Fukaya category to the category of matrix factorizations of the constructed Landau-Ginzburg model. As applications, it is applied to elliptic orbifolds, punctured Riemann surfaces and certain non-compact Calabi-Yau threefolds to construct their mirrors and functors. In particular it recovers and strengthens several interesting results of Etingof-Ginzburg, Bocklandt and Smith, and gives a unified understanding of their results in terms of mirror symmetry and symplectic geometry. As an interesting application, we construct an explicit global deformation quantization of an affine del Pezzo surface as a noncommutative mirror to an elliptic orbifold.

研究动机与目标

• 通过非交换朗道-金兹堡模型发展一种基于拉格朗日子弗理论的构造性、函子式同调镜像对称方法，适用于辛流形。
• 通过几何与代数框架，统一并强化关于椭圆轨道丛与德佩佐曲面的现有镜像对称结果。
• 基于 A-∞ 范畴与弱莫拉-卡特恩理论，系统性地构建从弗克亚范畴到矩阵因子化范畴的镜像函子。
• 通过使用浸入拉格朗日子流形与奎瓦代数，将 SYZ 程序扩展至非 тор与非紧致情形。
• 通过显式超势能构造，将复代数曲面的变形量子化实现为非交换镜像。

提出的方法

• 利用过滤 A-∞ 范畴与弱莫拉-卡特恩元，构造基于非交换基环的 A-∞ 代数。
• 通过定义时空超势能并求解非交换设定下的莫拉-卡特恩方程，从单一浸入拉格朗日子流形构造非交换镜像。
• 应用中心性定理，确保镜像超势能与量子乘积可交换，维持代数一致性。
• 使用路径代数与奎瓦代数，建模多条拉格朗日子流形情形下的镜像范畴，尤其适用于二元模型。
• 通过有限群作用与等变矩阵因子化引入分次镜像函子，以处理轨道丛与卡勒-雅可比几何。
• 利用 theta 函数与模形式性质，显式构造椭圆曲线到射影空间的嵌入，验证镜像一致性。

实验结果

研究问题

• RQ1 如何通过拉格朗日子弗理论，系统地构造一个非交换朗道-金兹堡模型，作为辛流形的镜像？
• RQ2 在非交换设定下，从弗克亚范畴到矩阵因子化范畴的镜像函子的精确形式是什么？
• RQ3 该构造如何恢复并推广艾廷科夫-金兹堡、博克兰特与史密斯在镜像对称背景下的已知结果？
• RQ4 能否通过此函子式框架，将如仿射德佩佐曲面等代数曲面的变形量子化实现为非交换镜像？
• RQ5 theta 函数与模不变性在验证椭圆曲线与轨道丛的镜像几何中起什么作用？

主要发现

• 本文为椭圆轨道丛构造了显式的非交换镜像，即仿射德佩佐曲面的变形量子化，为非交换代数提供了新的几何实现。
• 证明了椭圆曲线 $E_\tau$ 的镜像超势能由 theta 函数之比给出：$a = K A = \frac{\theta[0,0](\tilde{u},\tilde{\tau})}{\theta[3/4,0](\tilde{u},\tilde{\tau})}$，$b, c, d$ 有类似表达式，且满足 $ac + bd = 0$。
• 映射 $(a:b:c:d)$ 通过两个分支双覆盖的复合，将椭圆曲线 $E_\tau$ 嵌入 $\mathbb{P}^3$，确认镜像几何是良定义且单射的。
• 对于四阶穿孔球面与靠垫图，通过参考拉格朗日子流形的多边形分解与 Floer 理论，构造了镜像二元模型 $Q^\vee$。
• 该扩展的镜像函子被定义于与二次微分相关的非紧致卡勒-雅可比三流形上，将镜像对应关系推广至非紧致情形。
• 该构造将 Sklyanin 代数实现为弱莫拉-卡特恩关系，将非交换代数与镜像中的超势能联系起来。