[论文解读] Cross-section Lattices of ${\mathcal J}$-irreducible Monoids and Orbit Structures of Weight Polytopes

Zhuo Li, You’an Cao+1 more|arXiv (Cornell University)|Nov 22, 2014

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

一句话总结

本文提供了关于在 Weyl 群作用下，权重多面体非空面的轨道与包含扩展节点 $\{-\lambda\}$ 的扩展 Dynkin 图的连通子图之间双射关系的新的李理论证明。它证明了所有权重多面体的非空面均为抛物型，由根张成，并通过这些面的轨道结构刻画了 $\mathcal{J}$-不可约幺半群的截面格。

ABSTRACT

Let $λ$ be a dominant weight of a finite dimensional simple Lie algebra and $W$ the Weyl group. The convex hull of $Wλ$ is defined as the weight polytope of $λ$. We provide a new proof that there is a natural bijection between the set of orbits of the nonempty faces of the weight polytope under the action of the Weyl group and the set of the connected subdiagrams of the extended Dynkin diagram that contain the extended node $\{-λ\}$. We show that each face of the polytope can be transformed to a standard parabolic face. We also show that a standard parabolic face is the convex hull of the orbit of a parabolic subgroup of $W$ acting on the dominant weight. In addition, we find that the linear space spanned by a face is in fact spanned by roots.

研究动机与目标

• 使用李代数技巧重新陈述并重新证明关于 $\mathcal{J}$-不可约幺半群截面格的关键结果，以增强可及性。
• 建立在 Weyl 群作用下，权重多面体非空面的轨道与包含 $\{-\lambda\}$ 的扩展 Dynkin 图的连通子图之间的自然双射。
• 证明权重多面体的每个非空面均为抛物型，且其线性张成空间由根生成。
• 通过标准抛物面的稳定子及其类型，用组合方式表征权重多面体的 $f$-多项式。
• 通过权重多面体面的轨道结构，提供 $\mathcal{J}$-不可约幺半群截面格的组合描述。

提出的方法

• 使用权重多面体 $\mathbb{P} = \text{conv}(W\lambda)$，即主导权 $\lambda$ 的 Weyl 群轨道的凸包。
• 通过添加一个节点 $\{-\lambda\}$ 来构造扩展 Dynkin 图，若 $(\lambda, \alpha_i) > 0$，则该节点与 $\alpha_i$ 相连。
• 利用根系性质和 Weyl 群的不变性，证明任意面 $F$ 的线性张成空间 $E_F$ 由根生成。
• 通过面维数的归纳法，借助 Weyl 群作用和支撑超平面，证明所有非空面均为抛物型。
• 识别标准抛物面的稳定子为 $W_{I^*}$，其中 $I^*$ 通过将 $I$ 扩展以包含所有与 $I$ 正交且属于 $\lambda$ 的类型 $J$ 的根而得到。
• 通过轨道计数计算 $f$-多项式：$\sum_{I \in \mathcal{I}} \frac{|W|}{|W_{I^*}|} t^{|I|}$，其中 $\mathcal{I}$ 索引包含 $\{-\lambda\}$ 的连通子图。

实验结果

研究问题

• RQ1 在 Weyl 群作用下，权重多面体 $\mathbb{P} = \text{conv}(W\lambda)$ 的非空面的轨道与包含扩展节点 $\{-\lambda\}$ 的扩展 Dynkin 图的连通子图之间是否存在自然双射？
• RQ2 能否使用李理论方法证明权重多面体的每个非空面均为抛物型？
• RQ3 权重多面体的任意面的线性张成空间是否由根系的根生成？
• RQ4 如何用 Weyl 群轨道和稳定子的组合方式表达权重多面体的 $f$-多项式？
• RQ5 主导权 $\lambda$ 的类型 $J$ 与相关 $\mathcal{J}$-不可约幺半群的截面格结构之间的确切关系是什么？

主要发现

• 在 Weyl 群作用下，权重多面体 $\mathbb{P}$ 的非空面的轨道与包含扩展节点 $\{-\lambda\}$ 的扩展 Dynkin 图的连通子图之间存在自然双射。
• 权重多面体的每个非空面均为抛物型，即它是 Weyl 群的抛物子群作用于主导权时的轨道的凸包。
• 任意面 $F$ 的线性张成空间由根系 $\Phi$ 的根生成，如 $E_F = \text{Span}\{\mu - \nu \mid \mu, \nu \in F\}$ 所示，该空间为根空间。
• 权重多面体的 $f$-多项式为 $\sum_{I \in \mathcal{I}} \frac{|W|}{|W_{I^*}|} t^{|I|}$，其中 $\mathcal{I}$ 是满足 $\Gamma(\Pi_I \cup \{-\lambda\})$ 连通的子集 $I \subseteq \{1,\dots,n\}$ 的集合，且 $I^* = I \cup \{j \in J \mid (\alpha_j, \alpha_i) = 0 \text{ 对所有 } i \in I\}$。
• $\mathcal{J}$-不可约幺半群 $M(\lambda)$ 的截面格同构于在 Weyl 群作用下，权重多面体 $\mathbb{P}$ 的非空面的轨道格。
• 当 $\lambda$ 为最高根时，该结果退化为根多面体情形，恢复了文献 [3, 定理 5.9] 中建立的根多面体双射关系。