[論文レビュー] A simple character formula

Simon Riche, Geordie Williamson|arXiv (Cornell University)|Apr 17, 2019

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

ひとこと要約

本稿は、特徴値 $ p \geq 2h-1 $ の体上の単連結半単純代数群 $ G $ の主ブロックにおける単純表現の特性式を確立する。ここで $ h $ はコクセター数である。この特徴値条件下で、これらの単純モジュールの特性は $ p $-カジダン–ルスティグ多項式によって与えられることを証明し、Lusztigの予想の概念的かつ計算的に効率的な置き換えを提供する。

ABSTRACT

In this paper we prove a character formula expressing the classes of simple representations in the principal block of a simply-connected semisimple algebraic group G in terms of baby Verma modules, under the assumption that the characteristic of the base field is bigger than 2h-1, where h is the Coxeter number of G. This provides a replacement for Lusztig's conjecture, valid under a reasonable assumption on the characteristic.

研究の動機と目的

• 特徴値 $ p \geq 2h-1 $ の下で、主ブロック内の単純 $ G $-モジュールの特性式を提供し、この条件下で Lusztigの予想の置き換えを実現すること。
• 単純 $ G $-モジュールの特性と、アフィンヘッケ代数の周期的モジュールにおける $ p $-正規基底との間の関係を確立すること。
• 従来の方法が失敗した場合（例：$ \mathbf{B}_3, \mathbf{C}_3, \mathbf{A}_4 $ 型）でも、単純モジュールの特性を計算可能な方法で得られることを提供すること。
• Lusztigの特性式が成り立つ条件を明確にし、彼の予想の $ p $-類似を証明すること。

提案手法

• 著者らは、アフィンヘッケ代数の周期的モジュールにおける $ p $-正規基底を用いて、Lusztigの特性式の $ p $-類似を定義する。
• Achar および Makisumi との共同作業で得られたティルティングモジュールの特性式公式を基礎として活用する。
• 証明は、ブローバー–ハムファーズの双対性および単純 $ G $-モジュールと単純 $ G_1T $-モジュールの同値性に依拠する。
• 主要な技術的ステップは、写像 $ \mathrm{Res} \circ \eta \circ \mathrm{Alt} $ を用いて、$ \mathcal{H} $-線形同型 $ \mathrm{Alt}(\mathcal{P}^\circ) $ と球面モジュール $ \mathcal{M}^{\mathrm{sph}} $ の間の構成である。
• カジダン–ルスティグ対合を適用し、翻訳関手 $ \langle t_{-\rho} \rangle $ の作用を用いてアラコーブパラメトライゼーションを関連づけ、望ましい特性式を確立する。
• 最終的に、$ \mathrm{res} \circ \mathrm{alt} $、$ \mathrm{Res} \circ \eta $、および $ H_{\omega_\rho} $ の作用を含む同型の鎖を通じて、$ \underline{N}_{\rho+A} = \varphi_\rho(\underline{M}^\rho_{\rho+A}) $ を証明する。

実験結果

リサーチクエスチョン

• RQ1 再帰的代数群の主ブロックにおける Lusztig の単純モジュールの特性式は、どのような条件下で失敗するか、あるいは成立するか？
• RQ2 Lusztig の元の公式が適用可能なほど特徴値 $ p $ が大きくない場合に、$ p $-正規基底の構成が単純モジュールの特性式をもたらすか？
• RQ3 特に $ \mathbf{A}_4 $ のような小ランクの場合に、$ p \geq 2h-1 $ の下で、単純 $ G $-モジュールの特性式に概念的かつ計算的に効率的な公式が存在するか？
• RQ4 $ p $-正規基底は、古典的カジダン–ルスティグ多項式およびアフィンワイル群の幾何学とどのように関係するか？
• RQ5 ティルティングモジュールの特性式公式と $ \mathcal{H} $-モジュール構造を用いて、Lusztig の予想の $ p $-類似を証明できるか？

主な発見

• 本稿は、$ p \geq 2h-1 $ の下で、主ブロック内の単純 $ G $-モジュールの特性が $ p $-カジダン–ルスティグ多項式によって与えられることを証明した。
• 特性式は、写像 $ \mathrm{Res} \circ \eta \circ \mathrm{Alt} $ を用いた $ \mathcal{H} $-モジュール同型 $ \mathrm{Alt}(\mathcal{P}^\circ) $ と $ \mathcal{M}^{\mathrm{sph}} $ の間の構成を通じて得られた。
• この公式は、$ p $-正規基底と単純モジュールの特性の間の明確な関係を確立し、与えられた特徴値条件下で Lusztig の予想の概念的置き換えを提供する。
• この方法により、従来では計算不能であった重複度（例：$ \mathbf{A}_4 $ におけるJァンツェンの研究で欠落していた重複度）が数行で回復された。
• 著者らは、$ p $-正規基底の構成が、理論的にも的確であり、かつ古典的手法よりも実用的に効率的である特性式をもたらすことを確認した。
• この結果は、ドンキンの予想を支持する。なぜなら、公式がより弱い条件 $ p > h $ でも成り立つため、すべての $ p > h $ に対して成立する可能性がある。