[논문 리뷰] Simple Witt modules that are finitely generated over the cartan subalgebra

Xiangqian Guo, Genqiang Liu외 2명|arXiv (Cornell University)|2017. 05. 09.

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

한 줄 요약

이 논문은 간단한 위트 대수의 모듈러스를 카르탕 부분대수 위에서 유한 생성인 경우에 대해 분류하며, 이는 단순 $\pi$-모듈러스와 유한 차원 단순 $\rho\mathfrak{gl}_d$-모듈러스의 텐서곱의 몫으로 유도됨을 보여준다. 주요 기여는 일반화된 $\mathcal{F}(P,V)$의 구축을 통해 이러한 모듈러스를 완전히 특성화한 것으로, 이는 이전의 $F^\alpha_b(V)$ 모듈러스 결과를 확장하고, 단순 $\mathcal{K}_d$-모듈러스와 카르탕 부분대수 위에서 적합한 $\widetilde{W}_d$-모듈러스의 구조를 완전히 기술한다.

ABSTRACT

Let $d\ge1$ be an integer, $W_d$ and $\mathcal{K}_d$ be the Witt algebra and the weyl algebra over the Laurent polynomial algebra $A_d=\mathbb{C} [x_1^{\pm1}, x_2^{\pm1}, ..., x_d^{\pm1}]$, respectively. For any $\mathfrak{gl}_d$-module $M$ and any admissible module $P$ over the extended Witt algebra $\widetilde W_d$, we define a $W_d$-module structure on the tensor product $P\otimes M$. We prove in this paper that any simple $W_d$-module that is finitely generated over the cartan subalgebra is a quotient module of the $W_d$-module $P \otimes M$ for a finite dimensional simple $\mathfrak{gl}_d$-module $M$ and a simple $\mathcal{K}_d$-module $P$ that are finitely generated over the cartan subalgebra. We also characterize all simple $\mathcal{K}_d$-modules and all simple admissible $\widetilde W_d$-modules that are finitely generated over the cartan subalgebra.

연구 동기 및 목표

• 카르탕 부분대수 $\mathfrak{h}$ 위에서 유한 생성인 단순 $W_d$-모듈러스를 분류하는 것. 이는 고계 리 대수의 표현 이론에서 핵심 문제이다.
• 단순 $\widetilde{W}_d$-모듈러스와 $\mathfrak{gl}_d$-모듈러스의 텐서곱을 이용해 $F^\alpha_b(V)$ 모듈러스의 구축을 더 넓은 범위의 $W_d$-모듈러스로 확장하는 것.
• 카르탕 부분대수 위에서 유한 생성인 모든 단순 $\mathcal{K}_d$-모듈러스와 단순 적합한 $\widetilde{W}_d$-모듈러스를 완전히 특성화하여, 이 범주에서의 구조 분류를 완성하는 것.
• 카르탕 부분대수 위에서 유한 생성인 이러한 단순 $W_d$-모듈러스가 $U(\mathfrak{h})$- torsion-free 이며, 적절한 $P$와 $V$에 대해 $\mathcal{F}(P,V)$의 몫으로 유도됨을 증명하여, $W_d$에 대한 웨이트 모듈러스 프로그램에서 핵심적인 구조적 질문을 해결하는 것.

제안 방법

• 모든 $\mathfrak{gl}_d$-모듈러스 $M$과 적합한 $\widetilde{W}_d$-모듈러스 $P$에 대해 $P \otimes M$에 $W_d$-모듈러스의 구조를 정의하여, $F^\alpha_b(V)$ 구축을 일반화한다.
• Weyl 대수 $\mathcal{K}_d$로의 자연스러운 대수 준동형사상 $U(\widetilde{W}_d) \to \mathcal{K}_d$를 사용하여 $\mathcal{K}_d$-모듈러스를 $\widetilde{W}_d$-모듈러스로 간주한다.
• $\mathcal{F}(P,V) = P \otimes M$로 $W_d$-모듈러스를 구성하며, 이때 $M$은 유한 차원 단순 $\mathfrak{gl}_d$-모듈러스이다.
• 카르탕 부분대수 위에서 유한 생성인 단순 $\mathcal{K}_d$-모듈러스를 $S_{f_1,\dots,f_d} = \mathcal{K}_d / \sum \mathcal{K}_d f_i$의 몫으로 특성화하며, 여기서 $f_i$는 $U(\mathfrak{h})$의 계수를 가진 $x_i$에 대한 로랑 다항식이다.
• 카르탕 부분대수 위에서 유한 생성인 임의의 단순 $W_d$-모듈러스가 단순 $\mathcal{K}_d$-모듈러스 $P$와 유한 차원 단순 $\mathfrak{gl}_d$-모듈러스 $V$에 대해 $\mathcal{F}(P,V)$의 몫임을 증명한다. 이때 $V$는 $V(\delta_k,k)$와 동형이 아니어야 한다.
• 필터링 $0 \subseteq \mathfrak{L}_d(P,k) \subseteq \widetilde{\mathfrak{L}}_d(P,k) \subseteq \mathcal{F}(P,V(\delta_k,k))$과 호모모르피즘 $\pi_{k-1}$을 사용하여 기약성과 구조를 분석한다.

