Recognition: unknown
Lusztig constants and endoscopy
Pith reviewed 2026-05-08 13:29 UTC · model grok-4.3
The pith
If an invariant function on a semisimple Lie algebra and its Fourier transform are both supported in the nilpotent cone, then the transform equals the function scaled by an explicit quadratic Gauss sum.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
On a semisimple Lie algebra g over a finite field of large characteristic, if a complex-valued invariant function f and its Fourier transform hat f are both supported in the nilpotent cone of g, then hat f = gamma^{-1} f for an explicit quadratic Gauss sum gamma. This determines the fourth root of unity appearing in various formulae of generalised Gel'fand-Graev characters, known as the Lusztig constant, and shows the validity of a conjecture of Letellier on the compatibility of Fourier transform with Deligne-Lusztig induction.
What carries the argument
The Fourier transform on the Lie algebra vector space together with the common support condition inside the nilpotent cone, which forces the scaling of the invariant function by the quadratic Gauss sum gamma.
If this is right
- Lusztig constants are now determined uniformly rather than only in special cases previously treated by Kawanaka, Digne-Lehrer-Michel, Waldspurger and Geck.
- Generalized Gel'fand-Graev characters acquire explicit formulas containing the correct fourth root of unity.
- Fourier transform commutes with Deligne-Lusztig induction as conjectured by Letellier.
- Endoscopic transfers in the character theory of finite groups of Lie type gain explicit control through this scaling relation.
Where Pith is reading between the lines
- Similar support conditions on other loci might yield analogous scaling relations for non-invariant functions.
- The result suggests that nilpotent cone geometry encodes the necessary data to relate Fourier analysis directly to induction functors in the representation theory.
- Explicit character computations for exceptional groups may become feasible without exhaustive case analysis.
Load-bearing premise
The characteristic of the finite field is large enough relative to the semisimple Lie algebra that the Fourier transform statements and nilpotent support conditions hold without extra correction terms.
What would settle it
An explicit invariant function f on, for example, the Lie algebra of SL_3 over a sufficiently large prime field whose Fourier transform is also supported on the nilpotent cone yet fails to equal gamma inverse times f would falsify the scaling claim.
read the original abstract
We prove that on a semisimple Lie algebra $\mathfrak{g}$ over a finite field of large characteristic, if a complex-valued invariant function $f$ and its Fourier transform $\hat f$ are both supported in the nilpotent cone of $\mathfrak{g}$, then $\hat f = \gamma^{-1}f$ for an explicit quadratic Gauss sum $\gamma$. Consequently, we determine a fourth root of unity appearing in various formulae of generalised Gel'fand--Graev characters, known as Lusztig constant, previously known in special cases due to works of Kawanaka, Digne--Lehrer--Michel, Waldspurger and Geck. As consequence, we show the validity of a conjecture of Letellier on the compatibility of Fourier transform with Deligne--Lusztig induction.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves that on a semisimple Lie algebra 𝔤 over a finite field of large characteristic, if a complex-valued invariant function f and its Fourier transform ˆf are both supported in the nilpotent cone of 𝔤, then ˆf = γ^{-1}f for an explicit quadratic Gauss sum γ. As a consequence, it determines the fourth root of unity known as the Lusztig constant appearing in generalized Gel'fand-Graev characters (previously known only in special cases) and establishes Letellier's conjecture on the compatibility of the Fourier transform with Deligne-Lusztig induction.
Significance. If the central rigidity statement holds, the result supplies a uniform, explicit determination of the Lusztig constant across all semisimple types, resolving a gap that had been addressed only case-by-case. The approach via support conditions on the nilpotent cone and the Fourier transform on the Lie algebra yields a clean, parameter-free relation that directly implies the stated applications to character formulas and endoscopy. This strengthens the foundations for computing generalized Gel'fand-Graev characters and for Letellier's conjecture, with potential further use in the theory of character sheaves.
major comments (1)
- [Main theorem statement (and §1)] The large-characteristic hypothesis is invoked to guarantee that the nilpotent cone is a union of orbits without p-torsion and that the Fourier transform has no correction terms, but the precise bound (in terms of the Coxeter number, root lengths, or rank of 𝔤) is not stated explicitly in the main theorem or introduction. This makes it impossible to verify the range of applicability without additional work.
minor comments (2)
- [Main theorem] The explicit formula for the quadratic Gauss sum γ should be written out in the statement of the main theorem rather than deferred to a later section, to make the rigidity statement self-contained.
- [§ on Lusztig constants] A short table or list summarizing the previously known special cases (Kawanaka, Digne-Lehrer-Michel, Waldspurger, Geck) and how the new result recovers them would improve readability of the applications section.
Simulated Author's Rebuttal
We thank the referee for the positive recommendation and the constructive comment on the main theorem statement. We address the point below and will incorporate the suggested clarification.
read point-by-point responses
-
Referee: The large-characteristic hypothesis is invoked to guarantee that the nilpotent cone is a union of orbits without p-torsion and that the Fourier transform has no correction terms, but the precise bound (in terms of the Coxeter number, root lengths, or rank of 𝔤) is not stated explicitly in the main theorem or introduction. This makes it impossible to verify the range of applicability without additional work.
Authors: We agree that an explicit statement of the characteristic bound would improve readability and verifiability. The proofs rely on p being large enough to ensure the nilpotent cone consists of orbits without p-torsion and that the Fourier transform on the Lie algebra has no correction terms; these conditions are used throughout the body but were not highlighted with a precise bound in the introduction or main theorem. We will revise both the introduction and the statement of the main theorem to include an explicit bound phrased in terms of the Coxeter number of the root system (and, where relevant, root lengths), together with a brief explanation of why this suffices. revision: yes
Circularity Check
No significant circularity; central claim is a proved rigidity result
full rationale
The paper establishes a theorem that invariant functions f on the Lie algebra whose support and Fourier transform support both lie in the nilpotent cone must satisfy ˆf = γ^{-1}f for an explicit quadratic Gauss sum γ. This follows directly from properties of the Fourier transform on the Lie algebra under the large-characteristic hypothesis and the given support conditions. No step reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation; the result is presented as a new proof extending prior special cases by other authors. The derivation chain is self-contained against external benchmarks such as the Fourier transform and nilpotent cone geometry.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The characteristic of the base field is large enough that the Fourier transform behaves without correction terms on the nilpotent cone.
- standard math Invariant functions on the Lie algebra are well-defined and the Fourier transform preserves invariance.
Reference graph
Works this paper leans on
-
[1]
Adler and Alan Roche, An intertwining result for p -adic groups , Canad
Jeffrey D. Adler and Alan Roche, An intertwining result for p -adic groups , Canad. J. Math. 52 (2000), no. 3, 449--467
2000
-
[2]
Pierre Cartier, \"U ber einige Integralformeln in der Theorie der quadratischen Formen , Math. Z. 84 (1964), 93--100
1964
-
[3]
Lehrer, and Jean Michel, The characters of the group of rational points of a reductive group with nonconnected centre, J
Fran c ois Digne, Gustav I. Lehrer, and Jean Michel, The characters of the group of rational points of a reductive group with nonconnected centre, J. Reine Angew. Math. 425 (1992), 155--192
1992
-
[4]
Reine Angew
, On the Gel 'fand- Graev characters of reductive groups with disconnected centre , J. Reine Angew. Math. 491 (1997), 131--147
1997
-
[5]
Algebra 260 (2003), no
, The space of unipotently supported class functions on a finite reductive group, J. Algebra 260 (2003), no. 1, 111--137, Special issue celebrating the 80th birthday of Robert Steinberg
2003
-
[6]
Meinolf Geck, Character sheaves and generalized Gelfand - Graev characters. , Proc. Lond. Math. Soc. (3) 78 (1999), no. 1, 139--166
1999
-
[7]
I , Invent
Noriaki Kawanaka, Generalized Gelfand - Graev representations of exceptional simple algebraic groups over a finite field. I , Invent. Math. 84 (1986), 575--616
1986
-
[8]
1859, Springer-Verlag, Berlin, 2005
Emmanuel Letellier, Fourier transforms of invariant functions on finite reductive L ie algebras , Lecture Notes in Mathematics, vol. 1859, Springer-Verlag, Berlin, 2005
2005
-
[9]
George Lusztig, Intersection cohomology complexes on a reductive group, Invent. Math. 75 (1984), no. 2, 205--272
1984
-
[10]
, A unipotent support for irreducible representations, Adv. Math. 94 (1992), no. 2, 139--179
1992
-
[11]
Bao Ch \^a u Ng \^o , Le lemme fondamental pour les alg\`ebres de L ie , Publ. Math. Inst. Hautes \'Etudes Sci. (2010), no. 111, 1--169
2010
-
[12]
Ramaswamy Ranga Rao, On some explicit formulas in the theory of Weil representation , Pac. J. Math. 157 (1993), no. 2, 335--371
1993
-
[13]
Hautes \'Etudes Sci
Jean-Loup Waldspurger, Homog\'en\'eit\'e de certaines distributions sur les groupes p -adiques , Inst. Hautes \'Etudes Sci. Publ. Math. (1995), no. 81, 25--72
1995
-
[14]
105 (1997), no
, Le lemme fondamental implique le transfert, Compositio Math. 105 (1997), no. 2, 153--236
1997
-
[15]
269, Paris: Soci \'e t \'e Math \'e matique de France, 2001
, Int \'e grales orbitales nilpotentes et endoscopie pour les groupes classiques non ramifi \'e s , Ast \'e risque, vol. 269, Paris: Soci \'e t \'e Math \'e matique de France, 2001
2001
-
[16]
, Fonctions dont les intégrales orbitales et celles de leurs transformées de Fourier sont à support topologiquement nilpotent , Michigan Mathematical Journal 72 (2022), 621--641
2022
-
[17]
, Espaces \(FC( g (F))\) et endoscopie , M \'e m. Soc. Math. Fr., Nouv. S \'e r., vol. 187, Paris: Soci \'e t \'e Math \'e matique de France (SMF), 2025
2025
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.