[論文レビュー] Factoring tilting modules for algebraic groups

Stephen Doty|ArXiv.org|Sep 11, 2009

Algebraic structures and combinatorial models参考文献 5被引用数 4

ひとこと要約

この論文は、シュタインバーグ・モジュールとミニスカルモジュールのテンソル積が常に分解不能なティルティング・モジュールであることを確立した。これは以前に観察されていなかった結果である。$ p \geq 2h - 2 $ の条件下では、強力な因数分解結果が得られる：ティルティング・モジュールの最高重量が $ r $ 番目のシュタインバーグ重量に $ p $-進的に近い場合、そのモジュールは複数の方法で二つの単純モジュールのテンソル積と同型である。

ABSTRACT

Let G be a semisimple, simply-connected algebraic group over an algebraically closed field of characteristic p > 0. We observe that the tensor product of the Steinberg module with a minuscule module is always indecomposable tilting. Although quite easy to prove, this fact does not seem to have been observed before. It has the following consequence: If p >= 2h-2 and a given tilting module has highest weight p-adically close to the r-th Steinberg weight, then the tilting module is isomorphic to a tensor product of two simple modules, usually in many ways.

研究の動機と目的

• 以前に観察されていなかったが、根本的な性質を確立する：シュタインバーグ・モジュールとミニスカル・モジュールのテンソル積は常に分解不能ティルティング・モジュールである。
• この性質が、正標数の代数群におけるティルティング・モジュールの構造に与える影響を調査する。
• 最高重量が $ p $-進的にシュタインバーグ重量に近いティルティング・モジュールの一般因数分解定理を提供する。
• ドンキンの予想を仮定することで、ティルティング・モジュールのテンソル積定理を拡張し、特に低標数における応用を検討する。

提案手法

• 制限領域 $ X_1(T) $ 内でのミニスカル重量の分類とその性質を利用する。
• ブローバーの公式と特徴の比較を用いて、ミニスカル $ \lambda $ に対して $ \mathrm{St} \otimes L(\lambda) \simeq T((p-1)\rho + \lambda) $ を証明する。
• ミニスカル重量の $ p $-進展開として $ r $-ミニスカル重量の概念を導入し、高次のフロベニウス核への一般化を図る。
• ドンキンの予想の下でのティルティング・モジュールのテンソル積定理を用いて、$ r $-ミニスカル $ \lambda $ に対して $ \mathrm{St}_r \otimes L(\lambda) \simeq T((p^r - 1)\rho + \lambda) $ を帰納的に示す。
• シュタインバーグのテンソル積定理を用いて、制限された重量を分解し、再結合することで、同じティルティング・モジュールの複数の因数分解を生成する。
• ティルティング・モジュールがテンソル積、直和、直和成分に関して閉じていることを利用し、得られるモジュールがティルティングであることを保証する。

実験結果

リサーチクエスチョン

• RQ1 シュタインバーグ・モジュールとミニスカル・モジュールのテンソル積は常に分解不能かつティルティングであるか？
• RQ2 どのような条件下で、シュタインバーグ重量に $ p $-進的に近い最高重量を持つティルティング・モジュールが、二つの単純モジュールのテンソル積として因数分解可能か？
• RQ3 このようなティルティング・モジュールの異なる因数分解はいくつ存在するのか？その重複度は何かによって決定されるか？
• RQ4 ドンキンの予想（$ G_r $-モジュールにおける射影被覆）は、ティルティング・モジュールの因数分解をどの程度可能にするか？
• RQ5 これらの因数分解結果は、標準的シュタインバーグ・モジュールが存在しない場合を含めた再帰的群へ拡張可能か？

主な発見

• 任意のミニスカル重量 $ \lambda $ に対して、テンソル積 $ \mathrm{St} \otimes L(\lambda) $ は $ T((p-1)\rho + \lambda) $ に同型であり、常に分解不能ティルティングである。
• $ r $-ミニスカル重量 $ \lambda $ に対して、$ p < 2h - 2 $ の下でドンキンの予想が成り立つ限り、$ \mathrm{St}_r \otimes L(\lambda) \simeq T((p^r - 1)\rho + \lambda) $ が成り立つ。
• $ p \geq 2h - 2 $ のとき、最高重量が $ r $ 番目のシュタインバーグ重量に $ p $-進的に近い任意のティルティング・モジュールは、複数の方法で二つの単純モジュールのテンソル積と同型である。
• 系として、同じ条件下で $ T(p^r\mu + (p^r - 1)\rho) \otimes L(\lambda) \simeq T(p^r\mu + (p^r - 1)\rho + \lambda) $ が $ r $-ミニスカル $ \lambda $ に対して成り立つ。
• $ G = \mathrm{SL}_2 $ で標数 2 のとき、すべての分解不能ティルティング・モジュールは、二つの単純モジュールのテンソル積と同型であり、既知の結果を新しい方法で確認した。
• この論文は、最高重量の $ p $-進展開における成分の順序を入れ替えることで、同じティルティング・モジュールの複数の因数分解を体系的に生成する方法を提供する。