[論文レビュー] Infinitesimal Hecke Algebras IV

Iván Marín|arXiv (Cornell University)|Dec 6, 2012

Algebraic structures and combinatorial models参考文献 16被引用数 8

ひとこと要約

本稿では、2次反射群の無限小ヘッケ代数を ℤ/2ℤ-次数付きリーダイナス代数へ精錬し、バーデ群のヘッケ代数内での像とユニタリ構造を結びつける。コックスター群、特にADE型の場合、回転部分群に基づく、このリーダイナス代数の偶数部の明示的生成集合を提供し、次数付きヘッケ構造の包括的理解を進める。

ABSTRACT

We refine the infinitesimal Hecke algebra associated to a 2-reflection group into a $\Z/2\Z$-graded Lie algebra, as a first step towards a global understanding of a natural $\mathbbm{N}$-graded object. We provide an interpretation of this Lie algebra in terms of the image of the braid group into the Hecke algebra, in connection with unitary structures. This connection is particularly strong when $W$ is a Coxeter group, and when in addition we can use generalizations of Drinfeld's rational even associators. Finally, in the Coxeter ADE case, we provide a generating set of the even part of this Lie algebra, which originates from the rotation subgroup of the Coxeter group.

研究の動機と目的

• 2次反射群の無限小ヘッケ代数を ℤ/2ℤ-次数付きリーダイナス代数構造へ精錬すること。
• この次数付きリーダイナス代数がヘッケ代数内でのバーデ群の像と、特にユニタリ表現の文脈でどのように関連するかを結びつけること。
• ADE型コックスター群の場合、回転部分群に基づく、リーダイナス代数の偶数部の生成集合を提供すること。
• ヘッケ代数の「尾部」構造を 𝕜(h²) 上の尾部無限小ヘッケ代数を用いて分析することで、次数付きヘッケ代数の理解を拡張すること。
• キャラクター表、誘導データ、およびコンピュータ支援ランク計算を用いて、例外型（Dₙ、E₆、E₇、E₈）におけるリーダイナス代数の構造を検証すること。

提案手法

• 反射の集合 R に対して、h·s（s ∈ R）で生成される 𝕜[[h]]W の部分代数 H_gr を、次数付き無限小ヘッケ代数として定義する。
• h·s で生成される 𝕜(h)W の Lie 𝕜(h²)-部分代数 H_tail を「尾部」無限小ヘッケ代数として導入し、自然に ℤ/2ℤ-次数が誘導される。
• ヘッケ代数内でのバーデ群の像と群代数との同型を用いて、H_tail がバーデ群のザリスキ閉包と関連することを示す。
• ドリンフェルトの有理的偶数型アソシエータとその一般化を用いて、コックスター型におけるリーダイナス代数とユニタリ構造との関係を強化する。
• ADE型の場合、回転部分群を用いてリーダイナス代数の偶数部を構成し、ヤング図式とフック条件を用いて個別に分析する。
• 例外型の場合、キャラクター表、誘導表、およびコンピュータ代数を用いて ρ(𝒜) の線形ランクを計算し、𝔤 = ρ(𝒜) が単純または so(V_ρ) に等しいことを確認することで、構造定理の成立を保証する。

実験結果

リサーチクエスチョン

• RQ1 2次反射群の無限小ヘッケ代数に自然に ℤ/2ℤ-次数付きリーダイナス代数構造をどのように付与できるか？
• RQ2 ヘッケ代数内でのバーデ群の像と、尾部無限小ヘッケ代数 H_tail の構造との間の明確な関係は何か？
• RQ3 ADE型コックスターの場合、リーダイナス代数の偶数部の明示的生成集合は何か？また、回転部分群とはどのように関係するか？
• RQ4 回転群の表現 ρ に対応するリーダイナス代数 ρ(𝒜) が、いつ so(V_ρ) に等しくなったり単純になったりするか？構造定理が成立する条件は何か？
• RQ5 D₆、E₆、E₇、E₈ などの例外型において、計算的および表現論的手段を用いてリーダイナス代数の構造をどのように検証できるか？

主な発見

• 尾部無限小ヘッケ代数 H_tail は、𝕜(h²)·H_gr^{2∞} ⊕ h·𝕜(h²)·(Z(ℋ) ⊕ H_gr^{2∞+1}) に同型であり、次数付き無限小ヘッケ代数の漸近的構造を捉えている。
• コックスター群の場合、ヘッケ代数内でのバーデ群の像は、H_tail のユニタリ構造と強く関連しており、ドリンフェルトの有理的偶数型アソシエータを一般化することでその関係が強化される。
• A型では、偶数部のリーダイナス代数は回転部分群に対応する要素によって生成され、フック性や対称性を特徴とするヤング図式の性質に依存する明示的構造定理が得られる。
• D型およびE型では、キャラクター表と誘導データを用いて個別に構造を検証する。E₈ では、すべての残りの表現について rk(𝔥) > dim(ρ)/4 が成り立つため、リーダイナス代数は単純または so(V_ρ) に等しいことが保証される。
• E₆ および E₈ において、コンピュータ支援計算により、重要な表現について dim(ρ(𝒜)) = dim(so(V_ρ)) が確認され、構造定理の妥当性が裏付けられた。
• D₆ において、表現 ([1,1],[3,1]) は dim(ρ(𝒜)) = 990 = dim(so(V_ρ)) を満たし、𝔤 = so(V_ρ) であることが確認され、他の例外型でも多重度自由な制限と十分なランクを持つ場合に同様の結果が成り立つ。