[논문 리뷰] Irreducible Virasoro modules from irreducible Weyl modules

Rencai Lü, Kaiming Zhao|arXiv (Cornell University)|2012. 09. 17.

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

한 줄 요약

이 논문은 미분 연산자 대수 $\mathbb{C}[t,t^{-1},\frac{d}{dt}]$ 위의 기약 웰 모듈에 대한 전치 기법을 사용하여 새로운 종류의 비중량 비기약 바라소 모듈을 구성한다. 주요 기여는 이러한 모듈에 대한 기약성과 동형 조건의 완전한 분류이며, 특히 $\mathbb{C}[x]$ 위에 정의된 새로운 가족 $\Omega(\lambda,b)$를 도입하여 이들이 이전에 알려진 모든 기약 바라소 모듈과 동형이 아님을 보여준다.

ABSTRACT

We use Block's results to classify irreducible modules over the differential operator algebra $\mathbb{C}[t,t^{-1}, \frac d{dt}]$. From this classification and using "the twisting technique" we construct a lot of new irreducible modules over the Virasoro algebra. These new irreducible Virasoro modules are generally not weight modules. We determine the necessary and sufficient conditions for two such irreducible Virasoro modules to be isomorphic. Many examples for such irreducible Virasoro modules with different features are provided at the end of the paper. In particular the class of irreducible Virasoro modules $Ω(λ, b)$ are defined on the polynomial algebra $\mathbb{C}[x]$.

연구 동기 및 목표

• 블록의 결과를 활용하여 $\mathbb{C}[t,t^{-1},\frac{d}{dt}]$ 위의 기약 모듈을 분류한다.
• 기약 웰 모듈에 전치 기법을 적용하여 새로운 기약 비중량 바라소 모듈의 가족을 구성한다.
• 이러한 전치 모듈이 기약이 되기 위한 필요 및 충분 조건을 규명한다.
• 구성된 기약 바라소 모듈 간의 동형 조건을 수립한다.
• 새로운 모듈 $A_b$가 기존의 알려진 기약 바라소 모듈(예: 유도 모듈 및 윌리엄슨 타입의 구성 포함)과 동형이 아니라는 것을 보여준다.

제안 방법

• 블록의 $\mathbb{C}[t,t^{-1},\frac{d}{dt}]$ 위의 기약 모듈 분류를 활용하여, $\mathbb{C}[t,t^{-1}]$-탄성 없고 $\mathbb{C}[\partial]$-탄성 없는 기약 모듈 $A$를 식별한다.
• 파arameter $b \in \mathbb{C}$를 사용한 전치 기법을 적용하여, 이러한 $A$에서 바라소 모듈 $A_b$를 구성하며, 라우렌트 다항식 위의 미분 연산자로 $d_k$의 작용을 정의한다.
• 다항식 $t^r \partial^s$ 위에서 바라소 생성자 $d_k$의 작용을 다음 공식으로 정의한다: $d_k \cdot (t^r \partial^s) = (rt^{k+r} + bkt^{k+r+1})\partial^s + t^{k+r+1}\partial^{s+1}$, $s = n-1$인 특수 케이스를 포함한다.
• 모듈 $A$와 $b \neq 1$ 조건 하에서 $d_k$의 작용을 분석함으로써, $A_b$의 기약성을 입증하며, 그로 인해 적절한 조건 하에 진정으로 비자명한 부분모듈이 존재하지 않음을 보인다.
• 두 전치 모듈 $A_b$와 $A'_b$가 동형이 되기 위한 조건은 그 기초가 되는 $\mathcal{K}$-모듈이 동형이면서 $b$ 값도 동일해야 한다는 것을 증명한다.
• 탄성 없음 조건과 미분 연산자 간의 관계를 바탕으로 모순 추론을 사용하여, 기존의 모듈들인 $\mathrm{Ind}_\theta(N)$ 및 $\mathrm{Ind}_{\theta,z}(\mathbb{C}_{\mathbf{m}})$와의 동형이 불가능함을 보여준다.

실험 결과

연구 질문

• RQ1 모수 $b \in \mathbb{C}$에 대해 전치된 바라소 모듈 $A_b$가 기약이 되는 조건은 무엇인가?
• RQ2 두 전치 모듈 $A_b$와 $A'_b$가 바라소 모듈로서 동형이 되는 조건은 무엇인가?
• RQ3 새로운 모듈 $\Omega(\lambda,b)$는 기존에 알려진 기약 바라소 모듈과 동형이 되는가?
• RQ4 전치 모듈 $A_b$는 유도 모듈 $\mathrm{Ind}_\theta(N)$ 또는 $\mathrm{Ind}_{\theta,z}(\mathbb{C}_{\mathbf{m}})$와 동형이 될 수 있는가?
• RQ5 기존의 비중량 기약 바라소 모듈과 구별되는 새로운 $A_b$ 모듈의 구조적 성질은 무엇인가?

주요 결과

• 전치 모듈 $A_b$는 기초가 되는 $\mathcal{K}$-모듈 $A$가 기약이면서 $b \neq 1$일 때에만 기약이 되며, 이는 라우렌트 다항식 위의 미분 연산자로 정의된 작용을 따른다.
• 두 기약 모듈 $A_b$와 $A'_b$가 동형이 되기 위한 필요 및 충분 조건은 그 기초가 되는 $\mathcal{K}$-모듈이 동형이면서 $b$ 값도 동일해야 한다.
• 기약 바라소 모듈의 가족 $\Omega(\lambda,b)$는 $\lambda \in \mathbb{C}^*$ 및 $b \in \mathbb{C}$에 대해 $\mathbb{C}[x]$ 위에 정의되며, 전치 구성에서 유도된 명시적 작용을 가진다.
• $A_b$는 기약 $N \in \mathfrak{V}_+\text{-mod}$에 대해 $\mathrm{Ind}_\theta(N)$과 동형이 아니며, 이는 큰 $k$에 대해 $d_k$의 영성 조건이 다름을 이유로 한다.
• $A_b$는 [MW]에서 제시한 $\mathrm{Ind}_{\theta,z}(\mathbb{C}_{\mathbf{m}})$와 동형이 아니며, 후자는 $d_2, d_3, d_4$에 대해 특정 선형 관계를 만족하지만, 이 관계를 $A_b$가 만족시키면 탄성 없음 조건과 모순이 발생하기 때문이다.
• 새로운 모듈 $A_b$는 기존의 모든 알려진 기약 바라소 모듈(예: 윌리엄슨 타입 및 유도 모듈 포함)과 다름을 보이며, 이는 구조적 성질과 탄성 없음 조건을 바탕으로 증명된다.