[论文解读] 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)]$-模的格罗滕迪克环的显式表述，即作为多项式环 $\mathbb{Z}[x]$ 关于由 $f^{[g]}(x) - 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$ 下的对称幂恒等式推广为完整的环结构。
• 将结果推广至与单连通、分裂半单代数群相关的谢瓦莱群的格罗滕迪克环的猜想。
• 将格罗滕迪克环的代数结构与弗罗贝尼乌斯扭变的算术性质及模 $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}$，以编码弗罗贝尼乌斯作用与权移算子的作用。
• 定义 $g$ 重复合 $f^{[g]}(x)$，其中 $q = p^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))$ 同构于 $\mathbb{Z}[x]/(f^{[g]}(x) - x)$，其中 $f(x)$ 是编码对称幂表示的 $p$ 次多项式，$f^{[g]}$ 为其 $g$ 重复合。
• 多项式 $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)$。