Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userRanks for Representations of GL(n) Over Finite Fields, their Agreement, and Positivity of Fourier Transform
167
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
In [Frobenius1896] it was shown that many important properties of a finite group could be examined using formulas involving the character ratios of group elements, i.e., the trace of the element acting in a given irreducible representation, divided by the dimension of the representation. In [Gurevich-Howe15] and [Gurevich-Howe17], the current authors introduced the notion of rank of an irreducible representation of a finite classical group. One of the motivations for studying rank was to clarify the nature of character ratios for certain elements in these groups. In fact in the above cited papers, two notions of rank were given. The first is the Fourier theoretic based notion of U-rank of a representation, which comes up when one looks at its restrictions to certain abelian unipotent subgroups. The second is the more algebraic based notion of tensor rank which comes up naturally when one attempts to equip the representation ring of the group with a grading that reflects the central role played by the few smallest possible representations of the group. In [Gurevich-Howe17] we conjectured that the two notions of rank mentioned just above agree on a suitable collection called low rank representations. In this note we review the development of the theory of rank for the case of the general linear group GL_n over a finite field F_q, and give a proof of the agreement conjecture that holds true for sufficiently large q. Our proof is Fourier theoretic in nature, and uses a certain curious positivity property of the Fourier transform of the set of matrices of low enough fixed rank in the vector space of matrices of size m x n over F_q. In order to make the story we are trying to tell clear, we choose in this note to follow a particular example that shows how one might apply the theory of rank to certain counting problems.
rate research
Read More
There are many formulas that express interesting properties of a finite group G in terms of sums over its characters. For estimating these sums, one of the most salient quantities to understand is the character ratio trace(pi(g)) / dim(pi), for an irreducible representation pi of G and an element g of G. It turns out [Gurevich-Howe15, Gurevich-Howe17] that for classical groups G over finite fields there are several (compatible) invariants of representations that provide strong information on the character ratios. We call these invariants collectively rank. Rank suggests a new way to organize the representations of classical groups over finite and local fields - a way in which the building blocks are the smallest representations. This is in contrast to Harish-Chandras philosophy of cusp forms that is the main organizational principle since the 60s, and in it the building blocks are the cuspidal representations which are, in some sense, the LARGEST. The philosophy of cusp forms is well adapted to establishing the Plancherel formula for reductive groups over local fields, and led to Lusztigs classification of the irreducible representations of such groups over finite fields. However, analysis of character ratios might benefit from a different approach. In this note we discuss further the notion of tensor rank for GL_n over a finite field F_q and demonstrate how to get information on representations of a given tensor rank using tools coming from the recently studied eta correspondence, as well as the well known philosophy of cusp forms, mentioned just above. A significant discovery so far is that although the dimensions of the irreducible representations of a given tensor rank vary by quite a lot (they can differ by large powers of q), for certain group elements of interest the character ratios of these irreps are nearly equal to each other.
Let $mathsf k$ be a local field. Let $I_ u$ and $I_{ u}$ be smooth principal series representations of $mathrm{GL}_n(mathsf k)$ and $mathrm{GL}_{n-1}(mathsf k)$ respectively. The Rankin-Selberg integrals yield a continuous bilinear map $I_ utimes I_{ u}rightarrow mathbb C$ with a certain invariance property. We study integrals over a certain open orbit that also yield a continuous bilinear map $I_ utimes I_{ u}rightarrow mathbb C$ with the same invariance property, and show that these integrals equal the Rankin-Selberg integrals up to an explicit constant. Similar results are also obtained for Rankin-Selberg integrals for $mathrm{GL}_n(mathsf k)times mathrm{GL}_n(mathsf k)$.
We define an involution on the space of compact tempered unipotent representations of inner twists of a split simple $p$-adic group $G$ and investigate its behaviour with respect to restrictions to reductive quotients of maximal compact open subgroups. In particular, we formulate a precise conjecture about the relation with a version of Lusztigs nonabelian Fourier transform on the space of unipotent representations of the (possibly disconnected) reductive quotients of maximal compact subgroups. We give evidence of the conjecture, including proofs for $mathsf{SL}_n$ and $mathsf{PGL}_n$.
We prove that the local Rankin--Selberg integrals for principal series representations of the general linear groups agree with certain simple integrals over the Rankin--Selberg subgroups, up to certain constants given by the local gamma factors.
With the aid of the exponentiation functor and Fourier transform we introduce a class of modules $T(g,V,S)$ of $mathfrak{sl} (n+1)$ of mixed tensor type. By varying the polynomial $g$, the $mathfrak{gl}(n)$-module $V$, and the set $S$, we obtain important classes of weight modules over the Cartan subalgebra $mathfrak h$ of $mathfrak{sl} (n+1)$, and modules that are free over $mathfrak h$. Furthermore, these modules are obtained through explicit presentation of the elements of $mathfrak{sl} (n+1)$ in terms of differential operators and lead to new tensor coherent families of $mathfrak{sl} (n+1)$. An isomorphism theorem and simplicity criterion for $T(g,V,S)$ is provided.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
