[논문 리뷰] A Steinberg type decomposition theorem for higher level Demazure modules

Vyjayanthi Chari, Peri Shereen외 2명|arXiv (Cornell University)|2014. 08. 18.

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

한 줄 요약

이 논문은 아핀 리 대수에서 고수준의 Demazure 모듈에 대해 스텐버그 유형 분해 정리를 수립하며, 고전적 리 타입과 $G_2$에 대해 $\delta(\ell, \ell\mu + \lambda) \cong \delta(\ell, \ell\mu) * \delta(\ell, \lambda)$ 라는 융합 곱으로서의 동형이 성립함을 증명한다. 여기서 $\ell$은 수준이며 $\lambda, \mu$는 극대 정수 가중치이다. 이 결과는 텐서 곱 분해를 융합 곱으로 일반화하며, 새로운 $Q$-시스템 일반화와 샤우어 긍정성 결과를 가능하게 한다.

ABSTRACT

We study Demazure modules which occur in a level $\ell$ irreducible integrable representation of an affine Lie algebra. We also assume that they are stable under the action of the standard maximal parabolic subalgebra of the affine Lie algebra. We prove that such a module is isomorphic to the fusion product of "prime" \ Demazure modules, where the prime factors are indexed by dominant integral weights which are either a multiple of $\ell$ or take value less than $\ell$ on all simple coroots. Our proof depends on a technical result which we prove in all the classical cases and $G_2$. Calculations with mathematica show that this result is correct for small values of the level. Using our result, we show that there exist generalizations of $Q$--systems to pairs of weights where one of the weights is not necessarily rectangular and is of a different level. Our results also allow us to compare the multiplicities of an irreducible representation occuring in the tensor product of certian pairs of irreducible representations, i.e., we establish a version of Schur positvity for such pairs of irreducible modules for a simple Lie algebra.

연구 동기 및 목표

• 아핀 리 대수의 고수준 표현에서 융합 곱으로서의 소수 Demazure 모듈의 합성에 대한 $\delta(\ell, \ell\mu + \lambda)$ 의 분해 정리를 수립하기.
• 고전적 리 대수와 $G_2$에 대해 $\delta(\ell, \lambda)$ 모듈의 맥락에서 스텐버그의 텐서 곱 정리의 융합 곱으로의 일반화를 하기.
• 소수 Demazure 모듈을 비융합곱 분해가 불가능한 모듈로 정의하고, 특히 $\ell\omega_i$ 또는 $\lambda(h_i) \leq \ell$ 를 만족하는 $\lambda$ 를 가진 모듈로 특성화하기.
• 비직사각형 가중치로의 $Q$-시스템 일반화를 확장하고, 특정 임의의 표현의 텐서 곱에 대한 샤우어 긍정성을 확립하기.

제안 방법

• 저자들은 $\delta(\ell, \lambda)$ 모듈의 융합 곱 구조를 순환적이고 등급이 부여된 $\Sigma[t]$-모듈로 사용하여, 기저 $\Sigma$-모듈의 구조를 유지한다.
• 고전적 타입과 $G_2$에 대해 아핀 웨일 군에 관한 핵심 기술적 결과를 증명하며, 이는 분해 정리의 증명을 가능하게 한다.
• 증명은 $\delta(\ell, \lambda)$ 가 커런트 대수 $\Sigma[t]$ 에 대해 안정된 모듈로 간주되며, 융합 곱 분해를 보장하는 가중치 조건을 기반으로 한다.
• 컴퓨터 대수(Mathematica)를 사용하여 작은 수준에 대해 기술적 명제를 검증함으로써 일반적 추측의 타당성을 뒷받침한다.
• 저자들은 비자명한 융합곱으로 분해되지 않는 모듈로 소수 Demazure 모듈을 정의하며, 특히 $\delta(\ell, \ell\omega_i)$ 와 $\lambda(h_i) \leq \ell$ 를 만족하는 $\delta(\ell, \lambda)$ 에 초점을 맞춘다.
• 이 틀을 사용하여 $Q$-시스템을 일반화하고, 임의의 표현의 텐서 곱에서의 계수를 비교함으로써 샤우어 긍정성을 연구한다.

실험 결과

연구 질문

• RQ1 아핀 리 대수에서 고수준의 Demazure 모듈에 대해, 스텐버그의 텐서 곱 정리가 융합 곱으로 일반화될 수 있는가?
• RQ2 고전적 리 타입과 $G_2$에 대해 $\delta(\ell, \ell\mu + \lambda)$ 모듈이 비틀림 곱 $\delta(\ell, \ell\mu) * \delta(\ell, \lambda)$ 와 동형인가?
• RQ3 어느 Demazure 모듈이 소수인가, 즉 더 작은 모듈들의 비자명한 융합곱과 동형이 아닌가?
• RQ4 $Q$-시스템을 직사각형 가중치가 아닌 경우, 특히 다른 수준을 가진 경우로 일반화할 수 있는가?
• RQ5 이 융합 곱 틀을 통해 특정 임의의 $\Sigma$-모듈의 텐서 곱에 대한 샤우어 긍정성이 확립되는가?

주요 결과

• 고전적 타입 또는 $G_2$인 경우, 모든 양의 정수 $\ell$ 과 극대 정수 가중치 $\mu, \lambda$ 에 대해 $\delta(\ell, \ell\mu + \lambda) \cong \delta(\ell, \ell\mu) * \delta(\ell, \lambda)$ 가 성립하며, 이는 스텐버그 정리의 일반화이다.
• 소수 Demazure 모듈은 $\ell\omega_i$ 와 모든 단순 코루트에 대해 $\lambda(h_i) \leq \ell$ 를 만족하는 $\delta(\ell, \lambda)$ 이며, 이들은 비자명한 $\Sigma$-모듈의 텐서 곱이 아니다.
• 타입 $A$ 와 $D$ 에서는 모든 Demazure 모듈이 소수 Demazure 모듈의 융합 곱으로 표현된다.
• 저자들은 융합 곱 분해를 이용하여 비직사각형 가중치로의 $Q$-시스템 일반화를 구성한다.
• 융합 곱의 구조를 통해 임의의 표현의 텐서 곱에서의 계수를 비교함으로써, 특정 가중치 쌍에 대한 샤우어 긍정성을 확립한다.
• 컴퓨터 계산은 작은 수준에 대해 주요 결과의 기초가 되는 기술적 명제를 확인하며, 그 타당성이 증명된 경우를 초월하여 지지한다.