[논문 리뷰] Multiparameter Weyl Algebras

Georgia Benkart|arXiv (Cornell University)|2013. 06. 03.

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

한 줄 요약

이 논문은 $2n$개의 생성자를 갖는 다중매개변수 Weyl 대수 $\mathsf{A}_{\underline{r},\underline{s}}(n)$를 도입하여 고전적 Weyl 대수를 일반화한다. 다중매개변수 교환관계를 사용하며, 단순 무게 모듈러스와 윌리엄스 모듈러스를 모두 라우렌트 다항식 공간으로 분류한다. 파arameter들이 비퇴화 조건을 만족할 경우 모든 윌리엄스 모듈러스가 단순하고 유니버설 구성과 동형임을 보인다.

ABSTRACT

We introduce a family of unital associative algebras A which are multiparameter analogues of the Weyl algebras and determine the simple weight modules and the Whittaker modules for them. All these modules can be regarded as spaces of (Laurent) polynomials with certain A-actions on them. This paper was written in February 2008 and some copies of it were distributed, but it has never been posted or published. We thank Bryan Bischof and Jason Gaddis for their interest in the work and for encouraging us to make the paper more widely available. The references in this posted version have been updated, and some cosmetic changes made; in particular, some typos have been corrected. The investigations have been generalized by V. Futorny and J. Hartwig to the context of multiparameter twisted Weyl algebras (see Journal of Algebra 357 (2012), 69-93).

연구 동기 및 목표

• 다중매개변수 교환관계를 사용하여 고전적 Weyl 대수를 일반화하는 단위 결합 대수 $\mathsf{A}_{\underline{r},\underline{s}}(n)$를 도입하고 연구하는 것.
• 체 $\mathbb{K}$가 대수적으로 닫혀 있고 $r_i^p = s_i^q$ 의 유일한 해가 $(p,q)=(0,0)$ 인 조건에서 $\mathsf{A}_{\underline{r},\underline{s}}(n)$ 의 단순 무게 모듈러스의 구조를 규명하는 것.
• 비퇴화 조건을 만족할 경우 $\mathsf{A}_{\underline{r},\underline{s}}(n)$ 의 윌리엄스 모듈러스를 분류하고, 이들이 모두 단순하고 동일한 조건 하에서 유니버설 윌리엄스 모듈러스와 동형임을 보이는 것.
• $\mathsf{A}_{\underline{r},\underline{s}}(n)$ 와 일반화된 Weyl 대수 간의 연결 고리를 설정하여 기초 대수에서의 아이디얼 이론을 통해 모듈러스 이론적 분류를 가능하게 하는 것.

제안 방법

• $\mathsf{A}_{\underline{r},\underline{s}}(n)$ 는 체 $\mathbb{K}$ 위에서 생성자 $\rho_i, \rho_i^{-1}, \sigma_i, \sigma_i^{-1}, x_i, y_i$ 를 갖는다. 이들은 매개변수 $r_i, s_i$ 를 포함한 특정한 교환관계와 Weyl 유형의 관계를 만족한다.
• Verma 모듈러스는 $\mathsf{A}_{\underline{r},\underline{s}}(n)$ 에 대해 구성되며, 다항식 대수 $\mathbb{K}[x_1,\dots,x_n]$ 이 이 대수 작용 하에서 Verma 모듈러스임을 보인다.
• 단순 무게 모듈러스의 분류에는 $\mathsf{A}_{\underline{r},\underline{s}}(n)$ 이 일반화된 Weyl 대수 $\mathsf{D}(\underline{\phi}, \underline{t})$ 로 표현될 수 있음을 이용한다. 여기서 $\mathsf{D}$ 는 $\rho_i, \sigma_i$ 가 생성하는 부분대수이며, 비퇴화 조건은 비자명한 $\phi$-불변 아이디얼이 존재하지 않음을 보장한다.
• 윌리엄스 모듈러스는 일반화된 Weyl 대수의 프레임워크를 이용해 분석된다: 유니버설 윌리엄스 모듈러스 $\mathfrak{W}(\xi)$ 는 $\mathsf{A} \otimes_{\mathbb{K}[X]} \mathbb{K}w_\xi$ 로 정의되며, $X_i w_\xi = \xi_i w_\xi$ 를 만족한다. 이 작용은 $\rho_i^{k_i}\sigma_j^{\ell_j}$ 의 단항식 기저 위에서 명시적으로 계산된다.
• $\mathsf{A}_{\underline{r},\underline{s}}(n)$ 의 기저 벡터 $w(\underline{k}, \underline{\ell})$ 에 대한 $x_i$ 와 $y_i$ 의 작용은 $r_i, s_i$ 와 매개변수 $\xi_i$ 를 포함한 명시적 공식으로 주어지며, 이는 모듈러스 구조가 이러한 관계에 의해 완전히 결정됨을 보여준다.
• 핵심 기술적 도구는 윌리엄스 쌍의 동형류와 $\mathsf{D}$ 내의 $\phi$-불변 아이디얼 간의 전단사 사상이다. 비퇴화 조건 하에서는 이로 인해 모든 윌리엄스 모듈러스가 단순함을 유도한다.

