[论文解读] Homological mirror symmetry for Brieskorn-Pham singularities

Masahiro Futaki, Kazushi Ueda|arXiv (Cornell University)|Dec 2, 2009

Algebraic structures and combinatorial models参考文献 16被引用 5

一句话总结

本文通过证明由 Brieskorn-Pham 多项式定义的 Lefschetz 纤维丛的导出 Fukaya 类别与同一多項式在秩一阿贝尔群上的分次三角范畴之间的拟等價，建立了 Brieskorn-Pham 奇点的同调镜像对称。證明依賴於辛 Picard-Lefschetz 理論，以及通過 A 型奇點相關的 A∞-類別的張量積對 Milnor 格的范畴化。

ABSTRACT

We prove that the derived Fukaya category of the Lefschetz fibration defined by a Brieskorn-Pham polynomial is equivalent to the triangulated category of singularities associated with the same polynomial together with a grading by an abelian group of rank one. Symplectic Picard-Lefschetz theory developed by Seidel is an essential ingredient of the proof.

研究动机与目标

• 建立 Brieskorn-Pham 奇點的同調鏡像對稱，這類奇點包括 ADE 型與例外單模奇點。
• 利用來自 A 型奇點的 A∞-類別對 Brieskorn-Pham 奇點的 Milnor 格進行范畴化。
• 證明與 Brieskorn-Pham 多項式相關的 Lefschetz 纖維叢的導出 Fukaya 類別與分次三角奇點類別之間的等價性。
• 將 n=2 情形的已知結果推廣至任意 n，使用辛與同調代數技術。
• 在權重滿足 ∑1/pi = 1 條件時，將奇點類別與商堆疊上的凝聚層類別透過 Calabi-Yau/Landau-Ginzburg 對應關聯起來。

提出的方法

• 使用辛 Picard-Lefschetz 理論（Seidel）遞推計算由 Morsified Brieskorn-Pham 多項式定義的 Lefschetz 纖維叢 Wp : C^n → C 的導出 Fukaya 類別。
• 定義 A∞-類別 Ap−1 為一個微分分次類別，其對象為 C1,…,Cp，態射在度數 0 為 C·idCi，度數 1 為 C[−1]，其餘度數為零。
• 將 Fukaya 類別 Fuk Wp 建構為與此類 A∞-類別的張量積 Ap1−1 ⊗⋯⊗Apn−1 的擬等價。
• 為坐標環 Ap = C[x1,…,xn]/(fp) 賦予由 ⃗x1,…,⃗xn,⃗c 生成的秩一阿貝爾群 L(p) 上的分次，其關係為 pi⃗xi = ⃗c。
• 定義分次三角奇點類別 Dgr_Sg(Ap) 為 Db(gr Ap)/Dperf(gr Ap)，並證明其與 Db(Ap1−1 ⊗⋯⊗Apn−1) 等價。
• 使用原點的截樺層的自由解析（引理 4.1）計算分次模之間的 RHom，並識別 Yoneda 乘積結構與張量積的 A∞-類別之間的對應。

实验结果

研究问题

• RQ1 同調鏡像對稱是否可被建立於 Brieskorn-Pham 奇點上，且不僅限於 n=2 情形？
• RQ2 與 Brieskorn-Pham 多項式相關的 Lefschetz 纖維叢的導出 Fukaya 類別是否擬等價於 A 型奇點的 A∞-類別的張量積？
• RQ3 Brieskorn-Pham 奇點的分次三角奇點類別是否容許一個全例外 exceptional collection，其同構於 Api−1 類別的張量積？
• RQ4 在何種條件下，奇點類別會與商堆疊上的凝聚層的導出類別等價？
• RQ5 是否可透過辛 Picard-Lefschetz 理論對 Brieskorn-Pham 奇點的 Milnor 格進行范畴化？

主要发现

• 由 Brieskorn-Pham 多項式定義的 Lefschetz 纖維叢的導出 Fukaya 類別與 A∞-類別的張量積 Ap1−1 ⊗⋯⊗Apn−1 之間存在擬等價。
• Brieskorn-Pham 奇點的三角奇點類別 Dgr_Sg(Ap) 與張量積類別的有界導出類別 Db(Ap1−1 ⊗⋯⊗Apn−1) 等價。
• Dgr_Sg(Ap) 中的全例外 exceptional collection (k(⃗n))⃗n∈I 生成該類別，且作為分次類別同構於 Ap1−1 ⊗⋯⊗Apn−1。
• exceptional collection 上的 Yoneda 乘積結構與張量積的 A∞-結構一致，且高階 A∞-運算因度數約束而消失。
• 當 ∑1/pi = 1 時，類別 Dgr_Sg(Ap) 同構於商堆疊 Yp = [Xp/Gp] 上的凝聚層的導出類別，其中 Xp 為加權射影空間中的超曲面。
• 證明依賴於原點結構層的自由解析（引理 4.1），該解析允許明確計算分次模之間的 RHom，並確立類別之間的等價。