실험 결과

연구 질문

• RQ1 카르탕 부분대수 $\mathfrak{h}$ 위에서 유한 생성인 단순 $W_d$-모듈러스 중에서, 유한 차원 단순 $\mathfrak{gl}_d$-모듈러스 $V$와 단순 $\mathcal{K}_d$-모듈러스 $P$에 대해 $\mathcal{F}(P,V)$의 몫으로 표현될 수 있는 것은 무엇인가?
• RQ2 카르탕 부분대수 위에서 유한 생성인 단순 $\mathcal{K}_d$-모듈러스의 완전한 분류는 무엇인가?
• RQ3 $\mathfrak{L}_d(P,k)$와 $\widetilde{\mathfrak{L}}_d(P,k)$ 모듈러스는 $\mathcal{F}(P,V)$의 기약성과 어떻게 관련이 있는가?
• RQ4 $V$가 유한 차원 단순 $\mathfrak{gl}_d$-모듈러스일 때, $\mathcal{F}(P,V)$가 기약이 되는 조건은 무엇인가?
• RQ5 카르탕 부분대수 위에서 유한 생성인 모든 단순 $W_d$-모듈러스가 $P$가 $\mathcal{K}_d$-모듈러스이고 $V$가 $V(\delta_k,k)$와 동형이 아닐 경우 $\mathcal{F}(P,V)$의 몫으로 표현될 수 있는가?

주요 결과

• 카르탕 부분대수 $\mathfrak{h}$ 위에서 유한 생성인 임의의 단순 $W_d$-모듈러스는 유한 차원 단순 $\mathfrak{gl}_d$-모듈러스 $V$와 카르탕 부분대수 위에서 유한 생성인 단순 $\mathcal{K}_d$-모듈러스 $P$에 대해 $\mathcal{F}(P,V)$의 몫과 동형이다.
• 카르탕 부분대수 위에서 유한 차원 자유 $U(\mathfrak{h})$-모듈러스인 단순 $W_d$-모듈러스는 $P$가 카르탕 부분대수 위에서 유한 차원 자유 $U(\mathfrak{h})$-모듈러스이고 $V$가 어떤 $k=1,\dots,d$에 대해 $V(\delta_k,k)$와 동형이 아닐 경우 $\mathcal{F}(P,V)$와 동형이다.
• 카르탕 부분대수 위에서 유한 생성인 모든 단순 $\mathcal{K}_d$-모듈러스는 $S_{f_1,\dots,f_d} = \mathcal{K}_d / \sum \mathcal{K}_d f_i$의 몫으로 표현되며, 여기서 각 $f_i$는 $x_i$에 대한 로랑 다항식이며 계수는 $U(\mathfrak{h})$에 속한다.
• $\mathcal{K}_d$-모듈러스 $S_{f_1,\dots,f_d}$는 유한한 구성성 길이를 가지며, 임의의 몫은 유한 생성인 $U(\mathfrak{h})$-모듈러스이다.
• $\mathfrak{L}_d(P,k)$는 $k=1,\dots,d$일 때 단순 $W_d$-모듈러스이며, $\mathcal{F}(P,V(\delta_{k-1},k-1))$와 $\mathcal{F}(P,V(\delta_k,k))$ 사이의 호모모르피즘 $\pi_{k-1}$의 핵으로 유도된다.
• 카르탕 부분대수 위에서 유한 차원 자유 $U(\mathfrak{h})$-모듈러스인 모든 단순 $W_d$-모듈러스는 $P$가 카르탕 부분대수 위에서 유한 차원 자유 $U(\mathfrak{h})$-모듈러스이고 $V$가 $V(\delta_k,k)$와 동형이 아닐 경우 $\mathcal{F}(P,V)$의 몫으로 유도되며, 이는 이러한 모듈러스의 완전한 구축을 제공한다.