[論文レビュー] Combinatorial bases of Feigin-Stoyanovsky's type subspaces of higher-level standard $ ilde{\gsl}(\ell+1,\C)$-modules

Goran Trupčević|ArXiv.org|Oct 29, 2008

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(Λ)$.

研究の動機と目的

• 基本的加群から高レベルの標準的加群への組み合わせ的基底の構成を拡張すること。
• 差分条件および初期条件を用いて、Feigin-Stoyanovsky 型部分空間 $W(\Lambda)$ の組み合わせ的基底を確立すること。
• 相互作用作用素の係数を用いて、生成集合の線形独立性を証明すること。
• 多項式代数をイデアルで割った商として $W(\Lambda)$ を提示し、基本的加群に対する以前の結果を一般化すること。

提案手法

• $\mathfrak{g} = \mathfrak{sl}(\ell+1,\mathbb{C})$ に基本的重み $\omega = \omega_m$ を用いて $\mathbb{Z}$-順次構造を定義し、$\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\}$ を特定する。
• アフィンリー代数 $\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$ の商 $\mathcal{A}/J$ に同型であることが示された。
• $L(\Lambda)$ の基底は、$W(\Lambda)$ の基底の帰納的極限として得られ、全加群への構成が拡張された。
• この結果により、$W(\Lambda)$ の特徴関数に対するフェルミオン的公式が得られ、$\tilde{\mathfrak{sl}}(3,\mathbb{C})$ における以前の研究と整合的であり、Rogers-Ramanujan 型の恒等式とも関連している。