[论文解读] A_\infty-subalgebras and natural transformations

Paul Seidel|ArXiv.org|Jan 26, 2007

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

一句话总结

本文引入了一个具有非零曲率的 $A_\infty$-代数 $\mathcal{D}$，作为范畴构造，实现了沿自然变换 $T: F \to \mathrm{id}$ 的局部化，其中 $F$ 是 $\mathcal{A}$-模范畴上的自函子。主要结果表明，范畴 $H^0(\mathrm{modt}(\mathcal{D}))$ 同构于 Verdier 商 $V/V_{\mathrm{nil}}$，从而通过源自辛拓扑的代数构造实现了 $V$ 沿 $T$ 的局部化。

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.

研究动机与目标

• 构造一个具有非零曲率的 $A_\infty$-代数 $\mathcal{D}$，以编码三角范畴 $V$ 沿自然变换 $T: F \to \mathrm{id}$ 的局部化，其中 $F$ 是一个自函子。
• 建立 $\mathcal{D}$-模范畴 $H^0(\mathrm{modt}(\mathcal{D}))$ 与 Verdier 商 $V/V_{\mathrm{nil}}$ 的等价性，其中 $V_{\mathrm{nil}}$ 由 $T$-幂零作用的对象构成。
• 通过展示 $\mathcal{D}$ 在 Lefschetz 纤维化和 Fukaya 范畴等几何设定中自然出现，将此代数构造与辛拓扑联系起来。
• 证明 Hochschild 同调 $HH(\mathcal{D})$ 可表示为迭代张量积与商双模 $(\mathcal{B}/\mathcal{A})[-1]$ 的形式。

提出的方法

• 将 $\mathcal{D}$ 定义为由商双模 $(\mathcal{B}/\mathcal{A})[-1]$ 生成的具有曲率的 $A_\infty$-代数，其中 $\mathcal{A} \subset \mathcal{B}$ 是 $A_\infty$-代数。
• 构造 $\mathcal{D}$-模的范畴 $W = H^0(\mathrm{modt}(\mathcal{D}))$，其结构继承自 $F = (-) \otimes_{\mathcal{A}} (\mathcal{B}/\mathcal{A})[-1]$ 在 $V = H^0(\mathrm{mod}(\mathcal{A}))$ 上的作用。
• 利用自然变换 $T: F \to \mathrm{id}$ 定义态射空间的直极限 $\underrightarrow{\mathrm{lim}}_p \, \mathrm{Hom}_V(F^p(M), N)$，形成局部化 $Z = S^{-1}V$。
• 证明 $Z$ 是良定义的，并通过 $T$ 的双侧性质确保直极限在复合下兼容，从而与 $W$ 同构。
• 证明 $HH(\mathcal{D})$ 同构于由 $(\mathcal{B}/\mathcal{A})[-1]$ 的迭代张量积构建的双复形的总复形。
• 建立镜像对称解释：在 $V^{\mathrm{perf}} \simeq D^b(X)$ 且 $X = \mathbb{C}\mathbb{P}^2$ 的情形下，函子 $F$ 对应于与 canonical bundle $\mathcal{K}_X$ 的张量积，而 $T$ 对应于 $H^0(X, \mathcal{O}_X(3))$ 中的截面 $s$。

实验结果

研究问题

• RQ1 如何通过代数方法实现三角范畴 $V$ 沿自然变换 $T: F \to \mathrm{id}$ 的局部化，其中 $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}))$ 同构于 Verdier 商 $V/V_{\mathrm{nil}}$，其中 $V_{\mathrm{nil}}$ 是 $T$-幂零对象的厚子范畴。
• 自然变换 $T$ 在 $W$ 中成为可逆的，且 $W$ 关于使 $T_M$ 可逆的性质具有 universality。
• Hochschild 同调 $HH(\mathcal{D})$ 同构于一个双复形的总复形，其项为 $(\mathcal{B}/\mathcal{A})[-1]$ 的迭代张量积。
• 在镜像对称背景下，$\mathcal{D}$ 对应于补集 $U = X \setminus Y$ 上的凝聚层的导出范畴，其中 $Y = s^{-1}(0)$ 且 $s \in H^0(X, \mathcal{O}_X(3))$，且 $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)$ 一致，从而确认了该构造的几何一致性。
• 通过计数矩形计算得到的 Massey 积 $s \in \mathrm{Sym}^3(H^\vee)$ 的非平凡性，证明了 $\mathcal{B}$ 不是形式的，这在代数上由 $\delta[-1]$ 在模范畴上的作用所捕捉。