Iwahori Spherical Whittaker Functions for Steinberg Representations

Ehud Moshe Baruch; Markos Karameris

arxiv: 2407.01448 · v6 · submitted 2024-07-01 · 🧮 math.RT

Iwahori Spherical Whittaker Functions for Steinberg Representations

Markos Karameris , Ehud Moshe Baruch This is my paper

Pith reviewed 2026-05-23 23:27 UTC · model grok-4.3

classification 🧮 math.RT

keywords Iwahori fixed vectorsSteinberg representationsWhittaker functionsp-adic reductive groupsIwahori Hecke algebraspherical vectorssplit groupsgeneralized Steinberg

0 comments

The pith

The Whittaker function attached to the Iwahori-fixed vector in a generalized Steinberg representation is completely determined by the action of the Iwahori Hecke algebra on that vector.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes an explicit description of the spherical Whittaker function coming from the unique Iwahori-fixed vector inside a generalized Steinberg representation of any split reductive group over a p-adic field. It begins with the known one-dimensionality of the fixed space and the fact that the Iwahori Hecke algebra acts on this space by a specific character. The fixed vector itself is identified, after which the Hecke algebra relations are applied repeatedly to produce the full values of the Whittaker function on all double cosets. The result extends an earlier calculation that had been carried out only for the general linear group.

Core claim

For a split reductive group G(F) and its generalized Steinberg representation, the one-dimensional space of Iwahori-fixed vectors carries a character of the Iwahori Hecke algebra; the Whittaker function associated to any nonzero vector in this space is obtained by first locating the fixed vector and then using the known Hecke action to evaluate the function on the full set of Iwahori double cosets.

What carries the argument

The one-dimensional space of Iwahori-fixed vectors inside the generalized Steinberg representation, equipped with the character by which the Iwahori Hecke algebra acts on it.

If this is right

The Whittaker function for any generalized Steinberg representation of a split reductive p-adic group can be written in closed form once the fixed vector is known.
The same Hecke-algebra propagation that works for GL_n now supplies the function for all other split groups such as symplectic or exceptional groups.
Any representation-theoretic quantity that depends on the spherical Whittaker function of the Steinberg representation becomes computable from the Hecke character alone.
The method supplies a uniform algorithm that replaces case-by-case matrix computations previously needed for each group.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same technique of locating the fixed vector and propagating via Hecke relations may apply to other irreducible representations whose Iwahori-fixed space is low-dimensional.
Explicit formulas of this type could be used to test conjectural identities between Whittaker functions and local L-factors without relying on global automorphic forms.
Because the construction uses only the Hecke algebra structure, it is likely to remain valid after base change to unramified extensions of the p-adic field.

Load-bearing premise

The space of Iwahori-fixed vectors in the generalized Steinberg representation is one-dimensional and the Iwahori Hecke algebra acts on this space by a known character.

What would settle it

An explicit, independent calculation of the spherical Whittaker function for the Steinberg representation of SL_3(F) or Sp_4(F) that produces values different from those obtained by applying the Hecke algebra character to the Iwahori-fixed vector would show the determination is incorrect.

read the original abstract

Let $G(F)$ be a split reductive group over a $p$-adic field $F$ and let $(\pi_{St},V)$ be a (generalized) Steinberg representation of $G(F)$. It is known that the space of Iwahori fixed vectors in $V$ is one dimensional. The Iwahori Hecke algebra acts on this space via a character. We determine this fixed vector and use the Hecke algebra action on it to determine in full the Whittaker function associated with this Iwahori fixed vector. This generalizes our previous result for $GL_n(F)$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper gives an explicit formula for the Iwahori-fixed Whittaker function in generalized Steinberg representations of split reductive p-adic groups by using the known 1-dimensional fixed space and the Hecke algebra character.

read the letter

