[논문 리뷰] Decomposition of $q$-deformed Fock spaces

Masaki Kashiwara, Tetsuji Miwa외 1명|ArXiv.org|1995. 08. 14.

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

한 줄 요약

이 논문은 $U'_q(\widehat{\mathfrak{sl}}_n)$의 수준 1 $q$-데오파된 포크 공간을 $U'_q(\widehat{\mathfrak{sl}}_n)$-헤이젠베르그 이모듈로로 분해하여, 이가 $U'_q(\widehat{\mathfrak{sl}}_n)$의 최고무게 표현과 헤이젠베르그 대수의 포크 모듈의 텐서곱과 동형임을 보여준다. 핵심 결과는 $q$-웨지 연산자가 양자 아핀 대수와 헤이젠베르그 대수의 성분으로 분해되며, 정점 연산자와 교환관계를 통한 명시적 실현이 가능하다.

ABSTRACT

A decomposition of the level-one $q$-deformed Fock representations of $\uqn$ is given. It is found that the action of $\upqn$ on these Fock spaces is centralized by a Heisenberg algebra, which arises from the center of the affine Hecke algebra $\widehat{H}_N$ in the limit $N ightarrow \infty$. The $q$-deformed Fock space is shown to be isomorphic as a $\upqn$-Heisenberg-bimodule to the tensor product of a level-one irreducible highest weight representation of $\upqn$ and the Fock representation of the Heisenberg algebra. The isomorphism is used to decompose the $q$-wedging operators, which are intertwiners between the $q$-deformed Fock spaces, into constituents coming from $\upqn$ and from the Heisenberg algebra.

연구 동기 및 목표

• 큐-데오파된 포크 공간을 $U'_q(\widehat{\mathfrak{sl}}_n)$의 기저로 하는 수준 1 분해를 수행한다.
• 무한대 $N \to \infty$로 갈 때 아핀 헤이젠베르그 대수 $\widehat{H}_N$의 중심의 극한으로 나타나는 헤이젠베르그 대수의 중심 작용을 규명한다.
• $q$-웨지 연산자를 통합자로 실현하고, $U'_q(\widehat{\mathfrak{sl}}_n)$ 및 헤이젠베르그 대수의 기여로 분해한다.
• 큐-데오파된 포크 공간과 최고무게 표현 및 헤이젠베르그 포크 모듈의 텐서곱 사이의 이모듈로 동형을 확립한다.

제안 방법

• 무한한 $q$-웨지를 사용하여 평가 모듈 $V(z) = \mathbb{C}^n \otimes \mathbb{C}[z,z^{-1}]$ 의 텐서곱 위에서 $q$-데오파된 포크 공간을 구성한다.
• $q$-세르 관계와 $q$-데오파된 교환관계를 사용하여 $U'_q(\widehat{\mathfrak{sl}}_n)$의 생성자 $E_i, F_i, K_i^{\pm 1}$ 를 $V(z)$ 위에 작용하도록 정의한다.
• 포크 공간 위에서 작용하는 연산자 $B_a$ 로 생성되는 헤이젠베르그 대수를 도입하며, 교환관계는 $[B_a, B_{-a}] = a \frac{1 - q^{2na}}{1 - q^{2a}}$ 이다.
• $q$-웨지 통합자 $\Omega'(w)$ 를 $U'_q(\widehat{\mathfrak{sl}}_n)$-통합자 $\tilde{\Phi}^*(w)$ 와 헤이젠베르그 대수의 정점 연산자 $\Xi(w)$ 의 텐서곱으로 실현한다.
• 정점 연산자의 두 점 함수를 비교하여 행렬 요소를 유도하고, 생성함수의 계수 매칭을 통해 교환관계 $[B_a, B_{-a}]$ 를 유도한다.
• $U_q(\widehat{\mathfrak{sl}}_n)$ 의 호프 대수 구조와 $d$-중량을 활용하여 통합자 구성에서 차수를 유지한다.

실험 결과

연구 질문

• RQ1 헤이젠베르그 대수가 중심적으로 작용할 때, $U'_q(\widehat{\mathfrak{sl}}_n)$ 의 $q$-데오파된 포크 공간 위에서의 작용은 어떻게 분해되는가?
• RQ2 $q$-데오파된 포크 공간 간의 $q$-웨지 통합자의 정확한 구조는 무엇인가?
• RQ3 큐-데오파된 포크 공간을 $U'_q(\widehat{\mathfrak{sl}}_n)$ 와 헤이젠베르그 대수 위의 이모듈로로 실현할 수 있는가?
• RQ4 $q$-웨지 통합자로부터 유도되는 헤이젠베르그 생성자 $B_a$ 와 $B_{-a}$ 간의 교환관계는 무엇인가?
• RQ5 $q$-웨지 연산자의 두 점 함수는 헤이젠베르그 대수의 구조에 어떤 제약을 가하는가?

주요 결과

• 큐-데오파된 포크 공간은 $U'_q(\widehat{\mathfrak{sl}}_n)$-헤이젠베르그 이모듈로로서, 수준 1의 기저 최고무게 표현과 헤이젠베르그 대수의 포크 모듈의 텐서곱과 동형이다.
• $q$-웨지 통합자 $\Omega'(w)$ 는 $\tilde{\Phi}^*(w) \otimes \Xi(w)$ 로 분해되며, 여기서 $\tilde{\Phi}^*(w)$ 는 $U'_q(\widehat{\mathfrak{sl}}_n)$-통합자이고 $\Xi(w)$ 는 헤이젠베르그 대수의 정점 연산자이다.
• 두 점 함수의 비교를 통해 교환관계 $[B_a, B_{-a}]$ 는 명시적으로 $a \frac{1 - q^{2na}}{1 - q^{2a}}$ 로 계산된다.
• $q$-웨지 연산자 $\Omega_m(w)$ 의 두 점 함수는 $\frac{1 - w_2/w_1}{1 - q^2 w_2/w_1}$ 으로 주어지며, 이는 $U'_q(\widehat{\mathfrak{sl}}_n)$ 과 헤이젠베르그 기여의 곱과 일치한다.
• 정점 연산자 $\Xi(w)$ 는 $\exp\left(\sum_{b \geq 1} \frac{B_{-b} w^b}{\gamma_b}\right) \exp\left(-\sum_{b \geq 1} \frac{B_b w^{-b}}{\gamma_b}\right)$ 로 실현되며, 여기서 $\gamma_b = [B_b, B_{-b}]$ 이다.
• 이 동형은 $U'_q(\widehat{\mathfrak{sl}}_n)$ 과 헤이젠베르그 대수의 작용을 모두 유지하여 이모듈로 구조가 확인된다.