[論文レビュー] Deformation Theory and Partition Lie Algebras

Lukas Brantner, Akhil Mathew|arXiv (Cornell University)|Apr 15, 2019

Homotopy and Cohomology in Algebraic Topology参考文献 41被引用数 12

ひとこと要約

本稿では、微分付き階数Lie代数の特徴値独立な一般化として、分割Lie代数を導入し、任意の特徴値における形式的モジュライ問題のLie代数的枠組みを提供する。体または完全局所基底上で、形式的モジュライ問題と分割Lie代数の間の同値性を確立し、特徴値ゼロに限らないLurie–Pridham対応を一般化する。

ABSTRACT

A theorem of Lurie and Pridham establishes a correspondence between formal moduli problems and differential graded Lie algebras in characteristic zero, thereby formalising a well-known principle in deformation theory. We introduce a variant of differential graded Lie algebras, called partition Lie algebras, in arbitrary characteristic. We then explicitly compute the homotopy groups of free algebras, which parametrise operations. Finally, we prove generalisations of the Lurie-Pridham correspondence classifying formal moduli problems via partition Lie algebras over an arbitrary field, as well as over a complete local base.

研究の動機と目的

• . 本稿の目的は、元来特徴値ゼロでのみ有効であったLurie–Pridham対応を、正および混合特徴値へと拡張することである。
• . 本稿は、有限および混合特徴値における導来変形のLie理論的記述の欠如に対処する。
• . 目的は、任意の特徴値における形式的モジュライ問題の無限小構造を捉える新しいホモトピー的Lie代数のクラス、すなわち分割Lie代数を定義することである。
• . 著者らの目的は、Dyer–Lashof作用に類似する自然な作用をパrametrizeする自由分割Lie代数のホモトピー群を計算することである。
• . 最終的な目的は、任意の体および完全局所環上での形式的モジュライ問題と分割Lie代数の間の明確な対応関係を確立することである。

提案手法

• . 著者らは、∞-圏とモノイドの枠組みを用いて、分割複体の等長的位相の性質を活用して分割Lie代数を定義する。
• . 彼らは、コンパクト対象の部分圏への左Kan拡張を構成するために、ハイパーカバーの理論とKan拡張を用いる。
• . この構成は、非正の次数でホモトピー群に全射を誘導する射のクラスSに依存する。
• . 著者らは、分割複体|Πn|の構造とそのホモトピー群を用いて、自由分割Lie代数のホモトピー群を計算する。
• . 彼らはGrothendieckの構成とネ混合の議論を適用し、特定のハイパーカバーが余極限図式であることを示す。
• . キーとなる技術的道具は、コンパクト対象から全カテゴリに至る関手のフィルター付き余極限を保存する拡張を用いることで、左Kan拡張の計算を可能にする点である。

実験結果

リサーチクエスチョン

• RQ1 . 特徴値ゼロに限らない、形式的モジュライ問題と微分付き階数Lie代数の間のLurie–Pridham対応を、正および混合特徴値へ一般化できるか？
• RQ2 . 任意の特徴値における導来変形を支配する正しいホモトピー的Lie代数的構造は何か？
• RQ3 . 自由分割Lie代数のホモトピー群は、任意の分割Lie代数のホモトピー群上の自然な作用をどのようにパラメータ化するか？
• RQ4 . 完全局所基底上での形式的モジュライ問題と分割Lie代数の正確な関係は何か？
• RQ5 . ハイパーカバーを用いることで、∞-圏における加群および代数の圏の文脈で左Kan拡張をどのように計算できるか？

主な発見

• . 本稿では、微分付き階数Lie代数の特徴値独立な一般化として、分割Lie代数を構成する。
• . 任意の体kに対して、形式的モジュライ問題とk上での分割Lie代数の間の∞-圏の同値性が証明される。
• . 完全局所基底環上でも同様の同値性が確立され、対応関係が算術的状況へ拡張される。
• . 自由分割Lie代数のホモトピー群が計算され、任意の分割Lie代数のホモトピー群上のDyer–Lashofに類似した作用をパラメータ化することが示される。
• . 著者らは、T代数上のSifted-余極限を保存する任意の関手が、coconnective加群上の自由代数から左Kan拡張可能であることを示す。
• . (F, S)-ハイパーカバーを用いた左Kan拡張の構成により、幾何的実現をすべて保存しない関手に対しても関手の計算が可能になる。