[论文解读] 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|Jul 22, 2008

Algebraic structures and combinatorial models参考文献 13被引用 4

一句话总结

本文利用差分条件和初值条件，为 $\tilde{\mathfrak{sl}}(\ell+1,\mathbb{C})$ 的 1 级标准模的 Feigin-Stoyanovsky 型子空间 $W(\Lambda)$ 构造了一个组合性单项式基。通过互变算子的系数证明了线性无关性，并表明一个周期性尾部单项式 $x(\mu)$ 满足 $x(\mu)v_\Lambda = C e(\omega)^{\ell+1} v_\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(Λ)$.

研究动机与目标

• 为 $\tilde{\mathfrak{sl}}(\ell+1,\mathbb{C})$ 的 1 级标准模的 Feigin-Stoyanovsky 型子空间 $W(\Lambda)$ 构造一个单项式基。
• 通过 $\tilde{\mathfrak{g}}_1$ 生成元中单项式的组合性差分和初值条件来刻画该基。
• 通过互变算子的系数证明生成集的线性无关性。
• 证明 $W(\Lambda)$ 的基可通过归纳极限构造扩展为全标准模 $L(\Lambda)$ 的基。

提出的方法

• 基被构造为满足特定差分和初值条件的单项式 $x(\pi)v_\Lambda$ 的张量，其中 $x(\pi)$ 是 $x_\gamma(-j)$（$\gamma \in \Gamma$，$j \in \mathbb{N}$）的乘积。
• 差分条件要求：对于连续因子 $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 \mathbb{C}^\times$，有 $x(\mu)v_\Lambda = C e(\omega)^{\ell+1} v_\Lambda$，且周期被 $f = \ell+1$ 整除。
• 通过分析模之间互变算子的系数，以归纳法证明基的线性无关性。
• 全模 $L(\Lambda)$ 通过 $W(\Lambda)$ 的基的归纳极限构造得到，利用了尾部 $x(\mu)$ 的周期性和变换性质。

实验结果

研究问题

• RQ1 在 $\tilde{\mathfrak{sl}}(\ell+1,\mathbb{C})$ 的 1 级模中，Feigin-Stoyanovsky 型子空间 $W(\Lambda)$ 的单项式基由哪些组合性条件刻画？
• RQ2 如何利用表示论工具严格证明单项式基的线性无关性？
• RQ3 周期性尾部单项式 $x(\mu)$ 在连接 $W(\Lambda)$ 的基与全模 $L(\Lambda)$ 之间起到什么作用？
• RQ4 该基的结构如何依赖于基本权 $\Lambda_i$ 和分次参数 $m$ 的选择？
• RQ5 能否通过归纳极限构造将 $W(\Lambda)$ 的基扩展为 $L(\Lambda)$ 的基？

主要发现

• 通过 $\tilde{\mathfrak{g}}_1$ 生成元中单项式的差分和初值条件，构造了 $W(\Lambda)$ 的单项式基，基元素为满足可接受性的单项式 $x(\pi)$ 的 $x(\pi)v_\Lambda$。
• 通过证明模之间互变算子的系数非零，从而证明了基的线性无关性，确保无线性依赖。
• 周期性尾部单项式 $x(\mu)$ 满足 $x(\mu)v_\Lambda = C e(\omega)^{\ell+1} v_\Lambda$，其中 $C \in \mathbb{C}^\times$，且 $f = \ell+1$ 为变换的周期。
• 当且仅当 $x(\pi^{-\ell-1})x(\mu)$ 也满足这些条件时，单项式 $x(\pi)$ 才满足 $W(\Lambda_i)$ 上的差分和初值条件，从而建立了周期等价性。
• 通过利用尾部 $x(\mu)$ 的周期性，采用归纳极限构造，将 $W(\Lambda)$ 的基扩展为全标准模 $L(\Lambda)$ 的基。
• 在特殊情形 $m=1$ 时，条件退化为 $(1,\ell+1)$-可接受配置，恢复了 [P1] 和 [FJLMM] 中已知的结果。