[論文レビュー] Representations of Finite Unipotent Linear Groups by the Method of Clusters

Ning Yan|arXiv (Cornell University)|Apr 15, 2010

Finite Group Theory Research参考文献 31被引用数 34

ひとこと要約

本稿は、$U(n,\mathbb{F}_q)$ の表現環における構造的部分環を構成するために「クラスターメソッド」を導入する。この方法は、随伴軌道の和集合として定義される共随伴クラスタ—（coadjoint clusters）—にリンクされたフーリエ基底と正則表現を用いる。主な貢献は、正則表現をクラスターモジュールに canonical に分解することと、明示的なキャラクターフォーミュラを備えたスーパーキャラクター理論の確立である。

ABSTRACT

The general linear group GL(n, K) over a field K contains a particularly prominent subgroup U(n, K), consisting of all the upper triangular unipotent elements. In this paper we are interested in the case when K is the finite field F_q, and our goal is to better understand the representation theory of U(n, F_q). The complete classification of the complex irreducible representations of this group has long been known to be a difficult task. The orbit method of Kirillov, famous for its success when K has characteristic 0, is a natural source of intuition and conjectures, but in our case the relation between coadjoint orbits and complex representations is still a mystery. Here we introduce a natural variant of the orbit method, in which the central role is played by certain clusters of coadjoint orbits. This "method of clusters" leads to the construction of a subring in the representation ring of U(n, F_q) that is rich in structure but pleasantly comprehensible. The cluster method also has many of the major features one would expect from the philosophy of orbit method.

研究の動機と目的

• 複素数の $U(n,\mathbb{F}_q)$ の完全不可約表現を分類するという長年の課題に取り組むこと。
• 特徴が正である場合に適した、古典的 Kirillov 軌道法が指数関数的写像の欠如により失敗する文脈における、軌道法の変種を開発すること。
• 共随伴クラスタとスーパーキャラクターの間の体系的対応関係を確立し、構造的かつ計算可能な表現理論を可能にすること。
• クラスターチャレンジを用いて、$U(n,\mathbb{F}_q)$ の離散的系列キャラクターを正則表現内の canonical な部分モジュールとして実現すること。
• 正規直交スーパーキャラクターと共役クラスタをスーパークラスとして備えた、$U(n,\mathbb{F}_q)$ に対するスーパーキャラクター理論を提供すること。

提案手法

• 左乗と右乗による $U(n,\mathbb{F}_q)$ のリー代数 $\mathfrak{u}(n,\mathbb{F}_q)$ への二重作用を導入し、随伴作用の一般化を行う。
• 共随伴クラスタ $K(X)$ を二重作用に関する軌道として定義し、随伴軌道 $C(X)$ を一般化する。これらを中心的な幾何的対象とする。
• 群代数のフーリエ基底を活用し、共随伴テンプレート $\tau$ における和を用いてクラスターチャレンジ $\chi(\tau)$ を定義する。
• キャラクターフォーミュラを導出：$X$ が $\text{supp}(\tau)$ の下または左に非ゼロ成分を持たない場合、$\chi(\tau)(I+X) = q^{d(\tau)-i(X,\tau)} \cdot \theta[\tau(X)]$ が成り立ち、それ以外の場合は 0 である。
• クラスターチャレンジと共随伴クラスタの間の一対一対応を確立し、キャラクターのテンソル積および誘導／制限作用がクラスタ作用に対応することを示す。
• 正則表現を、各成分がクラスターチャレンジで張られるクラスターモジュールの直和として canonical に分解する。

実験結果

リサーチクエスチョン

• RQ1 特徴が正である有限体上の有限単型線形群 $U(n,\mathbb{F}_q)$ に対して、古典的 Kirillov 軌道法が指数関数的写像の欠如により失敗する文脈で、軌道法をどのように適合させることができるか。
• RQ2 共随伴クラスタと $U(n,\mathbb{F}_q)$ の完全不可約表現との間の正確な関係は何か。
• RQ3 $U(n,\mathbb{F}_q)$ の正則表現がクラスターベースのキャラクターを用いて、完全不可約成分に canonical に分解可能か。
• RQ4 クラスターチャレンジは、$GL(n,\mathbb{F}_q)$ の既知の対象、例えば離散的系列キャラクターとどのように関係しているか。
• RQ5 共随伴クラスタを用いて、明示的なフォーミュラと構造的性質を備えた $U(n,\mathbb{F}_q)$ に対するスーパーキャラクター理論を構築可能か。

主な発見

• クラスターメソッドにより、$U(n,\mathbb{F}_q)$ の複素表現環の部分環が得られ、これは主なクラスターチャレンジによって生成され、主成分への一意なテンソル積分解を持つ。
• $U(n,\mathbb{F}_q)$ の正則表現は、各成分がクラスターチャレンジに対応する完全不可約クラスターモジュールの直和として canonical に分解可能である。
• クラスターチャレンジは、$U(n,\mathbb{F}_q)$ 上のクラスターファンクション空間の正規直交基底をなす。また、それらの $\mathbb{Z}$-線形包は表現環内の部分環をなす。
• $U(n,\mathbb{F}_q)$ の離散的系列キャラクターはクラスターチャレンジの和に分解され、その完全不可約成分は正確に主なクラスターチャレンジに一致する。
• キャラクターフォーミュラ $\chi(\tau)(I+X) = q^{d(\tau)-i(X,\tau)} \cdot \theta[\tau(X)]$ は、$X$ が $\text{supp}(\tau)$ の下または左に非ゼロ成分を持たない場合に成り立ち、それ以外の場合は 0 に等しい。
• 非退化な共随伴テンプレート $\tau$ は、補題 8.5 により、離散的系列キャラクターに含まれるクラスターチャレンジに正確に対応する。