[論文レビュー] Harish-Chandra series in finite unitary groups and crystal graphs

Thomas Gerber, Gerhard Hiß+1 more|arXiv (Cornell University)|Aug 6, 2014

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

ひとこと要約

本稿は、有限ユニタリ群における単純モジュールのハリシュ＝チャンドラ系列と、量子群のフォック空間のクリスタルグラフ構造との間の仮説的関係を提案する。純レヴィ部分群を含むハリシュ＝チャンドラ理論の一般化と、弱カスピディアルモジュールの導入により、著者たちはクリスタル同型を介してモジュラー表現論と組合せ論を結びつける。その結果、分割における異なる$\varepsilon$-コアが、仮説のもとで異なる$\varepsilon$-ブロックに対応することを示し、Iwahori-Hecke代数と$\beta$-セットの操作による支援的証拠を得た。

ABSTRACT

The distribution of the unipotent modules (in non-defining prime characteristic) of the finite unitary groups into Harish-Chandra series is investigated. We formulate a series of conjectures relating this distribution with the crystal graph of an integrable module for a certain quantum group. Evidence for our conjectures is presented, as well as proofs for some of their consequences for the crystal graphs involved. In the course of our work we also generalize Harish-Chandra theory for some of the finite classical groups, and we introduce their Harish-Chandra branching graphs.

研究の動機と目的

• 有限ユニタリ群、シミレティック群、奇数次元直交群のハリシュ＝チャンドラ理論を、純レヴィ部分群に制限することで一般化すること。
• 弱カスピディアルモジュールを定義し、非定義的特徴においてユニポテンツモジュールの精密なハリシュ＝チャンドラ系列分解を確立すること。
• ユニポテンツモジュールの$\ell$-モジュラーハリシュ＝チャンドラ系列と、量子群の整形式モジュールのクリスタルグラフとの間の仮説的対応を提示すること。
• 自己準同型環と組合せ論的道具（$\beta$-セット、$e$-コア）を用いて、この仮説に対する証拠を提供すること。
• 仮説のもとで、分割における異なる$e$-コアが、分岐における単純部分モジュールの$\ell$-ブロックが異なることを示すこと。

提案手法

• ハリシュ＝チャンドラ理論を、二重辺に隣接する最初のノードを含むディンキン図の連結部分集合によって定義される純レヴィ部分群に制限することで一般化する。
• これらの純レヴィ部分群におけるカスピディアルモジュールとして弱カスピディアルモジュールを定義し、通常のハリシュ＝チャンドラ系列が弱ハリシュ＝チャンドラ系列の和集合であることを示す。
• ハリシュ＝チャンドラによって誘導された弱カスピディアルモジュールの自己準同型環が、タイプ$B$のIwahori-Hecke代数に同型であり、特定の条件下でパラメータが$\ell$を法として還元されることを証明する。
• ユニポテンツモジュールのハリシュ＝チャンドラ分岐グラフを構成し、誘導モジュールのサブモジュールの構成因子を記録する。これは、対称群のKleshchevの分岐規則に類似している。
• $\beta$-セットとKashiwara作用素による変換を用いてクリスタル同型をモデル化し、クリスタルグラフの構造と分割の$e$-コアとの関係を関連付ける。
• 正規クリスタル同型とチャージシフトを適用し、特に$\mathfrak{B}((-,-),\mathbf{d})$の文脈で、同じクリスタルグラフの異なる実現を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 純レヴィ部分群を用いて、ユニタリ群、シミレティック群、奇数次元直交群のような有限古典的群におけるハリシュ＝チャンドラ理論をどのように一般化できるか。
• RQ2 ユニポテンツモジュールの$\ell$-モジュラーハリシュ＝チャンドラ系列と、量子群のフォック空間のクリスタルグラフとの間の正確な関係は何か。
• RQ3 同じ$\ell$-モジュラー弱ハリシュ＝チャンドラ系列に属する2つのユニポテンツモジュールが、同じ2-コアを持つ条件は何か。
• RQ4 ユニポテンツモジュールをラベルづけた分割の$e$-コアは、誘導モジュールの分岐における$\ell$-ブロック所属関係とどのように関係するか。
• RQ5 $\beta$-セットとKashiwara作用素の組合せ論を用いて、異なる$e$-コアが単純部分モジュールの$\ell$-ブロックが異なることを証明できるか。

主な発見

• ハリシュ＝チャンドラによって誘導された弱カスピディアルモジュールの自己準同型環は、$\ell$-モジュラーのブロックに通常のカスピディアルモジュールが含まれる場合、パラメータが$\ell$を法として還元されるタイプ$B$のIwahori-Hecke代数に同型である。
• 予想5.4は、特徴$\ell$における同じ弱ハリシュ＝チャンドラ系列に属する2つのユニポテンツモジュールが、それに対応する分割が同じ2-コアを持つと予測している。これは通常のハリシュ＝チャンドラ系列を精緻化する。
• ユニポテンツモジュールのハリシュ＝チャンドラ分岐グラフは、誘導モジュールのサブモジュールの構成因子を記録しており、対称群のKleshchevの分岐規則を一般化する。
• $\ell$が十分に大きく、予想5.7が成り立つ限り、$R_{\mathrm{GU}_n(q)}^{\mathrm{GU}_{n+2}(q)}(X)$の非同型な単純部分モジュールは、それに対応する分割の$e$-コアが異なるため、異なる$\ell$-ブロックに属する。
• $B(\mu,\mathbf{c})$と$B((-,-),\mathbf{d})$間のクリスタル同型は、チャージシフトと$\beta$-セット変換を介して確立され、チャージ成分の差は$s + (1-e)/2$または$s + (1+e)/2$に一致する。
• 異なる$e$-コアが異なる$\ell$-ブロックをもたらすという命題の証明は、同じモジュールに異なるKashiwara作用素$\widetilde{f}_{j_1}$と$\widetilde{f}_{j_2}$を作用させたとき、$j_1 \not\equiv j_2 \pmod{e}$ならば、$e$-コア還元後に同じシンボルを得られないという事実に依拠している。