[論文レビュー] An Explicit Presentation of the Grothendieck Ring of Finitely Generated F_{q}[SL(2,F_{q})]-Modules

Davide A. Reduzzi|arXiv (Cornell University)|Oct 31, 2011

Finite Group Theory Research参考文献 2被引用数 3

ひとこと要約

本稿は、$\mathbb{F}_q[SL_2(\mathbb{F}_q)]$-加群の有限生成モジュールのグローテンディーク環を、$f^{[g]}(x) - x$ で生成されるイデアルによる多項式環 $\mathbb{Z}[x]$ の商として明示的に記述する。ここで $f(x)$ は対称冪表現から導かれる次数 $p$ の多項式であり、$f^{[g]}$ は $g$ 回の合成を表す。主な結果は、フロベニウス捩りと多項式ダイナミクスを用いてグローテンディーク環の完全な代数的構造を確立するものであり、単純連結な半単純代数群に対してこの結果を高ランク群へ拡張する予想を提示する。

ABSTRACT

Let p be a prime and q=p^g. We show that the Grothendieck ring of finitely generated F_{q}[SL(2,F_{q})]-modules is naturally isomorphic to the quotient of the polynomial algebra Z[x] by the ideal generated by f^[g](x)-x, where f(x)=sum_{j=0}^{floor(p/2)}(-1)^{j}(p/(p-j))((p-j); j)x^{p-2j}, and the superscript [g] denotes g-fold composition of polynomials. We conjecture that a similar result holds for simply connected semisimple algebraic groups defined and split over a finite field.

研究の動機と目的

• 有限生成 $\mathbb{F}_q[SL_2(\mathbb{F}_q)]$-加群のグローテンディーク環 $K_0(SL_2(\mathbb{F}_q))$ の明示的代数的記述を求める。
• フロベニウス捩りと多項式合成を用いて、セールの特徴的 $p$ の対称冪恒等式を、完全な環構造へ一般化する。
• チェヴァリの群 $\mathbb{G}$ が単純連結かつ分裂半単純代数群を定義する $\mathbb{F}_q$ 上の $K_0(\mathbb{G}(\mathbb{F}_q))$ のグローテンディーク環への結果の拡張を予想する。
• グローテンディーク環の代数的構造が、フロベニウス捩りの算術と $p$ を法とするジョルダン・ホルダー重複度の関係をどのように定めるかを明らかにする。

提案手法

• $K_0(SL_2(\mathbb{F}_q))$ 内の恒等式 $\mathfrak{M}_k - \mathfrak{M}_{k-(q+1)} = \mathfrak{M}_{k-(q-1)} - \mathfrak{M}_{k-2q}$ を用いて、対称冪モジュール間の関係を導出する。
• フロベニウス捩り $[i]$ を含む一般化された恒等式 $(\Phi)$ を適用し、グローテンディーク環における多項式関係を導出する。
• フロベニウス作用と重みシフト作用素の作用を符号化する、次数 $p$ のモニック多項式 $f(x) = \sum_{j=0}^{\lfloor p/2\rfloor} (-1)^j \frac{p}{p-j} \binom{p-j}{j} x^{p-2j}$ の構成。
• $q = p^g$ であるとき、$f^{[g]}(x)$ を $g$ 回の合成として定義し、グローテンディーク環における $g$ 番目のフロベニウス捩りをモデル化する。
• $\mathfrak{X} \mapsto x$ の割り当てにより、同型 $K_0(SL_2(\mathbb{F}_q)) \simeq \mathbb{Z}[x]/(f^{[g]}(x) - x)$ を確立する。
• $f(x) \equiv x^p \mod p\mathbb{Z}[x]$ を証明し、多項式構造が $p$ を法とする還元と環の一般化ファイバーとの関係を示す。

実験結果

リサーチクエスチョン

• RQ1 有限生成 $\mathbb{F}_q[SL_2(\mathbb{F}_q)]$-加群のグローテンディーク環 $K_0(SL_2(\mathbb{F}_q))$ の完全な代数的構造は何か？
• RQ2 特徴的 $p$ のフロベニウス捩りと重みシフト作用素は、グローテンディーク環にどのように多項式関係を生じさせるか？
• RQ3 $SL_2(\mathbb{F}_q)$ のグローテンディーク環は、反復合成を含む単一の多項式関係による多項式環の商として完全に記述可能か？
• RQ4 フロベニウス捩りのジョルダン・ホルダー重複度と、$p$ を法とする表現のテンソル冪との関係は何か？
• RQ5 $SL_2(\mathbb{F}_q)$ のグローテンディーク環の構造は、どの程度 $\mathbb{F}_q$ 上の高ランク単純連結半単純群へ一般化可能か？

主な発見

• グローテンディーク環 $K_0(SL_2(\mathbb{F}_q))$ は、$f(x)$ を対称冪表現を符号化する次数 $p$ の多項式、$f^{[g]}$ をその $g$ 回合成とするとき、$\mathbb{Z}[x]/(f^{[g]}(x) - x)$ に同型である。
• $f(x)$ は明示的に $f(x) = \sum_{j=0}^{\lfloor p/2\rfloor} (-1)^j \frac{p}{p-j} \binom{p-j}{j} x^{p-2j}$ と与えられ、$f(x) \equiv x^p \mod p\mathbb{Z}[x]$ を満たす。
• $K_0(SL_2(\mathbb{F}_q)) \otimes_{\mathbb{Z}} \mathbb{Z}_p$ の一般化ファイバーと特別ファイバーの構造は、多項式 $f^{[g]}(x)$ によって完全に決定される。
• 任意の表現 $\mathfrak{M}$ のフロベニウス捩り $\mathfrak{M}^{[i]}$ は、$p$ を法とするジョルダン・ホルダー重複度において $\mathfrak{M}^{\otimes p^i}$ と同じである。これは、$p$ を法とするグローテンディーク環における合同関係を確立する。
• 予想は、高ランク群へ拡張される：$K_0(\mathbb{G}(\mathbb{F}_q)) \simeq \mathbb{Z}[x_1,\dots,x_\ell]/(\mathfrak{f}_1^{[g]}(x_1) - x_1, \dots, \mathfrak{f}_\ell^{[g]}(x_\ell) - x_\ell)$ であり、各 $\mathfrak{f}_i(x_i) \equiv x_i^p \mod p\mathbb{Z}[x_i]$ を満たす。
• 予想の根拠には、シュタイナートの単純な共役類の数え上げとの次元一致、$p$ を法とする還元、および $K_0(\mathbb{G}(\mathbb{F}_q)) \otimes \mathbb{F}_q$ が $\mathbb{F}_q[x_1,\dots,x_\ell]/(x_1^q - x_1, \dots, x_\ell^q - x_\ell)$ に同型であるという事実が含まれる。