[論文レビュー] 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特異点に対して、ランク1のアーベル群による重層付けられた、同一多項式の三角的特異点のカテゴリと、そのLefschetzファイブレーションの導来Fukayaカテゴリの quasi-equivalence を示すことによって、ホモロジカルミラー対称性を確立する。証明はシンプレクティック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.

研究の動機と目的

• ADE型や例外的単調特異点を含む、ハイパーサーフェス特異点のクラスであるBrieskorn-Pham特異点に対して、ホモロジカルミラー対称性を確立すること。
• A型特異点に由来するA∞-カテゴリを用いて、Brieskorn-Pham特異点のMilnor格子をカテゴリフィケーションすること。
• 関連するLefschetzファイブレーションの導来Fukayaカテゴリと、重層付けられた特異点の三角的カテゴリとの同値性を証明すること。
• n=2の場合に既知の結果を、任意のnに拡張すること。そのためにシンプレクティックおよびホモロジカル代数の技法を用いる。
• 重みが ∑1/pi = 1 を満たすとき、特異点のカテゴリがCalabi-Yau/Landau-Ginzburg対応における商スタック上の連接層の導来カテゴリに同値になる条件を特定すること。

提案手法

• SeidelのシンプレクティックPicard-Lefschetz理論を用い、MorsifiedされたBrieskorn-Pham多項式によって定義されるLefschetzファイブレーション Wp : C^n → C の導来Fukayaカテゴリを、帰納的に計算する。
• A∞-カテゴリ Ap−1 を、対象 C1,…,Cp を持ち、射は次数0で C·idCi、次数1で C[−1]、それ以外では0である、微分付きの可換環と定義する。
• Fukayaカテゴリ Fuk Wp を、このようなA∞-カテゴリのテンソル積 Ap1−1 ⊗⋯⊗Apn−1 に quasi-equivalent に構成する。
• 座標環 Ap = C[x1,…,xn]/(fp) を、生成元 ⃗x1,…,⃗xn,⃗c と関係 pi⃗xi = ⃗c によって生成されるランク1アーベル群 L(p) による重層付けを施す。
• 重層付けられた特異点の三角的カテゴリ 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∞-カテゴリのテンソル積と quasi-equivalent か？
• RQ3 Brieskorn-Pham特異点の重層付けられた特異点の三角的カテゴリは、Api−1カテゴリのテンソル積と同型な完全例外的集合をもつか？
• RQ4 特異点のカテゴリが、商スタック上の連接層の導来カテゴリに同値になる条件は何か？
• RQ5 シンプレクティックPicard-Lefschetz理論を用いて、Brieskorn-Pham特異点のMilnor格子をカテゴリフィケーションできるか？

主な発見

• Brieskorn-Pham多項式によって定義されるLefschetzファイブレーションの導来Fukayaカテゴリは、A∞-カテゴリ Ap1−1 ⊗⋯⊗Apn−1 のテンソル積と quasi-equivalent である。
• Brieskorn-Pham特異点の重層付けられた特異点の三角的カテゴリ Dgr_Sg(Ap) は、テンソル積カテゴリの有界導来カテゴリ Db(Ap1−1 ⊗⋯⊗Apn−1) に同値である。
• Dgr_Sg(Ap) 内の完全例外的集合 (k(⃗n))⃗n∈I はカテゴリを生成し、重層付きカテゴリとして Ap1−1 ⊗⋯⊗Apn−1 と同型である。
• 例外的集合上のYoneda積構造はテンソル積のA∞-構造と一致し、次数制約により高次のA∞-作用は消える。
• ∑1/pi = 1 を満たすとき、カテゴリ Dgr_Sg(Ap) は商スタック Yp = [Xp/Gp] 上の連接層の導来カテゴリに同値である。ここで Xp は重み付き射影空間内のハイパーサーフェスである。
• 証明は、原点の構造層の自由分解（補題4.1）に依拠しており、これにより重層付き加群間のRHomが明示的に計算可能となり、カテゴリの同値性が確立される。