[論文レビュー] A_\infty-subalgebras and natural transformations

Paul Seidel|ArXiv.org|Jan 26, 2007

Algebraic structures and combinatorial models参考文献 23被引用数 4

ひとこと要約

この論文は、$A_\infty$-代数 $\mathcal{D}$ を、$\mathcal{A}$-加群の圏上の自己函手 $F$ に対して自然変換 $T: F \to \mathrm{id}$ 沿りの局所化をカテゴリー的構成として実現するものである。主な結果として、$H^0(\mathrm{modt}(\mathcal{D}))$ の圏が Verdier商 $V/V_{\mathrm{nil}}$ に同型であることが示され、これはシンプレクティック位相幾何学に根ざした代数的構成によって $V$ の局所化を実現するものである。

ABSTRACT

The paper explores some algebraic constructions arising in the theory of Lefschetz fibrations. Specifically, it covers in a fair amount of detail the algebraic issues outlined in ``Symplectic homology as Hochschild homology'' (math.SG/0609037). We also explain how the theory works when applied to a simple example, namely the Landau-Ginzburg mirror of P^2. Version 2: revised, many technical assumptions dropped, statement of one of the main results improved by using dg quotients. I changed the title accordingly.

研究の動機と目的

• 三角系列圏 $V$ を自然変換 $T: F \to \mathrm{id}$ 沿りに局所化する $A_\infty$-代数 $\mathcal{D}$ を構成すること。
• 圏 $H^0(\mathrm{modt}(\mathcal{D}))$ が Verdier商 $V/V_{\mathrm{nil}}$ に同型であることを確立すること。ここで $V_{\mathrm{nil}}$ は $T$-冪零作用をもつ対象のなす厚い部分圏である。
• Lefschetzファイブレーションと Fukaya 圏を介して、この代数的構成をシンプレクティック位相幾何学に結びつけること。特に、$\mathcal{D}$ がこのような幾何的設定において自然に生じることを示すこと。
• Hochschildホモロジー $HH(\mathcal{D})$ が、商双加群 $(\mathcal{B}/\mathcal{A})[-1]$ の繰り返しテンソル積を用いて表現可能であることを示すこと。

提案手法

• $\mathcal{A} \subset \mathcal{B}$ を $A_\infty$-代数として、商双加群 $(\mathcal{B}/\mathcal{A})[-1]$ から来る曲率をもつ $A_\infty$-代数 $\mathcal{D}$ を定義する。
• $\mathcal{D}$-加群の圏 $W = H^0(\mathrm{modt}(\mathcal{D}))$ を構成し、$V = H^0(\mathrm{mod}(\mathcal{A}))$ 上での自己函手 $F = (-) \otimes_{\mathcal{A}} (\mathcal{B}/\mathcal{A})[-1]$ の作用に由来する構造を引き継ぐ。
• 自然変換 $T: F \to \mathrm{id}$ を用いて、射空間の直接系 $\underrightarrow{\mathrm{lim}}_p \, \mathrm{Hom}_V(F^p(M), N)$ を定義し、これにより局所化 $Z = S^{-1}V$ を構成する。
• $Z$ が適切に定義されており、$T$ のアンビデキストラス性により合成に関して整合性を保つことによって、$Z$ と $W$ が同型であることを証明する。
• $HH(\mathcal{D})$ が、$(\mathcal{B}/\mathcal{A})[-1]$ の繰り返しテンソル積から構成される双複体の全複体と同型であることを示す。
• 鏡像対称性の解釈を確立する：$X = \mathbb{C}\mathbb{P}^2$ に対して $V^{\mathrm{perf}} \simeq D^b(X)$ であると仮定すると、函手 $F$ は canonical バンドル $\mathcal{K}_X$ とのテンソル積に対応し、$T$ は $H^0(X, \mathcal{O}_X(3))$ の切断 $s$ に対応する。

実験結果

リサーチクエスチョン

• RQ1 自然変換 $T: F \to \mathrm{id}$ 沿りに三角系列圏 $V$ の局所化を代数的に実現する方法は何か、ここで $F$ は自己函手である。
• RQ2 商双加群 $(\mathcal{B}/\mathcal{A})[-1]$ は、曲率をもつ $A_\infty$-代数 $\mathcal{D}$ の構成において果たす役割は何か。
• RQ3 $H^0(\mathrm{modt}(\mathcal{D}))$ の圏がどのようにして Verdier商 $V/V_{\mathrm{nil}}$ を回復するのか。
• RQ4 $\mathcal{D}$ の Hochschildホモロジーは、$(\mathcal{B}/\mathcal{A})[-1]$ の繰り返しテンソル積とどのように関係するか。
• RQ5 この構成は、特に Fukaya 圏と Lefschetz ファイブレーションの観点から、シンプレクティック位相幾何学で解釈可能か。

主な発見

• 圏 $W = H^0(\mathrm{modt}(\mathcal{D}))$ は、$T$-冪零作用をもつ対象のなす厚い部分圏 $V_{\mathrm{nil}}$ による Verdier商 $V/V_{\mathrm{nil}}$ に同型である。
• 自然変換 $T$ は $W$ において可逆となり、$W$ は射 $T_M$ を可逆にする普遍性を持つ。
• Hochschildホモロジー $HH(\mathcal{D})$ は、$(\mathcal{B}/\mathcal{A})[-1]$ の繰り返しテンソル積からなる項を持つ双複体の全複体と同型である。
• 鏡像対称性の文脈では、$\mathcal{D}$ は $X = \mathbb{C}\mathbb{P}^2$ における $Y = s^{-1}(0)$ の補集合 $U = X \setminus Y$ の一貫的層の導来圏に対応し、$U \cong (\mathbb{C}^*)^2$ である。
• Lefschetzチムブル $\Delta_1$ のワラップド Floer コホモロジー $HW^0(\Delta_1)$ は $\mathbb{C}[U]$ に同型であり、$\mathrm{Hom}_W(\mathcal{A}e_1, \mathcal{A}e_1)$ と一致する。これにより、構成の幾何的整合性が確認される。
• 長方形の数え上げにより計算されるマッセイ積 $s \in \mathrm{Sym}^3(H^\vee)$ の非自明性により、$\mathcal{B}$ がフォーマルでないことが示され、これは $\delta[-1]$ のモジュール圏への作用によって代数的に捉えられる。