[論文レビュー] A motivated introduction to character sheaves and the orbit method for unipotent groups in positive characteristic

Mitya Boyarchenko, Vladimir Drinfeld|arXiv (Cornell University)|Sep 27, 2006

Finite Group Theory Research参考文献 26被引用数 45

ひとこと要約

本稿は、正の特性における有限体上の単純型群に対して、キャラクター層と${\mathbb{L}}$-パケッジを導入し、特徴零以外の文脈へも軌道法を拡張する。軌道法が不成立となる場合でさえ、キャラクター層が余軌道上の等変局所系のフーリエ変換として現れることを確立し、非連結安定化子や奇数次元の軌道といった新しい現象を特定する。

ABSTRACT

This article is based on lectures given by the authors in 2005 and 2006. Our first goal is to present an introduction to the orbit method with an emphasis on the character theory of finite nilpotent groups. The second goal (motivated by a recent work of G. Lusztig) is to explain several nontrivial aspects of character theory for finite groups of the form $G(F_{q^n})$, where $G$ is a unipotent algebraic group over a finite field $F_q$. In particular, we introduce the notion of a character sheaf for a unipotent group, and provide a toy model for the representation-theoretic notion of an L-packet.

研究の動機と目的

• 有限体上の単純型群$G(\mathbb{F}_{q^n})$の表現理論の幾何的枠組みを構築すること。
• 特に、$\geq p$の冪零クラスを有する単純型群に対して、特徴零以外の文脈へも軌道法を一般化すること。
• 軌道法に依存しない形でキャラクター層と${\mathbb{L}}$-パケッジを定義し、古典的状況を超えた応用を可能にすること。
• 非自明な安定化子や非整数次元の軌道といった、特徴零表現論とは顕著に異なる点を明確にすること。
• 層論的技法を用いて、単純型群の幾何的表現論の基盤を築くこと。

提案手法

• 軌道法が適用できない場合でさえ、余軌道上の不変局所系の逆フーリエ変換として、$G \otimes_{\mathbb{F}_q} \overline{\mathbb{F}}_q$上のキャラクター層を定義する。
• 単純型群$G$がそのリー代数と同型でない場合でも、$\mathbb{F}_q$上に定義されたリー環スキーム$\mathfrak{g}$を用いる。
• ${\mathbb{L}}$-パケッジを、特定の幾何的軌道に対応する複数の既約表現の集合として定義し、特に安定化子が非連結である場合を重点的に扱う。
• リー環上での対数関数および指数関数の写像を解析するため、正の特性におけるCampbell-Hausdorff公式を適用する。
• 不変導来圏およびフーリエ＝デリーニュ変換を用いて、層論的構成と表現論とを結びつける。
• 標準的な軌道法の性質が正の特性で成立しないことを示す反例を構成し、例えば、軌道関数における文字の線形結合でない例を提示する。

実験結果

リサーチクエスチョン

• RQ1 冪零クラスが$\geq p$である場合、正の特性における有限体上の単純型群に対して、軌道法をどのように拡張できるか。
• RQ2 軌道法に依存しない形で、正の特性における単純型群のキャラクター層の正しい幾何的定義は何か。
• RQ3 なぜ正の特性における余軌道が奇数次元をとる場合があるのか。これは表現論にどのような影響を与えるか。
• RQ4 どのような条件下で、幾何的軌道が複数の既約表現に対応する（すなわち${\mathbb{L}}$-パケッジを形成する）のか。
• RQ5 キャラクター層の理論を用いて、$N \gg p$のときの$UL_{N,q}$、すなわち上三角行列からなる単純型上三角行列群の表現論を理解できるか。

主な発見

• 軌道法が適用できない場合でさえ、$G \otimes_{\mathbb{F}_q} \overline{\mathbb{F}}_q$上のキャラクター層は、余軌道上の不変局所系の逆フーリエ変換（コホロジーのずれを除く）として現れる。
• リー環の双対空間$\mathfrak{g}^*$上の点の安定化子が非連結である場合、それに対応する幾何的軌道は複数の既約表現に対応し、${\mathbb{L}}$-パケッジを形成する。
• 正の特性における余軌道は奇数次元をとる場合があり、これは特徴零では観察されない現象である。
• $x \mapsto \lambda(\log(\gamma e^x))$という関数は、一般に$\Gamma$-軌道からの文字の線形結合ではないため、古典的軌道法の重要な性質を満たさない。
• 反例により、正の特性におけるCampbell-Hausdorff公式が非線形項（例：$c_2 = 1/12$）を生じ、標準的な文字分解が不可能であることが示された。
• 特徴零におけるDu Clouxの定理が一般化される：$\mathfrak{g}$-加群として$S(\mathfrak{g})/J(\Omega) \cong U(\mathfrak{g})/I(\Omega)$が成り立つのは、$\dim \Omega = 2$かつ$\Omega$の次数が$\leq 2$のときに限る。