[論文レビュー] Calibrated representations of affine Hecke algebras

Arun Ram|ArXiv.org|Jan 23, 2004

Advanced Algebra and Geometry参考文献 17被引用数 9

ひとこと要約

この論文は、最大可換部分代数の同時固有ベクトルからなる基底を持つ有限次元既約な補正表現——つまり、アフィンヘッケ代数の補正表現——を導入する。これらは配置済みのスケイ形状によって分類され、その次元は対応するスケイ形状上の標準ヤング盤の個数に等しい。生成子の作用について明示的な公式が与えられ、これは任意のリー型に一般化されたヤングの半正規化構成である。

ABSTRACT

This paper introduces the notion of calibrated representations for affine Hecke algebras and classifies and constructs all finite dimensional irreducible calibrated representations. The main results are that (1) irreducible calibrated representations are indexed by placed skew shapes, (2) the dimension of an irreducible calibrated representation is the number of standard Young tableaux corresponding to the placed skew shape and (3) each irreducible calibrated representation is constructed explicitly by formulas which describe the action of each generator of the affine Hecke algebra on a specific basis in the representation space. This construction is a generalization of A. Young's seminormal construction of the irreducible representations of the symmetric group. In this sense Young's construction has been generalized to arbitrary Lie type.

研究の動機と目的

• アフィンヘッケ代数の有限次元既約補正表現を定義し、分類すること。
• 対称群表現のヤングの半正規化構成を任意のリー型に一般化すること。
• これらの表現をインデックス付けるための組合せ論的枠組み——配置済みのスケイ形状——を確立すること。
• 生成子の作用を一般化された標準ヤング盤によってラベル付けられた基底ベクトルに対して明示的な公式で記述すること。
• 各既約補正表現の次元が、その対応する配置済みスケイ形状上の標準ヤング盤の個数に等しいことを示すこと。

提案手法

• アフィンヘッケ代数の最大可換部分代数のすべての同時固有ベクトルからなる基底を持つモジュールとして補正モジュールの概念を導入する。
• 配置済みスケイ形状を、古典的スケイ形状の一般化として定義し、既約補正表現のインデックス集合として用いる。
• τ-作用素と補正グラフ Γ(t) を用いて表現を構成し、マツモトの相互作用作用素とロディエのグラフを一般化する。
• 生成子 $T_i$ と $X^{α}$ の作用を、一般化された標準ヤング盤によってラベル付けられた基底ベクトルに対して定義することで、表現を明示的に構成する。
• アフィンヘッケ代数の理論とワイル群作用を用いて、既約補正モジュールが補正グラフの連結成分に一対一対応することを示す。
• 最小関係とブレード関係を用いて、$τ_i$ が両方の重み空間が非ゼロのとき重み空間 $M_t$ と $M_{s_it}$ の間の全単射を定めることが示され、モジュール構造が適切に保たれることを保証する。

実験結果

リサーチクエスチョン

• RQ1 対称群表現のヤングの半正規化構成を任意のリー型に一般化するにはどうすればよいか？
• RQ2 アフィンヘッケ代数の有限次元既約補正表現をインデックス付ける組合せ論的対象は何か？
• RQ3 既約補正表現の次元は何か？ そして、標準ヤング盤とどのように関係しているか？
• RQ4 アフィンヘッケ代数の生成子の作用を、補正モジュールの基底上で明示的に記述するにはどうすればよいか？
• RQ5 重み $t$ が補正可能である条件は何か？ そして、補正グラフの構造とどのように関係しているか？

主な発見

• アフィンヘッケ代数の既約補正表現は、型 A の古典的スケイ形状を一般化した配置済みスケイ形状によってインデックス付けされる。
• 各既約補正表現の次元は、その対応する配置済みスケイ形状に対応する標準ヤング盤の個数に等しい。
• 各既約補正表現は、一般化された標準ヤング盤によってラベル付けられた基底に対して、生成子の作用を記述する公式を用いて明示的に構成される。
• $τ_i$-作用素は、$M_t$ と $M_{s_it}$ が両方非ゼロのとき、それらの重み空間の間で全単射を定める。これによりモジュール構造が適切に保たれる。
• 分類により、補正可能でない重み $t$（すなわち $t(X^{α_i}) \neq q^{\pm 2}$ を満たさないもの）は、既約補正モジュールに現れないことが示された。
• 既約補正モジュール $M$ は、$M$ の台集合に対応する $(t,J)$ に対して、定理 3.1 で定義されたモジュール $τ^{(t,J)}$ に同型である。