[论文解读] Continuous and Twisted L_infinity Morphisms

Amnon Yekutieli|ArXiv.org|Feb 7, 2005

Advanced Topics in Algebra参考文献 9被引用 4

一句话总结

本文在 dir-inv 模的范畴中发展了 DG 李代数之间连续与扭曲的 $L_∞$ 同态的理论，推广了 Kontsevich 的形式性定理。它证明了：给定一个在完备张量积代数中的 Maurer-Cartan 解 $ω$，所诱导的 $L_\infty$ 同态可提升为扭曲 DG 李代数之间的同调等价，且在形变下保持形式性。

ABSTRACT

The purpose of this paper is to develop a suitable notion of continuous L_infinity morphism between DG Lie algebras, and to study twists of such morphisms.

研究动机与目标

• 在 dir-inv 模的范畴中定义并研究 DG 李代数之间的连续 $L_\infty$ 同态。
• 将 Kontsevich 的形式性同调等价推广至系数取自完备超交换 DG 代数 $A$ 的代数。
• 定义并分析由 Maurer-Cartan 元素扭曲的 $L_\infty$ 同态。
• 建立在给定条件下扭曲同态仍为同调等价的结论。
• 为通过形式几何与同调代数对代数簇进行形变量子化提供一个框架。

提出的方法

• 引入范畴 $\mathsf{Dir}\mathsf{Inv}\mathsf{Mod}\mathbb{K}$，即具有连续同态的 dir-inv 模。
• 利用 $\mathbb{K}[[\boldsymbol{t}]]$-模上的 $\boldsymbol{t}$-adic dir-inv 结构来定义完备性与连续性。
• 构造 Kontsevich 形式性同态 $\mathcal{U}$ 的连续 $A$-多线性扩张 $\mathcal{U}_A$。
• 通过 Maurer-Cartan 元素 $\omega$ 的扭曲构造，定义新的 $L_\infty$ 同态 $\mathcal{U}_{A,\omega}$。
• 推导扭曲同态的泰勒系数为 $ (\partial^j \mathcal{U}_{A,\omega})(\alpha) = \sum_{k \geq 0} \frac{1}{(j+k)!} (\partial^{j+k} \mathcal{U}_A)(\omega^k \wedge \alpha) $。
• 证明若 $\omega$ 满足 Maurer-Cartan 方程，则 $\omega' := (\partial^1 \mathcal{U}_A)(\omega)$ 也在目标代数中满足该方程，且扭曲同态为同调等价。

实验结果

研究问题

• RQ1 如何在完备张量积设定下定义 DG 李代数之间的连续 $L_\infty$ 同态？
• RQ2 在何种条件下，由 Maurer-Cartan 元素扭曲的 $L_\infty$ 同态仍为同调等价？
• RQ3 Kontsevich 的形式性同态能否被扩展至系数取自完备超交换 DG 代数 $A$ 的代数？
• RQ4 在形式幂级数的背景下，$A$-多线性结构如何与 $\boldsymbol{t}$-adic 拓扑相互作用？
• RQ5 扭曲 $L_\infty$ 同态的泰勒系数的精确公式是什么？

主要发现

• Kontsevich 形式性同态的连续 $A$-多线性扩张 $\mathcal{U}_A$ 存在且在 $A \widehat{\otimes} \mathcal{T}_{\mathrm{poly}}(\mathbb{K}[[\boldsymbol{t}]])$ 上定义良好。
• 若 $\omega \in A^1 \widehat{\otimes} \mathcal{T}^0_{\mathrm{poly}}(\mathbb{K}[[\boldsymbol{t}]])$ 满足 Maurer-Cartan 方程，则 $\omega' := (\partial^1 \mathcal{U}_A)(\omega)$ 也在目标代数中满足该方程。
• 扭曲同态 $\mathcal{U}_{A,\omega}$ 是扭曲 DG 李代数之间的连续 $A$-多线性 $L_\infty$ 同调等价。
• 同态 $\mathcal{U}_{A,\omega}$ 的泰勒系数由下式明确给出：$ (\partial^j \mathcal{U}_{A,\omega})(\alpha) = \sum_{k \geq 0} \frac{1}{(j+k)!} (\partial^{j+k} \mathcal{U}_A)(\omega^k \wedge \alpha) $。
• 线性部分 $\partial^1 \mathcal{U}_A$ 是同调等价，确保扭曲同态保持同调等价类型。
• 该构造在域扩张 $\mathbb{R} \subset \mathbb{K}$ 下与基变换相容，将 Kontsevich 的结果推广至任意包含 $\mathbb{R}$ 的域。