[논문 리뷰] Spaces of quasi-exponentials and representations of the Yangian Y(gl_N)

E. Mukhin, V. Tarasov외 1명|arXiv (Cornell University)|2013. 03. 07.

Advanced Algebra and Geometry인용 수 7

한 줄 요약

이 논문은 평가 표현의 텐서곱의 무게 부분공간과 특이 벡터 부분공간에 작용하는 양안의 베테 부분대수 $Y(\frak{gl}_N)$의 기하적 실현을 수립한다. 이 모듈러는 이산 와른스키 사상의 섬유 위의 함수 대수의 정규 표현으로 식별되며, 대수기하학과 정합 함수를 통해 교환 베테 대수의 스펙트럼에 대한 스펙트럴 해석을 제공한다.

ABSTRACT

We consider a tensor product $V(b)= \otimes_{i=1}^n\C^N(b_i)$ of the Yangian $Y(gl_N)$ evaluation vector representations. We consider the action of the commutative Bethe subalgebra $B^q \subset Y(gl_N)$ on a $gl_N$-weight subspace $V(b)_λ\subset V(b)$ of weight $λ$. Here the Bethe algebra depends on the parameters $q=(q_1,...,q_N)$. We identify the $B^q$-module $V(b)_λ$ with the regular representation of the algebra of functions on a fiber of a suitable discrete Wronski map. If $q=(1,...,1)$, we study the action of $B^{q=1}$ on a space $V(b)^{sing}_λ$ of singular vectors of a certain weight. Again, we identify the $B^{q=1}$-module $V(b)^{sing}_λ$ with the regular representation of the algebra of functions on a fiber of another suitable discrete Wronski map. These results we announced earlier in relation with a description of the quantum equivariant cohomology of the cotangent bundle of a partial flag variety and a description of commutative subalgebras of the group algebra of a symmetric group.

연구 동기 및 목표

• 양안의 교환 베테 부분대수 $\mathcal{B}^{\boldsymbol{q}} \subset Y(\frak{gl}_N)$ 가 $\frak{gl}_N$-무게 부분공간에 작용하는 방식을 기술하는 것.
• 무게 부분공간 $V(\boldsymbol{b})_{\boldsymbol{\lambda}}$ 에서의 $\mathcal{B}^{\boldsymbol{q}}$-모듈 구조를 이산 와른스키 사상의 섬유 위의 함수 대수의 정규 표현과 식별하는 것.
• $\boldsymbol{q} = \mathbf{1}$ 의 경우로 확장하여 특이 벡터 $V(\boldsymbol{b})^{\text{sing}}_{\boldsymbol{\lambda}}$ 에서의 작용이 다른 이산 와른스키 사상의 섬유 위의 함수 대수의 정규 표현과 동형임을 보이는 것.
• 대칭 함수와 대수기하 곡선을 이용하여 양안 베테 대수의 스펙트럼을 기하학적으로 이해할 수 있는 프레임워크를 제공하며, 양자 코호몰로지와 군 대수의 구조와 연결되는 것.

제안 방법

• 대칭군 $S_n$ 작용을 갖는 공간 $\mathcal{V} = (\mathbb{C}^N)^{\otimes n} \otimes \mathbb{C}[z_1, \dots, z_n]$ 을 구성하고, 그 $S_n$-불변 부분공간 $\mathcal{V}^S$ 를 고려하는 것.
• 드린펠트 유형의 표현을 통해 $\mathcal{V}^S$ 에 $Y(\frak{gl}_N)$-작용을 정의하여 양안 작용을 대칭 텐서곱으로 올리는 것.
• 무게 분해와 교환되는 $\boldsymbol{q} = (q_1, \dots, q_N)$ 에 의해 매개화된 베테 부분대수 $\mathcal{B}^{\boldsymbol{q}} \subset Y(\frak{gl}_N)$ 를 도입하는 것.
• 필터링된 대수 동형을 통해 $\mathcal{B}^{\boldsymbol{q}}$-모듈 $V(\boldsymbol{b})_{\boldsymbol{\lambda}}$ 를 이산 와른스키 사상의 섬유 위의 함수 대수의 정규 표현과 식별하는 것.
• $\boldsymbol{q} = \mathbf{1}$ 의 경우 특이 벡터 부분공간 $V(\boldsymbol{b})^{\text{sing}}_{\boldsymbol{\lambda}}$ 에 제한하고, $\mathcal{B}^{\boldsymbol{q}=\mathbf{1}}$-작용이 다시 한 번 다른 함수 대수의 정규 표현과 동형임을 보이는 것.
• 기본 대칭 다항식을 통한 평가 사상으로 $\mathbb{C}[z_1, \dots, z_n]^{S_n}$ 과 $\sigma_s(\boldsymbol{z})$ 를 이용하여 함수 대수 $\mathcal{O}^{\boldsymbol{q}}_{\boldsymbol{\lambda}}$ 와 $\mathcal{O}_{\boldsymbol{\lambda}}$ 를 실현하는 것.

