[論文レビュー] Jucys--Murphy elements and representations of cyclotomic Hecke algebras

O. Ogievetsky, Loïc Poulain d’Andecy|arXiv (Cornell University)|Jun 4, 2012

Algebraic structures and combinatorial models参考文献 20被引用数 7

ひとこと要約

本稿は、ジュシス–マーフィー要素のスペクトルを用いて、$H(m,1,n)$ の巡回的ヘッケ代数に対する帰納的表現理論を構築し、オクウンコフ–ヴェルシクのアプローチを一般化する。これらの要素の固有値を用いて非可約表現を構成し、表現の基底を $m$-テーブルックスの形で記述する。パrameterの弱い制限のもとで、ジュシス–マーフィー要素の集合が最大可換であることを証明する。

ABSTRACT

An inductive approach to the representation theory of cyclotomic Hecke algebras, inspired by Okounkov and Vershik, is developed. We study the common spectrum of the Jucys-Murphy elements using representations of the simplest affine Hecke algebra. Representations are constructed with the help of a new associative algebra whose underlying vector space is the tensor product of the cyclotomic Hecke algebra with the free associative algebra generated by standard m-tableaux.

研究の動機と目的

• 巡回的ヘッケ代数 $H(m,1,n)$ の表現理論を、既存の構成とは異なり、ジュシス–マーフィー要素のスペクトルを用いて再導出すること。
• 対称群から巡回的ヘッケ代数へ、オクウンコフ–ヴェルシクの帰納的アプローチを一般化すること。
• ジュシス–マーフィー要素の共通固有値を用いて、表現の基底を $m$-テーブルックスとして記述すること。
• パrameterの特定の条件下で、$H(m,1,n)$ におけるジュシス–マーフィー要素の集合が最大可換であることを示すこと。
• 標準的 $m$-テーブルックスを生成する自由代数と巡回的ヘッケ代数のスモーズ積を用いた、新たな代数的枠組みを提供すること。

提案手法

• アフィンヘッケ代数 $\hat{H}_n$ の帰納的構造を用い、ジュシス–マーフィー要素を普遍的レベルに持ち上げる。
• 最も単純なアフィンヘッケ代数の表現を通じて、ジュシス–マーフィー要素の共通スペクトルを分析する。
• 標準的 $m$-テーブルックスによって生成される自由結合代数と $H(m,1,n)$ のスモーズ積として構成される新しい結合代数を用いて、表現を構成する。
• バクスタライズド要素を用いて、生成子の表現基底への作用を定義する。
• 表現空間上のスカラー積構造を適用し、非退化性とユニタリティを保証する。
• ブラテリ図とその積を用いて、表現の分岐則と分解を記述する。

実験結果

リサーチクエスチョン

• RQ1 巡回的ヘッケ代数の表現理論は、ジュシス–マーフィー要素のスペクトルのみから再構成可能か？
• RQ2 ジュシス–マーフィー要素の固有値は、$m$-テーブルックスおよび非可約表現とどのように対応するか？
• RQ3 アフィンヘッケ代数は、ジュシス–マーフィー要素を普遍的フレームワークに持ち上げるために果たす役割は何か？
• RQ4 どのようなパrameter条件下で、$H(m,1,n)$ におけるジュシス–マーフィー要素の集合が最大可換になるか？
• RQ5 ジュシス–マーフィー作用素の固有値の列を直接的に、表現基底にどのようにエンコードできるか？

主な発見

• ジュシス–マーフィー要素の集合が $H(m,1,n)$ で最大可換であることは、完全な表現基底の構成によって確認された。
• 非可約表現は、ジュシス–マーフィー要素の固有値データを用いて明示的に構成され、基底は $m$-テーブルックスによってラベル付けされた。
• $H(2,1,4)$ に対して、生成子 $\sigma_1, \sigma_2, \sigma_3, \tau$ の作用が、固有値基底上で明示的な $6 \times 6$ 行列として実現された。
• スカラー積のグラム行列は、$z_1, z_2, \dots, z_6$ を対角成分とする対角行列であり、パrameter $v_1, v_2, q$ の関数として明示的に計算された。
• 表現の構成により、半単純性よりもやや強い条件下で、$H(m,1,n)$ の非可約表現の完全な分類が得られた。
• 固有値系を用いた一様な枠組みが提供され、巡回的ヘッケ代数へのヤング直交形式の一般化が達成された。