Pith. sign in

REVIEW 3 major objections 4 minor 32 references

An involution for Hecke algebras

T0 review · 3 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper proves that Alvis-Curtis duality for Hecke algebras is exactly an explicit module-level involution, with unequal parameters and in a relative finite setting.

desk verdict Solid unequal-parameter Hecke involution with a real proof; Section 7's Aubert–Zelevinsky compatibility is asserted, not proven, so the abstract overreaches. read the letter →

arxiv 2505.17401 v1 pith:HLNEJUYC submitted 2025-05-23 math.RT

Chuan Qin This is my paper · ORCID
classification math.RT MSC 20C0822E50
keywords HeckealgebrasAlvis-CurtisdualityinvolutionunequalparametersaffineramificationgroupsAubert-ZelevinskyBernsteinblocks
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper aims to show that the alternating sum of inductions and restrictions used in Alvis-Curtis duality is realized on Hecke-algebra modules by a single explicit involution, even when the Hecke parameters are not equal. In the extended affine Hecke algebra setting, Theorem 3.2 states that for every finite-dimensional module $M$, $\mathbb{D}[M] = \sum_{I \subseteq S} (-1)^{|I|} [\operatorname{Ind}_I \operatorname{Res}_I M]$ equals $[M^*]$, where the twist is $T_w^* = (-1)^{\ell(w_{\mathrm{fin}})} q(w) T_{w^{-1}}^{-1}$. The paper also proves a relative version for finite Hecke algebras attached to ramification groups, Theorem 5.2, under the assumption that the component group $C(\Lambda)$ is trivial. A final section transfers the pattern to generalized affine Hecke algebras attached to Bernstein blocks, giving the Hecke-algebra counterpart of Aubert-Zelevinsky duality. If correct, the paper gives a uniform module-level explanation of a duality that was previously known mainly as a character identity.

What carries the argument

The load-bearing object is the involution $*$ on the Hecke algebra, defined in the affine case on the Iwahori-Matsumoto generators by $T_w^* = (-1)^{\ell(w_{\mathrm{fin}})} q(w) T_{w^{-1}}^{-1}$, where $q(w)$ is the product of the Hecke parameters in a reduced expression of $w$ and $\ell(w_{\mathrm{fin}})$ is the length of the finite part of $w$. This map is an algebra anti-involution, and it is the module twist appearing on the right-hand side of $\mathbb{D}[M] = [M^*]$. The proof mechanism that carries the argument is the truncation complex: the induced module $\operatorname{Ind}_I \operatorname{Res}_I M$ is written as a quotient of $H \otimes_{H_I} M$ by images of endomorphisms $\tau_s$, and the alternating sum of these complexes is arranged so that a spherical simplicial complex argument shows cohomology lives only in degree 0. The kernel is then identified with $M^*$ through the intertwining element $\chi = \sum_{w} (-1)^{\ell(w)} T_w \otimes T_w^{-1}$, using the three intertwining identities for finite simple reflections, the affine reflection, and the length-zero part $\gamma \in \Omega$. In the relative theorem the same mechanism runs with the ramification group $W(\Lambda) = R(\Lambda)$ and the length function $\ell^{I_0^K}$.

What would settle it

Compute $\mathbb{D}[M]$ and $[M^*]$ for an irreducible module $M$ of a rank-two extended affine Hecke algebra in which two simple reflections are not conjugate and the parameters differ (for instance $q_s = 2$, $q_t = 3$). If the alternating sum of induced and restricted modules has a character different from the twisted module, the central claim fails; for the relative theorem, the analogous test is a cuspidal pair whose ramification group has nontrivial component group, where the equality (5.5) would show whether Assumption 5.1 is removable.

Watch

Extended reading notes

Core claim

The central discovery is that a duality defined by an alternating sum of parabolic induction and restriction functors is the same operation as twisting modules by an explicit algebra anti-involution. For the extended affine Hecke algebra $H(W(R), q_s)$ with possibly unequal parameters, the paper proves $\mathbb{D}[M] = [M^*]$ for all finite-dimensional modules $M$, with $T_w^* = (-1)^{\ell(w_{\mathrm{fin}})} q(w) T_{w^{-1}}^{-1}$ on the Iwahori-Matsumoto basis. In the relative finite setting, the analogous statement holds for the endomorphism algebra $\mathcal{E}_G(\Lambda)$ of a Harish-Chandra induced cuspidal module, with the twist $T_w^* = (-1)^{|I_0|+\ell^{I_0^K}(w)} p_w T_{w^{-1}}^{-1}$, provided the component group $C(\Lambda)$ is trivial. The proof constructs an explicit chain complex whose only nonzero cohomology sits in degree 0, so the alternating sum collapses to a single graded term, and then proves by direct intertwining identities that this term is $M^*$. The manuscript further gives a formula, (7.3), for the counterpart of Aubert-Zelevinsky duality on generalized affine Hecke algebras attached to Bernstein blocks, reducing to the earlier theorem when the supercuspidal support is the split torus with trivial character.

