[논문 리뷰] Deformations of Lie brackets: cohomological aspects

Marius Crainic, Ieke Moerdijk|ArXiv.org|2004. 03. 25.

Advanced Topics in Algebra참고 문헌 8인용 수 4

한 줄 요약

이 논문은 리 대수의 구조를 제어하는 데 사용되는 새로운 코homology 이론—변형 코homology(deformation cohomology)—를 도입한다. 이 이론은 미분가환 리 대수(dgla)를 통해 리 대수의 괄호 변형을 제어하며, 이 코homology가 변형을 지배하고, 리 대수의 De Rham 코homology에 작용하며, 0일 경우의 고정성(rigidity)을 보여준다. 이는 일반적인 설정에서의 수반 표현(adenoint representation)이 필요 없이 고전적인 리 대수 변형 이론을 일반화한다.

ABSTRACT

We introduce a new cohomology for Lie algebroids, and prove that it provides a differential graded Lie algebra which ``controls'' deformations of the structure bracket of the algebroid. We also have a closer look at various special cases such as Lie algebras, Poisson manifolds, foliations, Lie algebra actions on manifolds.

연구 동기 및 목표

• 일반적인 설정에서 수반 표현이 존재하지 않는다는 점을 고려하여, 리 대수의 괄호 변형을 지배하는 코homology 이론을 개발하는 것.
• 고전적인 리 대수 변형 이론과 유사하게, 리 대수의 변형 이론을 제어하는 미분가환 리 대수(dgla)를 구성하는 것.
• 새로운 변형 코homology가 기존의 리 대수의 코homology 이론과 어떻게 관련되어 있는지, 특히 리 대수의 De Rham 코homology에 대한 작용을 보여주는 것.
• 코homology의 0일 조건 하에서 리 대수의 고정성을 증명하여, 컴팩트 리 군과 푸아송 구조에 대한 기존 결과를 확장하는 것.
• 리 대수의 구조와 그 쌍대 배럴(dual bundle) 위의 선형 푸아송 구조 사이의 대응을 수립하여, 푸아송 코homology를 통해 코homological 재해석을 가능하게 하는 것.

제안 방법

• 리 대수의 단면들에 대한 다중선형 반대칭 다중미분 작용소들의 공간으로서 변형 복합체 $ C_{\text{def}}^*(A) $ 를 정의한다.
• 리 괄호와 단면들의 괄호에 대한 교대 합을 포함한 Nijenhuis-Schouten 유형의 공식을 통해 복합체에 코 boundary 연산자 $ \delta $ 를 부여한다.
• $(C_{\text{def}}^*(A), \delta)$ 가 미분가환 리 대수(dgla)를 이룬다는 것을 보이며, 그 코homology는 변형 코homology $ H^*_{\text{def}}(A) $ 라고 한다.
• 리 대수의 구조와 선형 푸아송 구조 사이의 대응을 이용하여, $ H^*_{\text{def}}(A) $ 와 쌍대 배럴 $ A^\vee $ 의 선형 푸아송 코hom로지 $ H^*_{\pi,\text{lin}}(A^\vee) $ 사이의 동형사상을 수립한다.
• $ \text{lin} $-카테고리 프레임워크를 사용하여, van Est 동형사상의 일반화를 도출하고, 정규 및 작용 리 대수에 대한 고정성 결과를 증명한다.
• 변형 코homology의 $ H^2_{\text{def}}(A) $ 가 0일 경우 리 대수의 고정성이 성립함을 증명하며, 고전적인 리 대수 이론의 결과를 확장한다.

실험 결과

연구 질문

• RQ1 수반 표현이 존재하지 않는 상황에서 리 대수의 변형 이론은 어떻게 제어할 수 있는가?
• RQ2 리 대수의 괄호 변형을 지배하는 데 적절한 코homology 이론은 무엇인가?
• RQ3 변형 코homology는 De Rham 코homology와 같은 기존의 코homology 이론과 어떻게 관련되어 있는가?
• RQ4 $ H^2_{\text{def}}(A) $ 가 0일 경우에 리 대수의 구조가 고정되는 조건은 무엇인가?
• RQ5 쌍대 배럴 $ A^\vee $ 에서의 선형 푸아송 구조를 사용하여 리 대수 $ A $ 의 변형 코homology 를 특성화하고 계산할 수 있는가?

주요 결과

• 변형 코homology $ H^*_{\text{def}}(A) $ 는 선형 푸아송 코homology $ H^*_{\pi,\text{lin}}(A^\vee) $ 와 동형이며, 리 대수의 변형과 푸아송 기하학 사이의 깊은 연관성을 확립한다.
• 리 대수 $ A $ 의 괄호 변형은 $ H^2_{\text{def}}(A) $ 의 원소들로 분류되며, 이는 리 대수의 Chevalley-Eilenberg 코homology 를 일반화한다.
• 변형 코homology는 리 대수의 De Rham 코homology 에 작용하며, 기하학적 불변량에 대한 변형 이론의 자연스러운 작용을 제공한다.
• $ H^2_{\text{def}}(A) $ 가 0일 경우 리 대수의 고정성이 성립함을 의미하며, 이는 비자명한 변형이 존재하지 않음을 뜻한다. 이는 고전적인 고정성 결과를 확장한다.
• 정규 및 작용 리 대수의 경우, 적분 군이 적절하고 2-단순 연결된 경우 $ H^2_{\text{def}}(A) = 0 $ 이라는 추측을 증명하였다.
• $ \text{lin} $-카테고리 프레임워크를 통해, 선형 군과 리 대수로의 van Est 유형의 동형사상의 일반화를 가능하게 하여 고정성 추측의 잠재적 일반 증명을 가능하게 한다.