[論文レビュー] Branching rules for Hecke Algebras of Type $D_{n}$

Jun Hu|ArXiv.org|Dec 9, 2005

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

ひとこと要約

この論文は、$D_n$型のヘッケ代数に対する明示的な分岐規則を確立し、任意の既約表現を$D_{n-1}$型部分代数に制限したとき、型$B_n$ヘッケ代数からの既知の結果を活用することで、その分解が重複度自由であることを示している。主な貢献は、組合せ論的分岐パターンを用いて、このような制限のセイクル分解を完全に記述することにある。

ABSTRACT

In this paper we study the branching problems for Hecke algebra $\H(D_n)$ of type $D_n$. We explicitly describe the decompositions of the socle of the restriction of each irreducible $\H(D_n)$-representation to $\H(D_{n-1})$ into irreducible modules by using the corresponding results for type $B$ Hecke algebras. In particular, we show that any such restrictions are always multiplicity free.

研究の動機と目的

• ヘッケ代数$\mathcal{H}(D_n)$の既約表現を$\mathcal{H}(D_{n-1})$に制限したときの分解を特定すること。
• このような制限が常に重複度自由であることを確立し、型$B_n$ヘッケ代数からの既知の結果を一般化すること。
• $\mathcal{H}(B_n)$の構造を用いて、制限された表現のセイクルの明示的な組合せ論的記述を提供すること。
• 自己同型とラティス理論の利用を通じて、$D_n$型のワイル群およびヘッケ代数の表現理論の理解を拡張すること。

提案手法

• $\mathcal{H}(D_n)$を$\mathcal{H}(B_n)$の部分代数として埋め込む。生成元は$T_u = T_0T_1T_0$および$T_1, \dots, T_{n-1}$である。
• $\mathcal{H}(B_n)$の既知の分岐規則を適用し、特にスペクトモジュールおよびそのルート形式による商の分解を用いる。
• $\mathcal{H}(B_n)$上の対合$\sigma$を用い、$\mathcal{H}(D_n)$の表現と$\mathcal{H}(B_n)$の表現を関連付ける。
• 双対分岐順序を用いて、$\widetilde{S}^\lambda$およびその商$\widetilde{D}^\lambda$の構造を分析し、制限された表現のセイクルの分解を解析する。
• 離散値環上のラティス理論的技法を用い、$\widetilde{D}_{\mathcal{O}}^\lambda$が純粋な$\mathcal{O}$-部分加群であることを示し、$\mathfrak{p}$を法としての還元の整合性を保証する。
• グローテンディーク群における分解写像の比較に依拠し、$\sigma$-不変ラティスが還元下でも合成因子を保存することを用いる。

実験結果

リサーチクエスチョン

• RQ1 ヘッケ代数$\mathcal{H}(D_n)$の既約表現が$\mathcal{H}(D_{n-1})$に制限されたとき、どのように分解されるか？
• RQ2 ヘッケ代数$\mathcal{H}(D_n)$の既約$\mathcal{H}(D_{n-1})$-加群の制限は、常に重複度自由か？
• RQ3 $\mathcal{H}(D_n)$の分岐規則は、既知の$\mathcal{H}(B_n)$の分岐規則から導出可能か？
• RQ4 自己同型$\sigma$は、還元下での$\mathcal{H}(D_n)$-加群の構造を保存する役割を果たすか？
• RQ5 $\widetilde{D}^\lambda$の合成因子は、素イデアルを法として還元したときどのように振る舞い、これにより分岐規則にどのような意味が生じるか？

主な発見

• 任意の$\mathcal{H}(D_n)$-加群の制限が$\mathcal{H}(D_{n-1})$に重複度自由であることは、$\mathcal{H}(B_n)$の分岐規則との比較によって確立された。
• 既約$\mathcal{H}(D_n)$-加群の制限のセイクルは、重複因子のない既約$\mathcal{H}(D_{n-1})$-加群の直和に分解される。
• 分解のパターンは、$\mathcal{H}(D_n) \subset \mathcal{H}(B_n)$の埋め込みを用いて、$\mathcal{H}(B_n)$における対応する分岐に完全に依存する。
• $\mathcal{H}(B_n)$上の対合$\sigma$は$\mathcal{H}(D_n)$を不変に保ち、$\sigma$-不変ラティスの還元過程における整合性を保証する。
• $\mathcal{O}$-ラティス$\widetilde{D}_{\mathcal{O}}^\lambda$は$\widetilde{S}_{\mathcal{O}}^\lambda$の純粋な$\mathcal{O}$-部分加群であるため、直和成分であることが保証され、$\mathfrak{p}$を法としての還元が良好に振る舞う。
• $\widetilde{D}_F^{\operatorname{H}_F(\lambda)}$の合成因子は、$\widetilde{D}_{\mathcal{O}}^{\operatorname{H}_{\mathbb{C}}(\lambda)} \otimes_{\mathcal{O}} F$のそれと一致し、$\operatorname{H}_F(\lambda) = \operatorname{H}_{\mathbb{C}}(\lambda)$が確認された。