[논문 리뷰] Fusion products, cohomology of GL(N) flag manifolds and Kostka polynomials

Rinat Kedem|ArXiv.org|2003. 12. 29.

Advanced Algebra and Geometry참고 문헌 6인용 수 10

한 줄 요약

이 논문은 $\\mathfrak{sl}_n$의 대칭형 표현의 융합 곱과 $GL_N$의 플라스크 변수 $\\mathcal{F}l_{\\mu'}$의 코homology 링 사이에 정확한 대응을 설정하며, 융합 곱 분해에서의 등급이 부여된 다중도 공간이 코homology 링에서의 스펙트 모듈 다중도 공간과 동형임을 보여준다. 주요 결과는 이 설정에서 Kostka 다항식이 융합 곱의 등급 특징을 주는 것으로 나타나며, $N \to \infty$의 극한에서 감소된 와이드 곱과 $\\widehat{\\mathfrak{sl}}_n$-모듈에 대한 대응이 성립한다. 증명은 Schur-Weyl 대칭성과 Garsia-Procesi의 좌표 링 $R_\mu$ 구성에 기반하며, 기하학적 및 표현 이론적 식별을 통해 융합 곱의 특징이 Kostka 다항식임을 입증한다.

ABSTRACT

This paper explains the relation between the fusion product of symmetric power sl(n) evaluation modules, as defined by Feigin and Loktev, and the graded coordinate ring R(mu), which describes the cohomology ring of the flag variety Fl(mu) of GL(N). The graded multiplicity spaces appearing in the decomposition of the fusion product into irreducible sl(n)-modules are identified with the multiplicity spaces of the Specht modules in R(mu). This proves that the Kostka polynomial gives the character of the fusion product in this case. In the case of the product of fundamental evaluation modules, we give the precise correspondence with the reduced wedge product, and thus the usual wedge space construction of irreducible level-1 ^sl(n)-modules in the limit N->infty. The multiplicity spaces are W(sl(n))-algebra modules in this limit.

연구 동기 및 목표

• 대칭형 $\\mathfrak{sl}_n$ 평가 모듈의 융합 곱과 $GL_N$의 플라스크 변수 $\\mathcal{F}l_{\\mu'}$의 코homology 링 사이의 표현 이론적 및 기하학적 연결을 수립하기 위해.
• 융합 곱 분해에서의 등급 다중도 공간을 코homology 링 $R_\\mu$에서의 스펙트 모듈 다중도 공간과 식별하기 위해.
• 대칭형 표현의 경우에 Kostka 다항식이 융합 곱의 등급 특징을 계산함을 증명하기 위해.
• 무한대로 갈 때 융합 곱과 수준-1 $\\widehat{\\mathfrak{sl}}_n$-모듈의 감소된 와이드 곱 구성 간의 관계를 명확히 하기 위해.
• 융합 곱 분해에서의 다중도 공간이 무한한 극한에서 $W(\\mathfrak{sl}_n)$-대수 모듈의 구조를 지닌다는 것을 보여주기 위해.

제안 방법

• 평가 모듈의 텐서곱에 $\\mathfrak{g}$--equivariant 등급을 도입하는 Feigin-Loktev 융합 곱 구성 방법을 사용한다.
• 대칭군 작용이 $\pi^{\otimes N}$에서의 $\mathfrak{sl}_n$-기약 모듈로의 분해와 연결되도록 Schur-Weyl 대칭성을 적용한다.
• 점 $\mathcal{X}$의 $S_N$-궤도에서 사라지는 이상수를 통해 $\mathbb{C}[z_1, \dots, z_N]$의 몫으로서의 링 $R_\mu$의 Garsia-Procesi 구성 방법을 사용한다. 이때 $R_\mu \simeq A_\mu$는 $S_N$-모듈로 동형이다.
• 등급 다중도 공간 $M_{\lambda,\mu}$가 $R_\mu$ 내에서 융합 곱의 다중도 공간과 등급 동형 $\mathrm{gr}(\pi^{\otimes N} \otimes A_\mu)^{S_N} \simeq \mathcal{F}_\mu^*$를 통해 식별된다.
• 이 식별에서 $R_\mu$가 플라스크 변수 $\\mathcal{F}l_{\mu'}$의 코homology 링과 동형이며, 그 등급 다중도가 Kostka 다항식으로 주어진다는 사실에 기반한다.
• 무한대로 갈 때의 극한 $N \to \infty$를 분석하여 융합 곱이 감소된 와이드 곱과 연결되며, 수준-1 $\\widehat{\\mathfrak{sl}}_n$-모듈의 표준 구성과 연결된다.

실험 결과

연구 질문

• RQ1 대칭형 $\\mathfrak{sl}_n$ 평가 모듈의 융합 곱은 $GL_N$ 플라스크 변수의 코homology와 어떻게 관련이 있는가?
• RQ2 Kostka 다항식은 대칭형 케이스에서 융합 곱의 등급 특징으로 해석될 수 있는가?
• RQ3 Schur-Weyl 대칭성은 융합 곱이 $R_\mu$의 $S_N$-모듈 구조로 연결되는 데 있어 정확히 어떤 역할을 하는가?
• RQ4 무한대 극한 $N \to \infty$에서 융합 곱은 감소된 와이드 곱 구성과 어떻게 관련이 있는가?
• RQ5 융합 곱 분해에서의 다중도 공간의 대수적 구조는 무엇인가?

주요 결과

• 대칭형 $\\mathfrak{sl}_n$ 평가 모듈의 융합 곱 $\mathcal{F}_\mu^*$는 등급을 가진 $\\mathfrak{sl}_n$-모듈로서 $\bigoplus_{\lambda \vdash N, \ell(\lambda) \leq n} \pi_\lambda \otimes M_{\lambda,\mu}$와 동형이다.
• 융합 곱 분해에서의 다중도 공간 $M_{\lambda,\mu}$는 플라스크 변수 $\\mathcal{F}l_{\mu'}$의 코homology 링 $R_\mu$에서의 스펙트 모듈 다중도 공간과 동형이다.
• 융합 곱의 등급 특징은 $\mathrm{ch}_q \mathcal{F}_\mu^* = \sum_{\lambda \vdash N, \ell(\lambda) \leq n} \mathrm{ch}\, \pi_\lambda \cdot \widetilde{K}_{\lambda,\mu}(q)$로 주어지며, 여기서 $\widetilde{K}_{\lambda,\mu}(q)$는 Kostka 다항식이다.
• 링 $R_\mu$는 플라스크 변수 $\\mathcal{F}l_{\mu'}$의 코homology 링과 동형이며, 그 $S_N$-모듈 분해는 $R_\mu \simeq \bigoplus_{\lambda} W_\lambda \otimes M_{\lambda,\mu}$로 주어지며, $M_{\lambda,\mu}$는 등급을 가진다.
• 무한대 극한 $N \to \infty$에서, 기본 표현의 융합 곱은 감소된 와이드 곱과 대응되며, 다중도 공간은 $W(\\mathfrak{sl}_n)$-대수 모듈이 된다.
• 모듈 $\pi^{\otimes N} \otimes A_\mu$의 $S_N$-불변 부분공간의 관련 등급 공간은 융합 곱 $\mathcal{F}_\mu^*$와 동형이며, 이 동형은 등급과 $\\mathfrak{sl}_n$-작용과 호환된다.