[논문 리뷰] Lie superalgebra structures in cohomology spaces of Lie algebras with coefficients in the adjoint representation

Alexei Lebedev, Dimitry Leites외 1명|ArXiv.org|2004. 04. 06.

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

한 줄 요약

이 논문은 Nijenhuis 괄호를 사용하여 애드조인트 표현에 대한 리(super)대수의 코homology 및 코체인 복합체에 리(super)대수 및 미분가환(super)대수(super)대수의 구조를 구성한다. 단순 리(super)대수의 최대 노름 부분대수와 특수한 경우인 $\mathfrak{g}_2$, $\mathfrak{sl}(2)$, $\mathfrak{sl}(3)$에 대해 결과적으로 얻어진 대수를 명시적으로 기술하며, 리대수가 교환법칙을 만족할 경우 코homology 대수는 $\mathfrak{vect}(\dim \Pi(\mathfrak{n}))$와 동형이 되며, 이는 단순 리(super)대수임을 보여준다.

ABSTRACT

The space of Lie algebra cohomology is usually described by the dimensions of components of certain degree even for the adjoint module as coefficients when the spaces of cochains and cohomology can be endowed with a Lie superalgebra structure. Such a description is rather imprecise: these dimensions may coincide for cohomology spaces of distinct algebras. We explicitely describe the Lie superalgebras on the space of cohomology of the maximal nilpotent subalgebra of any simple finite dimensional Lie algebra. We briefly review related results by Grozman, Penkov and Serganova, Poletaeva, and Tolpygo. We cite a powerful Premet's theorem complementary to the Borel-Weil-Bott theorem. We mention relations with the Nijenhuis bracket and nonholonomic systems.

연구 동기 및 목표

• 애드조인트 계수를 가진 리(super)대수의 코homology 및 코체인 복합체에 리(super)대수 및 DG 리(super)대수의 구조를 구성하는 것.
• 단순 유한차원 리대수의 최대 노름 부분대수 $\mathfrak{n}$에 대해 $\mathfrak{l}_{\bullet} = \Pi(H^{\bullet+1}(\mathfrak{n}; \mathfrak{n}))$의 구조를 분석하는 것.
• 특이 리대수, 예를 들어 $\mathfrak{g}_2$, $\mathfrak{sl}(2)$, $\mathfrak{sl}(3)$에 대해 $\mathfrak{l}_{\bullet}$의 명시적 실현을 계산하는 것.
• 리대수가 교환법칙을 만족할 경우, $\mathfrak{l}_{\bullet} \cong \mathfrak{vect}(\dim \Pi(\mathfrak{n}))$임을 조사하고, 이를 보여주는 것.
• 이러한 구조를 초다양체 $\hat{M} = (M, \Omega(M))$ 위에서 외부 미분의 중심화자를 벡터장으로서 연결하는 것.

제안 방법

• Nijenhuis 괄호를 사용하여 $\Pi(C^{\bullet+1}(\mathfrak{n}; \mathfrak{n}))$에 리(super)대수의 구조를 정의하며, 이는 $\mathfrak{vect}(\hat{M})$에서 외부 미분 $d$의 중심화자로 해석된다.
• 코homology 복합체 $H^{\bullet}(\mathfrak{n}; \mathfrak{n})$는 페어리티 함자 $\Pi$를 통해 변환되어 $\mathfrak{l}_{\bullet} = \Pi(H^{\bullet+1}(\mathfrak{n}; \mathfrak{n}))$를 정의하며, 이는 DG 리(super)대수의 구조를 지닌다.
• 이 구조의 구성은 초다양체 $\hat{M} = (M, \Omega(M))$에서 $d$를 degree 1의 호모로지 벡터장으로 해석하는 데 기반한다. 여기서 $M$은 다양체이고 $\Omega(M)$는 그의 de Rham 초_bundle이다.
• 교환법칙을 만족하는 $\mathfrak{n}$, 예를 들어 허미션트 대칭 공간 $G/P$의 경우, 미분 $d$가 0이 되며, 이에 따라 $\mathfrak{l}_{\bullet} \cong \mathfrak{vect}(\dim \Pi(\mathfrak{n}))$가 되며, 이는 단순 리(super)대수이다.
• 논문은 컴퓨터 보조 계산과 Premet의 정리를 활용하여 비-$\mathfrak{g}$-모듈러스 $N$에 대해 $H^i(\mathfrak{n}; N)$을 계산함으로써 특이 케이스에서의 명시적 계산을 가능하게 한다.

