[論文レビュー] Representations of $GL_2(\Fq)$ and $SL_2(\Fq)$, and some remarks about $GL_n(\Fq)$

Amritanshu Prasad|ArXiv.org|Dec 25, 2007

Advanced Algebra and Geometry参考文献 1被引用数 4

ひとこと要約

この論文は、有限体上の $GL_2(\fF_q)$ および $SL_2(\fF_q)$ の表現論について、Weil表現を用いて既約表現、特にカスプ的表現を構成することで、自己完結的な導入を提供する。これらの手法は $GL_n(\fF_q)$ の理論へと拡張され、誘導によるパラボリック表現と最大トーラスの役割が、表現の分類において中心的であることが強調される。主な結果には、Weil表現によるカスプ的表現の構成と、より広範な文脈におけるDeligne–Lusztig理論を用いた既約キャラクターの分類が含まれる。

ABSTRACT

The goal of these notes is to give a self-contained account of the representation theory of $GL_2$ and $SL_2$ over a finite field, and to give some indication of how the theory works for $GL_n$ over a finite field.

研究の動機と目的

• 有限体上の $GL_2(\fF_q)$ および $SL_2(\fF_q)$ の表現論について、自己完結的かつアクセス可能な記述を提供すること。
• Weil表現の有用性を示し、特に $SL_2(\fF_q)$ の既約表現、特にカスプ的表現を構成する方法を明らかにすること。
• $GL_2$ および $SL_2$ で用いられた手法を拡張し、$GL_n(\fF_q)$ の表現論の概要を提示すること。
• リーダティブな群の有限体上での表現論およびDeligne–Lusztig理論の文脈において、結果を位置づけること。

提案手法

• 有限体上の調和解析から得られるWeil表現を用い、$SL_2(\fF_q)$ の既約表現を構成する。
• 上三角行列からなるBorel部分群からの誘導を用いて、$GL_2(\fF_q)$ の主系列表現を構成する。
• 小さな群の方法とインターブィナの理論を用い、誘導表現の既約性および同型類を分析する。
• ヘイゼンベルグ群とその射影的表現を用い、特殊なWeil表現を構成する。この表現はカスプ的表現の基盤をなす。
• 有限体のガロア理論的構造、特にフロベニウス自己同型とトレース／ノルム写像を用いて、加法的および乗法的キャラクターを定義する。
• 加法群 $\fF_q$ のポントリャーギン双対性に依拠し、Weil表現を定義するために不可欠な加法的キャラクターをパrameter化する。

実験結果

リサーチクエスチョン

• RQ1 どのようにしてWeil表現を用いて、$SL_2(\fF_q)$ の既約表現を体系的に構成できるか？
• RQ2 パラボリック誘導は、$GL_2(\fF_q)$ の主系列表現を分類する上で果たす役割は何か？
• RQ3 Weil表現からどのようにして $GL_2(\fF_q)$ のカスプ的表現が生じるのか？また、それらの次数は何か？
• RQ4 $GL_n(\fF_q)$ の最大トーラスは、スプリンガーの予想に従って、既約表現をどのようにパラメータ化するのか？
• RQ5 Weil表現はどのようにして $GL_n(\fF_q)$ のような高ランク群へ一般化できるのか？また、その限界は何か？

主な発見

• Weil表現は、$L^2(\fF_q)$ 上の特別なユニタリ表現を用いて、$SL_2(\fF_q)$ のすべての既約表現、特にカスプ的表現を明示的に構成する。
• $GL_2(\fF_q)$ のカスプ的表現はWeil表現を用いて構成され、次数は $q$ であり、グリーン（1955年）の既知の分類と一致する。
• $SL_2(\fF_q)$ のカスプ的表現の次数は $q \pm 1$ であり、$q$ が奇数のとき、その数は $\frac{1}{2}(q-1)$ である。これはヘイゼンベルグ群へのWeil表現の作用から導かれる。
• Borel部分群からのパラボリック誘導により、$GL_2(\fF_q)$ の主系列表現が得られ、誘導キャラクターが二次のときを除いて既約である。二次のときは2つの既約表現に分解する。
• $GL_2(\fF_q)$ および $SL_2(\fF_q)$ の既約キャラクターの分類はWeil表現によって達成され、ジョルダンとシュール（1907年）の古典的結果が一般化される。
• 本論文は、Weil表現が $SL_2$ や $Sp_4$ に対しては強力であるが、$n > 2$ の $GL_n$ には直接一般化できないことを示しており、高ランクにおけるDeligne–Lusztig理論の必要性を強調している。