arxiv: 2605.06180 · v2 · submitted 2026-05-07 · 🧮 math.RT

Recognition: 2 theorem links

· Lean Theorem

A Microlocal Description of Aubert-Zelevinsky Duality on Unipotent L-Parameters

Emile Okada, Jonas Antor

Pith reviewed 2026-05-11 00:53 UTC · model grok-4.3

classification 🧮 math.RT

keywords Aubert-Zelevinsky dualityunipotent representationsL-parametersp-adic groupsperverse sheavesmicrolocal descriptionHecke algebrasHiraga conjecture

0 comments

The pith

The Aubert-Zelevinsky involution on unipotent L-parameters corresponds to Fourier transform composed with complex conjugation and inversion.

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

The paper shows that the Aubert-Zelevinsky involution, which pairs representations in a certain way, can be described using microlocal geometry when enhanced L-parameters are viewed as perverse sheaves. This description consists of three specific operations: Fourier transform, complex conjugation from the compact dual group, and inversion on part of the parameter. The result provides a uniform understanding for all inner forms of the groups involved and proves an additional conjecture about A-parameters.

Core claim

We give a microlocal description of the Aubert-Zelevinsky involution for all unipotent representations of all inner forms of simple adjoint unramified p-adic groups. Via the realization of enhanced L-parameters as perverse sheaves, we show that the involution corresponds to the composition of three operations: Fourier transform, the complex conjugation map coming from the compact form of the dual group, and inversion on the compact part of the infinitesimal parameter. For groups not inner to a triality form of D4, this simplifies to Fourier transform, Chevalley involution, and duality on local systems.

What carries the argument

The realization of enhanced L-parameters as perverse sheaves, which allows the involution to be expressed as geometric operations on these sheaves.

If this is right

For groups not inner to a triality form of D4 the description simplifies to Fourier transform, Chevalley involution and duality on local systems.
The microlocal Hiraga conjecture holds for unipotent A-parameters of inner-to-split simple adjoint groups.
There exists a unique isomorphism of graded Hecke algebras compatible with the Kottwitz isomorphism.
A simple module of the geometric graded Hecke algebra is uniquely determined by certain composition multiplicities from the corresponding p-adic representation.

Where Pith is reading between the lines

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

This geometric view may enable explicit calculations of the involution in additional cases through operations on sheaves.
Similar microlocal techniques could describe other dualities in the representation theory of p-adic groups.
The characterization of modules by composition multiplicities provides a practical test for instances of the local Langlands correspondence.

Load-bearing premise

Enhanced L-parameters can be realized as perverse sheaves in a manner compatible with the unipotent local Langlands correspondence.

What would settle it

An explicit computation for a specific inner form and unipotent representation where applying Fourier transform, complex conjugation, and inversion does not recover the image under the Aubert-Zelevinsky involution.

read the original abstract

