[논문 리뷰] Projective Oscillator Representations of sl(n+1) and sp(2m+2)

Xiaoping Xu|arXiv (Cornell University)|2014. 03. 28.

Coding theory and cryptography참고 문헌 3인용 수 3

한 줄 요약

이 논문은 미분 연산자와 곱셈 연산자 간의 부분적 교환을 통해 프로젝티브 오실레이터 표현을 일반화하여, $\mathfrak{sl}(n+1)$ 및 $\mathfrak{sp}(2m+2)$에 대한 새로운 다중 매개변수 무한차원 기약 표현 가중치 모듈을 구성한다. 주요 기여는 다항식 및 지수다항식 대수 위에서 기약 가중치 모듈의 명시적 실현을 제공함으로써 하우의 오실레이터 구성법을 확장하고, 쿠스피달 모듈에 대한 새로운 실현을 제시하는 것이다.

ABSTRACT

The n-dimensional projective group gives rise to a one-parameter family of inhomogeneous first-order differential operator representations of sl(n+1). By partially swapping differential operators and multiplication operators, we obtain more general differential operator representations of sl(n+1). Letting these differential operators act on the corresponding polynomial algebra and the space of exponential-polynomial functions, we construct new multi-parameter families of explicit infinite-dimensional irreducible representations for s(n+1) and sp(2m+2) when n=2m+1. Our results can be viewed as extensions of Howe's oscillator construction of infinite-dimensional multiplicity-free irreducible representations for sl(n).

연구 동기 및 목표

• When $n = 2m+1$인 경우, $\mathfrak{sl}(n+1)$ 및 $\mathfrak{sp}(2m+2)$의 명시적 무한차원 기약 표현을 구성하는 것.
• 미분 연산자 표현을 사용하여 $\mathfrak{sl}(n)$의 하우의 오실레이터 구성법을 고계수 리 대수로 확장하는 것.
• 유한차원 가중치 부분공간을 갖는 기약 가중치 모듈로서 쿠스피달 모듈의 자연스러운 실현을 제공하는 것.
• 미분 연산자와 곱셈 연산자 간의 부분적 교환을 통해 $\mathfrak{sl}(n+1)$의 일 매개변수 프로젝티브 오실레이터 표현을 일반화하는 것.
• 유도법과 교환자 분석을 통해 다항식 및 지수다항식 함수 공간 위에서 표현의 기약성을 확립하는 것.

제안 방법

• 모든 $r \in S$에 대해 $x_r \leftrightarrow \partial_{x_r}$를 교환하여 $\mathfrak{sl}(n+1)$의 프로젝티브 표현 $\pi_c$를 $\pi_{c,S}$로 일반화함으로써 프로젝티브 오실레이터 표현을 얻는다.
• $\mathscr{A}_{\vec{a}} = \{ f e^{\vec{a} \cdot \vec{x}} \mid f \in \mathbb{F}[x_1,\dots,x_n] \}$ 공간에서 표현 $\pi_{c,S}^{\vec{a}}$를 정의한다. 여기서 $\mathscr{A}$는 다항식 대수이다.
• 다항식의 차수에 대한 귀납법을 사용하여 $\pi_{c,S}^{\vec{a}}$에 의한 $\mathscr{A}_{\vec{a}}$가 $\mathfrak{sp}(2m+2)$-모듈로서 기약임을 증명한다.
• 교환자 항등식과 미분 연산자 관계를 적용하여, 대수의 생성자가 $\mathfrak{sp}(2m+2)$의 작용 하에 유지됨을 보인다.
• 하우의 오실레이터 이론과 θ-대응을 활용하여 결과를 다중도 없음 표현과 심플렉틱 리 대수와 연결한다.
• 총 차수에 따른 필터링과 $D = \sum x_s \partial_{x_s}$의 작용을 통해 가중치 부분공간이 유한차원임을 검증한다.

실험 결과

연구 질문

• RQ1 일반화된 미분 연산자 실현을 통해 $\mathfrak{sl}(n+1)$ 및 $\mathfrak{sp}(2m+2)$에 대한 새로운 무한차원 기약 표현을 구성할 수 있는가?
• RQ2 미분 연산자와 곱셈 연산자 간의 부분적 교환이 $\mathfrak{sl}(n+1)$의 오실레이터 표현의 구조에 어떤 영향을 미치는가?
• RQ3 $\mathscr{A}_{\vec{a}}$가 지수다항식 함수의 공간일 때, $\mathfrak{sp}(2m+2)$의 작용 하에 기약이 되는 조건은 무엇인가?
• RQ4 이 표현들이 하우의 오실레이터 구성법을 $\mathfrak{sl}(n)$에 대해 확장한 것으로 볼 수 있는가?
• RQ5 기약성과 가중치 부분공간의 구조를 결정하는 데 매개변수 $c$와 부분집합 $S \subset \overline{1,n}$의 역할은 무엇인가?

주요 결과

• $n = 2m+1$일 때, $\mathscr{A}_{\vec{a}}$ 위에서의 표현 $\pi_{c,S}^{\vec{a}}$는 $\mathfrak{sp}(2m+2,\mathbb{F})$-모듈로서 기약이다.
• $\mathscr{A}_{\vec{a}}$는 $\pi_{c,S}^{\vec{0}}$ 하에서 무한차원 가중치 모듈이며, 유한차원 가중치 부분공간을 갖는다.
• 기약성은 다항식 차수에 대한 귀납법을 통해 증명되며, 모든 단항식이 단일한 비영벡터로부터 생성됨을 보여준다.
• $\mathfrak{sp}(2m+2)$의 작용은 총 차수에 따른 필터링을 유지하며, 미분 연산자를 통해 모든 성분을 생성한다.
• 이 구성은 일 매개변수 프로젝티브 오실레이터 표현 $\pi_c$를 다중 매개변수 가중치 $\pi_{c,S}^{\vec{a}}$로 일반화한다.
• 결과적으로 하우의 오실레이터 구성법을 확장하여, $\mathfrak{sl}(n+1)$ 및 $\mathfrak{sp}(2m+2)$에 대한 쿠스피달 모듈의 명시적 실현을 제공한다.