[論文レビュー] Split Spetses for primitive reflection groups

Michel Broué, Gunter Malle+1 more|arXiv (Cornell University)|Apr 26, 2012

Finite Group Theory Research参考文献 22被引用数 24

ひとこと要約

この論文は、原始的複素反射群に関連する分解可能スプツェスのユニポテンツ文字とそのフロベニウス固有値の集合を特定する帰納的アルゴリズムを開発する。この手法は公理的制約とより小さな部分コセットへの還元に基づき、特徴的次数における符号を除き一意にこれらのデータを特定する。一般化ヘッケ代数とルーヴィエ・ブロックを用いて、スプツェス理論をワイル群から例外的複素反射群へ拡張する。

ABSTRACT

Let $(V,W)$ be an exceptional spetsial irreducible reflection group $W$ on a complex vector space $V$, that is a group $G_n$ for $n \in \{4, 6, 8, 14, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37\}$ in the Shephard-Todd notation. We describe how to determine some data associated to the corresponding (split) "spets", given complete knowledge of the same data for all proper subspetses (the method is thus inductive). The data determined here is the set Uch$(\mathbb G)$ of "unipotent characters" of $\mathbb G$ and the associated set of Frobenius eigenvalues, and its repartition into families. The determination of the Fourier matrices linking unipotent characters and "unipotent character sheaves" will be given in another paper. The approach works for all split reflection cosets for primitive irreducible reflection groups. The result is that all the above data exist and are unique (note that the cuspidal unipotent degrees are only determined up to sign).

研究の動機と目的

• 原始的複素反射群の分解可能スプツェスにおけるユニポテンツ文字およびそのフロベニウス固有値の集合を体系的に特定すること。
• スプツェス理論をワイル群を超えて、シェパード＝タウド記法による例外的複素反射群を含む形に一般化すること。
• 部分コセットのデータと公理的制約に基づく完全で帰納的なアルゴリズムを確立し、特徴的次数におけるユニポテンツ文字データが符号を除き一意に特定されることを保証すること。
• 分解可能半単純部を有する反射コセットおよび例外群の非可約パラボリック部分群を含む、より広範な枠組みへの拡張を図ること。
• 今後の研究においてユニポテンツ文字とユニポテンツ文字層を結ぶフーリエ行列を計算する基盤を提供すること。

提案手法

• 反射コセット (V, Wφ) の真部分コセットからの既知のデータに基づく帰納的アプローチを用いる。ここで W は原始的複素反射群である。
• スプツェスの完全な公理集合（コンパクト型および非コンパクト型、フロベニウス固有値、ハリシュ・チャンドラ系列）を用い、正規化および有理化制約を含む。
• ジェネリック・ヘッケ代数のシュール要素とその構造を活用し、Φ-巡回的ヘッケ代数とルーヴィエ・ブロックを用いて問題を巡回的ケースに還元する。
• 反射コセットにおける一般化された不変次数および多項式順序を導入し、ペオンカーポリノミアルおよび文字次数の計算を可能にする。
• エンノラ変換および双対性作用を組み込み、異なる系列間の文字を関連付け、固有値分布の一貫性を保証する。
• 主系列および1-ハリシュ・チャンドラ系列を定義・計算し、バレー群の構造と要素 πW を用いて文字の持ち上げと分解を誘導する。

実験結果

リサーチクエスチョン

• RQ1 分解可能スプツェスの原始的複素反射群に対して、ユニポテンツ文字およびそのフロベニウス固有値の集合をどのように一意に特定できるか。
• RQ2 特徴的次数が符号を除いてのみ特定される場合に、ユニポテンツ文字データの一貫性と一意性を保証する公理的枠組みは何か。
• RQ3 ユニポテンツ文字の帰納的計算を、非分解可能または一般化された反射コセット、特に分解可能半単純部を有するものにどのように拡張できるか。
• RQ4 ルーヴィエ・ブロックおよび Φ-巡回的ヘッケ代数は、ユニポテンツ文字のファミリーと系列をどのように組織化するか。
• RQ5 エンノラ変換および双対性作用は、異なる系列間で文字次数および固有値の構造をどのように保存するか。

主な発見

• すべての原始的複素反射群の分解可能スプツェスに対して、ユニポテンツ文字の集合 Uch(G) 及びその関連するフロベニウス固有値が符号を除き一意に特定される。特徴的ユニポテンツ次数は符号を除き一意に特定される。
• アルゴリズムは、シェパード＝タウド記法におけるすべての例外的スプツィアル群 G_n（n ∈ {4,6,8,14,23,24,25,26,27,28,29,30,32,33,34,35,36,37}）に対して Uch(G) を正しく計算する。
• 半単純部が分解可能な反射コセット（例：V = V₁ ⊕ V₂ かつ φ|V₁ = Id である (V, Wφ)）に対してもこの手法は拡張可能であり、より広範な帰納的適用性を有する。
• ユニポテンツ文字のファミリーはハリシュ・チャンドラ系列およびルーヴィエ・ブロック構造に基づき特定され、系列間で一貫した固有値分布が得られる。
• 本論文は、[Spets1] における以前の公理を修正・一般化し、特に一般化された符号、判別式固有値、および正規元の文脈におけるペオンカーポリノミアル双対性の取り扱いを改善している。
• アルゴリズムは、G_4, G_6, G_8, G_14, G_24, G_25, G_26, G_27, G_3,3,3, G_4,4,3 などの特定の文字次数および固有値を、巡回的多項式および単位根の表現を用いて明示的に計算する。