[论文解读] Essential Signatures and Monomial Bases for $B_n$ and $D_n$

A. A. Gornitskii|arXiv (Cornell University)|Nov 22, 2016

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

一句话总结

本文通过引入正根的特定编号方式以及对指数的非齐次单项式序，为李代数 $B_n$ 和 $D_n$ 的有限维不可约表示构造了 PBW 型单项式基。关键贡献在于通过线性不等式系统显式描述了本质签名的半群，该系统参数化基向量并定义了相应的多面体。

ABSTRACT

In the representation theory of simple Lie algebras, we consider the problem of constructing a monomial basis in an arbitrary irreducible finite-dimensional highest weight module. We construct a PBW-type basis in every finite-dimensional representation of $B_n$ and $D_n$ and we describe the associated semigroup of essential signatures. These bases are parameterized by integer points in some polytopes. We give the inequalities defining these polytopes.

研究动机与目标

• 为 $B_n$ 和 $D_n$ 的不可约有限维最高权模构造 PBW 型单项式基。
• 识别参数化此类基的实质签名半群。
• 提供显式不等式，定义整数点对应于单项式基中指数的多面体。
• 证明 $B_n$ 和 $D_n$ 的实质签名半群是饱和的，并由基本权与极小权生成。

提出的方法

• 将签名定义为元组 $(\lambda; p_1, \dots, p_N)$，其中 $\lambda$ 为极大权，$p_i \in \mathbb{Z}_{\geq 0}$，并关联向量 $v(\sigma) = \prod \frac{e_{-\alpha_i}^{p_i}}{p_i!} \cdot v_\lambda$。
• 引入两步签名序：首先按基本权系数 $k_i$ 的字典序比较总度，然后按指数元组的自定义单项式序。
• 对于 $D_n$，按块排序根：先 $\varepsilon_i + \varepsilon_j$，再 $\varepsilon_i - \varepsilon_j$，按 $j$ 递减、$i$ 递减排序，每一块内使用字典序比较。
• 对于 $B_n$，先比较 $\varepsilon_i$（短根）的指数，然后对长根 $\varepsilon_i \pm \varepsilon_j$（$i < j$）应用 $D_n$ 的规则，以 $\varepsilon_i$ 为主导根。
• 通过关于 $n$ 的归纳法证明本质签名集合构成一个饱和半群。
• 推导出以 $p_{i,j}^{\pm}$ 和 $s_i$（$B_n$ 中）表示的显式线性不等式，定义半群 $\Sigma_{D_n}$ 和 $\Sigma_{B_n}$ 的多面体。

实验结果

研究问题

• RQ1 $B_n$ 和 $D_n$ 表示的实质签名半群的结构是什么？
• RQ2 能否通过指数元组的非齐次单项式序，为 $B_n$ 和 $D_n$ 构造 PBW 型单项式基？
• RQ3 参数化 $V(\lambda)$ 中单项式基向量的多面体的定义不等式是什么？
• RQ4 根编号与单项式序的选择如何影响所得到的 PBW 型基，与 Lusztig 的构造相比有何不同？
• RQ5 实质签名半群是否饱和，并由基本权与特殊极小权的签名生成？

主要发现

• 半群 $\Sigma_{D_n}$ 由 $\{\omega_1, \dots, \omega_n, 2\omega_{n-1}, 2\omega_n, \omega_{n-1}+\omega_n\}$ 中最高权的签名生成，且为饱和半群。
• 半群 $\Sigma_{B_n}$ 由 $\{\omega_1, \dots, \omega_n, 2\omega_n\}$ 中最高权的签名生成，且为饱和半群。
• 对于 $D_n$，$\Sigma_{D_n}$ 的定义不等式由六类涉及 $p_{i,j}^{\pm}$ 和 $k_i$ 的线性不等式组成，对根指数之和有显式上界。
• 对于 $B_n$，定义不等式包含 $s_i$（$\varepsilon_i$ 的指数）并涉及 $p_{i,j}^{\pm}$，六类不等式包括形如 $s_i - s_{i+1} + \cdots \leq k_i$ 的项。
• 所构造的 PBW 型基与 Lusztig 的基不完全相同，因根编号方式不同，但对最长 Weyl 群元素的某些约化分解，二者一致。
• 由不等式定义的多面体为整数多面体，其整数点与 $V(\lambda)$ 中单项式基向量之间存在双射参数化。