[论文解读] PBW filtration: Feigin-Fourier-Littelmann modules via Hasse diagrams

Teodor Backhaus, Christian Desczyk|arXiv (Cornell University)|Jul 28, 2014

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

一句话总结

本文通过正根的Hasse图，为单复有限维李代数中矩形权 $\lambda = m\omega_i$ 的 PBW-graded 模 $V(\lambda)^a$ 提供了一种新的组合描述。证明了其对应的分次模是 Feigin-Fourier-Littelmann (FFL) 模，通过显式描述了零化子理想 $I(\lambda)$ 并构造了由一个正规多面体的整数点参数化的单项式基，从而解决了该类权在 PBW 裂化理论中的两个关键问题。

ABSTRACT

We study the PBW filtration on the irreducible highest weight representations of simple complex finite-dimensional Lie algebras. This filtration is induced by the standard degree filtration on the universal enveloping algebra. For certain rectangular weights we provide a new description of the associated graded module in terms of generators and relations. We also construct a basis parametrized by the integer points of a normal polytope. The main tool we use is the Hasse diagram defined via the standard partial order on the positive roots. As an application we conclude that all representations considered in this paper are Feigin-Fourier-Littelmann modules.

研究动机与目标

• 为 PBW-分次模 $V(\lambda)^a$ 在 $S(\mathfrak{n}^-)$ 上的零化子理想 $I(\lambda)$ 提供显式描述。
• 构造一个由正规多面体整数点参数化的 $V(\lambda)^a$ 的单项式基。
• 证明对于矩形权 $\lambda = m\omega_i$，有 $V(\lambda)^a$ 是 Feigin-Fourier-Littelmann (FFL) 模。
• 将 FFL 基构造推广至此前未知的情形，包括 $\mathfrak{so}_9$、$\mathfrak{so}_{10}$、$\mathfrak{e}_6$、$\mathfrak{e}_7$、$\mathfrak{f}_4$ 和 $\mathfrak{g}_2$。
• 证明对应的退化旗簇是正规且 Cohen-Macaulay 的，并且多面体为 Newton-Okounkov 体。

提出的方法

• 使用正根的标准偏序的 Hasse 图作为核心组合工具，以编码李代数根系的结构。
• 通过 Hasse 图中的有向路径定义一个正规多面体 $P(\lambda) \subset \mathbb{R}^N_{\geq 0}$，其整数点参数化 $V(\lambda)^a$ 的一个基。
• 显式描述零化子理想 $I(\lambda)$ 为 $S(\mathfrak{n}^-) \left( U(\mathfrak{n}^+) \circ \mathrm{span}\{ f_\beta^{\langle \lambda, \beta^\vee \rangle + 1} \mid \beta \in \Delta_+ \} \right)$，将表示论与单项式理想联系起来。
• 该方法适用于矩形权 $\lambda = m\omega_i$，其中 $\omega_i$ 出现在表1的同一行，包括类型 $A_n$、$B_n$、$C_n$、$D_n$、$E_6$、$E_7$、$F_4$、$G_2$。
• 对于 $B_n$、$F_4$ 和 $G_2$ 等某些类型，Hasse 图被稍作修改，以满足构造所需的组合条件。
• 通过 LattE 等计算工具验证构造，用于多面体枚举与格点计数。

实验结果

研究问题

• RQ1 能否为矩形权 $\lambda = m\omega_i$ 的 PBW-分次模 $V(\lambda)^a$ 在 $S(\mathfrak{n}^-)$ 上显式描述其零化子理想 $I(\lambda)$？
• RQ2 是否存在一个由正规多面体整数点参数化的 $V(\lambda)^a$ 的组合单项式基？
• RQ3 对于哪些基本权 $\omega_i$，有 $V(m\omega_i)^a$ 是 Feigin-Fourier-Littelmann 模？
• RQ4 正根的 Hasse 图如何编码 PBW-分次模及其基的结构？
• RQ5 所构造的多面体与 Newton-Okounkov 体或其他已知多面体（如 Gelfand-Tsetlin 多面体）之间有何关系？

主要发现

• PBW-分次模 $V(\lambda)^a$ 的零化子理想 $I(\lambda)$ 显式给出为 $S(\mathfrak{n}^-) \left( U(\mathfrak{n}^+) \circ \mathrm{span}\{ f_\beta^{\langle \lambda, \beta^\vee \rangle + 1} \mid \beta \in \Delta_+ \} \right)$，为分次模中的关系提供了完整的代数描述。
• 构造了一个 $V(\lambda)^a$ 的单项式基，并由正规多面体 $P(m\omega_i)$ 的整数点参数化，该多面体为 $P(\omega_i)$ 的 $m$-重 Minkowski 和。
• 表1中所有 $\omega_i$ 对应的表示 $V(m\omega_i)^a$ 均为 Feigin-Fourier-Littelmann 模，即其基由正规多面体的整数点参数化。
• 所构造的多面体为 Newton-Okounkov 体，对应的退化旗簇为正规且 Cohen-Macaulay。
• 对于 $\mathfrak{sl}_5$，$P(\omega_1) + P(\omega_2) + P(\omega_3) + P(\omega_4)$ 的 Minkowski 和中整数点数为 1023，而 $\dim V(\omega_1 + \omega_2 + \omega_3 + \omega_4) = 1024$，表明 Minkowski 和并不总能捕捉完整维数，凸显了矩形权情形的特异性。
• 对 $\mathfrak{so}_9$、$\mathfrak{so}_{10}$、$\mathfrak{e}_6$、$\mathfrak{e}_7$、$\mathfrak{f}_4$ 和 $\mathfrak{g}_2$ 的多面体通过线性不等式组显式描述，其中 $\mathfrak{so}_9$ 的 $P(m\omega_4)$ 有 16 个变量和 11 个不等式，$\mathfrak{e}_7$ 的 $P(m\omega_7)$ 有 27 个变量和 12 个不等式。