[論文レビュー] 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

ひとこと要約

この論文は、標数0の体上において、2つの可換微分付きグラデュエートド代数が結合的代数として quasi-isomorphic であることは、可換代数として quasi-isomorphic であることと同値であることを確立し、リーマンホモトピー理論における長年の未解決問題を解決する。さらに、Koszul双対な主張を示す：2つのホモトピー的完全なdg Lie代数の普遍包あくり代数が結合的代数として quasi-isomorphic であるならば、Lie代数自体も quasi-isomorphic である。この結果は、冪零Lie代数に応用可能である。

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代数によって決定されるかどうか。
• 標数0の体上の可換dg代数の圏における quasi-isomorphism が、結合的dg代数の圏における quasi-isomorphism を含意するかどうかを調査すること。
• dg Lie代数に対してKoszul双対な主張を確立し、普遍包あくり代数が結合的dg代数として quasi-isomorphic であるならば、元のLie代数自体も quasi-isomorphic であることを示すこと。ただし、ホモトピー的完全性の仮定を仮定する。
• 冪零Lie代数が、その普遍包あくり代数が結合的代数として与えられることで、同型を除いて完全に決定されることを示すこと。

提案手法

• 著者たちは、∞-余代数の変形理論とホモトピー移行定理を用いて、可換dg代数と結合的dg代数の構造を関連付ける。
• 彼らは、バーカーボル解体と完成化されたコバーコンストラクションを用いて、dg Lie代数とその普遍包あくり代数を関連付ける。
• 主要な技術的道具は、完成化されたコバーコンストラクションにおける下降フィルトレーションを通じたフィルター付き quasi-isomorphism の使用であり、quasi-isomorphism が保存されることを証明する。
• 証明は、Poincaré–Birkhoff–Witt定理と、普遍包あくり代数における原始的元のLie代数が元のLie代数を回復することに依存している。
• 無限和の木構造に関する収束問題のため、局所有限でない一般の∞-余代数の圏で作業している。
• 彼らはdg Lie代数のホモトピー的完備化の概念を導入し、それを用いて定理BにおけるKoszul双対主張を定式化する。

実験結果

リサーチクエスチョン

• RQ1 標数0の体上の可換dg代数の圏における quasi-isomorphism は、結合的dg代数の圏における quasi-isomorphism を含意するか？
• RQ2 空間の有理ホモトピー型は、その結合的dg代数の有理コチェーンから回復可能か？
• RQ3 2つのdg Lie代数の普遍包あくり代数が結合的dg代数として quasi-isomorphic であるならば、Lie代数自体も quasi-isomorphic か？
• RQ4 冪零Lie代数の普遍包あくり代数は、同型を除いてLie代数を完全に回復可能か？
• RQ5 dg Lie代数のホモトピー的完備化は、普遍包あくり代数を通す際に quasi-isomorphism 情報を保存するか？

主な発見

• 定理Aは、標数0の体上における2つの可換dg代数が、結合的dg代数として quasi-isomorphic であることと、可換dg代数として quasi-isomorphic であることとが同値であることを確立する。
• この論文は、空間の有理ホモトピー型が、その結合的dg代数の有理コチェーンによって決定されることを示し、リーマンホモトピー理論における中心的問題に答えを提示する。
• ホモトピー的完全なdg Lie代数に対して、その普遍包あくり代数が結合的dg代数として quasi-isomorphic であるならば、Lie代数自体も quasi-isomorphic である。これは定理Bに述べられている。
• この結果は、冪零Lie代数が、その普遍包あくり代数が結合的代数として与えられることで、同型を除いて完全に決定されることを示唆する。
• 完成化されたコバーコンストラクションは quasi-isomorphism を保存する。また、元の∞-余代数の準同型が quasi-isomorphism であるならば、それに対応する完成化されたコバーコンストラクション上の写像も quasi-isomorphism である。
• dg Lie代数のホモトピー的完備化は、quasi-isomorphism を除いて一意に定まり、この完備化プロセスは quasi-isomorphism 情報を保存する。