Load-bearing premise

The relative theorem's load-bearing premise is Assumption 5.1: the component group $C(\Lambda)$ in the semidirect decomposition $W(\Lambda) = C(\Lambda) \rtimes R(\Lambda)$ is trivial, so the ramification group is purely a reflection group and the parabolic subgroups of $W(\Lambda)$ have the direct-product form used in the proof; if $C(\Lambda)$ is nontrivial, the statement of Theorem 5.2 is not established.

Editorial extensions

If this is right

  • For any extended affine Hecke algebra with unequal parameters, the Alvis-Curtis style alternating sum can be replaced by the single explicit twist $M^*$, so computations of $\mathbb{D}[M]$ reduce to inverting basis elements.
  • In the relative finite setting, the theorem gives a module-level involution on the endomorphism algebras of Harish-Chandra induced cuspidal modules whenever the ramification group has trivial component group, upgrading the known character identity for ramification groups to modules.
  • When the supercuspidal support is the split torus with trivial character, the Bernstein-block formula (7.3) reduces to Theorem 3.2, showing compatibility between the affine involution and Aubert-Zelevinsky duality in that case.
  • For real parameters the involution preserves unitarity of modules, so the duality respects the unitary Iwahori-spherical representations of split $p$-adic groups, a direct consequence of the unitarity theorem in Section 3.4 combined with the criterion for unitarity of Iwahori-Hecke modules.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Editorial extension: If the equality $\mathbb{D}[M] = [M^*]$ is stable under specialization of parameters, the involution could be used to transport duality through families of Hecke algebras, giving a parameter-uniform statement beyond the current fixed-parameter theorem.
  • Editorial extension: The relative theorem's dependence on trivial $C(\Lambda)$ suggests that a nontrivial component group will require either a twisted involution involving characters of $C(\Lambda)$ or a sum over components; the semidirect decomposition $W(\Lambda) = C(\Lambda) \rtimes R(\Lambda)$ is the natural place to look for that correction.
  • Editorial extension: One testable consequence is that the involution should be compatible with the associated graded affine Hecke algebra at the graded level, so the identity $\mathbb{D} = (\cdot)^*$ should survive passage to the associated graded objects of the Bernstein block endomorphism algebras.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper constructs an involution * on extended affine Hecke algebras with unequal parameters by setting T*_w = (-1)^{ℓ(w_fin)} q(w) T^{-1}_{w^{-1}}, and proves that the Alvis-Curtis-type operator D[M] = Σ_{I⊆S} (-1)^{|I|} [Ind_I Res_I M] equals [M*] for finite-dimensional modules (Theorem 3.2). It also proves a relative version for the finite endomorphism algebras arising in Howlett-Lehrer theory under the assumption that the component group C(Λ) is trivial (Theorem 5.2), and it claims compatibility with Aubert-Zelevinsky duality for Bernstein blocks (Section 7). The paper includes a long appendix on homology representations and a detailed proof of Howlett-Lehrer's character identity.

Significance. Theorem 3.2 is a genuine extension of Kato's duality theorem to unequal parameters, and the proof is detailed enough to be checked; it also corrects an error in Kato's Lemma 2. Theorem 5.2 provides a finite-group-theoretic counterpart in the Howlett-Lehrer setting, although only under Assumption 5.1. The advertised compatibility with Aubert-Zelevinsky duality is not established in Section 7, so the paper's lasting contribution rests mainly on Theorems 3.2 and 5.2.

