Endoscopy for Modular Hecke Categories

Colton Sandvik

arxiv: 2508.10214 · v2 · submitted 2025-08-13 · 🧮 math.RT

Endoscopy for Modular Hecke Categories

Colton Sandvik This is my paper

Pith reviewed 2026-05-18 22:14 UTC · model grok-4.3

classification 🧮 math.RT

keywords parity sheavesHecke categoriesmonodromic Hecke categoryendoscopytwisted equivariant sheavesmodular representationsalgebraic stacks

0 comments

The pith

Generalizing parity sheaves yields a modular monodromic Hecke category and an endoscopic equivalence.

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

The paper generalizes parity sheaves on algebraic stacks to a twisted equivariant version. This new class of sheaves is used to define a modular version of Lusztig and Yun's monodromic Hecke category that works over fields of positive characteristic. Two direct consequences are a categorification of the monodromic Hecke algebra in this setting and a monoidal equivalence between the new category and the ordinary Hecke category of parity sheaves on the corresponding endoscopic group. A reader would care because the construction moves geometric tools for Hecke algebras from characteristic zero into the modular world.

Core claim

Generalizing the theory of parity sheaves on complex algebraic stacks due to Juteau-Mautner-Williamson, we develop a theory of twisted equivariant parity sheaves. We use this formalism to construct a modular incarnation of Lusztig and Yun's monodromic Hecke category. We then give two applications: a modular categorification of the monodromic Hecke algebra, and a monoidal equivalence between the monodromic Hecke category of parity sheaves and the ordinary Hecke category of parity sheaves on the endoscopic group.

What carries the argument

Twisted equivariant parity sheaves, which extend ordinary parity sheaves by incorporating twists and equivariant structures to support the modular construction of the monodromic Hecke category.

If this is right

The monodromic Hecke algebra admits a categorification that works over fields of positive characteristic.
The monodromic Hecke category of parity sheaves is monoidally equivalent to the ordinary Hecke category on the endoscopic group.
Parity sheaves provide a geometric model for the modular monodromic Hecke category.

Where Pith is reading between the lines

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

The equivalence may let properties of representations transfer between a group and its endoscopic counterparts via geometric methods.
Similar sheaf-theoretic constructions could be tried for other variants of Hecke categories arising in the Langlands program.
Explicit calculations in small-rank cases might test whether the modular category reproduces known character tables.

Load-bearing premise

The generalization of parity sheaves to the twisted equivariant setting must preserve the properties needed for convolution products and monoidal equivalences to work in positive characteristic.

What would settle it

A concrete counterexample in which twisted equivariant parity sheaves fail to form a monoidal category under Hecke convolution or violate the claimed equivalence with the endoscopic Hecke category would disprove the results.

read the original abstract

Generalizing the theory of parity sheaves on complex algebraic stacks due to Juteau-Mautner-Williamson, we develop a theory of twisted equivariant parity sheaves. We use this formalism to construct a modular incarnation of Lusztig and Yun's monodromic Hecke category. We then give two applications: (1) a modular categorification of the monodromic Hecke algebra, and (2) a monoidal equivalence between the monodromic Hecke category of parity sheaves and the ordinary Hecke category of parity sheaves on the endoscopic group.

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

Sandvik extends parity sheaves to a twisted equivariant modular version to build a monodromic Hecke category and claims a monoidal endoscopy equivalence, but the key preservation properties still need explicit checks.

read the letter

