[논문 리뷰] Weyl modules, Demazure modules and finite crystals for non-simply laced type

Katsuyuki Naoi|arXiv (Cornell University)|2010. 12. 25.

Algebraic structures and combinatorial models참고 문헌 18인용 수 8

한 줄 요약

이 논문은 비단순 루트 시스템을 가진 리 대수의 커런트 대수에 대한 와일 모듈이 연속된 몫이 딘마르 모듈과 동형인 필터를 갖는다고 증명하며, 수준 0 기본 표현의 텐서곱에 대한 경로 모델이 딘마르 크리스탈의 서로소 합과 동형임을 보이고, 두 구조에서 나타나는 딘마르 모듈이 정확히 일치함을 증명한다. 주요 기여는 단순 루트 시스템의 경우에 알려진 결과를 비단순 루트 시스템인 B_n, C_n, F_4, G_2 등의 유형으로 일반화한 것이다.

ABSTRACT

We show that every Weyl module for a current algebra has a filtration whose successive quotients are isomorphic to Demazure modules, and that the path model for a tensor product of level zero fundamental representations is isomorphic to a disjoint union of Demazure crystals. Moreover, we show that the Demazure modules appearing in these two objects coincide exactly. Though these results have been previously known in the simply laced case, they are new in the non-simply laced case.

연구 동기 및 목표

• 단순 루트 시스템에서 알려진 와일 모듈과 딘마르 모듈 사이의 동형을 비단순 루트 시스템의 리 대수로 일반화하기 위해.
• 비단순 루트 시스템 설정에서 와일 모듈의 필터를 구축하여, 연속된 몫이 딘마르 모듈과 동형임을 보장하기 위해.
• 수준 0 기본 표현의 텐서곱에 대한 경로 모델이 딘마르 크리스탈의 서로소 합과 동형임을 보이기 위해.
• 와일 모듈 필터에서 나타나는 딘마르 모듈과 경로 모델에서 나타나는 딘마르 모듈이 정확히 일치함을 증명하기 위해.
• 페르미온 형식과 1차원 합 사이의 연결을 통해 비단순 루트 시스템을 가진 커런트 대수에서 $X=M$ 추측에 대한 증거를 제공하기 위해.

제안 방법

• 짧은 루트 부분계수 $\mathfrak{g}^{\mathrm{sh}}$의 딘마르 모듈의 구조를 이용하여 $\mathcal{C}\mathfrak{g}_d$-모듈로서 와일 모듈 $W(\lambda)$의 필터를 구성한다.
• Joseph의 결과 $\mathcal{D}^{\mathrm{sh}}(1,\overline{\lambda})[0]$ 가 $\mathcal{D}^{\mathrm{sh}}(r,\nu_i)[m_i]$ 로의 필터를 갖는다는 것을 이용하여 필터를 전체 커런트 대수로 옮긴다.
• 크리스탈 이론, 특히 경로 모델과 딘마르 크리스탈을 적용하여 연속된 몫과 딘마르 모듈 사이의 동형을 검증한다.
• 와일 모듈의 크리스탈 기저와 경로 모델 $\mathbb{B}(\lambda)_{\mathrm{cl}}$ 사이의 동형을 이용하여 다중도 생성 함수를 연결한다.
• 등식 $W(\varpi_i) \cong \mathrm{KR}(\varpi_i)$ 를 사용하여 와일 모듈을 키릴로프-레쉬티힌 모듈로 식별하고, 페르미온 형식과 연결한다.
• 크리스탈의 계수 함수와 그레이드 특성의 결과를 조합하여 항등식 $[W(\lambda):V_{\mathfrak{g}}(\mu)]_{q^{-1}} = \sum_{\eta} q^{\mathrm{Deg}(\eta)}$ 를 증명함으로써 $X=M$ 추측의 특수한 경우를 확인한다.

실험 결과

연구 질문

• RQ1 비단순 루트 시스템을 가진 커런트 대수에 대한 와일 모듈이 단순 루트 시스템의 경우에 알려진 것과 유사하게 딘마르 모듈로 필터링될 수 있는가?
• RQ2 와일 모듈 필터에서 나타나는 딘마르 모듈이 수준 0 기본 표현의 텐서곱 경로 모델에서 유도되는 딘마르 모듈과 일치하는가?
• RQ3 비단순 루트 시스템 설정에서 수준 0 기본 표현의 텐서곱에 대한 경로 모델이 딘마르 크리스탈의 서로소 합과 동형인가?
• RQ4 페르미온 형식과 1차원 합 사이의 연결을 통해 비단순 루트 시스템의 특수한 경우에서 $X=M$ 추측을 검증할 수 있는가?
• RQ5 비단순 루트 시스템을 가진 대수에서 와일 모듈의 구조는 단순 루트 시스템의 경우와 어떻게 다를까? 특히 필터링과 딘마르 모듈의 구성 측면에서.

주요 결과

• 비단순 루트 시스템을 가진 커런트 대수 $\mathcal{C}\mathfrak{g}_d$ 에 대한 와일 모듈 $W(\lambda)$ 는 연속된 몫이 딘마르 모듈 $\mathcal{D}(1,\mu_i)[m_i]$ 와 동형인 $\mathcal{C}\mathfrak{g}_d$-모듈 필터를 갖는다.
• 와일 모듈 필터에서 나타나는 딘마르 모듈은 수준 0 기본 표현의 텐서곱 경로 모델에서 나타나는 딘마르 모듈과 정확히 일치한다.
• 경로 모델 $\mathbb{B}(\lambda)_{\mathrm{cl}}$ 는 딘마르 크리스탈의 서로소 합과 동형이며, 표현 이론과 크리스탈 조합론 사이의 구조적 연결을 확인한다.
• 페르미온 형식 $M(W_{\mathbf{i}},\mu,q)$ 는 1차원 합 $X(\mathcal{B}_{\mathbf{i}},\mu,q)$ 와 차수 이동을 제외하고 동일하며, 둘 다 그레이드 다중도 $[W(\lambda):V_{\mathfrak{g}}(\mu)]_{q^{-1}}$ 와 일치한다. 이는 $X=M$ 추측의 특수한 경우를 확인한다.
• $\lambda = \sum \varpi_{i_j}$ 인 경우, 와일 모듈 $W(\lambda)$ 는 융합 곱 $\mathrm{KR}(\varpi_{i_1})_{c_1} * \cdots * \mathrm{KR}(\varpi_{i_\ell})_{c_\ell}$ 과 동형이며, 이는 와일 모듈을 키릴로프-레쉬티힌 모듈과 연결한다.
• 극한 경로 $\eta$ 에서 $\tilde{e}_j\eta = \mathbf{0}$ 이고 $\eta(1) = \mathrm{cl}(\mu)$ 를 만족할 때, 항등식 $[W(\lambda):V_{\mathfrak{g}}(\mu)]_{q^{-1}} = \sum_{\eta} q^{\mathrm{Deg}(\eta)}$ 가 성립하며, 크리스탈 차수 함수를 통한 특성 수준의 항등식을 확립한다.