[論文レビュー] Mirror symmetry and actions of braid groups on derived categories

Richard Thomas|ArXiv.org|Jan 7, 2000

Homotopy and Cohomology in Algebraic Topology参考文献 14被引用数 16

ひとこと要約

この論文は、球面的対象を通じて、Calabi-Yau多様体の局所的層の導来カテゴリにバーティカル群作用が自然に生じることを確立し、鏡像双対のラグランジュ球面上のシンプレクティックバーティカル群作用の導来カテゴリ版を提供する。主な貢献は、次元≥2におけるこれらの作用の忠実性の証明であり、鏡像双対性と例外的コレクションのミューテーション、Fourier-Mukai変換を結びつける。

ABSTRACT

Talk given at Harvard, January 1999, published in the Proceedings of the Harvard Winter School on mirror symmetry, vector bundles and lagrangian cycles, 1999, International Press. Surveys the joint work [ST, KS] with Paul Seidel and Mikhail Khovanov.

研究の動機と目的

• 局所的層の導来カテゴリにおけるバーティカル群作用と鏡像双対におけるシンプレクティック自己同型の間の類似を確立することで、鏡像双対性の導来カテゴリ版を構築すること。
• 導来カテゴリにおける球面的対象によって誘導されるバーティカル群作用が、次元≥2で忠実であることを証明すること。
• Fano多様体上の例外的コレクションとCalabi-Yau3次元多様体上の球面的対象との関係を単純写像を通じて明確化すること。
• 特異点と解消の文脈において、バンドルのミューテーションとその鏡像双対の導来カテゴリフレームワークを提供すること。

提案手法

• 球面的対象に関連するFourier-Mukai変換を用いて、導来カテゴリの自己同値を構成する。
• 導来カテゴリにおいてExt*(F,F) ≅ ℂ[0] ⊕ ℂ[N] を満たす対象を球面的対象と定義する。
• 球面的対象Fに付随するねじれ関手T_Fを用いて、D^b(X)上のバーティカル群作用を生成する。
• 微分小代数とそのコホロロジーの理論を用いて、バーティカル群作用の忠実性を分析する。
• N ≥ 2 であるA_n鎖のN-球面的対象間のExt群の順次代数の内在的フォーマリティを証明する。
• 鏡像双対性の予想を用いて、ラグランジュ球面上のシンプレクティックDehnねじれと導来自己同値を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 Calabi-Yau3次元多様体における球面的対象から、局所的層の導来カテゴリ上のバーティカル群作用はどのように生じるか？
• RQ2 導来カテゴリにおける球面的ねじれによって生成されるバーティカル群作用の鏡像双対は何か？
• RQ3 Calabi-Yau多様体からFano多様体への写像が、例外的対象から球面的対象を誘導する条件は何か？
• RQ4 次元≥2における導来カテゴリ上のバーティカル群作用は忠実であるか。その条件は何か？
• RQ5 Fano多様体上の例外的コレクションのミューテーションと、鏡像Calabi-Yau多様体上の球面的ねじれとの関係は何か？

主な発見

• バーティカル群作用は、球面的対象を用いてD^b(X)に構成され、各球面的対象がねじれ関手T_Fをもたらす。
• 球面的対象がA_n鎖をなし、次元N ≥ 2 であるとき、B_{n+1} がD^b(X)に作用する場合、その作用は忠実である。
• A_n鎖に属する球面的対象間のExt群の順次代数は内在的フォーマルであり、作用の忠実性を保証する。
• Calabi-Yau多様体XのFano除集合Yに対し、正規束がω_Yであるとき、Y上の例外的層の押し出しはX上の球面的対象を与える。
• 次元1では、バーティカル群作用が忠実でない場合がある。例えば、楕円曲線上の位数2の次数0のラインバンドルLに対して、(T_L^{-1}T_O)^2 ≅ id が成り立つ。
• ラグランジュ球面上のシンプレクティックDehnねじれの鏡像双対は、局所的層の導来カテゴリ上の球面的ねじれ関手として実現される。