[论文解读] A solution of Deligne's conjecture

James E. McClure, Jeffrey H. Smith|ArXiv.org|Oct 24, 1999

Algebraic structures and combinatorial models参考文献 18被引用 31

一句话总结

本文通過在去懸掛後構造小2立方體操作族的奇異鏈對作用於交換環的歸一化Hochschild上循環複形，從而解決了Deligne的猜想。關鍵結果建立了小2立方體操作族的奇異鏈操作族與由上循環複形的末端同態操作族中由杯積、單位元和高階brace運算生成的子操作族之間的擬同構。

ABSTRACT

Deligne asked in 1993 whether the Hochschild cochain complex of an associative ring has a natural action by the singular chains of the little 2-cubes operad. In this paper we give an affirmative answer to this question. We also show that the topological Hochschild cohomology spectrum of an associative ring spectrum has an action of an operad equivalent to the little 2-cubes.

研究动机与目标

• 解決Deligne於1993年提出的猜想，即奇異鏈操作族的little 2-cubes操作族在交換環的Hochschild上循環複形上存在作用。
• 證明交換環譜的拓撲Hochschild上同調譜具有與little 2-cubes操作族擬同構的操作族的作用。
• 構造little 2-cubes操作族的奇異鏈操作族與由去懸掛後歸一化Hochschild上循環複形函子的末端同態操作族中杯積、單位元和高階brace運算生成的子操作族之間的顯式擬同構。
• 將此解法推廣至任意特徵下的微分分次代數與交換環譜，而不僅限於特徵零的情境。

提出的方法

• 定義歸一化Hochschild上循環複形 $\bar{C}^*(R)$ 及其去懸掛 $\Sigma^{-1}\bar{C}^*(R)$，以正確處理符號規範。
• 構造函子 $\Sigma^{-1}\bar{C}^*$ 的末端同態操作族 $\mathcal{O}$，其分量 $\mathcal{O}(n)$ 為自然變換 $ (\Sigma^{-1}\bar{C}^*)^\bigotimes n \to \Sigma^{-1}\bar{C}^* $，依度數偏移分級。
• 識別 $\mathcal{O}$ 中的關鍵運算：杯積 $\smallsmile \in \mathcal{O}(2)$、單位 $e \in \mathcal{O}(0)$，以及 $n \geq 2$ 時的高階brace運算 $\{\}_n \in \mathcal{O}(n)$，透過迭代插入並修正符號定義。
• 定義由 $e$、$\smallsmile$ 和 $\{\}_n$ 運算生成的子操作族 $\mathcal{H} \subset \mathcal{O}$，並證明 $\mathcal{H}$ 在擬同構下滿足little 2-cubes操作族的關係。
• 使用涉及偏序集與可縮子複形 $I_n(t,p)$ 的組合論證，透過數學歸納法與將複形分解為子複形 $A$、$B$ 和 $C$，證明操作族 $\mathcal{H}$ 與 little 2-cubes操作族的奇異鏈操作族 $\mathcal{C}_2$ 之間的擬同構。
• 確立運算之間關係（如 $\smallsmile$ 的結合律、單位性質，以及brace乘積與 $\smallsmile$ 的相容性）被編碼於操作族結構中，且在擬同構下保持不變。

实验结果

研究问题

• RQ1 交換環的Hochschild上循環複形是否如Deligne於1993年所猜想的，自然地作用有little 2-cubes操作族的奇異鏈？
• RQ2 此作用能否透過代數運算（如杯積與高階brace運算）顯式構造？
• RQ3 歸一化Hochschild上循環複形上的操作族結構是否與整數上的little 2-cubes操作族的奇異鏈操作族擬同構？
• RQ4 此構造能否推廣至任意特徵下的微分分次代數與交換環譜？
• RQ5 由部分序與全序組合學所產生的偏序複形 $I_n(t,p)$ 的可縮性，是否足以確立 $\mathcal{H}$ 與 little 2-cubes操作族奇異鏈操作族之間的擬同構？

主要发现

• 本文確立了little 2-cubes操作族 $\mathcal{C}_2$ 的奇異鏈操作族與去懸掛後歸一化Hochschild上循環複形函子 $\Sigma^{-1}\bar{C}^*$ 的末端同態操作族中子操作族 $\mathcal{H}$ 之間的擬同構。
• 子操作族 $\mathcal{H}$ 由杯積 $\smallsmile$、單位 $e$ 和高階brace運算 $\{\}_n$ 生成，這些運算編碼了上同調上的Gerstenhaber代數結構。
• 透過歸納法與將複形分解為子複形 $A$、$B$ 和 $C$，證明了偏序複形 $I_n(t,p)$ 的可縮性，進而暗示擬同構，確認了操作族之間的同倫等價。
• 此構造在整數上成立，並可推廣至任意特徵下的微分分次代數與交換環譜，使結果具有廣泛適用性。
• 運算之間的關係（如 $e \smallsmile x = x \smallsmile e = x$、$\smallsmile$ 的結合律，以及相容性 $ (x_1 \cdot x_2)\{y_1,\dots,y_n\} = \sum (-1)^\varepsilon x_1\{y_1,\dots,y_k\} \cdot x_2\{y_{k+1},\dots,y_n\} $）被保留並編碼於操作族結構中。
• 證明使用了一種新穎的組合技術，涉及偏序複形的分解與部分序的運用，以分析與操作族複合相關的配置空間的可縮性。