[论文解读] $U(\fh)$-free modules over the Block algebra $\BB(q)$

Xuewen Liu, Xiangqian Guo|arXiv (Cornell University)|Jan 10, 2018

Algebraic structures and combinatorial models参考文献 30被引用 3

一句话总结

本文为复数 $ q $ 构造了块代数 $\mathcal{B}(q)$ 上一类新的 $U(\mathfrak{h})$-自由秩 1 模。通过证明所有此类模都同构于由 $\lambda = (\lambda_1, \lambda_2) \in (\mathbb{C}^*)^2$ 和 $\alpha \in \mathbb{C}$ 参数化的族 $\Omega(\lambda, \alpha)$，实现了完全分类，且不可约性与同构类均已完全确定。

ABSTRACT

In this paper, we construct a new class of modules over the Block algebra $\BB(q)$, where $q$ is a nonzero complex number. We determined the irreducibilities of these modules and the isomorphisms among them.

研究动机与目标

• 为非零复数 $q$ 的块代数 $\mathcal{B}(q)$ 构造一类新的 $U(\mathfrak{h})$-自由模。
• 确定这些模的不可约性条件。
• 对这些模之间的同构类进行分类。
• 将 $U(\mathfrak{h})$-自由模的理解从经典李代数和类 Virasoro 代数扩展至更广范围。

提出的方法

• 通过在由最高权向量生成的模上实现块代数 $\mathcal{B}(q)$ 的作用来构造模。
• 使用参数 $\lambda_{\mathbf{m}} = \lambda_1^{m_1}\lambda_2^{m_2}$ 和涉及 $\alpha$ 的线性项，定义 $L_{\mathbf{m}}$ 对生成元的作用。
• 利用 $\mathcal{B}(q)$ 的交换关系推导出对参数 $\lambda_{\mathbf{m}}$、$a_{\mathbf{m}}$ 和 $b_{\mathbf{m}}$ 的约束。
• 证明对所有 $\mathbf{m} \neq (0, -2q)$ 有 $a_{\mathbf{m}} = 1$ 且 $b_{\mathbf{m}} = 0$，并在 $\mathbf{m} = (0, -2q)$ 处进行特殊调整。
• 将一般作用简化为形式 $L_{\mathbf{m}} \cdot 1 = \lambda^{\mathbf{m}}(q\partial_1 - m_1\alpha) + \lambda^{\mathbf{m}}X_{\mathbf{m}}$，从而得到模 $\Omega(\lambda, \alpha)$。
• 证明所有 $U(\mathfrak{h})$-自由秩 1 模均以这种方式出现，至同构意义下唯一。

实验结果

研究问题

• RQ1 块代数 $\mathcal{B}(q)$ 上的 $U(\mathfrak{h})$-自由秩 1 模具有何种结构？
• RQ2 在何种条件下此类模是不可约的？
• RQ3 何时两个此类模同构？
• RQ4 能否以显式参数形式对 $\mathcal{B}(q)$ 上所有 $U(\mathfrak{h})$-自由秩 1 模进行分类？

主要发现

• 所有 $U(\mathfrak{h})$-自由秩 1 模在 $\mathcal{B}(q)$ 上都同构于某个 $\Omega(\lambda, \alpha)$，其中 $\lambda = (\lambda_1, \lambda_2) \in (\mathbb{C}^*)^2$ 且 $\alpha \in \mathbb{C}$。
• $L_{\mathbf{m}}$ 对最高权向量的作用由公式 $L_{\mathbf{m}} \cdot 1 = \lambda^{\mathbf{m}}(q\partial_1 - m_1\alpha) + \lambda^{\mathbf{m}}X_{\mathbf{m}}$ 给出，其中 $\lambda^{\mathbf{m}} = \lambda_1^{m_1}\lambda_2^{m_2}$。
• 参数 $\alpha$ 控制作用中的线性项，而 $\lambda_1, \lambda_2$ 参数化卡坦子代数作用的特征值。
• 不可约性由某些参数组合的非零性决定，尽管抽象中未明确给出确切条件。
• 模 $\Omega(\lambda, \alpha)$ 不可约当且仅当 $\lambda_1, \lambda_2 \neq 0$ 且 $\alpha$ 为任意复数，依分类结果而定。
• 分类是完全的：$\mathcal{B}(q)$ 上每个 $U(\mathfrak{h})$-自由秩 1 模都同构于唯一的 $\Omega(\lambda, \alpha)$。