[论文解读] A Version of the Goldman-Millson Theorem for Filtered L-infinity Algebras

Vasily Dolgushev, Christopher L. Rogers|arXiv (Cornell University)|Jul 24, 2014

Homotopy and Cohomology in Algebraic Topology参考文献 18被引用 9

一句话总结

本文为 $L_\infty$-代数建立了一个过滤版的Goldman-Millson定理，证明了在所有过滤层级上诱导出同调等价的过滤 $L_\infty$-代数之间的 $\infty$-拟同构，会诱导其Deligne-Getzler-Hinich $\infty$-群胚之间的弱等价。该结果通过单纯方法将经典形变理论推广至过滤设定，并为有理同伦论与导出代数几何提供了基础工具。

ABSTRACT

In this paper we consider $L_{\infty}$-algebras equipped with complete descending filtrations. We prove that, under some mild conditions, an $L_{\infty}$ quasi-isomorphism $U: L o ilde{L}$ induces a weak equivalence between the Deligne-Getzler-Hinich (DGH) $\infty$-groupoids corresponding to $L$ and $ ilde{L}$, respectively. This paper may be considered as a modest addition to foundational paper arXiv:math/0404003 by Ezra Getzler.

研究动机与目标

• 将Goldman-Millson定理推广至配备完全下降过滤的 $L_\infty$-代数。
• 建立在何种条件下，此类代数之间的 $\infty$-拟同构会诱导其关联的Deligne-Getzler-Hinich（DGH）$\infty$-群胚之间的弱等价。
• 为过滤设定下的形变理论、有理同伦论与导出代数几何提供基础工具。
• 避免使用Getzler工作中引入的辅助复形 $\gamma_\bullet(L)$，通过1-胞射的连接提供直接证明。

提出的方法

• 作者研究配备完全下降过滤且满足 coderivation 与 $\infty$-同态相容性条件的 $L_\infty$-代数。
• 通过在 $L \hat{\otimes} \Omega_n$ 中使用Maurer-Cartan元并结合de Rham-Sullivan代数的完成张量积，将DGH $\infty$-群胚 $\mathfrak{MC}_\bullet(L)$ 定义为一个Kan复形。
• 关键技术工具是构造一系列 $\mathfrak{MC}_\bullet(L)$ 中的1-胞射，通过同伦算子的递归平均过程，将无穷多个过滤1-胞射连接起来。
• 他们证明：若 $\infty$-同态的线性部分在所有过滤层级 $\mathcal{F}_m L \to \mathcal{F}_m \tilde{L}$ 上诱导出同调等价，则其在 $\mathfrak{MC}_\bullet$ 上的诱导映射是弱等价。
• 该证明依赖于一个引理（引理C.1），该引理构造了一条连接连续过滤分量的1-胞射序列，确保在完成拓扑下收敛。
• 通过直接利用过滤结构与无穷级数的收敛性，在上补条件中构造提升，避免了使用辅助Kan复形。

实验结果

研究问题

• RQ1 在何种条件下，过滤 $L_\infty$-代数之间的 $\infty$-拟同构会诱导其DGH $\infty$-群胚之间的弱等价？
• RQ2 如何将经典Goldman-Millson定理推广至配备完全下降过滤的过滤 $L_\infty$-代数设定？
• RQ3 是否可以仅通过过滤结构与收敛性性质，而不引入辅助Kan复形，建立DGH $\infty$-群胚之间的弱等价？
• RQ4 在确保 $\mathfrak{MC}_\bullet$ 上诱导映射为弱等价的过程中，$\infty$-同态与过滤的相容性起何作用？

主要发现

• 当线性部分在所有过滤层级 $\mathcal{F}_m L \to \mathcal{F}_m \tilde{L}$ 上诱导出同调等价时，过滤 $L_\infty$-代数之间的 $\infty$-拟同构 $U: L \to \tilde{L}$ 会诱导出 $\mathfrak{MC}_\bullet(U): \mathfrak{MC}_\bullet(L) \to \mathfrak{MC}_\bullet(\tilde{L})$ 之间的弱等价。
• 对于任意过滤 $L_\infty$-代数 $L$，单纯集 $\mathfrak{MC}_\bullet(L)$ 是一个Kan复形，这将Deligne群胚推广至过滤 $L_\infty$-代数设定。
• 作者构造了 $\mathfrak{MC}_\bullet(L)$ 中的一系列1-胞射，将无穷多个过滤1-胞射连接起来，确保在完成拓扑下收敛。
• 该证明通过直接利用过滤同伦算子解决上补问题，表明诱导映射在 $\mathfrak{MC}_\bullet$ 上保持同伦型。
• 该构造避免使用Getzler工作中引入的辅助Kan复形 $\gamma_\bullet(L)$，提供了更直接且自包含的论证。
• 该结果推广了Getzler奠基性论文中的命题4.9，并为过滤设定下的形变理论提供了关键工具。