[論文レビュー] Analytic R-groups of affine Hecke algebras

Eric Opdam, Patrick Delorme|arXiv (Cornell University)|Sep 7, 2009

Advanced Algebra and Geometry参考文献 16被引用数 5

ひとこと要約

この論文は、アフィンヘッケ代数における解析的R群を導入し、その分析を行う。代数の非可約温度付き表現と、R群に関連する捻じれ群代数の非可約表現との間の対応を確立する。フーリエ同型とワイル群族からの2次コサイクルを用いて、クラスKnapp-Stein型の次元定理を証明し、温度付き表現の中心化代数がR群の元によって張られることを示す。これにより、R群の表現論を用いた温度付きモジュールの完全分類が可能になる。

ABSTRACT

We define analytic $R$-groups for affine Hecke algebras, and prove the analog of the Knapp-Stein Dimension Theorem. As a corollary we prove that the commutant algebra of a unitary principal series representation is isomorphic to the complex group algebra of the $R$-group, twisted by a certain 2-cocycle $γ$. For classical Hecke algebras we prove that $γ$ is always trivial.

研究の動機と目的

• アフィンヘッケ代数における解析的R群を定義し、表現論における古典的R群構成の一般化を研究すること。
• アフィンヘッケ代数の非可約温度付き表現と、R群に関連する捻じれ複素群代数の非可約表現との間の対応を確立すること。
• フーリエ同型とワイル群族の作用を用いて、非可約温度付きモジュールの構造的分類を提供すること。
• 古典的アフィンヘッケ代数の型B_n、C_n、D_nに対して、R群と関連する2次コサイクルを明示的に計算すること。
• アフィンヘッケ代数のR群と再帰的p進群のR群との関係を、ベルンシュタインブロックの文脈で明確にすること。

提案手法

• 著者たちは、アフィンヘッケ代数のスワーツ代数完備化と、温度付き標準誘導データ空間上のWeyl群不変セクションの間のフーリエ同型を用いる。
• R群は、ワイル群族が温度付き誘導データ空間に作用する際の点の安定化部分群の部分群として定義される。
• この構成は、ワイル群族の射影的ユニタリ表現に依存し、U(1)値の2次コサイクルを生じる。このコサイクルは、捻じれ群代数を定義するために不可欠である。
• この方法では、標準誘導データの群族とその基本的共役作用を、関連する根系におけるチャネルとギャラリーを用いて分析する。
• 著者たちは、Knapp-Stein線形独立性定理を適用して、温度付き表現の中心化代数がR群の元によって張られることを示す。
• 古典的型については、根系の構造とワイルチャネル複体におけるチャネルの高さを用いて、明示的な計算を行う。

実験結果

リサーチクエスチョン

• RQ1 アフィンヘッケ代数における解析的設定で、R群はどのように定義され、特徴づけられるか？
• RQ2 アフィンヘッケ代数の非可約温度付き表現と、R群に関連する捻じれ群代数の非可約表現との間の正確な関係は何か？
• RQ3 ワイル群族の作用から生じる2次コサイクルは、R群の構造とその表現にどのように影響を与えるか？
• RQ4 型B_n、C_n、D_nの古典的アフィンヘッケ代数におけるR群の明示的構造は何か？
• RQ5 アフィンヘッケ代数が型として現れる場合、解析的R群は再帰的p進群のR群とどのように関係しているか？

主な発見

• 解析的R群は、ワイル群族が温度付き標準誘導データ空間に作用する際の安定化部分群の部分群として定義される。
• 温度付き表現π(ξ)の中心化代数は、R群Rξの元rに対する作用素π(r)によって張られる。これはKnapp-Stein次元定理の一般化である。
• π(ξ)の部分表現として現れる非可約温度付き表現と、捻じれ群代数⁻γξℂ[Rξ]の非可約表現との間に一対一対応が存在する。
• 古典的アフィンヘッケ代数において、誘導表現が離散系列であるとき、R₀は型Aの非可約成分のみをもつことが示された。
• 明示的計算により、型B_nにおけるR₀が型B_nのワイル群に同型であることが判明し、C_nおよびD_nに対しても同様の結果が得られ、特にX = Λ_rのとき特異な振る舞いを示す。
• 2次コサイクルγξは一般に非自明であり、特にX = Λ_rの型D_nにおいて、捻じれ群代数の構造に影響を与える例が提示された。