[논문 리뷰] Branching rules for quantum toroidal gl(n)

Boris Feigin, M. Jimbo외 2명|arXiv (Cornell University)|2013. 09. 09.

Algebraic structures and combinatorial models참고 문헌 13인용 수 22

한 줄 요약

이 논문은 양자 토로이드 대수 $\mathcal{E}_n(q_1,q_2,q_3)$ 내에서 $\mathfrak{gl}(n)\otimes\mathfrak{gl}(m)\subset\mathfrak{gl}(n+m)$의 부분대수에 대한 양자 토로이드 해석을 구축하고, 이 부분대수로 제한된 표현에 대한 분해 규칙을 수립한다. 주요 결과는 평면 분할과 모듈라 매개변수를 포함하는, 레벨 $K$와 양자 매개변수에 명시적인 의존성을 갖는 매크머론 모듈러스의 텐서곱으로의 추측적 분해 공식이다.

ABSTRACT

We construct an analog of the subalgebra $Ugl(n)\otimes Ugl(m)$ of $Ugl(m+n)$ in the setting of quantum toroidal algebras and study the restrictions of various representations to this subalgebra.

연구 동기 및 목표

• 고전적 부분대수 포함관계 $\mathfrak{gl}(n)\otimes\mathfrak{gl}(m)\subset\mathfrak{gl}(n+m)$를 양자 토로이드 설정으로 일반화한다.
• 양자 토로이드 대수 $\mathcal{E}_n$의 표현을 구축된 부분대수로 제한했을 때의 성질을 연구한다.
• 매크머론 모듈러스를 $\mathcal{E}_{n-1}$ 및 $\mathcal{E}_1$ 모듈러스의 텐서곱으로의 추측적 분해를 수립한다.
• 양자 토로이드 대수 $\mathcal{E}_n$의 등각 극한을 통해 양자 토로이드 대수와 등각 장 이론 및 AGT 추측을 연결한다.
• 유한 차원 모듈러스의 해석적 계속성을 통해 $\mathcal{E}_{n-1}$이 $\mathcal{E}_n$ 내에서 가지는 여집합의 구조를 이해하기 위한 프레임워크를 제공한다.

제안 방법

• 고전적 $\mathfrak{gl}(n)\otimes\mathfrak{gl}(m)$에 대한 양자 토로이드 해석으로서, $\mathcal{E}_n$ 내에 부분대수 $\mathcal{E}_n^{n-1|0} \otimes \mathcal{E}_1^{n-1||0}$를 구축한다.
• 매개변수 $k$에 대한 유한 차원 모듈러스 $\mathcal{N}_{\alpha,\beta}^{(n;p)}(u)$의 해석적 계속성을 이용하여 매크머론 모듈러스 $\mathcal{M}_{\alpha,\beta,\emptyset}^{(n;p)}(u,K)$를 정의한다.
• 등각 극한 $q_1 = \varepsilon^{\sigma_1}, q_2 = \varepsilon^{\sigma_2}, q_3 = \varepsilon^{\sigma_3}, \kappa = \varepsilon^k, \varepsilon \to 1$을 적용하여 대수와 바이어트 옵저버블 대수 간의 관계를 설정한다.
• 분해 공식에 포함된 이차형식을 기록하기 위해 고든 행렬 $G_{i,j} = \min\{i,j\}$을 사용한다.
• 정수 $j$에 대한 합, $i_r, i_r'$에 대한 모듈로 $n-1$ 제약, 비음수 정수 $l_r, l_r'$를 포함하는 $\mathcal{E}_{n-1}^{n-1|0} \otimes \mathcal{E}_1^{n-1||0}$-모듈러스에 대한 추측적 동형을 유도한다.
• $\rho(i,i';j)$와 $w(i,i';j)$를 도입하여 그레이딩 이동과 스펙트럴 플로우를 기록하며, $y_r = \sum_{s=1}^r p_s$ 및 $y_r' = n l_r'$로 정의한다.

실험 결과

연구 질문

• RQ1 고전적 포함관계 $\mathfrak{gl}(n)\otimes\mathfrak{gl}(m)\subset\mathfrak{gl}(n+m)$는 어떻게 양자 토로이드 설정으로 일반화될 수 있는가?
• RQ2 $\mathcal{E}_{n-1}^{n-1|0}$이 $\mathcal{E}_n$ 내에서 가지는 여집합의 구조는 어떠한가?
• RQ3 매크머론 모듈러스는 부분대수 $\mathcal{E}_{n-1}^{n-1|0} \otimes \mathcal{E}_1^{n-1||0}$로 제한되었을 때 어떻게 분해되는가?
• RQ4 등각 극한은 양자 토로이드 대수와 등각 장 이론 및 AGT 추측을 연결하는 데 어떤 역할을 하는가?
• RQ5 $\mathcal{E}_n$-모듈러스의 분해 규칙은 평면 분할과 모듈라 매개변수로 표현될 수 있는가?

주요 결과

• 논문은 양자 토로이드 대수 $\mathcal{E}_n$ 내에 고전적 $\mathfrak{gl}(n)\otimes\mathfrak{gl}(m)$ 포함관계의 양자 토로이드 해석으로서 부분대수 $\mathcal{E}_n^{n-1|0} \otimes \mathcal{E}_1^{n-1||0}$를 구축한다.
• 매크머론 모듈러스 $\mathcal{M}_{\alpha,\beta,\emptyset}^{(n;0)}(u,K)$는 특정한 그레이딩 이동을 갖는 $\mathcal{E}_{n-1}^{n-1|0}$ 및 $\mathcal{E}_1^{n-1||0}$ 모듈러스의 텐서곱의 직합으로 분해된다는 추측이 제기된다.
• 분해는 정수 $j$에 대한 합, $i_r, i_r'$에 대한 모듈로 $n-1$ 제약, 비음수 정수 $l_r, l_r'$를 포함하며, 유한히 많은 비영항목을 갖는다.
• 그레이딩 이동은 $\rho(i,i';j) = \frac{n(n-1)}{2}j + \frac{n-1}{2}\sum p_r + \frac{n+1}{2}\sum (i_r + i_r') - \frac{1}{2(n-1)}\sum (i_r^2 + (i_r')^2)$로 기록된다.
• 스펙트럴 플로우 매개변수로 $w(i,i';j) = \sum_r (\eta^{(p_r)} + \eta_{i_r} + \eta_{i_r'}) - j\eta$가 주어지며, 여기서 $\eta$ 및 $\eta^{(p_r)}$는 $q$-데오퍼메이션 매개변수에 의해 정의된다.
• 분해 공식은 $y_r' = n l_r'$를 만족하는 이차형식 $\frac{1}{2}(y^t G y + (y')^t G y')$와 함께 포함되며, 합에 대한 제약 조건 $\sum r l_r - \sum r l_r' = (n-1)j + \sum (i_r + p_r + i_r') + \sum r m_r$이 존재한다.