[논문 리뷰] A family of simple weight modules over the Virasoro algebra

Rencai Lü, Kaiming Zhao|arXiv (Cornell University)|2013. 03. 04.

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

한 줄 요약

이 논문은 유한성 조건을 만족하는 $\mathfrak{W}$-모듈 $W$ 에서 유도 대칭대수 $\chi[t]\frac{d}{dt}$ 의 단순 모듈에서 유도하여, 이전의 구성들을 일반화하는 바이러스코 보조대수 위에서 새로운 단순 가중치 모듈의 가족을 구성한다. 단순성과 동형 조건을 필요로 하고 충분한 조건을 제공하며, 이 모듈들이 기존의 최고 가중치 및 중간 시리즈 모듈의 텐서곱의 부분모듈들과 동형이 아니라는 것을 증명한다.

ABSTRACT

Using simple modules over the derivation Lie algebra $C[t]\frac{d}{d t}$ of the associative polynomial algebra $C[t]$, we construct new weight Virasoro modules with all weight spaces infinite dimensional. We determine necessary and sufficient conditions for these new weight Virasoro modules to be simple, and determine necessary and sufficient conditions for two such weight Virasoro modules to be isomorphic. If such a weight Virasoro module is not simple, we obtain all its submodules. In particular, we completely determine the simplicity and the isomorphism classes of the weight modules defined in [C. Conley, C. Martin; A family of irreducible representations of the Witt Lie algebra with infinite-dimensional weight spaces. Compos. Math., 128(2), 153-175(2001)] which are a small portion of the modules constructed in this paper.

연구 동기 및 목표

• 모든 가중치 공간이 무한차원인 바이러스코 대수 위에서 새로운 단순 가중치 모듈의 가족을 구성하는 것.
• 이전의 구성들, 특히 [CM]과 [LLZ]의 것들을 특수한 경우로 포함하는 일반화 및 통합을 이루는 것.
• 이러한 모듈이 단순이 되기 위한 필요 및 충분 조건과, 두 모듈이 동형이 되기 위한 조건을 규명하는 것.
• 구성된 모듈들이 최고 가중치 및 중간 시리즈 모듈의 텐서곱의 어떤 단순 부분모듈과도 동형이 아니라는 것을 증명하는 것.
• 모듈이 단순이 아닐 경우의 모든 부분모듈을 분류하여 완전한 구조적 기술을 제공하는 것.

제안 방법

• 모듈 $W$ 가 $\mathcal{O}_{\mathfrak{W}}$ 에 속하는 단순 모듈일 때, 바이러스코 모듈 $\mathcal{L}(W,\lambda,a,b) = W \otimes \mathbb{C}[t,t^{-1}]$ 을 구성한다. 여기서 $\mathcal{O}_{\mathfrak{W}}$ 는 유한성 조건을 만족하는 $\mathfrak{W}$-모듈의 범주이다.
• 와이트 대수 $\mathfrak{W} = \operatorname{Der}(\mathbb{C}[t])$ 와 그 부분대수 $\mathfrak{b} = \operatorname{span}\{d_i \mid i \geq 0\}$, $\mathfrak{V}^{(r)}$ 의 구조를 이용하여, 유도를 통해 모듈을 정의한다.
• 강력한 기술적 도구로, 가중치 공간 간의 호모모르피즘 $\varphi_n$ 을 정의하여 모듈의 구조와 동형 유형을 분석한다.
• 기존의 모듈들과의 구별을 위해 연산자 $X_{l,m} = d_{l-m-3}d_{m+3} - 3d_{l-m-2}d_{m+2} + 3d_{l-m-1}d_{m+1} - d_{l-m}d_m$ 를 활용한다.
• 가중치 벡터에 대한 $X_{l,m}$ 의 작용을 분석하여, 특정한 $\lambda \neq 1$ 에서의 비영행동을 보여주며, 이는 텐서곱 모듈과의 비동형성을 증명한다.
• 모듈 $\mathfrak{b}$-모듈에서의 소클(socle)과 벡터의 순서를 이용하여 $\mathcal{O}_{\mathfrak{b}}$ 와 $\mathcal{O}_{\mathfrak{W}}$ 에서의 단순 모듈을 분류한다.

실험 결과

연구 질문

• RQ1 구성된 가중치 모듈 $\mathcal{L}(W,\lambda,a,b)$ 가 단순이 되기 위한 필요 및 충분 조건은 무엇인가?
• RQ2 두 모듈 $\mathcal{L}(W,\lambda,a,b)$ 와 $\mathcal{L}(W',\lambda',a',b')$ 가 동형이 되는 조건은 무엇인가?
• RQ3 비단순 모듈 $\mathcal{L}(W,\lambda,a,b)$ 의 부분모듈은 어떻게 생겼으며, 이를 완전히 분류할 수 있는가?
• RQ4 구성된 모듈들은 새로운가, 즉 최고 가중치 및 중간 시리즈 모듈의 텐서곱의 어떤 단순 부분모듈과도 동형이 아니인가?
• RQ5 [CM]과 [LLZ]의 모듈들은 일반적인 가족 $\mathcal{L}(W,\lambda,a,b)$ 와 어떻게 관련되어 있는가?

주요 결과

• 모듈 $\mathcal{L}(W,\lambda,a,b)$ 는 $\lambda \neq 1$ 이고, $a$, $b$ 와 $W$ 의 $\mathfrak{b}$-모듈 구조에 대한 특정 조건을 만족할 때에만 단순이다.
• 두 단순 모듈 $\mathcal{L}(W,\lambda,a,b)$ 와 $\mathcal{L}(W',\lambda',a',b')$ 가 동형이 되는 것은 $\lambda = \lambda'$, $a = a'$, $b = b'$, 그리고 $W \cong W'$ 가 $\mathfrak{W}$-모듈로서 동형일 때에만 가능하다.
• $\lambda = 1$ 일 때, 모듈 $\mathcal{L}(W,1,a,b)$ 는 단순하지 않으며, 모든 부분모듈은 $W$ 의 구조와 $\mathfrak{b}$ 의 작용을 통해 완전히 결정된다.
• 모듈 $\mathcal{L}(W,\lambda,a,b)$ 는 $W$ 가 특정한 최고 가중치 $\mathfrak{W}$-모듈일 경우, [CM]의 모든 모듈을 특수한 경우로 포함한다.
• 비제로 작용하는 연산자 $X_{l,m}$ 이 가중치 벡터에 작용함을 보여, 구성된 모듈이 $V(\dot{c},h) \otimes A'_{a_1,b_1}$ 의 어떤 단순 부분모듈과도 동형이 아니라는 것을 증명한다.
• $\lambda \neq 1$ 일 때, 연산자 $X_{l,m}$ 이 $\mathcal{L}(W,\lambda,a,b)$ 의 가중치 벡터에 비자명하게 작용하는 반면, 텐서곱 모듈의 벡터에서는 영이 되므로, 이는 비동형성을 증명한다.