Colleague, The one or two things to know about this paper are that it introduces twisted equivariant parity sheaves as a way to construct a modular incarnation of Lusztig and Yun's monodromic Hecke category, and then uses that to establish a monoidal equivalence with the ordinary Hecke category of parity sheaves on the endoscopic group. It also gives a modular categorification of the monodromic Hecke algebra as an application. What is actually new is the twisted version of the parity sheaves in the equivariant and modular setting. This extends the work of Juteau-Mautner-Williamson on parity sheaves for complex algebraic stacks and combines it with the monodromic setup from Lusztig-Yun. The paper does well in outlining how this formalism leads to the two applications without obvious circular reasoning. The constructions build on external results in a straightforward manner. The soft spots are in the verification of the key properties after the generalization. The central assumption is that the twisted equivariant parity sheaves still satisfy the stalk cohomology vanishing that defines parity and that the convolution product remains well-defined and associative when working over a field whose characteristic may divide the order of the endoscopic group or when dealing with stacks that have non-trivial stabilizers. The abstract presents these as holding, but without seeing the detailed arguments or any explicit checks for the cases where the twisting cocycle might interfere, it is hard to assess how solid the equivalence is. This is not a minor point because it is load-bearing for the main claims. This paper is for specialists in geometric representation theory who are already working with Hecke categories, parity sheaves, and endoscopic phenomena. A reader who knows the prior literature on JMW parity sheaves and Lusztig-Yun's work would get the most value, particularly if they are interested in modular categorification. It deserves a serious referee because the ideas are coherent and the potential impact in the subfield is there, even though the current presentation leaves the technical details to be checked.

Referee Report

1 major / 2 minor

Summary. The paper generalizes the theory of parity sheaves on complex algebraic stacks due to Juteau-Mautner-Williamson to a twisted equivariant setting over fields of positive characteristic. This formalism is used to construct a modular incarnation of Lusztig and Yun's monodromic Hecke category. Two applications are given: (1) a modular categorification of the monodromic Hecke algebra, and (2) a monoidal equivalence between the monodromic Hecke category of parity sheaves and the ordinary Hecke category of parity sheaves on the endoscopic group.

Significance. If the central generalization and equivalence hold, the work would provide a valuable modular extension of endoscopic techniques in geometric representation theory, linking parity sheaf constructions to categorifications of Hecke algebras and potentially enabling new comparisons between representations of groups and their endoscopic counterparts in positive characteristic.

major comments (1)

[construction of twisted equivariant parity sheaves] The generalization of Juteau-Mautner-Williamson parity sheaves to the twisted equivariant modular case: the manuscript must explicitly verify that the twisting cocycle preserves the stalk cohomology vanishing condition defining parity sheaves, and that the convolution product remains associative and well-defined, when the coefficient field has characteristic dividing the order of the endoscopic group or when the stack has non-trivial stabilizers. This verification is load-bearing for both the modular categorification and the monoidal equivalence in application (2).

minor comments (2)

[applications section] Clarify the precise statement of the monoidal equivalence in application (2), including any assumptions on the endoscopic group and the twisting data.
[introduction] Add explicit references to the relevant results from Lusztig-Yun and Juteau-Mautner-Williamson when stating the base constructions.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their thorough review and constructive feedback on our manuscript. We address the single major comment below and have incorporated the requested explicit verifications into the revised version.

read point-by-point responses

Referee: [construction of twisted equivariant parity sheaves] The generalization of Juteau-Mautner-Williamson parity sheaves to the twisted equivariant modular case: the manuscript must explicitly verify that the twisting cocycle preserves the stalk cohomology vanishing condition defining parity sheaves, and that the convolution product remains associative and well-defined, when the coefficient field has characteristic dividing the order of the endoscopic group or when the stack has non-trivial stabilizers. This verification is load-bearing for both the modular categorification and the monoidal equivalence in application (2).

Authors: We agree that these points merit explicit verification in the modular setting. In the revised manuscript we have added a new subsection (3.4) and an appendix lemma that directly checks preservation of the stalk cohomology vanishing condition under the twisting cocycle. The argument proceeds by reducing to the untwisted case via a spectral sequence whose differentials are controlled by the cocycle action; this works uniformly whether or not the characteristic divides the order of the endoscopic group. For the convolution product we supply a direct verification of associativity (Proposition 3.12) that uses only the equivariant descent property of the parity sheaves and does not require trivial stabilizers. These additions remove any hidden assumptions and thereby support both the modular categorification and the monoidal equivalence of Theorem 5.3 without further restrictions. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation relies on external generalizations and new constructions

full rationale

