[論文レビュー] 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\}$ を含むものとの間の自然な全単射を、Lie理論的アプローチで再証明する。すべての非空な面が放物的であり、根によって張られることを示し、$\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.

研究の動機と目的

• Lie代数的手法を用いて、$\mathcal{J}$-非可約モノイドの断面格子に関する重要な結果を再記述・再証明し、より広範なアクセスを可能にすること。
• Weyl群作用による重みポリトープの非空な面の軌道と、$\{-\lambda\}$ を含む拡張ダイキン図の連結部分図との間の自然な全単射を確立すること。
• すべての重みポリトープの非空な面が放物的であり、その線形包が根によって生成されることを証明すること。
• 標準的放物的面の安定化部分群とその型を用いて、重みポリトープの $f$-多項式を特徴づけること。
• 重みポリトープの面の軌道構造を通じて、$\mathcal{J}$-非可約モノイドの断面格子を組合せ論的に記述すること。

提案手法

• 支配的重み $\lambda$ のWeyl群軌道の凸包である重みポリトープ $\mathbb{P} = \text{conv}(W\lambda)$ の使用。
• $\{-\lambda\}$ というノードを追加し、$(\lambda, \alpha_i) > 0$ であれば $\alpha_i$ に接続する、拡張ダイキン図の適用。
• 根系の性質とWeyl群の不変性を用いて、任意の面 $F$ の線形包 $E_F$ が根によって生成されることの証明。
• 面の次元に関する帰納的議論により、Weyl群作用と支援超平面を用いて、すべての非空な面が放物的であることを示す。
• 標準的放物的面の安定化部分群を $W_{I^*}$ として特定し、ここで $I^*$ は $I$ に $I$ と直交する根および $\lambda$ の型 $J$ に属する $j$ を加えて得られる。
• $f$-多項式の計算は軌道数え上げを用い、$\sum_{I \in \mathcal{I}} \frac{|W|}{|W_{I^*}|} t^{|I|}$ と表される。ここで $\mathcal{I}$ は $\Gamma(\Pi_I \cup \{-\lambda\})$ が連結であるような $I \subseteq \{1,\dots,n\}$ の集合を表す。

実験結果

リサーチクエスチョン

• RQ1 Weyl群作用による重みポリトープ $\mathbb{P} = \text{conv}(W\lambda)$ の非空な面の軌道と、拡張ダイキン図の $\{-\lambda\}$ を含む連結部分図との間に自然な全単射が存在するか？
• RQ2 Lie理論的手法を用いて、重みポリトープの任意の非空な面が放物的であることを示せるか？
• RQ3 重みポリトープの任意の面の線形包が、根系の根によって生成されるか？
• RQ4 Weyl群の軌道と安定化部分群を用いて、重みポリトープの $f$-多項式を組合せ論的にどのように表現できるか？
• RQ5 支配的重み $\lambda$ の型 $J$ と、関連する $\mathcal{J}$-非可約モノイドの断面格子の構造との正確な関係は何か？

主な発見

• Weyl群作用による重みポリトープ $\mathbb{P}$ の非空な面の軌道と、拡張ダイキン図の $\{-\lambda\}$ を含む連結部分図との間には自然な全単射が存在する。
• 重みポリトープのすべての非空な面は放物的であり、これは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{ for all } i \in I\}$ である。
• $\mathcal{J}$-非可約モノイド $M(\lambda)$ の断面格子は、重みポリトープ $\mathbb{P}$ の非空な面のWeyl群作用による軌道の格子と同型である。
• $\lambda$ が最高根である場合、この結果は根ポリトープのケースに特殊化され、[3, 定理5.9]で確立された根ポリトープの全単射を回復する。