[论文解读] Alg\\`ebres et cog\\`ebres de Gerstenhaber et cohomologie de Chevalley-Harrison

Walid Aloulou, Didier Arnal+1 more|arXiv (Cornell University)|Jul 11, 2008

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

一句话总结

本文構造了Gerstenhaber代數的包絡G∞-代數，透過移位的、分次的結構明確定義了Chevalley-Harrison上同調算子。利用一個在上同調微分下存活的基底3-上循環，證明了在ℝᵈ上齊次多向量場子代數中，Chevalley-Harrison上同調群在度數3處的非平凡性。

ABSTRACT

The fundamental example of Gerstenhaber algebra is the space $T_{poly}({\\mathbb R}^d)$ of polyvector fields on $\\mathbb{R}^d$, equipped with the wedge product and the Schouten bracket. In this paper, we explicitely describe what is the enveloping $G_\\infty$ algebra of a Gerstenhaber algebra $\\mathcal{G}$. This structure gives us a definition of the Chevalley-Harrison cohomology operator for $\\mathcal{G}$. We finally show the nontriviality of a Chevalley-Harrison cohomology group for a natural Gerstenhaber subalgebra in $T_{poly}({\\mathbb R}^d)$.

研究动机与目标

• 透過G∞-代數結構明確構造Gerstenhaber代數的包絡G∞-代數，以實現Chevalley-Harrison上同調的系統化定義。
• 釐清Gerstenhaber代數底層運算在Koszul符號規則下產生的符號規範與分次結構。
• 展示多向量場在ℝᵈ上的自然、有限維的Gerstenhaber子代數中，Chevalley-Harrison上同調的非平凡性。
• 證明ℝ-係數下，向量場的基底Chevalley 3-上循環在Chevalley-Harrison複形中保持為非上邊界。

提出的方法

• 對Gerstenhaber代數G施加度數移位G[1]，以解決分次交換性與反交換性公理中的符號不一致問題。
• 構造自由的N+G[1]-余代數，並將Schouten括號與楔積擴展為此結構上的余微分算子。
• 定義Chevalley-Harrison微分dCH為余微分ℓ（編碼李括號）與余微分m（編碼楔積）之和，滿足(m + ℓ)² = 0。
• 利用對稱代數S⁺(N⁺G[1])[1]的結構定義上鏈與上同調複形。
• 明確計算dCH作用於齊次向量場上定義的基底3-上鏈f³₁₁₁的結果。
• 透過證明f³₁₁₁無法表示為dCH(g²₁₁)（對任意2-上鏈g²₁₁），驗證其為上循環（dCHf = 0）且非上邊界。

实验结果

研究问题

• RQ1 如何利用G∞-代數結構系統化定義Gerstenhaber代數的Chevalley-Harrison上同調？
• RQ2 度數移位G[1]與由此產生的余微分結構在解決Gerstenhaber代數上同調中符號模糊性問題時，其精確作用為何？
• RQ3 ℝᵈ上向量場的基底Chevalley 3-上循環是否在齊次多向量場子代數的Chevalley-Harrison上同調中保持為非平凡上循環？
• RQ4 能否透過明確構造一個非上邊界上循環，證明子代數Tpoly^hom(ℝᵈ)的上同調非平凡？

主要发现

• Gerstenhaber代數的包絡G∞-代數透過對稱代數S⁺(N⁺G[1])[1]明確構造，並配備余微分m與ℓ。
• Chevalley-Harrison微分定義為dCH = dℓ + dm，其中dℓ與dm為滿足(dℓ + dm)² = 0的余微分。
• 由f(α₁,α₂,α₃) = ∂ᵢ₃αᵢ₁¹ ∂ᵢ₁αᵢ₂² ∂ᵢ₂αᵢ₃³ − ∂ᵢ₂αᵢ₁¹ ∂ᵢ₁αᵢ₃³ ∂ᵢ₃αᵢ₂² 定義的基底3-上循環f³₁₁₁ ∈ C³₁₁₁ 是Chevalley-Harrison複形中的非平凡上循環。
• 該上循環非平凡，因其無法表示為dCH(g²₁₁)（對任意2-上鏈g²₁₁），此點由對應的Chevalley上循環被已知為非平凡所支持。
• 上同調群H³_{CH}(Tpoly^hom(ℝᵈ), ℝ) 非平凡，此由非上邊界3-上循環的存在所證明。
• 對Tpoly^hom(ℝᵈ)的限制消除了微分中的問題項，使基底3-上循環得以作為非平凡類存活。