[論文レビュー] A New Approach to the Representation Thoery of the Symmetric Groups. 2

A. M. Vershik, Andreĭ Okounkov|ArXiv.org|Mar 2, 2005

Advanced Combinatorial Mathematics参考文献 11被引用数 11

ひとこと要約

本稿では、Young–Jucys–Murphy生成子の固有値を介して、完全に可約表現をYoung盤に同定することにより、対称群の表現論に対する新しいスペクトル的アプローチを提示する。Coxeter群の構造とGelfand–Tsetlin代数を活用することで、Murnaghan–Nakayamaの法則を導出し、組合せ論と表現論をスペクトル理論を通じて統一する自然で構成的な説明を提供する。

ABSTRACT

The new approach to the theory of complex representrations of the finite symmetric groups which based on the notions of Coxeter generators., Gelfand-Zetlin algebras, Hecke algebra, Young-Jucys-Murphi generators and which hardly used inductive structure - is systematically developed. The appearence of Young diagrams, tables is naturally explained - the set of content vectors of all Young tables is the spectra of Gel'fand-Zetlin algebra. The first steps of the theory (the list of the irrediucible representatinos, branching rule, Young orthopgonal form, Murnagan-Nakayama rule etc.)are established.This appraoch canbe used for other classical series, wreath products with symmetric groups. This paper is the revcised version of the paper of the same authors which was published in Selecta MAth. (New Series) V.2(1996).

研究の動機と目的

• 古典的表現論におけるYoung図と表の恣意的出現を解消し、対称群の代数的構造に基づく根拠を提供すること。
• Snの表現論をGelfand–Tsetlin代数とSnのCoxeter群性質を用いて再定式化すること。
• 特定の生成子の固有値から自然に現れる完全に可約表現を、構成的かつ帰納的な枠組みで提示すること。
• Coxeter群の型B、C、Dを含む局所群および代数へのこのアプローチの一般化。
• Young基底における置換作用素のスペクトル分解を用いて、Murnaghan–Nakayamaの法則の新しい直接的導出を提供すること。

提案手法

• 手法の中心は、群代数C[Sn]に属する特定の要素であるYoung–Jucys–Murphy（YJM）生成子であり、これらは完全に可約表現上で半単純に作用する。
• 完全に可約表現は、YJM生成子の共同固有空間として構成され、固有値はYoung表の箱の内容に対応する。
• 分岐則はGelfand–Tsetlin部分代数のスペクトル分解から導出され、各完全に可約表現はYoung表によって添字付けられる。
• k-巡回置換の作用のトレースを分析することによりMurnaghan–Nakayamaの法則を証明し、非ゼロトレース寄与は、図形がフック型である場合に限ることを用いる。
• 退化型アフィンヘッケ代数H(k)を用いて、SkによるYoung基底ベクトルの軌道が、全表現空間を生成することを示す。
• 理論はスケーリング表現Vλ/μへ一般化され、Frobeniusの随伴性と分岐則を用いて、準同型と消滅条件を分析する。

実験結果

リサーチクエスチョン

• RQ1 なぜYoung表がSnの完全に可約表現の基底として自然に現れるのか。これは恣意的な組合せ論ではなく、内在的な代数的構造から導けるか。
• RQ2 Murnaghan–Nakayamaの法則は、YJM生成子のスペクトル的性質と群代数から直接導けるか。
• RQ3 Coxeter群構造とGelfand–Tsetlin部分代数は、Snの表現論を決定づける役割を果たすか。
• RQ4 YJM生成子の固有値（箱の内容）は、誘導表現の分解をどのように決定づけるか。
• RQ5 スケーリング表現Vλ/μのキャラクターがk-巡回置換で消える条件は何か。これはスケーリング図の接続性と形状とどのように関係するか。

主な発見

• Gelfand–Tsetlin代数のYJM生成子に関するスペクトルの点は、Young表と一対一に対応し、古典的組合せ論的対象にスペクトル的解釈を提供する。
• Murnaghan–Nakayamaの法則は、Young基底におけるk-巡回置換のトレースの直接的結果として導出され、非ゼロ寄与はスケーリング図形がフック型である場合に限る。
• スケーリング表現Vλ/μについて、λ/μが非連結または2×2の正方形を含む場合、k-巡回置換のキャラクターは消える。これは誘導表現と次元数え上げによって示される。
• Young基底ベクトルvに対するC[Sk]·vの空間は、全表現Vλ/μに一致し、Young基底が対称群の作用でモジュールを生成することを証明する。
• HomSk(Vγ, Vλ/μ)は、γがフックであり、内容⟨λ/μ⟩がフックの高さと一致する場合にのみ非ゼロとなり、そのとき次元は1である。
• 理論は、分割（図形）と完全に可約表現との間の対応について、恣意的な構成をスペクトル的推論に置き換える自然で構成的な説明を提供する。