[논문 리뷰] The derivations, central extensions and automorphism group of the Lie algebra $W$

Shoulan Gao, Cuipo Jiang외 1명|ArXiv.org|2008. 01. 25.

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

한 줄 요약

이 논문은 무한차원 리 대수 $W$의 유도, 중심 확장, 및 자동환군을 조사한다. 여기서 $W$는 윌트 대수와 그의 수반 모듈의 반직접곱으로 정의된다. 코homological 기법과 호흐실트-서어 스펙트럴 시퀀스를 사용하여, 저자들은 $H^2(W, \mathbb{C})$ 가 2차원임을 밝혀내며, 외부 유도가 하나인 전체 유도 대수를 유도하고, $\mathrm{Aut}(W)$ 를 $\mathbb{C}^\infty \rtimes (\mathbb{Z}_2 \ltimes (\mathbb{C}^* \times \mathbb{C}^*))$ 로 완전히 특성화한다. 이와 동일한 자동환군은 그의 보편 중심 확장 $\widetilde{W}$ 에 대해서도 성립한다.

ABSTRACT

In this paper, we study the derivations, central extensions and the automorphisms of the infinite-dimensional Lie algebra W which appeared in [8] and Dong-Zhang's recent work [22] on the classification of some simple vertex operator algebras.

연구 동기 및 목표

• Lie 대수 $W$ 의 두 번째 코homology 군 $H^2(W, \mathbb{C})$ 를 결정함으로써, 중심 확장의 분류를 수행한다.
• 전체 유도 대수 $W$ 와 $\widetilde{W}$ 를 계산하고, 외부 유도의 수를 특정한다.
• 자동환군 $\mathrm{Aut}(W)$ 를 완전히 특성화하고, $\mathrm{Aut}(\widetilde{W})$ 와 동형임을 보인다.
• 보편 커버링 대수 $\widetilde{W}$ 에서 $\mathrm{W}(2,2)$ 라고 불리는 정점 연산자 대수 이론에서 연구된 대수로의 자연스러운 전상형 동형사상이 존재함을 확립한다.

제안 방법

• 반직접곱의 구조 $W \cong \mathcal{L} \ltimes \mathcal{I}$ 를 이용하여 호흐실트-서어 스펙트럴 시퀀스를 사용해 $H^2(W, \mathbb{C})$ 를 계산한다.
• 모듈 확장이 있는 리 대수의 유도에 관한 R. Farnsteiner 의 정리를 적용한다.
• 매개변수 $\epsilon = \pm 1$, $\lambda \in \mathbb{C}$, $a \in \mathbb{C}^*$, $\mu \in \mathbb{C}^*$ 를 통해 $W$ 의 자동환수를 구성하고, 이를 반직접곱 분해로 이끌어낸다.
• $\mathfrak{Z}\mathfrak{t} \subset \mathrm{Aut}(W)$ 를 $\mathbb{C}^\infty$ 와 동형임을 $\mathrm{ad}(I_k)$-유도에 대한 지수 함수를 통해 식별한다.
• $W$ 가 중심이 없음을 이용하여, [18] 의 보조정리 6 에 따라 $\mathrm{Aut}(\widetilde{W}) \cong \mathrm{Aut}(W)$ 를 유도한다.
• 자기동형사상의 조합과 코너지션을 직접 계산하여 군 관계와 반직접곱의 구조를 검증한다.

실험 결과

연구 질문

• RQ1 Lie 대수 $W$ 에 대해 두 번째 코homology 군 $H^2(W, \mathbb{C})$ 의 차원은 얼마인가요?
• RQ2 유도 대수 $W$ 는 외부 유도를 몇 개나 가지며, 그 전체적인 구조는 어떻게 되나요?
• RQ3 완전한 자동환군 $\mathrm{Aut}(W)$ 는 무엇이며, 그 보편 중심 확장 $\widetilde{W}$ 의 자동환군과의 관계는 어떻게 되나요?
• RQ4 $\widetilde{W}$ 에서 $W(2,2)$ 로의 자연스러운 동형사상이 존재하는가? 그 이미지는 무엇인가요?

주요 결과

• $H^2(W, \mathbb{C})$ 는 2차원이며, 이는 $W$ 가 서로 동치가 아닌 두 매개변수의 중심 확장을 가짐을 나타낸다.
• 유도 대수 $W$ 는 정확히 하나의 외부 유도를 가지며, 이는 호흐실트-서어 스펙트럴 시퀀스와 파른스타이너의 정리를 통해 결정된다. 이와 동일한 결과는 $\widetilde{W}$ 에 대해서도 성립한다.
• $\mathrm{Aut}(W)$ 는 $\mathbb{C}^\infty \rtimes (\mathbb{Z}_2 \ltimes (\mathbb{C}^* \times \mathbb{C}^*))$ 와 동형이며, $\mathbb{C}^\infty$ 는 $\mathfrak{Z}\mathfrak{t}$ 부분군에 대응한다.
• 보편 중심 확장 $\widetilde{W}$ 의 자동환군은 $W$ 가 중심이 없기 때문에 $\mathrm{Aut}(W)$ 와 동형이다.
• 자동환군은 세 개의 부분군에 의해 생성되며, 각각 $\mathfrak{a} \cong \mathbb{Z}_2$ (부호 반전), $\mathfrak{t} \cong \mathbb{C}$ (이동), $\mathfrak{b} \cong \mathbb{C}^* \times \mathbb{C}^*$ (스케일링 및 휘감김) 와 동형이다.
• 보편 중심 확장 $\widetilde{W}$ 에서 $W(2,2)$ 로의 자연스러운 전상형 동형사상이 존재하며, 이는 $W$ 의 구조와 정점 연산자 대수 이론의 분류를 연결한다.