major comments (3)
  1. [Section 7 and Abstract] The compatibility with Aubert-Zelevinsky duality is asserted but not proved. Section 7 contains no theorem statement: formula (7.3) is introduced with 'the involution is' and there is no verification that it defines an involution on End_G(i_G^P Σ), no check that it matches D_G under the Bernstein equivalence, and no verification that the hypotheses of [Sol22] are satisfied for the specific cuspidal pairs and unramified twists used. Moreover, (6.1) defines D_G using normalized functors i_G^{P_I} and r_G^{P_I}, whereas (7.3) is written with unnormalized tensor/restriction functors Ind/Res inherited from the Roche diagrams; the paper does not discuss how normalization or central characters are matched. Since the abstract advertises this compatibility as a proved result, the author must either supply a complete proof with explicit hypotheses or remove the compatibility claim from the abstract.
  2. [Section 5.1, proof of Theorem 5.2] The proof of Theorem 5.2 is too compressed at two load-bearing points. The complex (5.7) is asserted to have cohomology only in one degree by analogy with [Sol66]/[DL82], but the boundary map d_i is described only informally, and the acyclicity argument is not adapted to the present indexing by WI\C_{I0}(I)/W(Λ) with W(Λ)=R(Λ). The final sentence 'this is done using Lemma 3.5 for the finite case' does not supply the needed verification that χ_{I0}^K intertwines the whole EG(Λ)-action with the twisted action, especially for products T_w with w ∈ W(Λ). Please expand this proof or state explicitly which steps are being quoted from the cited sources.
  3. [Section 1.2.2 and Assumption 5.1] The relative theorem is proved only under Assumption 5.1, i.e. under the condition that the component group C(Λ) is trivial. This is stated in the body, but the introduction and abstract present the result as a general 'relative version for finite Hecke algebras' without emphasizing that the main Howlett-Lehrer cases with nontrivial C(Λ) are not covered. The paper should qualify the scope of Theorem 5.2 in the abstract and in Section 1.2.2, or prove the general case.
minor comments (4)
  1. [Section 6.2, Corollary 6.4] Corollary 6.4 says 'i_G^Q is equivalent to i_G^Q'; presumably one of the two occurrences should be i_G^{\bar Q} (or a similar opposite parabolic), otherwise the statement is tautological.
  2. [Section 7, item (1)] In item (1) the text says 'The involution on the Hecke algebra side becomes (3.1) in the Section 3'; equation (3.1) is the definition of D[M], not the involution. The reference should be to Theorem 3.2 or equation (3.2)/(3.3).
  3. [Throughout] There are numerous typographical issues: 'courterparts', 'The author also own a lot', inconsistent use of 'S-I. Kato' vs 'S.-I. Kato', and the line 'Ω˙ HpWaff , qsq– HpWpRq, qsq' where the dot should be a semidirect product symbol. A careful proofreading pass is needed.
  4. [Section 5, Theorem 5.2] The notation E^1_I is used in Theorem 5.2 before being defined; the definition appears only in the theorem statement itself. It would help to define it in Section 5.1 or just before the theorem.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the two involution theorems are proved from external complexes and explicit intertwining computations; Section 7 incompleteness is a rigor gap, not a circular argument.

full rationale

No significant circularity. Theorem 3.2 is not circular: the involution * is not imposed to force D[M]=[M*]; rather D[M] is first computed from the Deligne–Lusztig/Kato complex (3.14)–(3.16), and the intertwining identities in Lemma 3.5 and Kato's Lemma 3 (quoted as Lemma 3.8) show that this computed object carries the twisted action T*_w = (-1)^{ℓ(w_fin)}q(w)T^{-1}_{w^{-1}}. The proof is an independent module-level extension of Solomon's character identity, with the unequal-parameter case handled by the corrected Lemma 3.5; there is no fitted parameter and no hidden normalization. Theorem 5.2 proceeds by the same complex construction under the explicitly stated Assumption 5.1, using Howlett–Lehrer's external identification of End_G(Ind Λ) as a Hecke algebra; the assumption is a stated hypothesis, not a conclusion smuggled from the authors' prior work. The cited [Sol22] and [Roc02] results are external (not self-citations) and, while Section 7's compatibility with Aubert–Zelevinsky duality is only sketched—(7.3) is written down without a proof that it is the Grothendieck shadow of an algebra involution or that it matches D_G under the Bernstein equivalence—this is an omitted proof/rigor gap, not a circular reduction. No equation in the paper equals its input by construction, and the central claims have independent mathematical content.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The central theorems rest on standard external results (Solomon, Deligne-Lusztig, Kato, Howlett-Lehrer) and two explicitly stated hypotheses: Assumption 5.1 (C(Lambda) trivial) and the appeal to [Sol22] that Bernstein block endomorphism algebras are generalized affine Hecke algebras. No free parameters are fitted to data.

