[論文レビュー] Conjectures on tilting modules and antispherical $p$-cells

Pramod N. Achar, William Hardesty+1 more|arXiv (Cornell University)|Dec 24, 2018

Advanced Algebra and Geometry参考文献 21被引用数 8

ひとこと要約

本稿は、正標数における再帰的代数群のアフィンワイル群における反対称的 $p$-セル、ノルム部分群の上の連続層、および傾きモジュールの間の推測的枠組みを提示する。これは、根の単位根における量子群の設定で知られている定理にインspiredされている。主な貢献は、Lusztig–Voganの双対写像を拡張し、Humphreysの支持多様体に関する予想を解消することを目的とした、反対称的 $p$-セルとノルム部分群の間の双対写像の予想である。

ABSTRACT

For quantum groups at a root of unity, there is a web of theorems (due to Bezrukavnikov and Ostrik, and relying on work of Lusztig) connecting the following topics: (i) tilting modules; (ii) vector bundles on nilpotent orbits; and (iii) Kazhdan-Lusztig cells in the affine Weyl group. In this paper, we propose a (partly conjectural) analogous picture for reductive algebraic groups over fields of positive characteristic, inspired by a conjecture of Humphreys.

研究の動機と目的

• 量子群の根の単位根における傾きモジュール、ノルム部分群上のベクトル束、およびカジダン–ルスツィグセルの間の既知の対応関係を、正標数における再帰的代数群に拡張すること。
• Humphreysの傾きモジュールの支持多様体に関する予想を、より広範なカテゴリカルおよび幾何的枠組みで再構築すること。
• アフィンワイル群における反対称的 $p$-セルとノルム部分群の間の推測的双対写像を提案すること。これはLusztig–Voganの双対写像を一般化する。
• アフィンワイル群における重みセルと、Frobenius核上の傾きモジュールの射影性の性質との関係を確立すること。
• 具体的な計算と既知の結果を用いて、低ランクの場合および特別な軌道（正規、部分正規、ゼロ）に対して予想を検証すること。

提案手法

• 拡張されたアフィンワイル群の重みへのドット作用を用いて $p$-セルを定義し、それらを傾きモジュールの最高重みと関連付ける。
• Lusztig–Voganの双対写像および反対称セルの理論を活用して、$p$-セルとノルム部分群の軌道を結びつける。
• 正標数の設定におけるモデルとして、Bezrukavnikov–Ostrikの量子ケースにおける結果を応用する。
• 有限ワイル群および拡張されたアフィンワイル群の作用を用いて、最小長さ代表元を分類し、重みセルを定義する。
• ノルム部分群の構造およびノルム元の中心化群の性質を用いて、ベクトル束セルとそれらが $p$-セルに対応する仕組みを分析する。
• 具体的な計算と既知の $p$-セルおよびLusztig–Vogan写像のデータを組み合わせることで、低ランクの場合（例：$\mathrm{GL}_2, \mathrm{GL}_3, \mathrm{GL}_4$, 型 $\mathbf{B}_2$）に予想を検証する。

実験結果

リサーチクエスチョン

• RQ1 再帰的群の正標数におけるアフィンワイル群の反対称的 $p$-セルとノルム部分群の軌道との間に、自然な双対写像が存在するか？
• RQ2 Frobenius核上の傾きモジュールの射影性は、アフィンワイル群におけるその重みセルによって特定できるか？
• RQ3 Lusztig–Voganの双対写像は、正標数における $p$-セルとノルム部分群の軌道との間の対応に拡張可能か？
• RQ4 アフィンワイル群における重みセルは、傾きモジュールの支持多様体とどのように関係するか？
• RQ5 $\mathrm{GL}_2$, $\mathrm{GL}_3$, および $\mathbf{B}_2$ などの低ランクの場合に、推測的枠組みを検証できるか？

主な発見

• 予想は、反対称的 $p$-セルとノルム部分群の軌道との間の双対写像を予測しており、正規、部分正規、ゼロ軌道で明示的な検証がなされている。
• ゼロ軌道では、予想は、反対称的 $0$-セルにおける $p$-セルと、傾きモジュールの重みセルとの既知の双対写像に帰着し、Andersenの結果によって裏付けられている。
• 正規軌道では、ベクトル束セルが一意に存在し、それに対応する反対称的 $0$-セルが、単一の反対称的 $p$-セルであることが示されている。
• 部分正規軌道では、中心化群がトーラスであるため、ベクトル束セルが一意に存在し、 simply-laced 型および $\mathbf{G}_2$ 型において既知の結果に基づいて予想が成立することが示されている。
• 低ランクの場合（例：$\mathrm{GL}_2$, $\mathrm{GL}_3$, $\mathbf{B}_2$）では、Lusztig–Voganの双対写像と具体的な $p$-セルデータを組み合わせることで、予想が検証されている。
• 本稿は、予想が成り立つならば、反対称的 $p$-セルからノルム部分群の軌道への写像が単射かつ全射であり、すべての検討された場合に一貫した対応関係が成立することを示している。