[論文レビュー] Formality for algebroids I: Nerves of two-groupoids

Paul Bressler, Alexander Gorokhovsky+2 more|arXiv (Cornell University)|Nov 28, 2012

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

ひとこと要約

この論文は、次数 -1 より小さい次数に自明な成分を持つ微分付き Lie 代数 𝔤 に関連する Deligne 2群ガロア群のホモトピー同値性を、Hinich が構成した 𝔤 値微分形式の単体的集合と確立する。この結果により、L∞-代数および高次群ガロア群の文脈において、単体的・ホモトピー論的手法を用いた変形理論の形式的枠組みが得られ、二つのモデルが quasi-カテゴリカル に同等であることが示される。

ABSTRACT

We show that for a differential graded Lie algebra $\mathfrak{g}$ whose components vanish in degrees below -1 the nerve of the Deligne 2-groupoid is homotopy equivalent to the simplicial set of $\mathfrak{g}$-valued differential forms introduced by V.Hinich.

研究の動機と目的

• 高次カテゴリカル構造（2群ガロア群）と変形理論における微分形式との間のホモトピー論的ブリッジを確立すること。
• Deligne 2群ガロア群のホモトピー同値性と Hinich の L∞-代数の単体的モデルとの関係を明確にすること。
• 単体的およびホモトピー論的手法を用いて、変形理論における高次構造の形式的枠組みを提供すること。
• 微分付き Lie 代数の文脈におけるホモトピー論的ナーブ構成を用いて、形式的モジュライ問題の理解を拡張すること。

提案手法

• 次数 < -1 の成分が消える微分付き Lie 代数 𝔤 に関連する Deligne 2群ガロア群のナーブを構成する。
• Hinich の構成を用いて、𝔤 値微分形式の単体的集合を定義し、𝔤 の形式的モジュライ問題をモデル化する。
• 2群ガロア群のナーブと Hinich の微分形式の単体的集合との間の写像を確立する。
• ファイブレーションの置換や単体的ホモトピー論などのホモトピー代数的手法を用い、写像がホモトピー同値であることを証明する。
• 𝔤 が次数 ≤ 0 に集中していることを利用して、2群ガロア群構造が適切に定義され、微分形式と整合的であることを保証する。
• ∞-圏論および L∞-代数論の結果を応用し、二つのモデルをカテゴリカルに比較する。

実験結果

リサーチクエスチョン

• RQ1 微分付き Lie 代数 𝔤 が次数 -1 より小さい次数で自明な場合、Deligne 2群ガロア群のナーブは Hinich の 𝔤 値微分形式の単体的集合とホモトピー同値であるか？
• RQ2 高次カテゴリカル構造（2群ガロア群）は、L∞-代数の文脈においてどのように変形問題をモデル化するか？
• RQ3 形式的モジュライ空間の単体的モデルと高次群ガロア群のナーブとの間の明確な関係は何か？
• RQ4 Deligne 2群ガロア群のホモトピー型は、微分付き Lie 代数値の微分形式によって正確に捉えられるか？
• RQ5 2つのモデル—2群ガロア群のナーブと Hinich の単体的集合—は、どれほど同じ形式的モジュライ問題を表しているか？

主な発見

• 次数 < -1 の成分が消える微分付き Lie 代数 𝔤 に関連する Deligne 2群ガロア群のナーブは、Hinich の 𝔤 値微分形式の単体的集合とホモトピー同値である。
• この同値性により、変形理論における高次カテゴリカル構造と微分形式モデルとの直接的なリンクが確立される。
• この結果により、Hinich の単体的集合が ∞-圏的意味で 𝔤 の形式的モジュライ空間を正しくモデル化していることが確認される。
• 𝔤 が次数 ≤ 0 に集中しているという条件下でホモトピー同値性が成立し、2群ガロア群が適切に定義され、ファイブレーション的であることが保証される。
• この構成により、𝔤 の形式的モジュライ問題の単体的モデルが得られ、L∞-代数のホモトピー論と整合的である。
• 本論文は、2群ガロア群のナーブとその微分形式モデルとの同値性を用いた、変形問題の解釈の形式的枠組みを提供する。