실험 결과

연구 질문

• RQ1 비퇴화 조건 $r_i^p = s_i^q \Rightarrow (p,q)=(0,0)$ 하에서 다중매개변수 Weyl 대수 $\mathsf{A}_{\underline{r},\underline{s}}(n)$ 의 단순 무게 모듈러스의 구조는 어떠한가?
• RQ2 비슷한 조건 하에서 $\mathsf{A}_{\underline{r},\underline{s}}(n)$ 의 윌리엄스 모듈러스는 어떻게 분류될 수 있으며, 그 단순성 상태는 어떠한가?
• RQ3 $\mathsf{A}_{\underline{r},\underline{s}}(n)$ 는 어떻게 고전적 Weyl 대수와 하야시의 $q$-해석적 일반화를 일반화하는가? 그리고 일반화된 Weyl 대수와의 관계는 어떠한가?
• RQ4 다항식 대수 $\mathbb{K}[x_1,\dots,x_n]$ 은 자연스럽게 $\mathsf{A}_{\underline{r},\underline{s}}(n)$ 의 Verma 모듈러스로 실현될 수 있는가? 이는 모듈러스 범주에 어떤 의미를 갖는가?
• RQ5 $\rho_i, \sigma_i$ 의 자동형사상은 어떻게 무게 공간 분해와 모듈러스 작용을 정의하는 데 기여하는가?

주요 결과

• $\mathsf{A}_{\underline{r},\underline{s}}(n)$ 는 $\mathsf{D} = \bigotimes_{i=1}^n \mathbb{K}[\rho_i^{\pm 1}, \sigma_i^{\pm 1}]$ 이며, 주어진 관계 하에서 일반화된 Weyl 대수 $\mathsf{D}(\underline{\phi}, \underline{t})$ 와 동형임을 보인다.
• 비퇴화 조건 하에서 $\mathsf{A}_{\underline{r},\underline{s}}(n)$ 의 모든 단순 무게 모듈러스는 분류되고, 특정한 $\mathsf{A}_{\underline{r},\underline{s}}(n)$-작용을 갖는 라우렌트 다항식 공간으로 실현된다.
• $\mathbb{K}[x_1,\dots,x_n]$ 은 $\mathsf{A}_{\underline{r},\underline{s}}(n)$ 의 Verma 모듈러스이며, 상수 다항식에 대응하는 최고 무게 벡터를 갖는다.
• $\mathsf{A}_{\underline{r},\underline{s}}(n)$ 의 유형 $\xi$ 의 모든 윌리엄스 모듈러스는 단순하고 유니버설 윌리엄스 모듈러스 $\mathfrak{W}(\xi) = \mathsf{A} \otimes_{\mathbb{K}[X]} \mathbb{K}w_\xi$ 와 동형이다. 기저는 $w(\underline{k}, \underline{\ell}) = \prod \rho_i^{k_i} \prod \sigma_j^{\ell_j} \otimes w_\xi$ 로 주어진다.
• $x_i$ 의 작용은 스칼라 곱 $\xi_i \prod_j r_j^{-k_j} s_j^{-\ell_j}$ 에 의한 곱셈이다. $y_i$ 의 작용은 $r_i^2, s_i^2$ 에 따라 달라지는 $\rho_i$ 와 $\sigma_i$ 지수의 이동 조합이다.
• 모든 윌리엄스 모듈러스의 단순성은 기초 대수 $\mathsf{D}$ 가 비퇴화 조건 하에서 비자명한 $\phi$-불변 아이디얼을 갖지 않기 때문에 유도된다. 이는 유니버설 윌리엄스 모듈러스가 단순하고, 모든 윌리엄스 모듈러스가 그 몫임을 의미한다.