[论文解读] 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(Λ)$.

研究动机与目标

• 将组合基的构造从基本模推广至 $\tilde{\mathfrak{sl}}(\ell+1,\mathbb{C})$ 的高阶标准模。
• 通过差分条件和初值条件，建立 Feigin-Stoyanovsky 类型子模 $W(\Lambda)$ 的组合基。
• 利用互现算子的系数，证明生成集的线性无关性。
• 将 $W(\Lambda)$ 表示为多项式代数模一个理想的商，推广早期关于基本模的结果。

提出的方法

• 使用基本权 $\omega = \omega_m$ 在 $\mathfrak{g} = \mathfrak{sl}(\ell+1,\mathbb{C})$ 上定义 $\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\}$，其参数化 $\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$ 为由 $x_\gamma(-n)$（$\gamma \in \Gamma$，$n \in \mathbb{Z}$）生成的交换子代数。
• 定义 $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]$。
• 引入理想 $J \subset \mathcal{A}$，其由 $U(\mathfrak{g}_0)$-作用于某些单项式的关系生成，包括涉及负指标的 $x_\theta(r)$ 以及 $\mathfrak{g}_{ij}$-子代数中的 $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 该基与全模 $L(\Lambda)$ 的基之间有何关系？

主要发现

• 通过差分条件和初值条件，构造了 $W(\Lambda)$ 的组合基，将早期关于基本模的结果推广至高阶模。
• 利用互现算子的系数，通过归纳法证明了生成集的线性无关性，扩展了 Capparelli-Lepowsky-Milas 的技术。
• 子模 $W(\Lambda)$ 同构于商 $\mathcal{A}/J$，其中 $\mathcal{A}$ 为多项式代数，$J$ 为由特定 $\mathfrak{g}_0$-不变关系生成的理想。
• 全模 $L(\Lambda)$ 的基通过 $W(\Lambda)$ 的基的归纳极限获得，从而将构造推广至全模。
• 该结果给出了 $W(\Lambda)$ 的特征标的费米子型公式，与 $\tilde{\mathfrak{sl}}(3,\mathbb{C})$ 中的早期工作一致，并与 Rogers-Ramanujan 型恒等式相关。