[論文レビュー] Higher Lie theory

Daniel Robert-Nicoud, Bruno Vallette|arXiv (Cornell University)|Oct 20, 2020

Advanced Algebra and Geometry被引用数 5

ひとこと要約

本稿では、Maurer–Cartan空間関手を普遍的対象を用いて表現することにより、ホモトピーLie代数の統合のための新しいコサイミプレキシアル的手法を提案する。これにより、整合的な左随伴関手と高階Baker–Campbell–Hausdorff公式の階層が構成可能となり、∞-準同型に関して関手的であり、位相空間の有理ホモトピー型を忠実に捉えるホモトピーLie代数モデルが得られる。

ABSTRACT

We present a novel approach to the problem of integrating homotopy Lie algebras by representing the Maurer-Cartan space functor with a universal cosimplicial object. This recovers Getzler's original functor but allows us to prove the existence of additional, previously unknown, structures and properties. Namely, we introduce a well-behaved left adjoint functor, we establish functoriality with respect to infinity-morphisms, and we construct a coherent hierarchy of higher Baker-Campbell-Hausdorff formulas. Thanks to these tools, we are able to establish the most important results of higher Lie theory. We use the recent developments of the operadic calculus, which leads us to explicit tree-wise formulas at all stage. We conclude by applying this theory to rational homotopy theory: the left adjoint functor is shown to provide us with homotopy Lie algebra models for topological spaces which faithfully capture their rational homotopy type.

研究の動機と目的

• 完全にずらされたホモトピーLie代数の体系的統合理論を、普遍的コサイミプレキシアル対象を用いて構築すること。
• Maurer–Cartan空間関手への左随伴関手を確立し、高階Lie理論における関手的および整合性を保証すること。
• 高階ホモトピー的構造を符号化する高階Baker–Campbell–Hausdorff公式の階層を構成すること。
• 本フレームワークを有理ホモトピー論に応用し、位相空間の有理ホモトピー型を忠実に反映するホモトピーLie代数モデルを提供すること。
• ∞-準同型と∞π-準同型の関係を明確にし、統合理論関手のホモトピー不変性を証明すること。

提案手法

• Getzlerの元来の構成を一般化し、Maurer–Cartan空間関手を普遍的コサイミプレキシアル対象によって表現する。
• 操作的計算を用いて、すべての代数的およびホモトピー的構成の明示的木構造式を導出する。
• Maurer–Cartan関手への左随伴関手として統合理論関手を定義し、∞-準同型と整合性を保つようにする。
• 関手的およびホモトピー不変性を制御するための、洗練された準同型のクラスである∞π-準同型を導入する。
• ねじれ手続きを用いて、統合理論過程におけるゲージ同値とホモトピー同値を関連付ける。
• Maurer–Cartan空間におけるホーンの埋め込みを用いて、重み付き平面根付き木を用いた高階Baker–Campbell–Hausdorff積を構成する。

実験結果

リサーチクエスチョン

• RQ1 Maurer–Cartan空間関手を普遍的コサイミプレキシアル対象によってどのように表現できるか。これによりホモトピーLie代数の統合が可能になるか。
• RQ2 高階Lie理論の文脈において、∞-準同型と∞π-準同型の正確な関係は何か。
• RQ3 高階ホモトピー的データを符号化するため、整合的な高階Baker–Campbell–Hausdorff公式の階層を体系的に構成できるか。
• RQ4 統合理論関手はホモトピー型を保存し、位相空間の有理ホモトピー型を忠実にモデル化するか。
• RQ5 Maurer–Cartan空間関手への左随伴関手は、古典的Lie理論および有理ホモトピー論とどのように関係するか。

主な発見

• 統合理論関手がMaurer–Cartan空間関手への整合的な左随伴関手であることが示され、完全にずらされたホモトピーLie代数の体系的統合が可能になる。
• 本フレームワークは∞π-準同型に関して関手的であり、ホモトピー不変性を制御するのに適切な準同型であることが示された。
• 操作的計算から得られる明示的木構造式を用いて、整合的な高階Baker–Campbell–Hausdorff公式の階層が構成された。
• 統合理論関手はホモトピー不変であり、変形問題の包含関係を尊重するため、モデル圏構造と整合性を保つ。
• 左随伴関手は、人工的な基点の問題を解消する有理ホモトピー型を忠実に捉える位相空間のホモトピーLie代数モデルを生成する。
• 微分方程式 $ v(t) = \sum_{\tau \in \mathrm{wPT}} \frac{1}{W(\tau)} \tau^f(v_0) $ の解が一意に存在することが示され、BCH型フローの木に基づく公式が得られた。