[논문 리뷰] Alg\\`ebres et cog\\`ebres de Gerstenhaber et cohomologie de Chevalley-Harrison

Walid Aloulou, Didier Arnal외 1명|arXiv (Cornell University)|2008. 07. 11.

Algebraic structures and combinatorial models참고 문헌 7인용 수 7

한 줄 요약

이 논문은 게르스텐하버 대수의 포락하는 G∞-대수를 구성하며, 이는 이동된, 그룹화된 구조를 통해 체바일리-하리슨 코homology 연산자를 명시적으로 정의한다. 실수 d차원에서의 동차 다항벡터장의 부분대수에 대해, 코homological 미분을 견디는 기본 3-코호모로지 족을 통해, 체바일리-하리슨 코homology 군이 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∞-대수를 명시적으로 구성함으로써, 체바일리-하리슨 코homology의 체계적인 정의를 가능하게 한다.
• 코스쿨 부호 규칙에 따라 게르스텐하버 대수의 기본 연산에서 발생하는 부호 관례와 그룹화된 구조를 명확히 한다.
• ℝᵈ 위의 다항벡터장의 자연스럽고 유한차원적인 게르스텐하버 부분대수에 대해, 체바일리-하리슨 코homology의 비자명성을 입증한다.
• 벡터장에 대한 기본 체바일리 3-코호모로지 족이, ℝ을 계수로 하는 체바일리-하리슨 복합체에서 비-코 boundary로 유지됨을 보여준다.

제안 방법

• 게르스텐하버 대수 G의 차수를 이동시킨 G[1]을 적용하여, 그룹화된 교환법칙과 반교환법칙의 공리에서 발생하는 부호 불일치를 해결한다.
• 자유 N+G[1]-코대수를 구성하고, 쇼텐 브라켓과 외적곱을 이 구조 위의 코미분으로 확장한다.
• 체바일리-하리슨 미분 dCH를, 리 브라켓을 표현하는 코미분 ℓ와 외적곱을 표현하는 코미분 m의 합으로 정의하며, (m + ℓ)² = 0을 만족시킨다.
• 대칭대수 S⁺(N⁺G[1])[1]의 구조를 이용하여 코체인과 코homology 복합체를 정의한다.
• 동차 벡터장에 정의된 기본 3-코체인 f³₁₁₁에 대한 dCH의 작용을 명시적으로 계산한다.
• f³₁₁₁가 코호모로지 족(dCHf = 0)임을 확인하고, 임의의 2-코체인 g²₁₁에 대해 dCH(g²₁₁)로 표현될 수 없음을 보여, 코 boundary가 아님을 입증한다.

실험 결과

연구 질문

• RQ1 게르스텐하버 대수의 체바일리-하리슨 코homology는 G∞-대수의 구조를 통해 어떻게 체계적으로 정의될 수 있는가?
• RQ2 차수 이동 G[1]과 그로 인해 유도되는 코미분 구조는 게르스텐하버 대수 코homology에서 발생하는 부호의 모호성을 어떻게 해결하는가?
• RQ3 ℝᵈ 위의 벡터장에 대한 기본 체바일리 3-코호모로지 족은 동차 다항벡터장의 부분대수에서의 체바일리-하리슨 코hom로지에서 비자명한 족으로 유지되는가?
• RQ4 명시적인 비-코 boundary 족의 구성으로써, Tpoly^hom(ℝᵈ)의 코homology가 비자명하다는 것을 입증할 수 있는가?

주요 결과

• 게르스텐하버 대수의 포락 G∞-대수는 코미분 m과 ℓ를 지닌 대칭대수 S⁺(N⁺G[1])[1]를 통해 명시적으로 구성된다.
• 체바일리-하리슨 미분 dCH는 dCH = dℓ + dm로 정의되며, dℓ와 dm는 (dℓ + dm)² = 0를 만족한다.
• f(α₁,α₂,α₃) = ∂ᵢ₃αᵢ₁¹ ∂ᵢ₁αᵢ₂² ∂ᵢ₂αᵢ₃³ − ∂ᵢ₂αᵢ₁¹ ∂ᵢ₁αᵢ₃³ ∂ᵢ₃αᵢ₂²로 정의된 기본 3-코호모로지 족 f³₁₁₁ ∈ C³₁₁₁는 체바일리-하리슨 복합체의 비자명한 족이다.
• f³₁₁₁는 dCH(g²₁₁)로 표현될 수 없기 때문에 비자명하다. 이는 해당 체바일리 족이 이미 알려진 비자명함을 보여주기 때문이다.
• H³_{CH}(Tpoly^hom(ℝᵈ), ℝ) 코homology 군은 비자명하며, 이는 비-코 boundary 3-코호모로지 족의 존재로 인해 입증된다.
• Tpoly^hom(ℝᵈ)로 제한함으로써 미분에서 문제적인 항목들이 제거되어, 기본 3-코호모로지 족이 비자명한 클래스로 유지된다.