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

Goran Trupčević|ArXiv.org|2008. 10. 29.

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

한 줄 요약

이 논문은 차수 높은 표준 $\tilde{\mathfrak{sl}}(\ell+1,\mathbb{C})$-모듈의 Feigin-Stoyanovsky 유형 부분공간 $W(\Lambda)$에 대해 차수 조건과 초기 조건을 사용하여 조합론적 기저를 구성한다. 상호작용 연산자를 통해 선형 독립성을 증명하고, 다항식 대수의 아이디얼에 대한 몫으로서 $W(\Lambda)$의 표현을 확립함으로써, 유도한 기저가 $L(\Lambda)$의 단항식 기저와 동형임을 보인다.

ABSTRACT

Let $ ilde{\mathfrak g}$ be an affine Lie algebra of the type $A_\ell^{(1)}$. We find a combinatorial basis of Feigin-Stoyanovsky's type subspace $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(Λ)$.

연구 동기 및 목표

• 기본 모듈에서의 조합론적 기저 구성 기법을 $\tilde{\mathfrak{sl}}(\ell+1,\mathbb{C})$의 차수 높은 표준 모듈로 확장한다.
• 차수 조건과 초기 조건을 통해 Feigin-Stoyanovsky 유형 부분공간 $W(\Lambda)$의 조합론적 기저를 확립한다.
• 상호작용 연산자의 계수를 이용하여 생성 집합의 선형 독립성을 증명한다.
• $W(\Lambda)$를 다항식 대수의 아이디얼에 대한 몫으로서 표현함으로써, 이전 기본 모듈에 대한 결과를 일반화한다.

제안 방법

• $\mathfrak{g} = \mathfrak{sl}(\ell+1,\mathbb{C})$에 기본 무게 $\omega = \omega_m$를 사용하여 $\mathbb{Z}$-gradation을 정의함으로써, 분해 $\mathfrak{g} = \mathfrak{g}_{-1} \oplus \mathfrak{g}_0 \oplus \mathfrak{g}_1$를 얻는다.
• $\Gamma = \{\gamma_{ij} = \alpha_i + \cdots + \alpha_j \mid 1 \leq i \leq m, \, m \leq j \leq \ell\}$로 색상 집합을 식별하며, 이는 $\mathfrak{g}_1$의 루트 벡터를 매개변수화한다.
• 아핀 리 대수 $\tilde{\mathfrak{g}} = \mathfrak{g} \otimes \mathbb{C}[t,t^{-1}] \oplus \mathbb{C}c \oplus \mathbb{C}d$를 구성하고, $\tilde{\mathfrak{g}}_1$을 $\gamma \in \Gamma$, $n \in \mathbb{Z}$에 대해 $x_\gamma(-n)$으로 생성되는 교환 부분대수로 정의한다.
• $W(\Lambda) = U(\tilde{\mathfrak{g}}_1) \cdot v_\Lambda$로 정의하고, $v_\Lambda$에 작용하는 다항식 대수 $\mathcal{A} = \mathbb{C}[x_\gamma(-r) \mid r \in \mathbb{N}, \gamma \in \Gamma]$를 고려한다.
• 특정 단항식에 대한 $U(\mathfrak{g}_0)$-작용에서 유도된 관계로 생성되는 아이디얼 $J \subset \mathcal{A}$를 도입하며, 이는 $\mathfrak{g}_{ij}$-부분대수에 대한 $x_\theta(r)$의 음수 인덱스와 $x_\theta(-1)^{k_0 + \cdots + k_\ell}$ 형태의 항을 포함한다.
• $\varphi: \mathcal{A}/J \to W(\Lambda)$의 전사 사상으로서 $W(\Lambda) \cong \mathcal{A}/J$임을 증명하고, $\varphi$에 의한 기저의 상이 선형 독립임을 검증함으로써 단사성을 보인다.

실험 결과

연구 질문

• RQ1 어떻게 차수 높은 표준 $\tilde{\mathfrak{sl}}(\ell+1,\mathbb{C})$-모듈 내 Feigin-Stoyanovsky 유형 부분공간 $W(\Lambda)$에 대해 조합론적 기저를 구성할 수 있는가?
• RQ2 그러한 기저를 특징짓는 차수 조건과 초기 조건은 무엇인가?
• RQ3 차수 높은 경우에 생성 집합의 선형 독립성을 어떻게 확립할 수 있는가?
• RQ4 $W(\Lambda)$가 다항식 대수의 아이디얼에 대한 몫으로서 어떻게 표현될 수 있는가?
• RQ5 $W(\Lambda)$의 기저는 전체 모듈 $L(\Lambda)$의 기저와 어떻게 관련이 있는가?

주요 결과

• 차수 조건과 초기 조건을 사용하여 $W(\Lambda)$에 대한 조합론적 기저를 구성하였으며, 이는 이전 기본 모듈에 대한 결과를 차수 높은 모듈로 일반화한 것이다.
• Capparelli-Lepowsky-Milas의 기법을 확장하여 상호작용 연산자의 계수를 이용한 귀납적 방법으로 생성 집합의 선형 독립성을 증명하였다.
• $W(\Lambda)$는 다항식 대수 $\mathcal{A}$와 $\mathfrak{g}_0$-불변 관계로 생성되는 아이디얼 $J$에 대한 몫으로서 동형임을 보였다.
• $L(\Lambda)$의 기저는 $W(\Lambda)$의 기저의 귀납적 극한으로서 얻어지며, 이는 전체 모듈로의 구성 기법을 확장한 것이다.
• 결과적으로 $W(\Lambda)$의 특성함수에 대한 페르미온 공식을 제공하였으며, 이는 이전의 $\tilde{\mathfrak{sl}}(3,\mathbb{C})$ 연구와 일치하며 로저스-라마누잔 유형 항등식과 관련이 있다.