[논문 리뷰] Representations of quantum toroidal $gl_n$

Boris Feigin, M. Jimbo외 2명|arXiv (Cornell University)|2012. 04. 24.

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

한 줄 요약

이 논문은 반무한 와이드 곱과 맥마혼 모듈을 사용하여 Fock 모듈의 반무한 와이드 곱으로서, 색칠된 평면 분할에 의해 인덱싱된 조합적 표기법을 가진 양자 토로이드 대수 $\mathcal{E}_n$의 명시적, 조합적 표기법을 갖는 기약 표현을 구성한다. 주요 결과는 이러한 표현들이 일반 수준에서 양자 아핀 $\mathfrak{gl}_n$의 기약 최고 가중치 모듈과의 위상 동형을 가지며, 경계 조건을 갖는 평면 분할을 통해 웨일 유형 모듈의 완전한 조합적 기술을 제공한다는 것이다.

ABSTRACT

We define and study representations of quantum toroidal $gl_n$ with natural bases labeled by plane partitions with various conditions. As an application, we give an explicit description of a family of highest weight representations of quantum affine $gl_n$ with generic level.

연구 동기 및 목표

• 양자 토로이드 대수 $\mathcal{E}_n$의 기약, 준유한 표현을 유한 차원 가중치 공간을 갖는 체계적으로 구성하는 것.
• 색칠된 평면 분할과 맥마혼 모듈을 사용하여 이러한 표현의 명시적 조합 기저를 제공하는 것.
• 양자 토로이드 표현과 일반 수준에서의 양자 아핀 $\mathfrak{gl}_n$의 최고 가중치 모듈 간의 연결을 확립하는 것.
• 양자 토로이드 대수 $\mathcal{E}_n$-모듈의 제약을 통해 $U_q\widehat{\mathfrak{gl}}_n$의 웨일 유형 모듈을 조합적으로 실현하는 것.
• 양자 드린펠트-소콜로프 축소를 $W$-대수의 표현에 적용하여 일반 중심 전하를 갖는 표현과 연결하는 것.

제안 방법

• 벡터 표현 $V(u)$의 반무한 와이드 곱을 사용하여 수준 $q = q_2^{1/2}$인 Fock 모듈 $\mathcal{F}^{(k)}(u)$를 구성하고, 색칠된 분할에 의해 표기한다.
• Fock 모듈의 반무한 와이드 곱을 통해 맥마혼 모듈 $\mathcal{M}^{(k)}_{\alpha,\beta,\gamma}(u;K)$를 정의하고, 점점 커지는 경계 조건을 만족하는 색칠된 평면 분할에 의해 기저를 표기한다.
• 맥마혼 모듈의 텐서 곱을 구성하고 수준을 특수화하여, 다양한 경계 조건을 만족하는 평면 분할의 튜플에 의해 표기되는 기약, 준유한 $\mathcal{E}_n$-모듈을 얻는다.
• 다음과 같은 조건을 갖는 매개변수 $q_3$를 도입한다: $q_1 q_2 q_3 = 1$, 여기서 $q_2$는 특별히 구분되고 $q_1, q_3$는 자동형사를 통해 서로 바꿀 수 있다.
• 양자 드린펠트-소콜로프 축소를 $\mathcal{E}_n$-모듈에 적용하여 $\mathfrak{gl}_n$에 관련된 $W$-대수의 기약 표현을 구성한다.
• 특성 공식과 BGG 유형의 분해를 사용하여 $\mathcal{E}_n$-모듈과 기약 $U_q\widehat{\mathfrak{gl}}_n$-모듈 간의 동형을 증명한다.

실험 결과

연구 질문

• RQ1 기본 기저를 갖는 양자 토로이드 대수 $\mathcal{E}_n$의 기약, 준유한 표현은 어떻게 구성할 수 있는가?
• RQ2 이 표현들의 가중치 공간의 조합적 구조는 무엇이며, 평면 분할에 어떻게 표현되는가?
• RQ3 이러한 $\mathcal{E}_n$-모듈은 일반 수준에서의 양자 아핀 $\mathfrak{gl}_n$의 최고 가중치 모듈과 어떻게 관련되어 있는가?
• RQ4 $U_q\widehat{\mathfrak{gl}}_n$의 웨일 유형 모듈은 $\mathcal{E}_n$-모듈의 제약을 통해 어떻게 실현할 수 있는가?
• RQ5 양자 드린펠트-소콜로프 축소는 이러한 $\mathcal{E}_n$-모듈에 어떻게 작용하여 $W$-대수 표현을 생성하는가?

주요 결과

• 저자들은 특정 경계 조건을 만족하는 평면 분할의 튜플에 의해 표기되는, 기약, 준유한 $\mathcal{E}_n$-모듈 $\mathcal{G}_{\mu,\nu}^{(k)}(u)$의 가족을 구성한다.
• 이 모듈들은 최저 가중치 $-\lambda^{(k)}(\mu,\nu)$를 갖는 기약 최고 가중치 모듈 $\mathcal{L}_{-\lambda^{(k)}(\mu,\nu)}$와 $U_q\widehat{\mathfrak{gl}}_n$-모듈로서 동형이다.
• $\mathcal{G}_{\mu,\nu}^{(k)}(u)$의 특성은 베르마 모듈 $\mathcal{L}_{-\lambda^{(k)}(\mu,\nu)}$의 특성과 일치하며, 특성 비교를 통한 동형 확인이 가능하다.
• 이 구성은 색깔 $k$와 두 분할 $\mu, \nu$ (그 중 하나는 색이 없는)로 매개변수화된 모든 웨일 유형 $U_q\widehat{\mathfrak{gl}}_n$-모듈의 조합적 기술을 제공한다.
• $\mathcal{E}_n$-모듈 $\mathcal{H}(u_1,\ldots,u_n)$은 $\mathcal{E}_n$-모듈의 텐서 곱으로 구성되며, 명시적 기저 구조를 갖는 수준-$q_1^{n/2}$ 표현을 실현한다.
• $\mathcal{H}(u_1,\ldots,u_n)$의 최저 가중치 벡터 $v^{(k)}_{\mu,\nu}$에서 $K_{\beta_i^{(k)}(\nu)}$의 고유값은 $q^{-(\lambda^{(k)}(\mu,\nu), \beta_i^{(k)}(\nu))}$이다. 이는 모듈의 가중치 구조를 확인한다.