assumptions (4)
  • standard math Solomon's identity (1.1) and the Deligne-Lusztig-Kato complex (3.14) have cohomology only in degree 0
    Used to identify D[M] with chi(1 tensor M) in the proof of Theorem 3.2.
  • domain assumption Howlett-Lehrer structure of W(Lambda) as C(Lambda) semidirect product R(Lambda), with C(Lambda) trivial (Assumption 5.1) and trivial 2-cocycle mu (Lusztig-Geck)
    Theorem 5.2 is only proved under these hypotheses; without them the induction and restriction structure is more complicated.
  • domain assumption Endomorphism algebras in Section 7 are generalized affine Hecke algebras, citing [Sol22]
    The comparison formula (7.3) depends on this identification, which is not proved in this paper.
  • domain assumption Root system R is irreducible in Section 3 to ensure a unique maximal coroot alpha_0
    Used in Lemma 3.5 for the s0 case; the reducible case is not treated.

how reviews work

0 comments
Cite this review

Pith. "Pith review of An involution for Hecke algebras." pith.science (2026). https://pith.science/paper/HLNEJUYC

@misc{pith2026250517401,
  author       = {Pith},
  title        = {Pith review of: An involution for Hecke algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HLNEJUYC}},
  note         = {Machine review of arXiv:2505.17401}
}
read the original abstract

We give two generalizations of the Alvis-Curtis duality for Hecke algebras: an unequal parameter version for the affine Hecke algebras, based on S.-I. Kato's work, and a relative version for finite Hecke algebras, based on Howlett-Lehrer's work. Our results for the finite case focus on the involution theorem for finite Hecke algebras that appear in Howlett-Lehrer's theory, where they proved a version for characters of certain subgroups of a Weyl group. We hope that our results will serve as a stepping stone for the study of involution for an arbitrary Bernstein block in the p-adic reductive group case. We also prove their compatibility with the Alvis-Curtis-Kawanaka duality (Aubert-Zelevinsky duality) when restricted to some Harish-Chandra series (resp. Bernstein blocks). This article is part of the author's PhD thesis.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

32 extracted references · 26 canonical work pages

  1. [1]

    D. Alvis. The duality operation in the character ring of a finite C hevalley group. American Mathematical Society. Bulletin. New Series , 1(6):907--911, 1979

    work page 1979

  2. [2]

    A-M. Aubert. Foncteurs de M ackey et dualit\' e de C urtis g\' e n\' e ralis\' e s. Comptes Rendus de l'Acad\' e mie des Sciences. S\' e rie I. Math\' e matique , 315(6):663--668, 1992

    work page 1992

  3. [3]

    A-M. Aubert. Systèmes de M ackey. Rapport de Recherches du LMENS , (93-15), 1993

    work page 1993

  4. [4]

    A-M. Aubert. Dualit \'e dans le groupe de G rothendieck de la categorie des representations lisses de longueur finie d'un groupe r \'e ductif p -adique. Transactions of the American Mathematical Society , 347(6):2179--2189, 1995

    1995

  5. [5]

    Aubert and Y

    A-M. Aubert and Y. Xu. The explicit local L anglands correspondence for G _2 , 2023. preprint, 70 pages, arXiv:2208.12391

    arXiv 2023

  6. [6]

    I. N. Bernstein. Le ``centre'' de Bernstein . Repr \'e sentations des groupes r \'e ductifs sur un corps local, Travaux en Cours : 1-32, 1984

    1984

  7. [7]

    Barbasch and A

    D. Barbasch and A. Moy. A unitary criterion for p -adic groups. Inventiones mathematicae , 98(1):19--38, 1989

    work page 1989

  8. [8]

    Bourbaki

    N. Bourbaki. Lie groups and L ie algebras. C hapters 4--6 . Elements of Mathematics. Springer-Verlag, Berlin, 2002. Translated from the 1968 French original by Andrew Pressley

    work page 2002