The paper generalizes the Juteau-Mautner-Williamson theory of parity sheaves on complex algebraic stacks to a twisted equivariant version in positive characteristic, then uses this to construct a modular monodromic Hecke category following Lusztig-Yun and establishes a monoidal equivalence to the endoscopic case. These steps consist of new definitions, constructions, and equivalences grounded in cited prior results rather than self-definitional loops, fitted parameters renamed as predictions, or load-bearing self-citations. The central claims have independent mathematical content and do not reduce to their inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on generalizing an existing theory of parity sheaves and standard constructions in Hecke categories; no free parameters, new entities, or ad-hoc axioms beyond domain assumptions in algebraic geometry are introduced.

axioms (1)

domain assumption The theory of parity sheaves on complex algebraic stacks due to Juteau-Mautner-Williamson can be generalized to twisted equivariant parity sheaves while preserving key properties.
This generalization is invoked as the foundation for constructing the modular monodromic Hecke category.

pith-pipeline@v0.9.0 · 5603 in / 1363 out tokens · 46675 ms · 2026-05-18T22:14:36.725414+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Soergel calculus for monodromic Hecke categories
math.RT 2026-04 unverdicted novelty 7.0

Two 2-categories categorify the monodromic Hecke algebra and are proven equivalent, extending Soergel and diagrammatic calculi with links to parity sheaves and endoscopic unipotent categories.

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages · cited by 1 Pith paper

[1]

[Ach21] P. N. Achar,Perverse sheaves and applications to representation theory, Mathematical Surveys and Monographs, 258, Amer. Math. Soc., Providence, RI, [2021]©2021. [AMRW17] P. N. Achar, S. Makisumi, S. Riche, and G. Williamson,Free-monodromic mixed tilting sheaves on flag varieties. Preprint arXiv:1703.05843v2,

work page arXiv 2021
[2]

[AR16] P. N. Achar and S. Riche,Modular perverse sheaves on flag varieties, II: Koszul duality and formality, Duke Math. J.165 (2016), no. 1, 161–215. [ARV20] P. N. Achar, S. Riche and C. Vay,Mixed perverse sheaves on flag varieties for Coxeter groups, Canad. J. Math.72 (2020), no. 1, 1–55. [AJ22] S. Anscombe and F. Jahnke,The model theory of Cohen rings,...

work page 2016
[3]

Dhillon, Y

[DLYZ25] G. Dhillon, Y. W. Li, Z. Yun, and X. Zhu,Endoscopy for Metaplectic Affine Hecke Categories. Preprint arXiv:2507.16667v1,

work page arXiv
[4]

[Dye90] M. J. Dyer,Reflection subgroups of Coxeter systems, J. Algebra135 (1990), no. 1, 57–73. [EW16] B. Elias and G. Williamson,Soergel calculus, Represent. Theory20 (2016), 295–374. [Eme20] M.Emerton, Formal algebraic stacks.Availableonline https://www.math.uchicago.edu/ ~emerton/pdffiles/formal-stacks.pdf,

work page 1990
[5]

Eteve, Free Monodromic Hecke Categories and Their Categorical Traces

[Ete24] A. Eteve, Free Monodromic Hecke Categories and Their Categorical Traces. Preprint arXiv:2412.13323v1,

work page arXiv
[6]

Eteve, Applications of the Trace Formalism to Deligne-Lusztig Theory

[Ete25] A. Eteve, Applications of the Trace Formalism to Deligne-Lusztig Theory. Preprint arXiv:2501.04113v1,

work page arXiv
[7]

Gaitsgory,The local and global versions of the Whittaker category, Pure Appl

[Gai20] D. Gaitsgory,The local and global versions of the Whittaker category, Pure Appl. Math. Q. 16 (2020), no. 3, 775–904. [GR17] D. Gaitsgory and N. Rozenblyum,A study in derived algebraic geometry. Vol. I. Cor- respondences and duality, Mathematical Surveys and Monographs, 221, Amer. Math. Soc., Providence, RI,

work page 2020
[8]

Hébert, Principal series representations of Iwahori-Hecke algebras for Kac-Moody groups over local fields, Ann

[Héb22] A. Hébert, Principal series representations of Iwahori-Hecke algebras for Kac-Moody groups over local fields, Ann. Inst. Fourier (Grenoble)72 (2022), no. 1, 187–259. [Héb23] A. Hébert,Kato’s irreducibility criterion for Kac-Moody groups over local fields, Repre- sent. Theory 27 (2023), 1208–1227. [HRS23] T. Hemo, T. Richarz and J. Scholbach,Constr...

