[论文解读] Deligne groupoid revisited

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

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

一句话总结

本文建立了在度数 ≥ −1 的幂零微分分次李代数（DGLA）上，与 Deligne 2-群胚相关联的单纯复形的神经复形与 Hinich 引入的 𝔤-值微分形式单纯集之间的同伦等价。该结果推广了 Hinich 对于集中于非负度数的 DGLA 的早期等价结果，并在形变理论结构与微分形式之间建立了同伦理论桥梁，其应用涵盖通过 Kontsevich 的形式性定理实现的代数与 2-丛的正式形变理论。

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.

研究动机与目标

• 建立一个幂零 DGLA 𝔤（满足 deg(𝔤) ≥ −1）所关联的两个单纯集之间的同伦等价：Deligne 2-群胚的神经复形与 Hinich 的单纯集 Σ(𝔤)。
• 将 Hinich 的早期结果（仅适用于集中于非负度数的 DGLA）推广至 DGLA 在度数 −1 处具有非平凡分量的情形。
• 证明对于幂零 𝔪，DGLA 𝔤⊗𝔪 的 Deligne 2-群胚可通过对 Σ(𝔤⊗𝔪) 的同伦类型进行重构而得到等价类。
• 为结合 Kontsevich 形式性定理的背景，提供一个同伦理论框架，用于研究结合代数与代数丛层的正式形变理论。

提出的方法

• 通过将 Σ(𝔤) 和 𝔑MC²(𝔤) 都同伦等价于一个中间单纯集，从而建立它们之间的相互同伦等价。
• 使用单纯复形神经复形构造来处理 2-群胚，并利用同伦分明神经复形将高阶范畴结构建模为单纯集。
• 关键技术步骤是证明对每个 n，函子 MC²(𝔤) → MC²(Ωₙ⊗𝔤) 是 2-群胚的等价，该等价由包含映射 [0] → [n] 及在 0 处的取值所诱导的 DGLA 的拟同构实现。
• 利用 DGLA (Ωₙ⊗𝔤, d+δ) 通过取值映射 ev₀ 与 (𝔤, δ) 拟同构的事实，并证明其在度数 −1 和 0 的相关上同调群上诱导同构。
• 证明了在 Maurer–Cartan 元素 μ 的自同构群与 exp(𝔨⁻¹) 作用于 exp(ker(δ_μ⁻¹)) 之间存在同构，并且该结构在拟同构下保持不变。
• 应用 Duskin 的神经复形与同伦分明神经复形理论，并利用 DGLA 的拟同构在相应 MC²-群胚上诱导等价的事实。

实验结果

研究问题

• RQ1 对于在低于 −1 的度数上分量为零的 DGLA 𝔤，其 Deligne 2-群胚神经复形与 Hinich 的单纯集 Σ(𝔤) 是否同伦等价？
• RQ2 Σ(𝔤) 与 𝔑MC²(𝔤) 之间的同伦等价是否可超越集中于非负度数的 DGLA 情形？
• RQ3 能否通过对 Σ(𝔤(A)⊗𝔪) 的同伦类型恢复一个域 k 上代数 A 的形变 2-群胚（由幂零 k-代数 𝔪 扭曲）的等价类？
• RQ4 L∞-拟同构如何与 Σ(𝔤) 和 MC²(𝔤) 的神经复形构造相互作用？
• RQ5 单纯 DGLA Ωₙ⊗𝔤 在连接 MC²(𝔤) 与 Σ(𝔤) 的同伦类型中起什么作用？

主要发现

• 对于任意满足 𝔤ⁱ = 0（当 i < −1 时）的幂零 DGLA 𝔤，单纯集 𝔑MC²(𝔤) 与 Σ(𝔤) 同伦等价。
• 对每个 n，函子 MC²(𝔤) → MC²(Ωₙ⊗𝔤) 是 2-群胚的等价，该等价由包含映射 [0] → [n] 所诱导的 DGLA 拟同构 (𝔤, δ) → (Ωₙ⊗𝔤, d+δ) 实现。
• 取值映射 ev₀: Ωₙ⊗𝔤 → 𝔤 是 DGLA 的拟同构，其逆由包含映射给出，并在度数 −1 和 0 的相关上同调群上诱导同构。
• Maurer–Cartan 元素 μ 在 MC²(𝔤) 中的自同构群同构于 exp(𝔨⁻¹) 对 exp(ker(δ_μ⁻¹)) 的作用，且该结构在拟同构下保持不变。
• 在同伦范畴（即同构类集合）上的诱导映射是双射，且在自同构群胚上的诱导映射是等价。
• 该结果表明，当 𝔤 是与 𝔤(A)⊗𝔪 L∞-代数拟同构时，代数 A（在域 k 上）的形变 2-群胚与 Σ(𝔤⊗𝔪) 同伦等价。