[論文レビュー] Spherical affine cones in exceptional cases and related branching rules

Bruno Niemann|arXiv (Cornell University)|Nov 16, 2011

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

ひとこと要約

この論文は、例外型の複素単純連結単純代数群 $G$、$G$ の最大パラボリック部分群 $P$、および旗多様体 $G/P$ 上に球面的（spherical）に作用する最大再帰的部分群 $H \subset G$ からなるすべての三つ組 $(G, P, H)$ を分類する。双対完全可約表現 $V_{k\omega_i}^*$ の $H$ への制限に対する明示的な分岐則を導出し、球面的性が重複なし分岐に同値であることを示す。主な結果は、$G_2$、$F_4$、$E_6$、$E_7$、$E_8$ のすべての例外型群について、球面的作用とそれに対応する分岐則の完全な分類であり、$E_8$ では制限における重複のため球面的ケースが存在しない。

ABSTRACT

Given a complex simply connected simple algebraic group $G$ of exceptional type and a maximal parabolic subgroup $P \subset G$, we classify all triples $(G,P,H)$ such that $H \subset G$ is a maximal reductive subgroup acting spherically on $G/P$. In addition we derive branching rules for $ ext{res}^G_H (V^*_{kω_i})$, $k \in \N$, where $ω_i$ is the fundamental weight associated to $P$. This is the first of two parts of a project to classify all such triples and corresponding branching rules for all simply connected simple algebraic groups.

研究の動機と目的

• $G$ が例外型の単純連結単純代数群であり、$P \subset G$ が最大パラボリック部分群であり、$H \subset G$ が $G/P$ 上に球面的に作用する最大再帰的部分群であるようなすべての三つ組 $(G, P, H)$ を分類すること。
• 球面的ケースにおいて、$G$-モジュール $V_{k\omega_i}^*$ の $H$ への制限に対する明示的な分岐則を導出すること。
• 旗多様体 $G/P$ の $H$-作用による球面的性と、$G/P$ のアフィン錐 $\widehat{Y}$ の座標環の $H$-作用による重複なし分解との間の対応関係を確立すること。
• すべての単純連結単純代数群にわたる同種の球面的三つ組およびその分岐則を分類する二段階プロジェクトの第一段階を完了すること。

提案手法

• 球面的多様体の理論を用いる：$G$-多様体 $G/P$ が $H$-球面的であることは、座標環 $\mathbb{C}[\widehat{Y}]$ が $G$-モジュールとして重複なしであることと同値である。
• 旗多様体 $G/P$ のアフィン錐 $\widehat{Y}$ を扱い、その同次成分が $V_{k\omega_i}^*$ に同型であり、それらを $H$ に制限して解析する。
• 根系および重み空間の技法を用いて、LiE ソフトウェアを用いて特徴関数および重複度の計算により、$\text{res}^G_H(V_{k\omega_i}^*)$ の構造を計算する。
• $H$ のボレル部分群と旗多様体 $G/P$ の次元を比較することで、非球面的ケースを除外する。
• $H$ のボレル部分群による唯一の開軌道の存在を分析することで、球面的性を検証する。これは、ネイルラジカル内での $U_H$-軌道閉包の次元を調べることで行う。
• $E_7$ の場合、ネイルラジカル $\mathfrak{n}$ 内に最高重量ベクトル $X$ を明示的に構成し、$\dim[U_H, X] = 16 = \dim N$ を満たすことで、球面的性を確認する。

実験結果

リサーチクエスチョン

• RQ1 例外型の $G$ および最大パラボリック部分群 $P$ に対して、$G$ の最大再帰的部分群 $H \subset G$ のうち、旗多様体 $G/P$ 上に球面的に作用するのはどれか？
• RQ2 どの三つ組 $(G, P, H)$ に対して $\text{res}^G_H(V_{k\omega_i}^*)$ が重複なしであり、その明示的な分岐則は何か？
• RQ3 $G/P$ の $H$-作用による球面的性は、$G$ および $H$ の表現論の観点からどのように特徴づけられるか？
• RQ4 $E_8$ は、いかなる最大再帰的部分群 $H$ に対しても、$G/P$ 上に球面的 $H$-多様体をもたないのはなぜか？
• RQ5 $H = D_5 \times \mathbb{C}^* \subset E_6$ および $H = E_6 \times \mathbb{C}^* \subset E_7$ の場合、$\mathbb{C}^*$-因子は分岐則にどのような役割を果たすか？

主な発見

• $G_2$ に対して、最大再帰的部分群 $A_2 \subset G_2$ は $G/P_1$ および $G/P_2$ 上に球面的に作用し、分岐則は $\text{res}^{G_2}_{A_2}(V_{k\omega_1}^*) = \bigoplus_{a_1+a_2 \leq k} V_{a_1\lambda_1 + a_2\lambda_2}$ および $\text{res}^{G_2}_{A_2}(V_{k\omega_2}^*) = \bigoplus_{a_1+a_2+a_3=k} V_{(a_1+a_3)\lambda_1 + (a_2+a_3)\lambda_2}$ である。
• $F_4$ に対して、部分群 $B_4 \subset F_4$ は $G/P_1$、$G/P_2$、$G/P_3$、$G/P_4$ 上に球面的である。明示的な分岐則は、$k$ の分割に係数をとった $B_4$ の基本重みに関する和を含む。
• $E_6$ に対して、部分群 $A_5 \times A_1 \subset E_6$ は $G/P_1$ 上に球面的に作用し、$\text{res}^{E_6}_{A_5 \times A_1}(V_{k\omega_1}^*) = \bigoplus_{a_1 + 2a_2 + a_3 = k} V_{a_1\lambda_2 + a_2\lambda_4 + a_3\lambda_5} \otimes V_{a_1\lambda_6}$ である。
• $E_7$ に対して、部分群 $D_6 \times A_1 \subset E_7$ は $G/P_7$ 上に球面的に作用し、$\text{res}^{E_7}_{D_6 \times A_1}(V_{k\omega_7}^*) = \bigoplus_{a_1 + 2a_2 + a_3 = k} V_{a_1\lambda_1 + a_2\lambda_2 + a_3\lambda_6} \otimes V_{a_1\lambda_7}$ である。
• $E_8$ に対しては、いかなる最大再帰的部分群 $H$ に対しても、$G/P_i$ 上に球面的 $H$-作用は存在しない。これは、$H = E_7 \times A_1$ および $H = D_8$ の場合に $\text{res}^{E_8}_{H}(V_{k\omega_8}^*)$ に重複が生じるためであり、分解に $2(V_{1\lambda_1 + 2\lambda_7} \otimes V_{2\lambda_8})$ および $2V_{\lambda_8}$ が現れる。
• $G/P$ の球面的性は、$\mathbb{C}[\widehat{Y}]$ の $H$ への制限が重複なしであることと同値であり、この条件は分岐則が重複なしであるための必要十分条件である。