[论文解读] Lie, associative and commutative quasi-isomorphism

Ricardo Campos, Dan Petersen+2 more|arXiv (Cornell University)|Apr 7, 2019

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

一句话总结

本文证明，在特征为零的域上，两个交换微分分次代数作为结合代数准同构当且仅当作为交换代数准同构，从而解决了理性同伦论中一个长期存在的问题。此外，本文还证明了一个 Koszul 对偶陈述：若两个同伦完备的 dg 李代数的通用包络代数作为结合代数准同构，则这些李代数本身也准同构，该结果在幂零李代数中有应用。

ABSTRACT

Over a field of characteristic zero, we show that two commutative differential graded (dg) algebras are quasi-isomorphic if and only if they are quasi-isomorphic as associative dg algebras. This answers a folklore problem in rational homotopy theory, showing that the rational homotopy type of a space is determined by its associative dg algebra of rational cochains. We also show a Koszul dual statement, under an additional completeness hypothesis: two homotopy complete dg Lie algebras whose universal enveloping algebras are quasi-isomorphic as associative dg algebras must themselves be quasi-isomorphic. The latter result applies in particular to nilpotent Lie algebras (not differential graded), in which case it says that two nilpotent Lie algebras whose universal enveloping algebras are isomorphic as associative algebras must be isomorphic.

研究动机与目标

• 解决理性同伦论中的一个常识性问题，即空间的理性同伦型是否由其有理系数的结合 dg 代数决定。
• 研究在特征为零的域上，结合 dg 代数范畴中的准同构是否蕴含交换 dg 代数范畴中的准同构。
• 为 dg 李代数建立一个 Koszul 对偶陈述，表明若两个 dg 李代数的通用包络代数作为结合 dg 代数准同构，则这些李代数本身也准同构，前提是满足同伦完备性假设。
• 证明幂零李代数完全由其作为结合代数的通用包络代数确定（同构意义下）。

提出的方法

• 作者使用形变理论和 ∞-余代数的同伦传递定理，关联交换与结合 dg 代数的结构。
• 他们应用 bar-cobar 分解和完备 cobar 构造，将 dg 李代数与其通用包络代数联系起来。
• 一个关键技术工具是通过完备 cobar 构造上的降滤过使用滤过准同构，以证明准同构关系被保持。
• 证明依赖于 Poincaré–Birkhoff–Witt 定理，以及通用包络代数中原始元素的李代数可恢复原始李代数的事实。
• 作者在一般 ∞-余代数范畴中工作，而非局部有限的范畴，因为同伦传递公式中涉及树的无穷级数收敛性问题。
• 他们引入了 dg 李代数的同伦完备化概念，并利用它在定理 B 中表述了 Koszul 对偶陈述。

实验结果

研究问题

• RQ1 在特征为零的域上，结合 dg 代数范畴中的准同构是否蕴含交换 dg 代数范畴中的准同构？
• RQ2 能否从一个空间的结合 dg 代数的有理系数上同调中恢复其理性同伦型？
• RQ3 若两个 dg 李代数的通用包络代数作为结合 dg 代数准同构，则这些李代数本身是否也准同构？
• RQ4 一个幂零李代数的通用包络代数是否足以在同构意义下恢复该李代数？
• RQ5 dg 李代数的同伦完备化在通过通用包络代数传递时，是否保持准同构信息？

主要发现

• 定理 A 证明：在特征为零的域上，两个交换 dg 代数作为结合 dg 代数准同构当且仅当作为交换 dg 代数准同构。
• 本文表明，空间的理性同伦型由其有理系数的结合 dg 代数决定，从而回答了理性同伦论中的一个核心问题。
• 对于同伦完备的 dg 李代数，若其通用包络代数作为结合 dg 代数准同构，则这些李代数本身也准同构，如定理 B 所述。
• 该结果意味着，一个幂零李代数完全由其作为结合代数的通用包络代数确定（同构意义下）。
• 完备 cobar 构造保持准同构关系，当原始 ∞-余代数态射为准同构时，其诱导的完备 cobar 构造之间的映射也是准同构。
• dg 李代数的同伦完备化在准同构意义下是良定义的，且完备化过程保持准同构信息。