[論文レビュー] The A-infinity Deformation Theory of a Point and the Derived Categories of Local Calabi-Yaus

Ed Segal|ArXiv.org|Feb 19, 2007

Black Holes and Theoretical Physics参考文献 21被引用数 9

ひとこと要約

この論文は、A-infinity変形理論を通じて、非コンパクトなカルビ・ヤウ3次元多様体と非可換代数の間の物理的双対性の数学的基盤を確立する。A-infinity構造が点的対象のExt代数上で定義されると、その構造がクーヴァー代数の完備化を再構成できることを証明し、これを応用して局所カルビ・ヤウ（デル・ペッツォ表面の正則線束）の導来圏が、基本となるデル・ペッツォからのA-infinity代数の巡回完備化によって支配されることを示す。これにより、鏡像対称性におけるスーパーポテンシャル代数の厳密な導出が達成される。

ABSTRACT

Let A be an augmented algebra over a semi-simple algebra S. We show that the Ext algebra of S as an A-module, enriched with its natural A-infinity structure, can be used to reconstruct the completion of A at the augmentation ideal. We use this technical result to justify a calculation in the physics literature describing algebras that are derived equivalent to certain non-compact Calabi-Yau three-folds. Since the calculation produces superpotentials for these algebras we also include some discussion of superpotential algebras and their invariants.

研究の動機と目的

• 局所カルビ・ヤウ3次元多様体の導来圏と非可換代数との間の物理的計算を数学的に正当化すること。
• 単純加群の集合のExt代数上のA-infinity構造が、その加群の増分イデアルにおける増分代数の完備化を再構成することを確立すること。
• 局所カルビ・ヤウの導来圏の文脈において、クーヴァー代数の『巡回完備化』という物理的概念を形式化すること。
• 局所カルビ・ヤウ（デル・ペッツォ表面の正則線束）の導来圏を、ティルティングとA-infinity構造を通じてクーヴァー代数の導来圏と結びつけること。
• 局所カルビ・ヤウのゼロ切断の構造層のExt代数が、基本となるデル・ペッツォ上のExt代数の3次元巡回完備化に同型であることを示すこと。

提案手法

• A-infinity変形理論を用いて、単純加群の直和Sを用いたExt_A(S,S)上のA-infinity構造から、増分代数Aの増分イデアルにおける完備化を再構成する。
• ホモロジー論的補完理論を適用し、RHom_A(S,S)上のdga構造をそのホモロジーであるExt_A(S,S)上のA-infinity構造へ移行する。
• 局所3次元多様体のカルビ・ヤウ性とセール双対性を活用し、Ext_ω(ι_*S, ι_*S) ≅ Ext_Z(S,S) ⊕ Ext_Z(S,S)[3]∨であることを示す。
• A-infinity代数の『巡回完備化』を、カルビ・ヤウペアリングと整合するように拡張する形式的拡張として定義する。
• 局所カルビ・ヤウとそのクーヴァー代数の間の導来同値がA-infinity同値であることを示し、Ext_ω(ι_*S, ι_*S)がExt_Z(S,S)の巡回完備化に同型であることを示す。
• 定理3.3を用いて巡回完備化をスーパーポテンシャルに埋め込み、A-infinityデータから関係を伴うクーヴァー代数を構成する。

実験結果

リサーチクエスチョン

• RQ1 単純加群のExt代数上のA-infinity構造が、どのようにクーヴァー代数の完備化を再構成できるか？
• RQ2 局所カルビ・ヤウ3次元多様体におけるクーヴァーゲージ理論の物理的構成で用いられる『巡回完備化』手続きの正確な数学的意味は何か？
• RQ3 正則線束のデル・ペッツォ表面の導来圏は、A-infinity構造を通じてその基本となるデル・ペッツォの導来圏とどのように関係するか？
• RQ4 物理的規則としてクーヴァーゲージ理論からスーパーポテンシャルを構成する手法が、ホモロジー代数から厳密に導出可能か？
• RQ5 クーヴァー代数の提示が、そのExt代数上のA-infinity構造からいつ、どのように得られるか？

主な発見

• Ext_A(S,S)上のA-infinity構造は、代数Aの増分イデアルにおける完備化を完全に決定する。
• 局所カルビ・ヤウのゼロ切断のExt代数は、基本となるデル・ペッツォ表面上のExt代数の3次元巡回完備化に同型である。
• 局所カルビ・ヤウの導来圏は、基本となるデル・ペッツォからのクーヴァー代数の巡回完備化によって得られる代数と導来同値である。
• 単純加群のExt代数上のA-infinity構造はティルティングの下でも保存されるため、導来同値はA-infinity同値である。
• 局所カルビ・ヤウ上の代数の提示は、元のA-infinity写像の巡回完備化の双対化によって与えられ、カルビ・ヤウ条件と整合する新しい生成子と関係を追加することに対応する。
• 定理3.3により、得られた代数はスーパーポテンシャル提示を備え、Dブレーンのカルビ・ヤウ3次元多様体上の物理的モデルと結びつく。