The core contribution is the explicit determination of the unique Iwahori-fixed vector in the Steinberg representation and the associated Whittaker function, done for arbitrary split reductive groups rather than just GL_n. It takes the standard facts about one-dimensionality of the fixed space and the character action of the Iwahori Hecke algebra, then works out the vector and the function from there. This is a direct extension of the authors' earlier GL_n result, and the abstract frames it as such without obvious circularity. The approach looks clean on the surface because it rests on established structure theorems for affine Hecke algebras and Steinberg representations. If the full paper carries through the root-system calculations without hidden assumptions, that would be the solid part. The main limitation is that the provided material is only the abstract, so any potential gaps in the Hecke algebra computations or handling of non-simply-laced cases cannot be checked here. The argument outline itself shows no internal inconsistency. This work is aimed at specialists in p-adic representation theory who need concrete formulas for Whittaker functions in automorphic forms or related computations. A reader already working in Iwahori-fixed vectors or explicit models would get direct value from the formula. It is narrow in scope but technically new, so it deserves a serious referee to verify the derivations rather than a desk reject.

Referee Report

0 major / 3 minor

Summary. The manuscript determines the unique (up to scalar) Iwahori-fixed vector in a generalized Steinberg representation of a split reductive group G(F) over a p-adic field F, and uses the character by which the Iwahori Hecke algebra acts on this one-dimensional space to compute the associated Iwahori-spherical Whittaker function in full. The argument is presented as a direct generalization of the authors' earlier explicit computation for GL_n(F), relying on the known one-dimensionality of the Iwahori-fixed space and the structure of the affine Hecke algebra.

Significance. If correct, the result supplies explicit formulas for Whittaker functions attached to Steinberg representations, which appear in the local theory of automorphic forms, the computation of local L-factors, and the study of the local Langlands correspondence. The approach via Hecke-algebra characters on Iwahori-fixed vectors is standard in the field and the generalization beyond GL_n is a natural and useful extension.

minor comments (3)

[§1] §1 (Introduction): the statement that the Iwahori Hecke algebra acts via a character should include a brief reference to the precise character (e.g., the Satake parameter or the value on the generators) to make the subsequent computation self-contained.
[§2 or §3] The notation for the generalized Steinberg representation (π_St, V) and the precise definition of the Whittaker functional should be recalled or referenced in the section where the fixed vector is constructed, to avoid ambiguity for readers outside the immediate GL_n literature.
[final section] Table or display of the final Whittaker function values (if present) would benefit from an explicit comparison column with the GL_n case to highlight the generalization.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript, the recognition of its significance, and the recommendation of minor revision. The report contains no enumerated major comments.

Circularity Check

0 steps flagged

No significant circularity; derivation rests on externally known facts

full rationale

The paper explicitly states that the one-dimensionality of the Iwahori-fixed space and the character action of the Hecke algebra are known facts, then uses these to explicitly determine the fixed vector and the associated Whittaker function via the Hecke algebra. This is presented as a direct generalization of the authors' prior GL_n result, but the load-bearing steps (determination of the vector and Whittaker function) are computations that apply the given one-dimensionality and algebra structure rather than re-deriving or fitting them. No step reduces by construction to a self-citation, fitted parameter, or ansatz smuggled from prior work; the central claim remains independent of the inputs once the standard facts are granted. This matches the default case of a self-contained computation on accepted representation-theoretic premises.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Based solely on the abstract, the paper relies on standard facts from the representation theory of p-adic groups (one-dimensionality of Iwahori-fixed space in Steinberg representations) rather than introducing new free parameters or invented entities.

axioms (2)

domain assumption The space of Iwahori-fixed vectors in a generalized Steinberg representation is one-dimensional.
Stated as known in the abstract; used as the starting point for determining the vector and the Whittaker function.
domain assumption The Iwahori Hecke algebra acts on this one-dimensional space via a character.
Invoked directly in the abstract to determine the Whittaker function.

pith-pipeline@v0.9.0 · 5619 in / 1164 out tokens · 19536 ms · 2026-05-23T23:27:44.301341+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We determine this fixed vector and use the Hecke algebra action on it to determine in full the Whittaker function associated with this Iwahori fixed vector.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

The Iwahori Hecke algebra acts on this space via a character.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.