[論文レビュー] Unipotent Hecke algebras of GL_n(F_q)

Nathaniel Thiem|ArXiv.org|Feb 24, 2004

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

ひとこと要約

本稿は、$\mathrm{GL}_n(\mathbb{F}_q)$ のユニポテンツ・ヘッケ代数 $χ_{\mu} = \mathrm{End}_G(\mathrm{Ind}_U^G(\psi_\mu))$ を導入する。ここで $U$ はユニポテンツな上三角部分群であり、$\psi_\mu$ は線形特徴である。行列式の係数がモニック多項式である組み合わせ的基底を構成し、二重コセット基底とペアの表に類似した一般化されたRSK対応を確立し、より小さなユニポテンツ・ヘッケ代数のテンソル積に同型な大きな可換部分代数を特定することで、モジュールの重み空間分解を可能にする。

ABSTRACT

This paper describes a family of Hecke algebras H_μ=End_G(Ind_U^G(ψ_μ)), where U is the subgroup of unipotent upper-triangular matrices of G=GL_n(F_q) and ψ_μis a linear character of U. The main results combinatorially index a basis of H_μ, provide a large commutative subalgebra of H_μ, and after describing the combinatorics associated with the representation theory of H_μ, generalize the RSK correspondence that is typically found in the representation theory of the symmetric group.

研究の動機と目的

• $G = \mathrm{GL}_n(\mathbb{F}_q)$ に対して、ユニポテンツ・ヘッケ代数 $\mathcal{H}_\mu = \mathrm{End}_G(\mathrm{Ind}_U^G(\psi_\mu))$ の構造と表現論を研究すること。ここで $U$ はユニポテンツ根であり、$\psi_\mu$ は線形特徴である。
• $\ell \times \ell$ 行列の組み合わせ的基底を構成し、その係数がモニック多項式で、定数項が非ゼロであり、各行および各列の次数の合計が $\mu$ に等しいものとする。
• 二重コセット基底と、可約な $\mathcal{H}_\mu$-モジュールを添え字づけるペアの表に類似した一般化された古典的RSK対応を確立すること。
• $\mathcal{L}_\mu \cong \mathcal{H}_{(\mu_1)} \otimes \cdots \otimes \mathcal{H}_{(\mu_\ell)}$ であるような大きな可換部分代数 $\mathcal{L}_\mu$ を構成し、それに対応する $\mathcal{H}_\mu$-モジュールの重み空間分解を記述すること。

提案手法

• $\mathcal{H}_\mu$ の標準的な二重コセット基底 $\{T_v : v \in N_\mu\}$ を、二重コセット $U \backslash G / U$ を用いて構成する。
• $N_\mu$ と、$\mathbb{F}_q[X]$ のモニック多項式係数をもつ $\ell \times \ell$ 行列の集合 $M_\mu$ の間の全単射を確立する。ここで、各 $a_{ij}(0) \neq 0$ であり、各行および各列の次数の合計が $\mu$ に等しい。
• $N_\mu$ と、同じ形状 $\lambda$ の列厳密表 $P,Q$ のペアの間の組み合わせ的全単射として一般化されたRSK対応を実現する。ここで $\lambda$ は可約な $\mathcal{H}_\mu$-モジュールを添え字づける。
• $\mathcal{L}_\mu$ を $e_\mu P_\mu e_\mu$ として構成し、ユニポテンツ・ヘッケ代数 $\mathcal{H}_{(\mu_i)}$ のテンソル積に同型であることを示す。ここで、補完的単位元と群代数射影を用いる。
• $\mathcal{H}_\mu$-モジュールの重み空間分解を、$\gamma$-重み空間 $V_\gamma = \{v \in V : yv = \gamma(y)v \text{ for all } y \in \mathcal{L}_\mu\}$ を用いて定義する。次に、誘導表現とピエリの法則を用いて次元を計算する。
• 表現論的恒等式 $\dim(\mathcal{H}_\mu) = \sum_{\lambda \in \hat{\mathcal{H}}_\mu} \dim(\mathcal{H}_\mu^\lambda)^2$ を、RSK型対応を通じて組み合わせ的に実現する。

実験結果

リサーチクエスチョン

• RQ1 $\mathrm{GL}_n(\mathbb{F}_q)$ に関連するユニポテンツ・ヘッケ代数 $\mathcal{H}_\mu$ の組み合わせ的基底をどのように構成できるか？
• RQ2 古典的RSK対応は、$\mathcal{H}_\mu$ の可約モジュールへの分解を記述するために一般化可能か？
• RQ3 $\mathcal{H}_\mu$ 内に存在する大きな可換部分代数の構造は何か？ そして、そのモジュールの重み空間分解を支援する仕組みは？
• RQ4 $\mathcal{H}_\mu$ の可約表現は、表や分割といった組み合わせ的対象とどのように関係するか？
• RQ5 ゲルファンド＝グレイブ表現とヨコヌマ代数は、ユニポテンツ・ヘッケ代数の広い文脈において果たす役割は何か？

主な発見

• 二重コセット基底 $N_\mu$ と、定数項が非ゼロで、各行および各列の次数の合計が $\mu$ に等しい $\ell \times \ell$ 行列の集合 $M_\mu$ の間の全単射を確立した。
• 一般化されたRSK対応を構成し、$N_\mu$ と、同じ形状 $\lambda$ の列厳密表 $P,Q$ のペアの間の組み合わせ的全単射を提供した。ここで $\lambda$ は可約な $\mathcal{H}_\mu$-モジュールを添え字づける。
• $\mathcal{H}_\mu$ の次元が、その可約モジュールの次元の二乗の和として実現され、恒等式 $\dim(\mathcal{H}_\mu) = \sum_{\lambda \in \hat{\mathcal{H}}_\mu} \dim(\mathcal{H}_\mu^\lambda)^2$ がRSK型対応を通じて組み合わせ的に解釈された。
• $\mathcal{L}_\mu \cong \mathcal{H}_{(\mu_1)} \otimes \cdots \otimes \mathcal{H}_{(\mu_\ell)}$ であるような大きな可換部分代数 $\mathcal{L}_\mu$ を構成し、すべての可約 $\mathcal{L}_\mu$-モジュールが1次元であることを示した。
• 可約 $\mathcal{H}_\mu$-モジュール $\mathcal{H}_\mu^\lambda$ 内の $\gamma$-重み空間 $V_\gamma$ の次元は、形状 $\lambda$ で重み $\gamma$ の列厳密表の数に等しく、これは $|\hat{\mathcal{H}}_\gamma^\lambda|$ に等しい。
• 任意の $\mathcal{H}_\mu$-モジュール $V$ に対して、重み空間分解 $V \cong \bigoplus_{\gamma \in \hat{\mathcal{L}}_\mu} V_\gamma$ が成り立ち、その次元はフロベニウスの随伴性とピエリの法則を用いて計算される。