[논문 리뷰] New irreducible tensor product modules for the Virasoro algebra

Xiangqian Guo, Xuewen Liu외 1명|arXiv (Cornell University)|2017. 08. 30.

Algebraic structures and combinatorial models참고 문헌 15인용 수 3

한 줄 요약

이 논문은 기존의 기약 비중량 Virasoro 모듈러스 $\Omega(\lambda,\alpha,h)$ 와 기약 최고중량 모듈러스 $V(\theta,h)$ 또는 모듈러스 $\mathrm{Ind}_\theta(N)$ 의 텐서곱을 통해 새로운 기약 비중량 Virasoro 모듈러스를 구성하며, 기약성과 동형 조건에 필요한 필수 조건을 규명한다. 주요 기여는 이러한 모듈러스가 이전에 알려진 바가 없는 새로운 것으로서, 기존의 어떤 기약 Virasoro 모듈러스와도 동형이 아니라는 것을 증명하는 데 있다.

ABSTRACT

In this paper, we obtain a class of Virasoro modules by taking tensor products of the irreducible Virasoro modules $Ω(λ,α,h)$ defined in \cite{CG}, with irreducible highest weight modules $V(θ,h)$ or with irreducible Virasoro modules Ind$_θ(N)$ defined in \cite{MZ2}. We obtain the necessary and sufficient conditions for such tensor product modules to be irreducible, and determine the necessary and sufficient conditions for two of them to be isomorphic. These modules are not isomorphic to any other known irreducible Virasoro modules.

연구 동기 및 목표

• 기존의 기약 모듈러스들의 텐서곱을 통해 새로운 종류의 기약 비중량 Virasoro 모듈러스를 구성하기.
• 이러한 텐서곱 모듈러스가 기약이 되기 위한 필요 및 충분 조건을 규명하기.
• 두 텐서곱 모듈러스가 동형이 되기 위한 조건을 설정하기.
• 구성된 모듈러스가 이전에 알려진 다른 기약 Virasoro 모듈러스와 동형이 아니라는 것을 증명하여, 그것들이 새로운 것으로서 식별됨.
• 텐서 모듈러스를 Virasoro 대수의 부분대수에서 유도된 모듈러스로 재구성하여 구조적 통찰을 제공하기.

제안 방법

• 모듈러스 $\Omega(\lambda,\alpha,h)$ 를 $\mathbb{C}[t,s]$-모듈러스로 정의하며, $d_m$ 이 $f(t)s^i$ 에 작용하는 방식을 명시한다.
• $\Omega(\lambda,\alpha,h)$ 와 기약 최고중량 모듈러스 $V(\theta,h)$ 또는 $\mathrm{Ind}_\theta(N)$ 을 텐서곱하여, 양측이 Virasoro 대수의 양의 부분대수에서 국소 유한한 성질을 갖는다.
• PBW 정리를 이용해 유도된 모듈러스 $\mathrm{Ind}_{\theta,\lambda}(\mathbb{C}[t]_{\alpha,h,\mathbf{a}})$ 의 기저를 구성하고, 이를 텐서곱 모듈러스의 기저와 비교한다.
• 유도된 모듈러스에서 텐서곱 모듈러스로의 선형 사상 $\phi$ 를 정의하고, 모듈러스 준동형 및 전단사성 조건을 검증함으로써 이는 Virasoro 모듈러스 동형임을 증명한다.
• 기존의 기약성 기준(예: $\deg(h)=1$ 이고 $\alpha \neq 0$ 일 때 $\Omega(\lambda,\alpha,h)$ 가 기약임)과 $V_{\mathbf{a},\theta}$ 의 기약성 조건(예: $a_{2n-1}^2 + a_{2n}^2 \neq 0$ 일 때)을 활용하여 텐서곱의 기약성을 규명한다.
• 기저 원소에 대한 전체 순서를 도입하여 동형사상 $\phi$ 의 단사성을 증명함으로써, 텐서곱 모듈러스가 기약임과 동시에 두 성분이 모두 기약일 때에만 성립함을 보장한다.

실험 결과

연구 질문

• RQ1 텐서곱 $\Omega(\lambda,\alpha,h) \otimes V(\theta,h)$ 가 기약이 되는 조건은 무엇인가?
• RQ2 텐서곱 $\Omega(\lambda,\alpha,h) \otimes \mathrm{Ind}_\theta(N)$ 가 기약이 되는 조건은 무엇인가?
• RQ3 두 텐서곱 모듈러스가 동형이 되기 위한 필요 및 충분 조건은 무엇인가?
• RQ4 이러한 새로운 텐서곱 모듈러스는 이전에 알려진 기약 Virasoro 모듈러스와 동형인가?
• RQ5 텐서곱 모듈러스는 Virasoro 대수의 부분대수에서 유도된 모듈러스로 표현될 수 있는가?

주요 결과

• 텐서곱 $\Omega(\lambda,\alpha,h) \otimes V(\theta,h)$ 는 $\deg(h) = 1$ 이고 $\alpha \neq 0$ 이며, $V(\theta,h)$ 가 기약일 때에만 기약이다.
• 텐서곱 $\Omega(\lambda,\alpha,h) \otimes \mathrm{Ind}_\theta(N)$ 는 $\deg(h) = 1$, $\alpha \neq 0$, 그리고 $a_{2n-1}^2 + a_{2n}^2 \neq 0$ 일 때에만 기약이다.
• 두 기약 텐서곱 모듈러스 $\Omega(\lambda,\alpha,h) \otimes V(\theta,h)$ 가 동형이 되는 것은 그 매개변수 $\lambda, \alpha, h, \theta$ 가 모듈러스 구조에서 유도된 특정 동치 조건을 만족할 때에 한한다.
• 구성된 모듈러스는 다른 알려진 기약 Virasoro 모듈러스와 동형이 아니며, 이는 그들의 신규성과 함께 입증된다.
• 텐서곱 모듈러스 $\Omega(\lambda,\alpha,h) \otimes V(\mathbf{a},\theta)$ 는 유도된 모듈러스 $\mathrm{Ind}_{\theta,\lambda}(\mathbb{C}[t]_{\alpha,h,\mathbf{a}})$ 와 동형이며, 이는 이러한 모듈러스의 새로운 실현 방식을 제공한다.
• 유도된 모듈러스 $\mathrm{Ind}_{\theta,\lambda}(\mathbb{C}[t]_{\alpha,h,\mathbf{a}})$ 와 텐서곱 모듈러스 $\Omega(\lambda,\alpha,h) \otimes V(\mathbf{a},\theta)$ 사이의 동형사상 $\phi$ 는 기저를 보존하는 Virasoro--equivariant 사상이며, 단사성과 전사성을 다항식의 전체 순서를 통해 증명하였다.