[Paper Review] 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 Research2 references3 citations

TL;DR

This paper provides an explicit presentation of the Grothendieck ring of finitely generated $\mathbb{F}_q[SL_2(\mathbb{F}_q)]$-modules as a quotient of the polynomial ring $\mathbb{Z}[x]$ by the ideal generated by $f^{[g]}(x) - x$, where $f(x)$ is a degree-$p$ polynomial derived from symmetric power representations and $f^{[g]}$ denotes $g$-fold composition. The key result establishes a complete algebraic structure for the Grothendieck ring using Frobenius twisting and polynomial dynamics, with a conjecture extending this to higher-rank simply connected semisimple groups.

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.

Motivation & Objective

• To determine an explicit algebraic presentation of the Grothendieck ring $K_0(SL_2(\mathbb{F}_q))$ for finitely generated $\mathbb{F}_q[SL_2(\mathbb{F}_q)]$-modules.
• To generalize Serre's characteristic $p$ symmetric power identity to a full ring structure via Frobenius twisting and polynomial composition.
• To extend the result to a conjecture on the Grothendieck ring of Chevalley groups associated to simply connected, split semisimple algebraic groups over $\mathbb{F}_q$.
• To relate the algebraic structure of the Grothendieck ring to the arithmetic of Frobenius twists and Jordan-Hölder multiplicities modulo $p$.

Proposed method

• Use of the identity $\mathfrak{M}_k - \mathfrak{M}_{k-(q+1)} = \mathfrak{M}_{k-(q-1)} - \mathfrak{M}_{k-2q}$ in $K_0(SL_2(\mathbb{F}_q))$ to derive relations among symmetric power modules.
• Application of the generalized identity $(\Phi)$ involving Frobenius twists $[i]$ to derive polynomial relations in the Grothendieck ring.
• Construction of a degree-$p$ monic polynomial $f(x) = \sum_{j=0}^{\lfloor p/2\rfloor} (-1)^j \frac{p}{p-j} \binom{p-j}{j} x^{p-2j}$ encoding the action of Frobenius and weight-shifting operators.
• Definition of the $g$-fold composition $f^{[g]}(x)$, where $q = p^g$, to model the $g$th Frobenius twist in the Grothendieck ring.
• Establishing the isomorphism $K_0(SL_2(\mathbb{F}_q)) \simeq \mathbb{Z}[x]/(f^{[g]}(x) - x)$ via the assignment $\mathfrak{X} \mapsto x$.
• Proving that $f(x) \equiv x^p \mod p\mathbb{Z}[x]$, which links the polynomial structure to mod-$p$ reduction and the generic fiber of the ring.

Experimental results

Research questions

• RQ1 What is the complete algebraic structure of the Grothendieck ring $K_0(SL_2(\mathbb{F}_q))$ for finitely generated $\mathbb{F}_q[SL_2(\mathbb{F}_q)]$-modules?
• RQ2 How do Frobenius twisting and weight-shifting operators in characteristic $p$ give rise to polynomial relations in the Grothendieck ring?
• RQ3 Can the Grothendieck ring of $SL_2(\mathbb{F}_q)$ be fully described as a quotient of a polynomial ring by a single polynomial relation involving iterated composition?
• RQ4 What is the relationship between the Jordan-Hölder multiplicities of Frobenius twists and tensor powers of representations modulo $p$?
• RQ5 To what extent can the structure of the Grothendieck ring for $SL_2(\mathbb{F}_q)$ be generalized to higher-rank simply connected semisimple groups over $\mathbb{F}_q$?

Key findings

• The Grothendieck ring $K_0(SL_2(\mathbb{F}_q))$ is isomorphic to $\mathbb{Z}[x]/(f^{[g]}(x) - x)$, where $f(x)$ is a degree-$p$ polynomial encoding symmetric power representations and $f^{[g]}$ is its $g$-fold composition.
• The polynomial $f(x)$ is explicitly given by $f(x) = \sum_{j=0}^{\lfloor p/2\rfloor} (-1)^j \frac{p}{p-j} \binom{p-j}{j} x^{p-2j}$, and satisfies $f(x) \equiv x^p \mod p\mathbb{Z}[x]$.
• The structure of the generic and special fibers of $K_0(SL_2(\mathbb{F}_q)) \otimes_{\mathbb{Z}} \mathbb{Z}_p$ is fully determined by the polynomial $f^{[g]}(x)$.
• The Frobenius twist $\mathfrak{M}^{[i]}$ of any representation $\mathfrak{M}$ has the same Jordan-Hölder multiplicity modulo $p$ as $\mathfrak{M}^{\otimes p^i}$, establishing a congruence in the Grothendieck ring modulo $p$.
• The conjecture extends the result to higher-rank groups: $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)$, with each $\mathfrak{f}_i(x_i) \equiv x_i^p \mod p\mathbb{Z}[x_i]$.
• Evidence for the conjecture includes dimension matching with Steinberg's count of semisimple conjugacy classes, mod-$p$ reduction, and the fact that $K_0(\mathbb{G}(\mathbb{F}_q)) \otimes \mathbb{F}_q$ is isomorphic to $\mathbb{F}_q[x_1,\dots,x_\ell]/(x_1^q - x_1, \dots, x_\ell^q - x_\ell)$.