[論文レビュー] Algebraic and geometric methods in representation theory

G. Lusztig|arXiv (Cornell University)|Sep 29, 2014

Mathematics and Applications被引用数 6

ひとこと要約

この論文は、リー型の有限群、特にGL_n(F_q)の離散系列表現の明示的構成に焦点を当て、表現論における代数的・幾何的技法を検討する。ブレイヤー上昇とヘッケ代数を用いて、ルスティグはグリーンのキャラクターに基づく結果を、キャラクターそのものではなく表現そのものに一般化する。その結果、離散系列表現の次元が(q−1)(q²−1)⋯(qⁿ⁻¹−1)であることが明らかになる。

ABSTRACT

This is an expanded version of my Shaw Prize Lecture delivered at the Chinese University of Hong Kong.

研究の動機と目的

• グリーンのGL_n(F_q)表現に関するキャラクター理論的記述を、キャラクターそのものではなく表現そのものの明示的構成へと拡張すること。
• 誘導表現から生じない（つまり、誘導表現でない）離散系列表現の構造を、代数的・幾何的道具を用いて理解すること。
• 特にリー型の有限群に対して、群準同型φ: Γ → GL_N(K)のブレイヤー上昇による表現の構成法を開発すること。
• パrameter 0のヘッケ代数がモジュラー表現論において果たす役割を明確にし、それらが既約表現の構成にどのように関連するかを解明すること。
• 誘導表現がすべての既約表現を捉えきれない場合（例えば、複数の楕円的トーラスをもつシミプレクティック群において）に、キャラクター情報と実際の表現実現との間のギャップを解消すること。

提案手法

• 式(4a)に示すブレイヤー上昇を用い、群準同型φ: Γ → GL_N(K)に対し、φ(g)の固有値λ_iを用いてu(λ_i)の和として定義される複素キャラクターを関連付ける。ここでuはK*をℂ内の単位根へ埋め込む写像である。
• p進埋め込みを介して、GL_n(F_q)の自然なn次元表現を特徴量pから特徴量0へブレイヤー上昇する。
• F_p^nにおける完全フラッグ上の関数からなるベクトル空間X_Vを構成し、中間部分空間上で和が0になる条件（境界作用素の条件）を課す。
• 中間部分空間における交項和で定義される微分作用素を備えたフラッグに基づく複体を構成し、そのチェーン複体のコホモロジーが表現を実現する。
• パrameter 0のヘッケ代数を用いてモジュラー表現をモデル化し、幾何的実現を通じて離散系列の構造と関連付ける。
• ワイル群と最大トーラスを用いて共轭類および楕円的元を分析し、特にSp_4(F_q)において複数の共轭類をもつ楕円的トーラスが現れる状況を考察する。

実験結果

リサーチクエスチョン

• RQ1 GL_n(F_q)の離散系列表現（適切な部分群からの誘導でないもの）をどのように明示的に構成できるか。
• RQ2 群表現の複素キャラクターへのブレイヤー上昇の背後にある幾何的・代数的構造は何か。
• RQ3 Sp_4(F_q)において複数の共轭類をもつ楕円的最大トーラスが、予期しない既約離散系列表現を生じる理由は何か。
• RQ4 パrameter 0のヘッケ代数は、既約モジュラー表現の構成をどのように支援するか。
• RQ5 GL_n(F_q)の離散系列表現の正確な次元は何か。また、それはブレイヤー上昇プロセスからどのように導かれるか。

主な発見

• GL_n(F_q)の離散系列表現の次元は(q−1)(q²−1)⋯(qⁿ⁻¹−1)であり、フラッグ複体とブレイヤー上昇の構造から得られる重要な数量的不変量である。
• GL_n(F_q)の自然なn次元表現のブレイヤー上昇は、フロベニウスとブレイヤーによって確立されたように、既約キャラクターのℤ線形結合としての複素キャラクターをもたらす。
• 中間部分空間上で和が0になる条件を課えたフラッグ関数による表現空間の構成は、コホモロジーが離散系列表現を実現するチェーン複体を形成する。
• qが奇数のSp_4(F_q)において、楕円的最大トーラスの2つの共轭類の存在は、標準的誘導ではカバーされない予期しない既約離散系列表現を生じる。
• パrameter 0のヘッケ代数の使用は、モジュラー表現論と既約表現の幾何的構成との間の橋渡しを果たし、特にリー型の有限群の文脈で重要である。
• この方法はキャラクターだけでなく、実際の表現そのものも上昇でき、アティヤの指摘したように、以前はキャラクターしか得られなかった長年のギャップを解消する。