[论文解读] On Spineless Cacti, Deligne's Conjecture and Connes--Kreimer's Hopf Algebra

Ralph M. Kaufmann|ArXiv.org|Aug 1, 2003

Algebraic structures and combinatorial models参考文献 25被引用 4

一句话总结

本文通過使用無刺繆斯卡提（spineless cacti）建立了一個統一的拓撲操作框架，同時解決了 Hochschild複形上的 Deligne 猜想，實現了 Connes–Kreimer 的霍普夫代數在鏈級上的形式，並提供了弦拓撲的細胞模型。通過從歸一化的無刺繆斯卡提構造一個極小鏈操作框架，本文在 ℤ 上證明了 Deligne 猜想，並識別出頂維對稱細胞的操作框架為預李代數與分次預李代數的鏈模型，從而透過單一幾何形式統一了三種不同的代數結構。

ABSTRACT

Using a cell model for the little discs operad in terms of spineless cacti we give a minimal common topological operadic formalism for three a priori disparate algebraic structures: (1) a solution to Deligne's conjecture on the Hochschild complex, (2) the Hopf algebra of Connes and Kreimer, and (3) the string topology of Chas and Sullivan.

研究动机与目标

• 提供一個極小的、拓撲操作的形式系統，統一三種代數結構：Deligne 猜想、Connes–Kreimer 的霍普夫代數與弦拓撲。
• 利用歸一化的無刺繆斯卡提構造小圓盤操作框架的鏈級模型，從而實現對 Deligne 猜想的直接拓撲證明。
• 證明無刺繆斯卡提的細胞鏈操作框架在鏈級上實現了預李代數與分次預李代數的結構。
• 展示 Connes 與 Kreimer 的霍普夫代數自然地作為此框架中頂維對稱細胞的反 invariant 商而出現。

提出的方法

• 構造歸一化無刺繆斯卡提空間的 CW 分解，證明其同胚於由植根平面雙分樹索引的細胞複形 K(n)。
• 在歸一化的無刺繆斯卡提上定義細胞鏈操作框架結構，證明細胞鏈構成一個與小圓盤操作框架的鏈模型同構的微分幾何操作框架（dg-operad）。
• 利用樹索引將運算解釋為乘法與 Brace 運算的「流程圖」，從而提供 Gerstenhaber 代數結構的組合實現。
• 限制於頂維對稱細胞，並施加度數移位，以獲得預李代數與分次預李代數操作框架的鏈模型。
• 對頂維對稱細胞取 ℤn-對稱反 invariant 商，將 Connes–Kreimer 霍普夫代數實現為細胞鏈操作框架的商。
• 利用 S¹-圖與弦圖構造定義繆斯卡提的黏合運算，確保與操作框架結構及零虧格拓撲相容。

实验结果

研究问题

• RQ1 是否能透過單一的拓撲操作形式系統，統一 Deligne 的猜想、Connes–Kreimer 的霍普夫代數與弦拓撲？
• RQ2 歸一化無刺繆斯卡提的細胞鏈操作框架是否能提供一個極小且構造性的 ℤ 上 Deligne 猜想的解法？
• RQ3 無刺繆斯卡提操作框架的頂維對稱細胞如何在鏈級上實現預李代數與分次預李代數的結構？
• RQ4 Connes–Kreimer 霍普夫代數能否作為由繆斯卡提構造的細胞鏈操作框架的商而導出？
• RQ5 S¹-圖與弦圖構造在定義繆斯卡提操作黏合運算中扮演何種角色？

主要发现

• 歸一化無刺繆斯卡提的空間，記為 𝒞act¹(n)，同胚於一個細胞複形 K(n)，提供了極小的 CW 分解。
• 歸一化無刺繆斯卡提的細胞鏈構成一個與小圓盤操作框架的鏈模型同構的 dg-操作框架，從而證明了在 ℤ 上的 Deligne 猜想。
• 頂維對稱細胞的操作框架在度數移位後，同構於分次預李代數的操作框架，而其移位版本則實現了預李代數的操作框架。
• Connes 與 Kreimer 的霍普夫代數同構於歸一化無刺繆斯卡提的頂維對稱細胞在移位後的細胞鏈操作框架中，對 ℤn-對稱反 invariant 的商。
• 細胞鏈操作框架的結構實現了由 Hochschild 上循環上的乘法與 Brace 運算生成的所有運算，確認了其極小性。
• 繆斯卡提的黏合運算透過帶尺度與等價關係的度量圖組合定義，保持了帶繩圖結構，並確保虧格為零且葉片數具有次可加性。