실험 결과

연구 질문

• RQ1 양안 베테 부분대수 $\mathcal{B}^{\boldsymbol{q}}$ 가 $Y(\frak{gl}_N)$-평가 모듈의 텐서곱의 무게 부분공간에 작용하는 방식을 어떻게 기하학적으로 실현할 수 있는가?
• RQ2 무게 부분공간에 대한 $\mathcal{B}^{\boldsymbol{q}}$-모듈 $V(\boldsymbol{b})_{\boldsymbol{\lambda}}$ 의 대수적 구조는 무엇이며, 대수기하 곡선 위의 함수 대수와 어떻게 관련이 있는가?
• RQ3 특이 벡터 부분공간 $V(\boldsymbol{b})^{\text{sing}}_{\boldsymbol{\lambda}}$ 에서 $\mathcal{B}^{\boldsymbol{q}=\mathbf{1}}$ 의 스펙트럼은 기하학적으로 어떻게 분해되는가?
• RQ4 이산 와른스키 사상의 섬유 위의 함수 대수의 정규 표현은 무게 또는 특이 벡터 부분공간의 $\mathcal{B}^{\boldsymbol{q}}$-모듈 구조와 자연스럽게 일치하는가?
• RQ5 대칭 다항식과 와른스키 사상은 $Y(\frak{gl}_N)$ 의 표현 이론과 대수기하학 및 대칭 함수를 어떻게 연결하는가?

주요 결과

• $\mathcal{B}^{\boldsymbol{q}}$-모듈 $V(\boldsymbol{b})_{\boldsymbol{\lambda}}$ 는 이sovorphism $\tilde{\mu}^{\boldsymbol{q}}_{\boldsymbol{\lambda}}$ 를 통해 이산 와른스키 사상의 섬유 위의 함수 대수의 정규 표현과 동형임을 보인다.
• $\boldsymbol{q} = \mathbf{1}$ 의 경우, $\mathcal{B}^{\boldsymbol{q}=\mathbf{1}}$-모듈 $V(\boldsymbol{b})^{\text{sing}}_{\boldsymbol{\lambda}}$ 는 두 번째 이산 와른스키 사상의 섬유 위의 함수 대수 $\mathcal{O}_{\boldsymbol{\lambda}}$ 의 정규 표현과 동형임을 보인다.
• 이sovorphism $\tilde{\mu}^{\boldsymbol{q}}_{\boldsymbol{\lambda}}$ 는 대수 $\mathbb{C}[\sigma_1, \dots, \sigma_n]$ 과 $\mathbb{C}[z_1, \dots, z_n]^{S_n}$ 의 필터링을 유지하며, $\sigma_s \mapsto \sigma_s(\boldsymbol{z})$ 를 통해 이들을 식별한다.
• $\tilde{\nu}^{\boldsymbol{q}}_{\boldsymbol{\lambda}}$ 는 함수 대수 $\mathcal{O}^{\boldsymbol{q}}_{\boldsymbol{\lambda}}$ 와 $({\frac{1}{D}}\mathcal{V}^A)_{\boldsymbol{\lambda}}$ 사이의 필터링된 이sovorphism 를 제공하며, 이로써 모듈을 정규 표현으로 실현한다.
• $\mathcal{B}^{\boldsymbol{q}=\mathbf{1}}$-모듈 $({\mathcal{V}}^{S})^{\text{sing}}_{\boldsymbol{\lambda}}$ 와 $({\frac{1}{D}}{\mathcal{V}}^{A})_{\boldsymbol{\lambda}}^{\text{sing}}$ 은 $\mathcal{B}^{\boldsymbol{q}=\mathbf{1}}$-모듈로서 서로 동형이다.
• 결과는 이전의 $\mathfrak{gl}_N[t]$-모듈에 대한 결과를 일반화하며, 코 tangent bundle 의 양자 등변 코호몰로지와 대칭군 대수의 교환 부분대수에 대한 기하학적 프레임워크를 제공한다.