We give a microlocal description of the Aubert--Zelevinsky involution for all unipotent representations of all inner forms of simple adjoint unramified $p$-adic groups. Via the realization of enhanced $L$-parameters as perverse sheaves, we show that the involution corresponds to the composition of three operations: Fourier transform, the complex conjugation map coming from the compact form of the dual group, and inversion on the compact part of the infinitesimal parameter. We also show that when the group is not inner to a triality form of $D_4$, this simplifies to the composition of Fourier transform, Chevalley involution, and duality on local systems. This was previously verified in certain special examples by several authors where only the contribution by Chevalley involution and Fourier transform was observed. Duality on local systems is invisible in these examples since they only involve self-dual local systems. Finally, we prove the microlocal Hiraga conjecture for unipotent $A$-parameters of inner-to-split simple adjoint groups as a consequence of our results. In order to give a uniform proof of our results we reformulate and clarify several aspects of the construction of the unipotent local Langlands correspondence. This additionally allows us to characterize how various affine and graded Hecke algebras are identified. We prove that there is a `canonical' way to do so by showing that there is a unique isomorphism of graded Hecke algebras compatible with the Kottwitz isomorphism. As an application of this, we show that a simple module of the geometric graded Hecke algebra is uniquely determined by certain composition multiplicities coming from the corresponding representation of the $p$-adic group. This can be understood as a characterization of the unipotent local Langlands correspondence.

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

The paper gives a uniform microlocal picture of Aubert-Zelevinsky duality via perverse sheaves and proves the microlocal Hiraga conjecture, plus a canonical Kottwitz-compatible Hecke algebra isomorphism.

read the letter

The main takeaway is that the Aubert-Zelevinsky involution on unipotent representations of all inner forms of simple adjoint unramified p-adic groups matches the composition of Fourier transform, complex conjugation from the compact dual group, and inversion on the compact part of the infinitesimal parameter, realized through perverse sheaves on enhanced L-parameters. They also prove the microlocal Hiraga conjecture for unipotent A-parameters in the inner-to-split case as a direct consequence. The reformulation of the unipotent LLC supplies a unique graded Hecke algebra isomorphism compatible with Kottwitz, which they use to characterize simple modules by composition multiplicities from the p-adic side. Duality on local systems appears explicitly here, unlike in earlier special-case checks that only saw self-dual systems. They treat the triality D4 case separately but still within the same framework. The uniform proof across inner forms is the clearest advance, and the Hecke algebra uniqueness looks like a solid clarification that could be useful beyond this paper. The potential soft spot is whether the canonical isomorphism automatically preserves supports and monodromy data for the sheaf operations in non-split cases. The stress-test note flags this, but the paper's claim that the reformulation is canonical and unique suggests it does preserve the relevant structure; an explicit verification on one non-split example outside D4 would make that step easier to check. Overall the argument stays grounded in the cited realizations of L-parameters as sheaves and does not appear circular. This is for people already working in geometric methods for the local Langlands correspondence and microlocal techniques on p-adic groups. A reader who knows the prior perverse-sheaf constructions and graded Hecke algebra literature will get the most from the uniform treatment and the new local-systems observation. It has enough concrete new content and formal grounding to deserve a serious referee.

Referee Report

2 major / 2 minor

Summary. The manuscript gives a microlocal description of the Aubert-Zelevinsky involution on unipotent representations of all inner forms of simple adjoint unramified p-adic groups. Realizing enhanced L-parameters as perverse sheaves, it identifies the involution with the composition of Fourier transform, complex conjugation from the compact form of the dual group, and inversion on the compact part of the infinitesimal parameter. When the group is not inner to a triality form of D4, this reduces to Fourier transform, Chevalley involution, and duality on local systems. The paper proves the microlocal Hiraga conjecture for unipotent A-parameters of inner-to-split groups as a consequence and reformulates the unipotent LLC via a unique Kottwitz-compatible isomorphism of graded Hecke algebras, yielding a characterization of simple modules by composition multiplicities.

Significance. If the identifications hold, the work supplies a uniform geometric account of the duality that extends earlier special-case verifications and makes the contribution of duality on local systems visible. The uniqueness theorem for Kottwitz-compatible graded Hecke algebra isomorphisms is a concrete strengthening of the foundations of the unipotent correspondence, and the resulting characterization of simple modules by composition multiplicities is a useful byproduct. The derivation of the microlocal Hiraga conjecture is a further positive consequence.

major comments (2)

[§4] §4 (reformulation of the unipotent LLC): The uniqueness of the graded Hecke algebra isomorphism compatible with the Kottwitz isomorphism is established, yet the text does not explicitly verify that this canonical isomorphism preserves the supports and monodromy data appearing in the perverse-sheaf realization of the three microlocal operations for non-split inner forms; this compatibility is load-bearing for the central claim that the operations correspond to the involution.
[§6] §6 (triality D4 case): The separate treatment of the triality D4 case, while necessary, is not shown to follow from the same Kottwitz-compatible isomorphism without additional case-specific choices; if the general uniform proof is to cover all inner forms, an explicit reduction or verification that the three operations still match the involution must be supplied.

minor comments (2)

[Introduction] The introduction cites earlier verifications in special examples but does not list the precise references; add them explicitly.
[§2] Notation for the 'compact part of the infinitesimal parameter' is introduced without a displayed definition; a short equation or diagram in §2 would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the positive evaluation of the significance of the results. We address each major comment below and will incorporate clarifications to strengthen the exposition.

read point-by-point responses

Referee: [§4] §4 (reformulation of the unipotent LLC): The uniqueness of the graded Hecke algebra isomorphism compatible with the Kottwitz isomorphism is established, yet the text does not explicitly verify that this canonical isomorphism preserves the supports and monodromy data appearing in the perverse-sheaf realization of the three microlocal operations for non-split inner forms; this compatibility is load-bearing for the central claim that the operations correspond to the involution.

Authors: The uniqueness theorem in §4 is derived from the geometric construction of the unipotent LLC, which by design respects the stratification of the parameter space and the monodromy data of the local systems (see the realization in §3). Consequently the Kottwitz-compatible isomorphism automatically preserves supports and monodromy for all inner forms, including non-split ones. Nevertheless, we acknowledge that an explicit sentence linking the uniqueness statement to the preservation of these data would make the argument more transparent. We will add such a paragraph in the revised §4. revision: yes
Referee: [§6] §6 (triality D4 case): The separate treatment of the triality D4 case, while necessary, is not shown to follow from the same Kottwitz-compatible isomorphism without additional case-specific choices; if the general uniform proof is to cover all inner forms, an explicit reduction or verification that the three operations still match the involution must be supplied.

Authors: The Kottwitz isomorphism is defined uniformly across all inner forms, including those inner to triality D4, and the three microlocal operations (Fourier transform, complex conjugation from the compact form, and inversion) are applied identically. The separate discussion in §6 concerns only the further simplification to Chevalley involution plus duality on local systems; the identification of the composition with the Aubert–Zelevinsky involution itself follows from the same argument as in the general case and requires no additional choices. We will insert an explicit verification sentence at the beginning of §6 confirming that the matching holds by the uniform construction. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained via proven uniqueness and prior realization.

full rationale

The paper reformulates the unipotent LLC by proving there exists a unique isomorphism of graded Hecke algebras compatible with the Kottwitz isomorphism, then applies this to characterize simple modules via composition multiplicities. The core claim equates the Aubert-Zelevinsky involution to the composition of Fourier transform, complex conjugation, and inversion (or Chevalley involution plus duality on local systems) using the perverse-sheaf realization of enhanced L-parameters. No quoted step reduces a derived quantity to a fitted input or self-citation by construction; the uniqueness proof and microlocal correspondence are presented as independent derivations, with the Hiraga conjecture obtained as a consequence. The chain therefore contains independent mathematical content against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review; no explicit free parameters, axioms, or invented entities are stated. The work rests on standard background constructions (perverse sheaves, enhanced L-parameters, Kottwitz isomorphism) whose details are not supplied here.

pith-pipeline@v0.9.0 · 5630 in / 1362 out tokens · 58595 ms · 2026-05-11T00:53:25.893587+00:00 · methodology

Review history (2 revisions) →

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/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
Via the realization of enhanced L-parameters as perverse sheaves, we show that the involution corresponds to the composition of three operations: Fourier transform, the complex conjugation map coming from the compact form of the dual group, and inversion on the compact part of the infinitesimal parameter.
IndisputableMonolith/Foundation/AlphaCoordinateFixation.lean costAlphaLog_fourth_deriv_at_zero unclear
Theorem C … (i) Aubert–Zelevinsky duality: α(u,P,c)=(u⁻¹,P,c), β(t_s)=−t_{w0(s)}, β(x)=w0(x). (ii) Fourier transform: …

Reference graph

Works this paper leans on

14 extracted references · 12 canonical work pages

[1]

Contragredient representations and char- acterizing the local Langlands correspondence

[AV16] Jeffrey Adams and David A. Vogan Jr. “Contragredient representations and char- acterizing the local Langlands correspondence”. English. In:Am. J. Math.138.3 (2016), pp. 657–682.doi:10.1353/ajm.2016.0024. [Art13] James Arthur.The Endoscopic Classification of Representations Orthogonal and Symplectic Groups. Vol

work page doi:10.1353/ajm.2016.0024 2016
[2]

Atobe, W

arXiv:2410.13504. [AM23] Hiraku Atobe and Alberto M´ ınguez. “The explicit Zelevinsky-Aubert duality”. In: Compositio Mathematica159.2 (2023), pp. 380–418. [Aub95] Anne-Marie Aubert. “Dualit´ e dans le groupe de Grothendieck de la cat´ egorie des repr´ esentations lisses de longueur finie d’un groupe r´ eductif p-adique”. In:Trans. Amer. Math. Soc.347.6 (...

work page arXiv 2023
[3]

American Mathematical Society (AMS), 2017, pp

Proceedings. American Mathematical Society (AMS), 2017, pp. 15–51.doi:10.1090/conm/691/13892. [AMS21] Anne-Marie Aubert, Ahmed Moussaoui, and Maarten Solleveld.Affine Hecke alge- bras for Langlands parameters

work page doi:10.1090/conm/691/13892 2017
[4]

Reduction to real infinitesimal character in affine Hecke algebras

arXiv:1701.03593v4. [BM93] Dan Barbasch and Allen Moy. “Reduction to real infinitesimal character in affine Hecke algebras”. In:J. Amer. Math. Soc.6.3 (1993), pp. 611–635. [BL25] Leticia Barchini and Andr´ as C. L˝ orincz.Some unipotent Arthur packets for p-adic split F4

work page arXiv 1993
[5]

Deligne-Lusztig du- ality and wonderful compactification

arXiv:2512.07014. 45 [BBK18] Joseph Bernstein, Roman Bezrukavnikov, and David Kazhdan. “Deligne-Lusztig du- ality and wonderful compactification”. In:Selecta Math. (N.S.)24.1 (2018), pp. 7–

work page arXiv 2018
[6]

Multiplicity matrices for the affine graded Hecke algebra

1979, pp. 27–61. [Ciu08] Dan Ciubotaru. “Multiplicity matrices for the affine graded Hecke algebra.” In:J. Algebra320.11 (2008), pp. 3950–3983.doi:10.1016/j.jalgebra.2008.05.019. [CM93] David H. Collingwood and William M. McGovern.Nilpotent orbits in semisimple Lie algebra: an Introduction

work page doi:10.1016/j.jalgebra.2008.05.019 1979
[7]

Arthur packets forG 2 and perverse sheaves on cubics

[CFZ22] Clifton Cunningham, Andrew Fiori, and Qing Zhang. “Arthur packets forG 2 and perverse sheaves on cubics”. In:Advances in Mathematics395 (2022), p. 108074. [Dye91] Matthew Dyer. “On the ”Bruhat graph” of a Coxeter system”. In:Compositio Math- ematica78.2 (1991), pp. 185–191. [Eve96] Sam Evens. “The Langlands classification for graded Hecke algebras...

work page doi:10.1090/s0002-9939-96-03295-9 2022
[8]

On functoriality of Zelevinski involutions

Cambridge: Cambridge University Press, 2014, pp. 118–186. [Hir04] Kaoru Hiraga. “On functoriality of Zelevinski involutions”. In:Compositio Mathe- matica140.6 (2004), pp. 1625–1656.doi:10.1112/S0010437X04000892. [KS90] Masaki Kashiwara and Pierre Schapira.Sheaves on manifolds. With a short history “Les d´ ebuts de la th´ eorie des faisceaux” by Christian ...

work page doi:10.1112/s0010437x04000892 2014
[9]

Duality for representations of a Hecke algebra

Grundlehren Math. Wiss. Springer-Verlag, 1990.isbn: 3-540-51861-4. [Kat93] Shin-ichi Kato. “Duality for representations of a Hecke algebra”. In:Proceedings of the American Mathematical Society119.3 (1993), pp. 941–946. [KL87] David Kazhdan and George Lusztig. “Proof of the Deligne-Langlands conjecture for Hecke algebras”. In:Inventiones mathematicae87 (19...

1990
[10]

Intersection cohomology complexes on a reductive group

arXiv:2509 . 13231 [math.RT].url:https : / / arxiv.org/abs/2509.13231. [Lus84] George Lusztig. “Intersection cohomology complexes on a reductive group.” In:In- ventiones mathematicae75 (1984), pp. 205–272. 46 [Lus88] George Lusztig. “Cuspidal local systems and graded Hecke algebras, I”. In:Publi- cations Math´ ematiques de l’IH´ES67 (1988), pp. 145–202. [...

work page doi:10.24033/asens.1750 1984
[11]

Isogenies of Hecke algebras and a Langlands correspondence for ramified principal series representations

arXiv:2505.17422. [Ree02] Mark Reeder. “Isogenies of Hecke algebras and a Langlands correspondence for ramified principal series representations”. In:Represent. Theory6 (2002), pp. 101–

work page arXiv 2002
[12]

Parabolic induction and the Bernstein decomposition

[Roc02] Alan Roche. “Parabolic induction and the Bernstein decomposition”. In:Compos. Math.134.2 (2002), pp. 113–133.doi:10.1023/A:1020549802818. [Roc09] Alan Roche. “The Bernstein decomposition and the Bernstein centre”. In:Ottawa lectures on admissible representations of reductivep-adic groups. American Mathe- matical Society (AMS); The Fields Institute...

work page doi:10.1023/a:1020549802818 2002
[13]

The local Langlands conjecture

Proc. Sympos. Pure Math, 1979, pp. 29–69. [Vog93] David A. Vogan Jr. “The local Langlands conjecture”. In:Representation theory of groups and algebras. Vol

1979
[14]

Induced representations of reductivep-adic groups. II: On irreducible representations ofGL(n)

Contemp. Math. Amer. Math. Soc., Providence, RI, 1993, pp. 305–379. 47 [Zel80] Andrei V. Zelevinsky. “Induced representations of reductivep-adic groups. II: On irreducible representations ofGL(n)”. In:Ann. Sci. ´Ec. Norm. Sup´ er.13 (1980), pp. 165–210.doi:10.24033/asens.1379. (J. Antor)Mathematical Institute, University of Bonn, 53115 Bonn, Germany Email...

work page doi:10.24033/asens.1379 1993