[논문 리뷰] Combinatorial bases of Feigin-Stoyanovsky's type subspaces of level 1 standard modules for $ ilde{\mathfrak sl}(\ell+1,\C)$

Goran Trupčević|ArXiv.org|2008. 07. 22.

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

한 줄 요약

이 논문은 $ ilde{ackslash mathrm{sl}}(ackslash mathrm{ell}+1,ackslash mathbb extbackslash{C})$ 의 수준 1 표준 모듈러에 대한 Feigin-Stoyanovsky 유형 부분공간 $W(\Lambda)$ 에 대해 조합적 단항식 기저를 구성하며, 차이 조건과 초기 조건을 사용한다. 상호연결 연산자의 계수를 통해 선형 독립성을 증명하고, 주기적인 尾 꼬리 단항식 $x(\mu)$ 가 $x(\mu)v_ackslash Lambda = C e(\omega)^{ackslash mathrm{ell}+1} v_ackslash Lambda$ 를 만족함을 보여, 전체 모듈러 $L(\Lambda)$ 에 대한 기저를 귀납적으로 구성할 수 있음을 보인다.

ABSTRACT

Let $ ilde{\mathfrak g}$ be an affine Lie algebra of type $A_\ell^{(1)}$. Suppose we're given a $\mathbb Z$-gradation of the corresponding simple finite-dimensional Lie algebra ${\mathfrak g}={\mathfrak g}_{-1}\oplus{\mathfrak g}_0 \oplus {\mathfrak g}_1$; then we also have the induced $\mathbb Z$-gradation of the affine Lie algebra $$ ilde{\mathfrak g}= ilde{\mathfrak g}_{-1} \oplus ilde{\mathfrak g}_0 \oplus ilde{\mathfrak g}_1.$$ Let $L(Λ)$ be a standard module of level 1. Feigin-Stoyanovsky's type subspace $W(Λ)$ is the $ ilde{\mathfrak g}_1$-submodule of $L(Λ)$ generated by the highest-weight vector $v_Λ$, $$W(Λ)=U( ilde{\mathfrak g}_1)\cdot v_Λ\subset L(Λ).$$ We find a combinatorial basis of $W(Λ)$ given in terms of difference and initial conditions. Linear independence of the generating set is proved inductively by using coefficients of intertwining operators. A basis of $L(Λ)$ is obtained as an ``inductive limit'' of the basis of $W(Λ)$.

연구 동기 및 목표

• Feigin-Stoyanovsky 유형 부분공간 $W(\backslash Lambda)$ 에 대해 $ackslash tilde{ackslash mathrm{sl}}(ackslash mathrm{ell}+1,ackslash mathbb extbackslash{C})$ 의 수준 1 표준 모듈러에 대한 단항식 기저를 구성하기 위해.
• 단항식에 대한 조합적 차이 조건과 초기 조건을 사용하여 기저를 특성화하기 위해.
• 상호연결 연산자의 계수를 통해 생성 집합의 선형 독립성을 증명하기 위해.
• 기저가 $W(\backslash Lambda)$ 에서 전체 표준 모듈러 $L(\backslash Lambda)$ 로의 귀납적 극한 구성에 의해 확장될 수 있음을 보여주기 위해.

제안 방법

• 기저는 특정 차이 조건과 초기 조건을 만족하는 $x(\pi)v_\backslash Lambda$ 의 선형 결합으로 구성되며, 여기서 $x(\pi)$ 는 $\gamma \in \Gamma$, $j \in \backslash mathbb extbackslash{N}$ 에 대해 $x_\gamma(-j)$ 의 곱이다.
• 차이 조건은 연속적인 인자 $x_{1s}(-j)x_{1s'}(-j')$ 에 대해 $j \geq j'+2$ 이거나 $j = j'+1$ 이고 $s < s'$ 를 만족해야 하며, 이는 비연속 또는 감소하는 인덱스 순서를 보장한다.
• 초기 조건은 $W(\Lambda_i)$ 를 생성하는 단항식에서 $x_{1i}(-1), \dots, x_{1\ell}(-1)$ 의 사용을 금지하여 가장 낮은 차수의 항을 제한한다.
• 주기적인 尾 꼬리 단항식 $x(\mu)$ 는 어떤 $C \in \backslash mathbb extbackslash{C}^\times$ 에 대해 $x(\mu)v_\backslash Lambda = C e(\omega)^{\backslash mathrm{ell}+1} v_\backslash Lambda$ 를 만족하도록 구성되며, 주기의 길이가 $f = \backslash mathrm{ell}+1$ 에 의해 나누어져야 한다.
• 기저의 선형 독립성은 모듈러 간의 상호연결 연산자의 계수를 분석함으로써 귀납적으로 확립된다.
• 전체 모듈러 $L(\backslash Lambda)$ 는 주기성과 尾 꼬리 $x(\mu)$ 의 변환 성질을 이용한 $W(\backslash Lambda)$ 의 기저들의 귀납적 극한으로 얻어진다.

실험 결과

연구 질문

• RQ1 Feigin-Stoyanovsky 유형 부분공간 $W(\Lambda)$ 에 대한 단항식 기저는 수준 1 $ackslash tilde{ackslash mathrm{sl}}(ackslash mathrm{ell}+1,ackslash mathbb extbackslash{C})$ 모듈러에서 어떤 조합적 조건으로 특성화될 수 있는가?
• RQ2 대표 이론적 도구를 사용하여 단항식 기저의 선형 독립성을 엄밀하게 어떻게 증명할 수 있는가?
• RQ3 주기적인 尾 꼬리 단항식 $x(\mu)$ 는 $W(\Lambda)$ 의 기저와 전체 모듈러 $L(\Lambda)$ 를 연결하는 데 어떤 역할을 하는가?
• RQ4 기저의 구조는 기본 무게 $\Lambda_i$ 와 등급 매개수 $m$ 의 선택에 따라 어떻게 달라지는가?
• RQ5 $W(\Lambda)$ 의 기저는 귀납적 극한 구성에 의해 $L(\Lambda)$ 의 기저로 확장될 수 있는가?

주요 결과

• 단항식 기저는 $\tilde{\mathfrak{g}}_1$ 생성자에 대한 단항식에 대한 차이 조건과 초기 조건을 사용하여 구성되며, 기저 원소는 허용 가능한 단항식 $x(\pi)$ 에 대해 $x(\pi)v_\Lambda$ 이다.
• 기저의 선형 독립성은 상호연결 연산자 간 계수들이 0이 아니라는 것을 보여, 선형 종속성이 없음을 증명한다.
• 주기적인 尾 꼬리 단항식 $x(\mu)$ 는 어떤 $C \in \mathbb{C}^\times$ 에 대해 $x(\mu)v_\Lambda = C e(\omega)^{\ell+1} v_\Lambda$ 를 만족하며, $f = \ell+1$ 는 변환의 주기이다.
• 단항식 $x(\pi)$ 가 $W(\Lambda_i)$ 에 대해 차이 조건과 초기 조건을 만족하는 것은 $x(\pi^{-\ell-1})x(\mu)$ 도 동일한 조건을 만족함을 의미하며, 이는 주기적 동치를 수립한다.
• 기저는 $W(\Lambda)$ 의 기저를 주기성에 기반한 귀납적 극한 구성으로 $L(\Lambda)$ 의 전체 표준 모듈러의 기저로 확장한다.
• 특수한 경우 $m=1$ 에서 조건은 $(1,\ell+1)$-허용 가능한 구성으로 줄어들며, [P1]과 [FJLMM]의 기존 결과를 복원한다.