[论文解读] Homological Mirror Symmetry and Simple Elliptic Singularities

Kazushi Ueda|ArXiv.org|Apr 17, 2006

Algebraic structures and combinatorial models参考文献 25被引用 21

一句话总结

本文在费马型超曲面奇点的奇异范畴的三角范畴中构造了一个完整的例外族，建立了同调镜像对称与单椭圆奇点之间的联系。它证明了这些奇点的定向 Fukaya 范畴的导出范畴与一个 genus-one 加权射影直线上的凝聚层范畴导出范畴等价，通过椭圆根系对 Milnor 晶格进行了范畴化。

ABSTRACT

We give a full exceptional collection in the triangulated category of singularities in the sense of Orlov for a hypersurface singularity of Fermat type, and discuss its relation with homological mirror symmetry for simple elliptic hypersurface singularities.

研究动机与目标

• 在费马型超曲面奇点的奇异范畴的三角范畴中构造一个完整的例外族。
• 探索同调镜像对称与单椭圆奇点之间的关系。
• 建立单椭圆奇点的定向 Fukaya 范畴与 genus-one 加权射影直线上的凝聚层范畴导出范畴之间的导出等价性。
• 通过椭圆根系和导出范畴，对单椭圆奇点的 Milnor 晶格进行范畴化。
• 通过椭圆李代数和 Ringel–Hall 代数，将奇点与李代数之间的联系从单奇点推广到单椭圆奇点。

提出的方法

• 为一个单变量多项式 $W_p$（次数为 $p$）构造一个定向 Fukaya 范畴 $\mathfrak{Fuk}^{\rightarrow}W_p$，其态射集中在度数 0 和 1。
• 定义一个多变量多项式 $W_{p_0,\dots,p_n} = \sum W_{p_i}(X_i)$，其诱导出一个精确的 Lefschetz 纤维化，并生成一个定向 Fukaya 范畴 $\mathfrak{Fuk}^{\rightarrow}W_{p_0,\dots,p_n}$。
• 提出一个猜想：$\mathfrak{Fuk}^{\rightarrow}W_{p_0,\dots,p_n}$ 的有界导出范畴与 $\mathfrak{Fuk}^{\rightarrow}W_{p_i}$ 的导出范畴的张量积等价。
• 使用 $L$-加权 $A$-模和 $G$-等变结构分析奇异范畴 $D^{\mathrm{gr}}_{\mathrm{Sg}}(A)$，其中 $A = k[x,y,z]/(x^{p_0}+y^{p_1}+z^{p_2})$。
• 证明 $D^{\mathrm{gr}}_{\mathrm{Sg}}(A)$ 中的任意对象均可由 $k(\vec{m})$（$\vec{m} \in L$）生成，利用局部化和群 $G_0 = (\mathbb{Z}/p_0\mathbb{Z}) \times (\mathbb{Z}/p_1\mathbb{Z}) \times (\mathbb{Z}/p_2\mathbb{Z})$ 的不变量。
• 通过证明所有 $k(\vec{m})$ 可以通过该集合 $\{k(\vec{n})\}_{\vec{n} \in I}$ 的锥与移位得到（模去完美复形），从而证明 $\{k(\vec{n})\}_{\vec{n} \in I}$ 构成一个完整的例外族。

实验结果

研究问题

• RQ1 能否在费马型超曲面奇点的奇异范畴的三角范畴中构造一个完整的例外族？
• RQ2 单椭圆奇点的定向 Fukaya 范畴与 genus-one 加权射影直线上的凝聚层范畴导出范畴之间是否存在导出等价性？
• RQ3 单椭圆奇点的 Milnor 晶格如何通过椭圆根系和导出范畴实现范畴化？
• RQ4 genus-one 加权射影直线上的凝聚层的 Ringel–Hall 代数在多大程度上实现了椭圆李代数的正部分？
• RQ5 能否通过定向 Fukaya 范畴的导出范畴实现 Milnor 晶格的范畴化？

主要发现

• 在费马型超曲面奇点 $x^{p_0} + y^{p_1} + z^{p_2} = 0$ 的奇异范畴的三角范畴中构造了一个完整的例外族。
• 猜想 $D^b(\mathfrak{Fuk}^{\rightarrow}W_{p_0,\dots,p_n})$ 与 $\mathfrak{Fuk}^{\rightarrow}W_{p_i}$ 的导出范畴的张量积等价，且当 $n=1$ 时该结论已知成立。
• $D^{\mathrm{gr}}_{\mathrm{Sg}}(A)$ 由在原点支持的 $L$-加权模生成，具体为 $k(\vec{m})$（$\vec{m} \in L$），模去完美复形。
• 所有 $L$-加权简单模 $k(\vec{n})$ 均可由有限集 $\{k(\vec{n})\}_{\vec{n} \in I}$ 通过锥与移位得到，从而证明了例外族的完备性。
• 该构造建立了单椭圆奇点的 Milnor 晶格与 genus-one 加权射影直线上凝聚层导出范畴的格罗滕迪克群之间的联系。
• 该结果支持了与 Milnor 晶格相关的椭圆根系的范畴化，与 $\mathfrak{g}[s,s^{-1},t,t^{-1}]$ 的通用中心扩张结构一致。