[논문 리뷰] Associative and Lie deformations of Poisson algebras

Elisabeth Remm|arXiv (Cornell University)|2011. 05. 13.

Advanced Topics in Algebra참고 문헌 14인용 수 3

한 줄 요약

이 논문은 마크르-레움 항등식을 만족하는 단일 비결합 곱셈에 대한 변형으로 파울슨 대수의 변형을 재해석함으로써, 아소시아티브 및 리 변형을 동일한 코homological 프레임워크 아래 통합한다. 주요 기여는 일반 변형을 지배하는 이론으로서 파울슨 코homology를 특정화한 것으로, 파울슨-리히너도비치 및 파울슨-호크시ลด 코homology는 특수한 경우이며, 비대칭 및 대칭 유도자에 의한 파울슨 코boundary 연산자 하에서 코체인이 닫혀 있는 조건을 정확히 규명한다.

ABSTRACT

Considering a Poisson algebra as a non associative algebra satisfying the Markl-Remm identity, we study deformations of Poisson algebras as deformations of this non associative algebra. This gives a natural interpretation of deformations which preserves the underlying associative structure and we study deformations which preserve the underlying Lie algebra.

연구 동기 및 목표

• 단일 비결합 곱셈이 마크르-레움 항등식을 만족하도록 간주함으로써 파울슨 대수의 변형을 통합적인 프레임워크로 제공하는 것.
• 기존의 리 변형(아소시아티브 곱을 유지함)과 아소시아티브 변형(리 괄호를 유지함)을 하나의 변형 이론 내에서 특수한 경우로 복원하는 것.
• 아소시아티브 변형의 매개변수 공간으로서 파울슨-호크시ลด 코homology를 정의하고 연구하는 것.
• 명시적인 코boundary 연산자와 분해 공식을 통해 파울슨 코hom로지, 파울슨-리히너도비치 코hom로지, 파울슨-호크시ลด 코호모로지 간의 관계를 명확히 하는 것.

제안 방법

• 마크르-레움 항등식을 통해 파울슨 대수를 비결합 대수로 표현함으로써, 아소시아티브 곱셈과 리 괄호를 하나의 곱셈에 통합한다.
• 다중선형 코체인 위에 작용하는 코boundary 연산자 δⁿ_P를 사용하여 파울슨 코hom로지 복합체를 정의하며, 대칭 및 비대칭 부분을 포함한 명시적 공식을 제공한다.
• 코체인 φ를 그 대칭 부분 φ_s 와 비대칭 부분 φ_a 로 분해하기 위해 각각 투영 연산자 Φ_{W_n} 과 Φ_{V_n} 를 도입한다.
• 비대칭 코체인이 아소시아티브 곱에 대해 유도자임을 특징짓기 위해 L_{1,n} 및 L_{H,n} 연산자를 도입한다.
• 대칭 코체인을 리 n-유도자로 특징짓는 연산자 ∇ⁿ 을 정의하고, 이를 파울슨 코boundary와 연결함: ∇ⁿφ_s = 0 이고 오직 오직 δ_Hⁿφ_s = 0 이면 성립한다.
• δ_Pⁿφ = 0 이고 오직 오직 δ_Cⁿφ_a = 0 이고 L_{1,n}φ_a = 0 이면, 닫힌 파울슨 코체인이 호환 가능한 유도자에 대응됨을 보여주는 항등식을 사용한다.

실험 결과

연구 질문

• RQ1 아소시아티브 곱과 리 괄호 둘 다 변형될 때, 파울슨 대수의 변형을 어떻게 통일적으로 묘사할 수 있는가?
• RQ2 마크르-레움 항등식은 하나의 비결합 대수적 구조 내에서 아소시아티브 및 리 변형을 어떻게 통합하는가?
• RQ3 파울슨-리히너도비치 코호모로지와 파울슨-호크시ลด 코호모로지가 전체 파울슨 코호모로지와 어떻게 관련이 있는가?
• RQ4 비대칭 또는 대칭 다중선형 코체인이 각각 아소시아티브 또는 리 괄호에 대해 유도자일 조건은 무엇인가?
• RQ5 코체인이 파울슨 코호모로지 복합체에서 닫혀 있는 정확한 대수적 조건은 무엇인가?

주요 결과

• 파울슨 대수는 마크르-레움 항등식을 만족하는 비결합 대수로 동치적으로 기술될 수 있으며, 이는 통합된 변형 이론을 가능하게 한다.
• 파울슨 코호모로지 복합체는 일반 변형을 지배하며, δ_Pⁿφ = 0 이고 오직 오직 δ_Cⁿφ_a = 0 이고 L_{1,n}φ_a = 0 이면 성립한다. 여기서 φ_a 는 φ 의 비대칭 부분이다.
• 아소시아티브 변형은 파울슨-호크시ลด 코호모로지로 매개변수화되며, δ_Hⁿφ_s = 0 이고 오직 오직 ∇ⁿφ_s = 0 이면 성립한다. 즉, φ_s 는 리 n-유도자이다.
• 파울슨-리히너도비치 코호모로지가 유도되는 특수한 경우는 리 괄호만 변형될 때이며, δ_Cⁿφ_a = 0 이고 L_{1,n}φ_a = 0 이다.
• 코체인의 대칭 부분 φ_s 는 δ_Hⁿφ_s = 0 이고 오직 오직 ∇ⁿφ_s = 0 이면 성립하므로, 파울슨-호크시ลด 코호모로지가 대칭 코체인에 대해 파울슨 코호모로지와 일치함을 보여준다.
• 전체 파울슨 코호모로지는 비대칭 부분에 대한 체발레-에일렌버그 코boundary의 동시적인 영과 조건 L_{1,n}φ_a = 0 이 성립함으로써 특징지어진다.