work page 2022
[9]

Juteau, C

[JMW14] D. Juteau, C. Mautner and G. Williamson,Parity sheaves, J. Amer. Math. Soc. 27 (2014), no. 4, 1169–1212. [Kum02] S. Kumar, Kac-Moody groups, their flag varieties and representation theory, Progress in Mathematics, 204, Birkhäuser Boston, Boston, MA,

work page 2014
[10]

Laumon,Transformation de Fourier homogène, Bull

ENDOSCOPY FOR MODULAR HECKE CATEGORIES 95 [Lau03] G. Laumon,Transformation de Fourier homogène, Bull. Soc. Math. France131 (2003), no. 4, 527–551. [Li20] Y. W. Li,Endoscopy for affine Hecke categories, Selecta Math. (N.S.) 30 (2024), no. 5, Paper No

work page 2003
[11]

[LZ17] Y. Liu, W. Zheng, Enhanced six operations and base change theorem for higher Artin stacks. Preprint arXiv:1211.5948v3,

work page arXiv
[12]

A p - A dic 6- F unctor F ormalism in R igid- A nalytic G eometry

[Lus84] G. Lusztig, Characters of reductive groups over a finite field, Annals of Mathematics Studies, 107, Princeton Univ. Press, Princeton, NJ, 1984 [Lus16] G. Lusztig, Non-unipotent character sheaves as a categorical centre. Bull. Inst. Math. Acad. Sin. (N.S.) 11 (2016), no. 4, 603–731. [Lus19] G. Lusztig,Conjugacy classes in reductive groups and two-s...

work page arXiv 1984
[13]

Mautner and S

[MR18] C. Mautner and S. Riche,Exotic tilting sheaves, parity sheaves on affine Grassmannians, and the Mirković-Vilonen conjecture, J. Eur. Math. Soc. (JEMS)20 (2018), no. 9, 2259–2332. [MB25] R. Muñoz-Bertrand,Characterising properties of commutative rings using Witt vectors. Preprint arXiv:2503.20115v1,

work page arXiv 2018
[14]

Riche and G

[RW18] S. Riche and G. Williamson,Tilting modules and thep-canonical basis, Astérisque 2018, no. 397, ix+184 pp. [Sch22] P. Scholze,Six-functor Formalisms. Available onlinehttps://people.mpim-bonn.mpg.de/ scholze/SixFunctors.pdf,

work page 2018

[1] [1]

[Ach21] P. N. Achar,Perverse sheaves and applications to representation theory, Mathematical Surveys and Monographs, 258, Amer. Math. Soc., Providence, RI, [2021]©2021. [AMRW17] P. N. Achar, S. Makisumi, S. Riche, and G. Williamson,Free-monodromic mixed tilting sheaves on flag varieties. Preprint arXiv:1703.05843v2,

work page arXiv 2021

[2] [2]

[AR16] P. N. Achar and S. Riche,Modular perverse sheaves on flag varieties, II: Koszul duality and formality, Duke Math. J.165 (2016), no. 1, 161–215. [ARV20] P. N. Achar, S. Riche and C. Vay,Mixed perverse sheaves on flag varieties for Coxeter groups, Canad. J. Math.72 (2020), no. 1, 1–55. [AJ22] S. Anscombe and F. Jahnke,The model theory of Cohen rings,...

work page 2016

[3] [3]

Dhillon, Y

[DLYZ25] G. Dhillon, Y. W. Li, Z. Yun, and X. Zhu,Endoscopy for Metaplectic Affine Hecke Categories. Preprint arXiv:2507.16667v1,

work page arXiv

[4] [4]

[Dye90] M. J. Dyer,Reflection subgroups of Coxeter systems, J. Algebra135 (1990), no. 1, 57–73. [EW16] B. Elias and G. Williamson,Soergel calculus, Represent. Theory20 (2016), 295–374. [Eme20] M.Emerton, Formal algebraic stacks.Availableonline https://www.math.uchicago.edu/ ~emerton/pdffiles/formal-stacks.pdf,

