[논문 리뷰] Noncanonical Polynomial Representations of Classical Lie Algebras

Cuiling Luo|ArXiv.org|2008. 04. 02.

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

한 줄 요약

이 논문은 표준 표현에서 미분 연산자와 곱셈 연산자 간의 반대칭성을 활용하여 고전적 리 대수—특히 $\mathfrak{sl}(n,\mathbb{C})$, $\mathfrak{so}(n,\mathbb{C})$, 및 $\mathfrak{sp}(n,\mathbb{C})$—의 비표준 다항식 표현을 구축한다. 다항식 공간을 무한차원 기약 부분공간으로 분해하고, 명시적인 기저를 구성함으로써 해밀토니언 대수에 대해 최고 가중치 유형이 아닌 새로운 무한차원 기약 모듈을 제공한다.

ABSTRACT

Using the skew-symmetry of the differential operators and multiplication operators in the canonical representations of finite-dimensional classical Lie algebras, we obtain some noncanonical polynomial representations of the classical Lie algebras. The representation spaces of all polynomials are decomposed into irreducible submodules, which are infinite-dimensional. Bases for the irreducible submodules are constructed. In particular, we obtain some new infinite-dimensional irreducible modules of symplectic Lie algebras that are not of highest weight type.

연구 동기 및 목표

• 고전적 리 대수의 다항식 표현을 표준 형태를 초월하여 무한차원 기약 모듈로 확장하는 것.
• 특히 최고 가중치 유형이 아닌 무한차원 기약 모듈에 대해 명시적인 기저와 표현 공식이 부족한 문제를 해결하는 것.
• 미분 연산자와 곱셈 연산자의 반대칭성을 이용하여 다항식 표현 공간을 기약 부분공간으로 분해하는 것.
• 특히 $\mathfrak{sp}(n,\mathbb{C})$ 및 $\mathfrak{so}(n,\mathbb{C})$에 대해 이러한 기약 부분공간의 명시적 기저를 구성하는 것.
• 최고 가중치 유형이 아닌 새로운 심플렉틱 리 대수에 대한 무한차원 기약 모듈의 예를 제공하는 것.

제안 방법

• 표준 표현에서의 반대칭성 관계 $[\partial_{x_i}, x_j] = \delta_{ij} = [-x_j, \partial_{x_i}]$ 를 활용하여 $\mathfrak{gl}(n,\mathbb{C})$ 의 비표준 표현을 정의한다.
• 색인에 대한 순열 작용을 통해 비표준 표현을 $\mathfrak{sl}(n,\mathbb{C})$, $\mathfrak{so}(n,\mathbb{C})$, 및 $\mathfrak{sp}(n,\mathbb{C})$ 의 부분대수로 제한한다.
• 정수 계수를 가진 가중 다항식 공간 $\mathcal{A}_{\langle r\rangle}$ 와 $\mathcal{B}_{l_1,l_2}$ 를 도입하여 표현 공간을 분해한다.
• $\mathfrak{so}(n,\mathbb{C})$ 경우에서 조화 부분공간을 분석하기 위해 Xu의 플래그 부분미분방정식 이론을 적용한다.
• 미분 연산자와 적분 기법을 사용하여 특수 벡터와 기약 부분공간의 기저를 구성한다.
• $\eta = y_s\partial_{x_s} + v$ 와 $\Delta$ 를 포함한 연산자 항등식을 활용하여 $\mathcal{H}_{l_1,l_2}$ 의 명시적 기저 공식을 유도한다.

실험 결과

연구 질문

• RQ1 고전적 리 대수의 비표준 다항식 표현을 구성할 수 있는가? 이 경우 표현 공식과 기저가 모두 명시적으로 주어져야 한다.
• RQ2 최고 가중치 유형이 아닌 심플렉틱 리 대수에 대해 무한차원 기약 모듈이 존재하는가?
• RQ3 비표준 표현 하에서 $\mathfrak{so}(n,\mathbb{C})$ 와 $\mathfrak{sp}(n,\mathbb{C})$ 에 대해 모든 다항식 공간을 기약 부분공간으로 어떻게 분해할 수 있는가?
• RQ4 비표준 표현 하에서 $\mathfrak{sl}(n,\mathbb{C})$, $\mathfrak{so}(n,\mathbb{C})$, 및 $\mathfrak{sp}(n,\mathbb{C})$ 의 기약 부분공간에 대한 명시적 기저는 무엇인가?
• RQ5 다항식 공간 $\mathcal{B} = \mathbb{C}[x_1,\dots,x_n,y_1,\dots,y_n]$ 내의 조화 부분공간 $\mathcal{H}_{l_1,l_2}$ 의 구조는 명시적 기저 공식을 통해 완전히 기술될 수 있는가?

주요 결과

• $\mathcal{A}_{\langle r\rangle}$ 는 $\mathfrak{sl}(n,\mathbb{C})$ 에 대해 무한차원 기약 최고 가중치 모듈이며, $r$ 의 부호에 따라 최고 가중치 벡터로 $x_m^r$ 또는 $x_{m+1}^{-r}$ 를 갖는다.
• $\mathfrak{so}(n,\mathbb{C})$ 에서 $\mathcal{B}_{l_1,l_2}$ 는 $\mathcal{H}_{l_1,l_2} \oplus \eta \mathcal{B}_{l_1-1,l_2-1}$ 로 분해되며, $\mathcal{H}_{l_1,l_2}$ 는 주어진 기저를 가진 기약 최고 가중치 모듈이다.
• $\mathcal{H}_{l_1,l_2}$ 의 기저는 다항계수와 미분 연산자를 사용하여 명시적으로 구성되며, 조건 $l_1 + l_2 \leq -(n-s-1)$ 또는 $l_1 > -(n-s-1)$ 에서 유효하다.
• $l_1 + l_2 \leq n - s - 1$ 일 때 $\mathcal{H}_{l_1,l_2}$ 의 최고 가중치는 $-l_1\lambda_{s-1} + (l_1 - 1)\lambda_s + l_2\lambda_{n-1}$ 이며, 최고 가중치 벡터는 $x_s^{-l_1}y_n^{l_2}$ 이다.
• $\mathfrak{sp}(n,\mathbb{C})$ 에서 논문은 최고 가중치 유형이 아닌 새로운 무한차원 기약 모듈을 구성하여 기존 분류를 초월한다.
• $\mathcal{H}_{l_1,l_2}$ 의 기저 공식은 다중지표에 대한 합으로 표현되며, 조합 계수와 제약 조건 $\alpha_n\beta_n = 0$, $\sum_{j=s+1}^n \alpha_j - \sum_{i=1}^s \alpha_i = l_1$, 및 $\sum_{i=1}^n \beta_i = l_2$ 를 포함한다.