실험 결과

연구 질문

• RQ1 리(super)대수 $\mathfrak{n}$에 대해 $\Pi(C^{\bullet+1}(\mathfrak{n}; \mathfrak{n}))$에 어떤 리(super)대수의 구조가 발생하며, 이는 Nijenhuis 괄호와 어떻게 관련되는가?
• RQ2 코homology 대수 $H^{\bullet}(\mathfrak{n}; \mathfrak{n})$는 페어리티 함자 $\Pi$에 의해 어떻게 변형되며, 그 결과로 얻어지는 $\mathfrak{l}_{\bullet} = \Pi(H^{\bullet+1}(\mathfrak{n}; \mathfrak{n}))$에 대한 DG 리(super)대수의 구조는 무엇인가?
• RQ3 $\mathfrak{g}_2$의 최대 노름 부분대수 $\mathfrak{n}$에 대해 $\mathfrak{l}_{\bullet}$의 명시적 구조는 무엇이며, 이는 일반적이거나 원형적인 형태를 띄는가?
• RQ4 Hermitian 대칭 공간 $G/P$와 같이 $\mathfrak{n}$이 교환법칙을 만족할 경우 $\mathfrak{l}_{\bullet}$는 어떻게 되며, $\mathfrak{vect}(\dim \Pi(\mathfrak{n}))$와 동형이 되는가?
• RQ5 $\mathfrak{n} = \mathfrak{vect}(M)$일 경우, $\mathfrak{L}_{\bullet}$에 존재하는 호모로지 요소(홀수 요소 $x$ 중 $[x,x] = 0$인 것)는 어떻게 나타나는가?

주요 결과

• 모든 리(super)대수 $\mathfrak{n}$에 대해, 공간 $\mathfrak{L}_{\bullet} = \Pi(C^{\bullet+1}(\mathfrak{n}; \mathfrak{n}))$는 Nijenhuis 괄호를 통해 DG 리(super)대수의 구조를 상속받는다.
• 코homology 기반 대수 $\mathfrak{l}_{\bullet} = \Pi(H^{\bullet+1}(\mathfrak{n}; \mathfrak{n}))$는 DG 리(super)대수이며, 코체인에 대한 Nijenhuis 괄호에 의해 유도된 구조를 가진다.
• 리대수가 교환법칙을 만족할 경우, 예를 들어 허미션트 대칭 공간 $G/P$의 경우, 미분 $d$가 0이 되며, 이에 따라 $\mathfrak{l}_{\bullet} \cong \mathfrak{vect}(\dim \Pi(\mathfrak{n}))$가 되며, 이는 단순 리(super)대수이다.
• $\mathfrak{g}_2$의 경우, $\mathfrak{l}_{\bullet}$는 원형적인 구조를 갖는 것으로 추측되며, 논문에서 이의 전체 형태를 명시적으로 기술한다.
• $\mathfrak{sl}(2)$ 및 $\mathfrak{sl}(3)$의 경우, 논문은 $\mathfrak{l}_{\bullet}$를 명시적으로 계산하여 비자명한 DG 리(super)대수의 구조를 보여준다.
• 논문은 $\mathfrak{L}_{\bullet}$에 존재하는 호모로지 요소(홀수 $x$ 중 $[x,x] = 0$인 것)를 나열하며, 특히 $\mathfrak{n} = \mathfrak{vect}(M)$의 경우 이러한 요소의 명시적 예를 제공한다.