Twisted Jacquet modules associated to maximal parabolic subgroups and cuspidal representations of GL(n, q)
Pith reviewed 2026-06-26 06:42 UTC · model grok-4.3
The pith
The structure of every twisted Jacquet module of a cuspidal representation of GL(n,q) follows directly from the universal property of a recursively defined representation of the maximal parabolic subgroup.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The twisted Jacquet functor from representations of P to the direct sum over r of representations of M_r is an equivalence of categories. The representation Π_{n-k,n} of P, obtained by iterating a functor that generalizes the Bernstein-Zelevinsky Φ^+ construction from the mirabolic case, satisfies (after inverse transpose) the universal property that any homomorphism from the restriction to P of a cuspidal representation of GL(n) factors uniquely through it. Consequently the twisted Jacquet module π_{N, ψ_r} is the unique M_r-module that realizes this universal property for the given rank.
What carries the argument
The recursively defined representation Π_{n-k,n} of P, which satisfies the universal property with respect to restrictions to P of cuspidal representations of GL(n).
If this is right
- The M_r-module structure is identified for every triple (r, k, n) at once.
- No character computation is required to obtain the identification.
- The result recovers all previously known special cases (including the case r = k = n/2) as immediate corollaries.
- The same universal property supplies the structure for the inverse-transpose conjugate of any such restriction.
Where Pith is reading between the lines
- The category equivalence may supply a template for constructing analogous universal objects for other parabolic subgroups of GL(n).
- The recursive definition of Π_{n-k,n} suggests a possible inductive description of the endomorphism rings of these twisted Jacquet modules.
Load-bearing premise
The twisted Jacquet functor induces an equivalence of categories between all representations of the parabolic P and the direct sum of the representation categories of the groups M_r.
What would settle it
An explicit computation, for concrete small values of n, k and r, of the M_r-module structure of π_{N, ψ_r} that fails to coincide with the module predicted by the universal property of Π_{n-k,n}.
read the original abstract
Let $\pi$ be a cuspidal representation $GL(n,F)$ over a finite field $F$. Let $P=MN$ be the Levi decomposition of a maximal parabolic subgroup corresponding to the partition $(k,n-k)$ of $n$. Given a rank $r$ character $\psi_r$ of the unipotent radical $N$, the twisted Jacquet module $\pi_{N, \psi_r}$ is a representation of the subgroup $M_r$ of $M$ which stabilizes $\psi_r$. The main problem we solve in this work is to determine the structure of $\pi_{N, \psi_r}$ as a $M_r$-module. This problem was first studied by D. Prasad, who solved the problem for the case $r=k=n/2$. This and subsequent works on the problem for special cases of $(r,k,n)$, identify the structure of $\pi_{N, \psi_r}$ by calculating its character and matching it to a known representation of $M_r$. In this work we solve the problem for all values of $(r,k,n)$ directly without calculating the character of $\pi_{N, \psi_r}$. Our solution depends on two other key conceptual advances: (i) We show that the twisted Jacquet functor which takes a complex representation of $P$ to its twisted Jacquet modules (one for each rank), gives an equivalence of categories between Rep$(P)$ and the direct sum $\oplus_r \text{Rep}(M_r)$ of the categories Rep$(M_r)$. (ii) We use this equivalence to construct a recursively defined representation $\Pi_{k,n}$ of $P$, which generalizes to $P$, the representation of the Mirabolic subgroup obtained from the trivial representation by iterating the Bernstein-Zelevinsky $\Phi^+$ functor. Like the representation $(\Phi^+)^{n-1}(1)$ of the Mirabolic subgroup, the representation $\Pi_{n-k,n}$ (after composing with the inverse transpose isomorphism) satisfies a universal property with respect to restrictions to $P$ of cuspidal representations of $G_n$. Our solution of the main problem is a simple consequence of this universal property.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims to determine the structure of the twisted Jacquet module π_{N, ψ_r} of a cuspidal representation π of GL(n, F) as an M_r-module, for a maximal parabolic P = MN corresponding to the partition (k, n-k) and any rank-r character ψ_r of N. It does so uniformly for all (r, k, n) by (i) proving that the twisted Jacquet functor induces an equivalence of categories Rep(P) ≅ ⊕_r Rep(M_r) and (ii) constructing a recursively defined representation Π_{k,n} of P that satisfies a universal property (after inverse transpose) with respect to restrictions to P of cuspidal representations of GL(n, F); the structure of π_{N, ψ_r} is then a direct consequence of this universal property. The approach avoids explicit character computations used in prior special-case results.
Significance. If the category equivalence and the universal property of Π_{n-k,n} are established, the result supplies a uniform, character-free solution to a problem previously treated only in special cases (e.g., r = k = n/2 by Prasad). The construction of Π_{k,n} via iterated functors generalizing the Bernstein-Zelevinsky Φ^+ on the mirabolic subgroup is a conceptual advance that could apply to other parabolic subgroups or other finite groups of Lie type.
major comments (2)
- [Abstract, point (i)] Abstract, claim (i): the asserted equivalence Rep(P) ≅ ⊕_r Rep(M_r) induced by the family of twisted Jacquet functors is load-bearing for the entire argument. The manuscript must explicitly verify that each functor is fully faithful and that the direct-sum decomposition is essentially surjective (every object of Rep(M_r) arises from a unique object of Rep(P) up to isomorphism). Without this verification the universal property of Π_{n-k,n} cannot be transferred to the cuspidal restrictions as claimed.
- [Abstract, point (ii)] Abstract, claim (ii) and main result: the recursive definition of Π_{k,n} and the statement that Π_{n-k,n} (post inverse-transpose) satisfies the universal property with respect to restrictions of cuspidals must be accompanied by a precise statement of the universal property (what Hom-spaces or extension properties are preserved) and a proof that the cuspidal restrictions satisfy it. The abstract presents this as a simple consequence, but the derivation is not supplied.
Simulated Author's Rebuttal
We thank the referee for the careful reading and for identifying points where greater explicitness will strengthen the manuscript. We address each major comment below and will revise accordingly.
read point-by-point responses
-
Referee: [Abstract, point (i)] Abstract, claim (i): the asserted equivalence Rep(P) ≅ ⊕_r Rep(M_r) induced by the family of twisted Jacquet functors is load-bearing for the entire argument. The manuscript must explicitly verify that each functor is fully faithful and that the direct-sum decomposition is essentially surjective (every object of Rep(M_r) arises from a unique object of Rep(P) up to isomorphism). Without this verification the universal property of Π_{n-k,n} cannot be transferred to the cuspidal restrictions as claimed.
Authors: We agree that an explicit verification of full faithfulness and essential surjectivity is required for the argument to be self-contained. The manuscript establishes the equivalence in Theorem 3.1 via adjunctions for full faithfulness and an explicit inverse construction (using the recursive Π) for essential surjectivity. To address the concern directly we will insert a new subsection 3.4 that isolates these two verifications with complete proofs. revision: yes
-
Referee: [Abstract, point (ii)] Abstract, claim (ii) and main result: the recursive definition of Π_{k,n} and the statement that Π_{n-k,n} (post inverse-transpose) satisfies the universal property with respect to restrictions of cuspidals must be accompanied by a precise statement of the universal property (what Hom-spaces or extension properties are preserved) and a proof that the cuspidal restrictions satisfy it. The abstract presents this as a simple consequence, but the derivation is not supplied.
Authors: We accept that the abstract is too terse on the precise form of the universal property. The manuscript states the property in Definition 4.1 (Hom_P(Π_{n-k,n} ∘ inv-transpose, Res_P(π)) ≅ ℂ for cuspidal π in the relevant block, zero otherwise) and proves in Theorem 4.3 that cuspidal restrictions satisfy it by induction on the recursive definition of Π. We will expand the abstract to include the precise Hom-space formulation and add a short explanatory paragraph in §4.2 showing how the cuspidal case follows from the recursion. revision: yes
Circularity Check
No circularity; equivalence and universal property presented as independent advances
full rationale
The paper states two explicit conceptual advances: (i) proving that the twisted Jacquet functor induces an equivalence Rep(P) ≅ ⊕_r Rep(M_r), and (ii) constructing the recursively defined Π_{k,n} via this equivalence, which then satisfies a universal property w.r.t. restrictions of external cuspidal representations of G_n. The main result on the structure of π_{N,ψ_r} is derived as a consequence of that universal property. No quoted step reduces by definition, by fitting, or by self-citation chain to its own inputs; the derivation chain is self-contained against the stated external benchmarks and does not invoke prior author work as load-bearing justification.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The twisted Jacquet functor induces an equivalence of categories between Rep(P) and ⊕_r Rep(M_r).
invented entities (1)
-
Π_{k,n}
no independent evidence
Reference graph
Works this paper leans on
-
[1]
Kumar Balasubramanian, Abhishek Dangodara, and Himanshi Khurana, On a twisted J acquet module of GL (2n) over a finite field , Journal of Number Theory 271 (2025), 458--474
2025
-
[2]
Pure Appl
Kumar Balasubramanian and Himanshi Khurana, A certain twisted J acquet module of GL (4) over a finite field , J. Pure Appl. Algebra 226 (2022), no. 5, Paper No. 106932, 16. 4328653
2022
-
[3]
Pure Appl
, A certain twisted J acquet module of GL (4) over a finite field , J. Pure Appl. Algebra 226 (2022), no. 5, Paper No. 106932, 16. 4328653
2022
-
[4]
Math 29 (2023), 874--910
, On a twisted J acquet module of GL (6, F ) over a finite field , New York J. Math 29 (2023), 874--910
2023
-
[5]
6, 107614
Kumar Balasubramanian and Himanshi Khurana, A certain twisted J acquet module of GL (6) over a finite field: The rank 2 case , Journal of Pure and Applied Algebra 228 (2024), no. 6, 107614
2024
-
[6]
704 (2025), 35--57
Kumar Balasubramanian, Krishna Kaipa, and Himanshi Khurana, On the cardinality of matrices with prescribed rank and partial trace over a finite field, Linear Algebra Appl. 704 (2025), 35--57. 4811080
2025
-
[7]
I. N. Bern s te n and A. V. Zelevinski , Representations of the group GL(n,F), where F is a local non- A rchimedean field , Uspehi Mat. Nauk 31 (1976), no. 3(189), 5--70. 0425030
1976
-
[8]
Roger W. Carter, Finite groups of L ie type , Pure and Applied Mathematics (New York), John Wiley & Sons, Inc., New York, 1985, Conjugacy classes and complex characters, A Wiley-Interscience Publication. 794307
1985
-
[9]
Jonathan Cohen, Bessel models for representations of GSp(4, q) , Documenta Mathematica (2026)
2026
-
[10]
Tullio Ceccherini-Silberstein, Fabio Scarabotti, and Filippo Tolli, Clifford theory and applications, Journal of Mathematical Sciences 156 (2009), 29--43
2009
-
[11]
S. I. Gelfand, Representations of the full linear group over a finite field, Mat. Sb. (N.S.) 83 (125) (1970), 15--41. 0272916
1970
-
[12]
Ofir Gorodetsky and Zahi Hazan, On certain degenerate W hittaker models for cuspidal representations of GL _ k n ( F_q) , Math. Z. 291 (2019), no. 1-2, 609--633. 3936084
2019
-
[13]
Pure Appl
Ankita Parashar and Shiv Prakash Patel, On the degenerate W hittaker space for GL_4( o _2) , J. Pure Appl. Algebra 229 (2025), no. 5, Paper No. 107921, 29. 4873743
2025
-
[14]
Dipendra Prasad, The space of degenerate W hittaker models for general linear groups over a finite field , Internat. Math. Res. Notices (2000), no. 11, 579--595. 1763857
2000
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.