work page 1990

[5] [5]

Eteve, Free Monodromic Hecke Categories and Their Categorical Traces

[Ete24] A. Eteve, Free Monodromic Hecke Categories and Their Categorical Traces. Preprint arXiv:2412.13323v1,

work page arXiv

[6] [6]

Eteve, Applications of the Trace Formalism to Deligne-Lusztig Theory

[Ete25] A. Eteve, Applications of the Trace Formalism to Deligne-Lusztig Theory. Preprint arXiv:2501.04113v1,

work page arXiv

[7] [7]

Gaitsgory,The local and global versions of the Whittaker category, Pure Appl

[Gai20] D. Gaitsgory,The local and global versions of the Whittaker category, Pure Appl. Math. Q. 16 (2020), no. 3, 775–904. [GR17] D. Gaitsgory and N. Rozenblyum,A study in derived algebraic geometry. Vol. I. Cor- respondences and duality, Mathematical Surveys and Monographs, 221, Amer. Math. Soc., Providence, RI,

work page 2020

[8] [8]

Hébert, Principal series representations of Iwahori-Hecke algebras for Kac-Moody groups over local fields, Ann

[Héb22] A. Hébert, Principal series representations of Iwahori-Hecke algebras for Kac-Moody groups over local fields, Ann. Inst. Fourier (Grenoble)72 (2022), no. 1, 187–259. [Héb23] A. Hébert,Kato’s irreducibility criterion for Kac-Moody groups over local fields, Repre- sent. Theory 27 (2023), 1208–1227. [HRS23] T. Hemo, T. Richarz and J. Scholbach,Constr...

work page 2022

[9] [9]

Juteau, C

[JMW14] D. Juteau, C. Mautner and G. Williamson,Parity sheaves, J. Amer. Math. Soc. 27 (2014), no. 4, 1169–1212. [Kum02] S. Kumar, Kac-Moody groups, their flag varieties and representation theory, Progress in Mathematics, 204, Birkhäuser Boston, Boston, MA,

work page 2014

[10] [10]

Laumon,Transformation de Fourier homogène, Bull

ENDOSCOPY FOR MODULAR HECKE CATEGORIES 95 [Lau03] G. Laumon,Transformation de Fourier homogène, Bull. Soc. Math. France131 (2003), no. 4, 527–551. [Li20] Y. W. Li,Endoscopy for affine Hecke categories, Selecta Math. (N.S.) 30 (2024), no. 5, Paper No

work page 2003

[11] [11]

[LZ17] Y. Liu, W. Zheng, Enhanced six operations and base change theorem for higher Artin stacks. Preprint arXiv:1211.5948v3,

work page arXiv

[12] [12]

A p - A dic 6- F unctor F ormalism in R igid- A nalytic G eometry

[Lus84] G. Lusztig, Characters of reductive groups over a finite field, Annals of Mathematics Studies, 107, Princeton Univ. Press, Princeton, NJ, 1984 [Lus16] G. Lusztig, Non-unipotent character sheaves as a categorical centre. Bull. Inst. Math. Acad. Sin. (N.S.) 11 (2016), no. 4, 603–731. [Lus19] G. Lusztig,Conjugacy classes in reductive groups and two-s...

work page arXiv 1984

[13] [13]

Mautner and S

[MR18] C. Mautner and S. Riche,Exotic tilting sheaves, parity sheaves on affine Grassmannians, and the Mirković-Vilonen conjecture, J. Eur. Math. Soc. (JEMS)20 (2018), no. 9, 2259–2332. [MB25] R. Muñoz-Bertrand,Characterising properties of commutative rings using Witt vectors. Preprint arXiv:2503.20115v1,

work page arXiv 2018

[14] [14]

Riche and G

[RW18] S. Riche and G. Williamson,Tilting modules and thep-canonical basis, Astérisque 2018, no. 397, ix+184 pp. [Sch22] P. Scholze,Six-functor Formalisms. Available onlinehttps://people.mpim-bonn.mpg.de/ scholze/SixFunctors.pdf,

work page 2018