[論文レビュー] Deligne groupoid revisited

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

Homotopy and Cohomology in Algebraic Topology参考文献 14被引用数 3

ひとこと要約

この論文は、非可換微分幾何的Lie代数（DGLA）が度数 ≥ −1 に集中する場合、Deligne 2群の単体的ネ载体とHinichが導入した g-値微分形式の単体的集合との間にホモトピー同値を確立する。この結果は、DGLAが非負の度数に集中する場合にHinichが得た以前の同値性を一般化し、変形理論的構造と微分形式の間のホモトピー論的ブリッジを提供する。Kontsevichの形式的定理を用いた代数およびゲルベの形式的変形理論への応用を含む。

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.

研究の動機と目的

• 度数 ≥ −1 に集中するノルム的DGLAに対して、関連する2つの単体的集合、すなわちDeligne 2群のネビスとHinichの単体的集合 Σ(𝔤) の間のホモトピー同値を確立すること。
• DGLAが非負の度数に集中する場合にHinichが得た以前の結果を、度数 −1 に非自明な成分を持つ場合にまで拡張すること。
• ノルム的𝔪に対して、DGLA 𝔤⊗𝔪 のDeligne 2群が、L∞-準同型を介して Σ(𝔤⊗𝔪) のホモトピー型から同値類の意味で再構成可能であることを示すこと。
• Kontsevichの形式的定理の文脈において、特にアソシエイティブ代数およびアレブロイドスタックの形式的変形理論のためのホモトピー論的枠組みを提供すること。

提案手法

• 証明は、両方の単体的集合 Σ(𝔤) と 𝔑MC²(𝔤) を、第三の途中の単体的集合へと自然にホモトピー同値を構成することで、それらの間の相互ホモトピー同値を確立する。
• 2群の単体的ネビス構成とホモトピー可換ネビスを用いて、高階カテゴリカル構造を単体的集合としてモデル化する。
• 主な技術的ステップは、各 n に対して、関手 MC²(𝔤) → MC²(Ωₙ⊗𝔤) が、[0] → [n] の包含写像と 0 における評価写像によって誘導されるDGLAの準同型により、2群の圏における同値であることを示すこと。
• DGLA (Ωₙ⊗𝔤, d+δ) が評価写像 ev₀ により (𝔤, δ) に準同型であり、この写像が度数 −1 および 0 における関連するコホモロジー群に同型を誘導することを活用する。
• Maurer–Cartan 要素 μ ∈ MC²(𝔤) の自己同型群が、exp(𝔨⁻¹) による exp(ker(δ_μ⁻¹)) への作用と同型であり、この構造が準同型写像のもとで保存されることを示す。
• Duskinのネビス理論およびホモトピー可換ネビスの結果を適用し、DGLAの準同型がそれらに対応するMC²-群の圏に同値を誘導することを用いる。

実験結果

リサーチクエスチョン

• RQ1 度数 −1 より低い度数で零となるDGLA 𝔤 に対して、Deligne 2群の単体的ネビスとHinichの単体的集合 Σ(𝔤) はホモトピー同値か？
• RQ2 DGLAが非負の度数に集中する場合に限らない、Σ(𝔤) と 𝔑MC²(𝔤) の間のホモトピー同値性は、一般化可能か？
• RQ3 体 k 上の代数 A とノルム的 k-代数 𝔪 によるねじれ変形 2群は、Σ(𝔤(A)⊗𝔪) のホモトピー型から同値類の意味で回復可能か？
• RQ4 L∞-準同型写像は、Σ(𝔤) の構成および MC²(𝔤) のネビスにどのように作用するか？
• RQ5 単体的DGLA Ωₙ⊗𝔤 は、MC²(𝔤) と Σ(𝔤) のホモトピー型を結ぶ役割を果たすか？

主な発見

• 任意のノルム的DGLA 𝔤 に対して、𝔤ⁱ = 0（i < −1）が成り立つとき、単体的集合 𝔑MC²(𝔤) と Σ(𝔤) はホモトピー同値である。
• 各 n に対して、関手 MC²(𝔤) → MC²(Ωₙ⊗𝔤) は、包含写像 [0] → [n] を通じて誘導されるDGLAの準同型 (𝔤, δ) → (Ωₙ⊗𝔤, d+δ) により、2群の圏における同値である。
• 評価写像 ev₀: Ωₙ⊗𝔤 → 𝔤 はDGLAの準同型であり、逆は包含写像で与えられ、この写像は度数 −1 および 0 における関連コホモロジー群に同型を誘導する。
• MC²(𝔤) 内のMaurer–Cartan 要素 μ の自己同型群は、exp(𝔨⁻¹) による exp(ker(δ_μ⁻¹)) への作用と同型であり、この構造は準同型写像のもとで保存される。
• ホモトピー圏（同型類の集合）への誘導写像は全単射であり、自己同型群の圏への誘導写像は同値である。
• この結果は、代数 A が体 k 上にあり、nilpotent k-代数 𝔪 でねじれられる場合、A の変形 2群が、𝔤 が 𝔤(A)⊗𝔪 に L∞-代数として準同型である限り、Σ(𝔤⊗𝔪) とホモトピー同値であることを示唆する。