Show all 32 references
  1. [9]

    I. N. Bernstein and A. V. Zelevinsky. Induced representations of reductive p -adic groups. I . Annales scientifiques de l' \'E cole Normale Sup \'e rieure , 10(4):441--472, 1977

    1977

  2. [10]

    R. W. Carter. Simple groups of Lie type . New York: John Wiley & Sons, Inc., reprint of the 1972 orig. edition, 1989

    1972

  3. [11]

    Ciubotaru, L

    D. Ciubotaru, L. Mason-Brown, and E. Okada. Some unipotent A rthur packets for reductive p -adic groups. International Mathematics Research Notices. IMRN , (9):7502--7525, 2024

    2024

  4. [12]

    C. W. Curtis and I. Reiner. Methods of Representation Theory: With Applications to Finite Groups and Orders , volume II of Pure and Applied Mathematics . John Wiley & Sons, New York; Chichester, Brisbane, and Toronto, 1987

    1987

  5. [13]

    C. W. Curtis. Truncation and duality in the character ring of a finite group of L ie type. Journal of Algebra , 62(2):320--332, 1980

    1980

  6. [14]

    Deligne and G

    P. Deligne and G. Lusztig. Duality for representations of a reductive group over a finite field. Journal of Algebra , 74(1):284--291, 1982

    1982

  7. [15]

    Dudas and J

    O. Dudas and J. Michel. Lectures on finite reductive groups and their representations, 2015. Retrieved from https://webusers.imj-prg.fr/ jean.michel/papiers/lectures_beijing_2015.pdf

    2015

  8. [16]

    Digne and J

    F. Digne and J. Michel. Representations of Finite Groups of Lie Type . London Mathematical Society Student Texts. Cambridge University Press, 2nd edition, 2020

    2020

  9. [17]

    M. Geck. A note on H arish- C handra induction. Manuscripta mathematica , 80(4):393--402, 1993

    1993

  10. [18]

    R. B. Howlett and G. I. Lehrer. Duality in the Normalizer of a Parabolic Subgroup of a Finite C oxeter Group . Bulletin of the London Mathematical Society , 14(2):133--136, 03 1982

    1982

  11. [19]

    R. B. Howlett and G. I. Lehrer. Representations of generic algebras and finite groups of L ie type. Transactions of the American Mathematical Society , 280(2):753--779, 1983

    1983

  12. [20]

    R. B. Howlett. Induced cuspidal representations and generalised H ecke rings. Inventiones mathematicae , 58:37--64, 1980

    1980

  13. [21]

    J. E. Humphreys. Reflection Groups and C oxeter Groups . Cambridge Studies in Advanced Mathematics. Cambridge University Press, 1990

    1990

  14. [22]

    Iwahori and H

    N. Iwahori and H. Matsumoto. On some Bruhat decomposition and the structure of the Hecke rings of p -adic Chevalley groups. Publications Math\'ematiques de l'IH\'ES , 25:5--48, 1965

    1965

  15. [23]

    S-I. Kato. On the K azhdan- L usztig polynomials for affine W eyl groups. Advances in Mathematics , 55:103--130, 1985

    1985

  16. [24]

    S-I. Kato. Duality for representations of a H ecke algebra. Proceedings of The American mathematical society , 119:941--946, 1993

    1993

  17. [25]

    G. Lusztig. H ecke algebras and J antzen's generic decomposition patterns. Advances in Mathematics , 37(2):121--164, 1980

    1980

  18. [26]

    G. Lusztig. Characters of Reductive Groups over a Finite Field , volume 107 of Annals of Mathematics Studies . Princeton University Press, Princeton, 1984

    1984

  19. [27]

    G. Lusztig. Affine H ecke algebras and their graded version. Journal of the American Mathematical Society , 2(3):599--635, 1989

    1989

  20. [28]

    D. Renard. Repr \'e sentations des groupes r \'e ductifs \(p\) -adiques , volume 17 of Cours Sp \'e cialis \'e s (Paris) . Soci \'e t \'e Math \'e matique de France, Paris, 2010

    2010

  21. [29]

    A. Roche. Parabolic induction and the B ernstein decomposition. Compositio Mathematica , 134(2):113--133, 2002

    2002

  22. [30]

    L. Solomon. The orders of the finite C hevalley groups. Journal of Algebra , 3(3):376--393, 1966

    1966

  23. [31]

    Solleveld

    M. Solleveld. Affine H ecke algebras and their representations. Indagationes Mathematicae , 32(5):1005--1082, Sep 2021

    2021

  24. [32]

    Solleveld

    M. Solleveld. Endomorphism algebras and H ecke algebras for reductive p -adic groups. Journal of Algebra , 606:371--470, 2022

    2022

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.