[論文レビュー] Descent of Deligne-Getzler $\infty$-groupoids

Ruggero Bandiera|arXiv (Cornell University)|May 8, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 31被引用数 8

ひとこと要約

本稿では、Getzlerの$L_{\infty}$-代数に対する$\infty$-群コホロジー構成が、全化およびホモトピー極限と可換であることを確立し、Hinichの降下定理をより高次のホモトピー的構造へ一般化する。$\Delta_{\infty}$-群コホロジーと写像空間の間の自然な弱同値により、著者は$\Delta_{\infty}(-)$がホモトピー論的極限を保存することを証明し、変形理論を負の次数を持つ$L_{\infty}$-代数へ拡張する。

ABSTRACT

We prove that Getzler's higher generalization of the Deligne groupoid commutes with totalization and homotopy limits.

研究の動機と目的

• Deligne群コホロジーのHinichの降下定理を、$L_{\infty}$-代数の文脈におけるGetzlerの$\infty$-群コホロジー構成へ一般化すること。
• $L_{\infty}$-代数に非自明な負の次数がある場合、古典的降下が失敗する状況において、高次の群コホロジー構造が不可欠となることに対処すること。
• $\Delta_{\infty}(-)$関手がホモトピー極限および全化と可換であることを確立し、導来幾何的構成と整合性を持つことを保証すること。
• 先行研究に見られる制限的仮定を避ける、Reedyモデル圏に基づく概念的証明を提供すること。

提案手法

• 単体的集合$X$と$L_{\infty}$-代数$L$に対して、自然な弱同値$\operatorname{Del}_{\infty}(C^{*}(X;L)) \xrightarrow{\sim} \underline{\mathbf{SSet}}(X, \operatorname{Del}_{\infty}(L))$を導入し、コホロジーと写像空間を結びつける。
• Dupontの収縮を用いたホモトピー転送により、$C^{*}(\Delta_{\bullet};L)$に$L_{\infty}$-構造を導入し、$\operatorname{Del}_{\infty}(L)$をKan複体として定義可能にする。
• Reedyモデル圏技術を適用し、$\operatorname{Del}_{\infty}(L_{\bullet})$がReedyファイブレーションであることを証明し、ホモトピー極限と整合することを保証する。
• 部分全化の塔を構成し、ファイバー積図式と弱同値を用いて、帰納的に$\operatorname{Del}_{\infty}(-)$と$\operatorname{Tot}(-)$の整合性を証明する。
• $\operatorname{Del}_{\infty}(-)$がマッチング空間関手$M_{k-1}(-)$と可換であるという事実を活用し、単体的写像空間との帰納的比較を可能にする。
• コシンプルス補完関手$\Pi(-)$を用いてホモトピー極限と全化を関連付け、主な弱同値を応用して結果を導出する。

実験結果

リサーチクエスチョン

• RQ1 Getzlerの$\infty$-群コホロジー構成$\operatorname{Del}_{\infty}(-)$は、$L_{\infty}$-代数の図式の全化と可換か？
• RQ2 $L_{\infty}$-代数に非自明な負の次数がある場合、古典的Deligne群コホロジーが失敗する状況において、$\operatorname{Del}_{\infty}(-)$の降下性は拡張可能か？
• RQ3 任意の単体的集合$X$と$L_{\infty}$-代数$L$に対して、$\operatorname{Del}_{\infty}(C^{*}(X;L))$と単体的写像空間$\underline{\mathbf{SSet}}(X, \operatorname{Del}_{\infty}(L))$との間に自然な弱同値が存在するか？
• RQ4 $\operatorname{Del}_{\infty}(-)$は$L_{\infty}$-代数の圏におけるホモトピー極限とどのように作用するか？
• RQ5 $L_{\infty}$-代数やインデックス圏に制限的仮定を課さずに、$\operatorname{Del}_{\infty}(-)$とホモトピー極限の整合性を確立できるか？

主な発見

• $\operatorname{Del}_{\infty}(-)$は全化と弱同値の意味で可換である：任意の図式$F$について$\operatorname{Del}_{\infty}(\operatorname{Tot}(F)) \xrightarrow{\sim} \operatorname{Tot}(\operatorname{Del}_{\infty} \circ F)$が成り立つ。
• $\operatorname{Del}_{\infty}(-)$はホモトピー極限と可換である：任意の図式$F$について$\operatorname{Del}_{\infty}(\underleftarrow{\operatorname{holim}}(F)) \xrightarrow{\sim} \underleftarrow{\operatorname{holim}}(\operatorname{Del}_{\infty} \circ F)$が成り立つ。
• 任意の単体的集合$X$と$L_{\infty}$-代数$L$に対して、$\operatorname{Del}_{\infty}(C^{*}(X;L)) \xrightarrow{\sim} \underline{\mathbf{SSet}}(X, \operatorname{Del}_{\infty}(L))$という重要な弱同値が確立され、コホロジーと写像空間の間の橋渡しを提供する。
• 証明はReedyモデル圏技術と$\operatorname{Del}_{\infty}(L_{\bullet})$のReedyファイブレーション性に依拠しており、ホモトピー極限と整合することを保証する。
• $\operatorname{Del}_{\infty}(\operatorname{Tot}(F))$の基本群コホロジーは、$\operatorname{Tot}(\operatorname{Del}_{\infty} \circ F)$のそれと同型であることが確認され、群コホロジーのレベルでも整合性が保証される。
• 結果はHinichの降下定理を非負の$L_{\infty}$-代数にとどまらず、$\infty$-圏的設定へまで一般化する。