Classification of nondegenerate $G$-categories (with an appendix written jointly with Germ\'an Stefanich)

Tom Gannon

arxiv: 2206.11247 · v3 · submitted 2022-06-22 · 🧮 math.RT · math.AG· math.CT

Classification of nondegenerate G-categories (with an appendix written jointly with Germ\'an Stefanich)

Tom Gannon This is my paper

Pith reviewed 2026-05-24 11:56 UTC · model grok-4.3

classification 🧮 math.RT math.AGmath.CT

keywords nondegenerate G-categoriesreductive groupsroot datumbi-Whittaker D-modulesparabolic restrictionWeyl group equivarianceextended affine Weyl grouprepresentation theory

0 comments

The pith

Nondegenerate G-categories with reductive group action are classified entirely by the root datum of the group.

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

The paper classifies nondegenerate G-categories, a dense open subset of all categories equipped with an action of a reductive group G, entirely in terms of the root datum of G. A sympathetic reader would care because this reduces what might otherwise be an intricate categorical classification to data from the group's roots, weights, and coroots. The methods also upgrade an existing equivalence between bi-Whittaker D-modules and certain equivariant sheaves to a monoidal equivalence and establish that parabolic restriction of a very central sheaf produces a Weyl group equivariant structure descending to the coarse quotient of the dual Cartan.

Core claim

We classify a dense open subset of categories with an action of a reductive group, which we call nondegenerate categories, entirely in terms of the root datum of the group. As an application of our methods, we upgrade an equivalence of Ginzburg and Lonergan, which identifies the category of bi-Whittaker D-modules on a reductive group with the category of extended affine Weyl group equivariant sheaves on a dual Cartan subalgebra that descend to the coarse quotient, to a monoidal equivalence. We also show the parabolic restriction of a very central sheaf acquires a Weyl group equivariant structure such that the associated equivariant sheaf descends to the coarse quotient, providing evidence of

What carries the argument

The nondegenerate G-category, a category with reductive group action lying in the dense open subset where the structure is governed by the root datum of G.

If this is right

Nondegenerate G-categories are completely determined by the combinatorial root datum data of G.
The Ginzburg-Lonergan equivalence between bi-Whittaker D-modules and extended affine Weyl group equivariant sheaves on the dual Cartan is upgraded to a monoidal equivalence.
Parabolic restriction applied to a very central sheaf equips the result with a Weyl group equivariant structure that descends to the coarse quotient t* // W-tilde.
The parabolic restriction result supplies supporting evidence for the Ben-Zvi-Gunningham conjecture.

Where Pith is reading between the lines

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

The root-datum classification may offer a template for handling actions of non-reductive groups by reduction to the reductive case.
Monoidal upgrades of this type could produce new invariants for derived categories of D-modules on group varieties.
The descent to the coarse quotient might generalize to other equivariant sheaf problems involving affine Weyl groups.

Load-bearing premise

The categories under study are assumed to lie in the nondegenerate locus, a dense open subset of all G-categories.

What would settle it

A concrete counterexample would be an explicit nondegenerate G-category whose classification invariants fail to match any root datum of the group G.

read the original abstract

We classify a "dense open" subset of categories with an action of a reductive group, which we call nondegenerate categories, entirely in terms of the root datum of the group. As an application of our methods, we also: (1) Upgrade an equivalence of Ginzburg and Lonergan, which identifies the category of bi-Whittaker $\mathcal{D}$-modules on a reductive group with the category of $\tilde{W}$-equivariant sheaves on a dual Cartan subalgebra $\mathfrak{t}^*$ which descend to the coarse quotient $\mathfrak{t}^*//\tilde{W}$, to a monoidal equivalence (where $\tilde{W}$ denotes the extended affine Weyl group) and (2) Show the parabolic restriction of a very central sheaf acquires a Weyl group equivariant structure such that the associated equivariant sheaf descends to the coarse quotient $\mathfrak{t}^*//\tilde{W}$, providing evidence for a conjecture of Ben-Zvi-Gunningham on parabolic restriction.

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 classifies nondegenerate G-categories by root datum and upgrades one known equivalence to monoidal while giving evidence on a conjecture.

read the letter

The central result classifies nondegenerate G-categories directly from the root datum of the reductive group. That is the new piece: a concrete parametrization of a dense open subset of categories with G-action. The two applications follow from the same methods—an upgrade of the Ginzburg-Lonergan equivalence to a monoidal equivalence between bi-Whittaker D-modules and certain equivariant sheaves, plus a statement that parabolic restriction of very central sheaves carries a Weyl-group equivariant structure descending to the coarse quotient t*/W̃, which supplies evidence for the Ben-Zvi-Gunningham conjecture on parabolic restriction. Both applications are presented as direct consequences rather than separate inputs, which keeps the paper focused. The root-datum language is a real strength here because it turns an abstract classification into something that can be checked against explicit data like weights and coroots. The main limitation is the nondegeneracy restriction itself. The abstract calls the locus dense open, but without the precise definition it is not clear how much of the interesting geometry or representation theory sits inside it versus outside. If nondegeneracy excludes many natural examples, the classification covers less ground than the title suggests. The paper also does not include sample calculations or low-rank checks that would let a reader see the classification in action. This work is aimed at people already working with categorical actions of reductive groups, D-modules on groups, or parabolic restriction. A reader who needs explicit parametrizations or monoidal structures on Whittaker-type categories will find usable statements. The claims are specific enough and the applications concrete enough that it should go to a serious referee rather than a desk rejection.

Referee Report

0 major / 3 minor

Summary. The paper classifies nondegenerate G-categories—a dense open subset of categories equipped with an action of a reductive group G—entirely in terms of the root datum of G. As applications, it upgrades the Ginzburg-Lonergan equivalence identifying bi-Whittaker D-modules on G with W̃-equivariant sheaves on t* descending to t*//W̃ to a monoidal equivalence, and shows that parabolic restriction of a very central sheaf acquires a Weyl-group equivariant structure descending to the coarse quotient t*//W̃, providing evidence for the Ben-Zvi-Gunningham conjecture on parabolic restriction.

Significance. If the classification theorem holds, the result supplies an explicit root-datum parametrization of a dense open locus in the space of G-categories, which is a substantive advance in the geometric representation theory of reductive groups. The monoidal upgrade of the Ginzburg-Lonergan equivalence and the concrete evidence for the parabolic-restriction conjecture are direct, falsifiable consequences that strengthen existing statements in the literature. The restriction to the nondegenerate locus is presented as a modeling choice that renders the classification parameter-free in the root-datum sense.

minor comments (3)

The abstract and introduction should explicitly state the precise definition of 'nondegenerate' (e.g., the open condition on the action or the stabilizers) rather than only describing it as a dense open subset; this would clarify the scope of the classification without requiring the reader to locate the definition later in the text.
In the statement of the main classification theorem, the precise functor or equivalence realizing the correspondence between nondegenerate G-categories and root-datum data should be named (e.g., 'the functor F sending … to …') so that the reader can immediately see the direction and the objects on each side.
The appendix joint with Stefanich is referenced only in the title; a brief sentence in the introduction or §1 indicating its role (e.g., 'the technical comparison of two models of … is deferred to the appendix') would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, including the classification of nondegenerate G-categories in terms of the root datum, the monoidal upgrade of the Ginzburg-Lonergan equivalence, and the evidence provided for the Ben-Zvi-Gunningham conjecture. We note the recommendation for minor revision.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper's central result is a classification of a defined dense open subset (nondegenerate G-categories) in terms of root-datum data. The provided abstract and description contain no equations, no fitted parameters presented as predictions, no self-citations invoked as load-bearing uniqueness theorems, and no ansatz or renaming that reduces the output to the input by construction. The restriction to the nondegenerate locus is an explicit modeling choice rather than a self-referential definition, and the two listed applications are presented as consequences rather than foundational steps. Without any quoted derivation chain that collapses to its own inputs, the derivation is treated as self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract alone supplies no explicit free parameters, axioms, or invented entities; the classification is stated to rest on the standard root datum of a reductive group.

pith-pipeline@v0.9.0 · 5702 in / 1040 out tokens · 41770 ms · 2026-05-24T11:56:45.173915+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/AbsoluteFloorClosure.lean reality_from_one_distinction unclear

?

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

We classify a 'dense open' subset of categories with an action of a reductive group, which we call nondegenerate categories, entirely in terms of the root datum of the group. ... equivalence of 2-categories G-mod_nondeg ≃ IndCoh(Γ_~W_aff)-mod
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

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

Theorem 1.14. There are monoidal equivalences ... D(N∖G/N)^{T×T,w}_nondeg ≃ IndCoh(Γ_~W_aff) ≃ IndCoh(t*×t* // ~W_aff t*)
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

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

the category of bi-Whittaker D-modules on a reductive group with the category of ~W-equivariant sheaves on a dual Cartan subalgebra t* which descend to the coarse quotient t* // ~W

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.

Reference graph

Works this paper leans on

4 extracted references · 4 canonical work pages · 2 internal anchors

[1]

A vanishing conjecture: the GL n case

arXiv: 1909.05467 [math.RT]. [Che22] Tsao-Hsien Chen. “A vanishing conjecture: the GL n case”. In: Selecta Math. (N.S.) 28.1 (2022), Paper No. 13, 28. issn: 1022-

work page arXiv 1909
[2]

Compact generation of the category of D-modules on the stack of G-bundles on a curve

doi: 10.1007/s00029-021-00726-2 . url: https://doi. org/10.1007/s00029-021-00726-2. [DG] Vladimir Drinfeld and Dennis Gaitsgory. “Compact Generation of the Category of D-Modules on the Stack of G-Bundles on a Curve”. In: (). url: https://arxiv.org/pdf/1112.2402v8. pdf. [DS] Carlos Di Fiore and Germ´ an Stefanich. “Singular Support for Sheaves of Categorie...

work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s00029-021-00726-2 2015
[3]

Nil-Hecke algebras and Whittaker D-modules

issn: 1558-8599. doi: 10.4310/PAMQ.2020.v16.n3.a14 . url: https://doi-org.ezproxy.lib.utexas.edu/10.4310/ PAMQ.2020.v16.n3.a14. 42 REFERENCES [Gan22] Tom Gannon. The coarse quotient for affine Weyl groups and pseudo-reflection groups. 2022. doi: 10 . 48550 / ARXIV . 2206 . 00175. url: https://arxiv.org/abs/2206.00175. [Gan23] Tom Gannon. The Universal Cat...

work page doi:10.4310/pamq.2020.v16.n3.a14 2020
[4]

W-algebras and Whittaker categories

url: https : / / www . math . ias . edu /~lurie / papers / Elliptic-I.pdf. [Lur18b] Jacob Lurie. Spectral Algebraic Geometry . Available from the author’s webpage. 2018. [Mat18] Akhil Mathew. “Examples of descent up to nilpotence”. In: Geo- metric and topological aspects of the representation theory of fi- nite groups. Vol. 242. Springer Proc. Math. Stat....

work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/978- 2018

[1] [1]

A vanishing conjecture: the GL n case

arXiv: 1909.05467 [math.RT]. [Che22] Tsao-Hsien Chen. “A vanishing conjecture: the GL n case”. In: Selecta Math. (N.S.) 28.1 (2022), Paper No. 13, 28. issn: 1022-

work page arXiv 1909

[2] [2]

Compact generation of the category of D-modules on the stack of G-bundles on a curve

doi: 10.1007/s00029-021-00726-2 . url: https://doi. org/10.1007/s00029-021-00726-2. [DG] Vladimir Drinfeld and Dennis Gaitsgory. “Compact Generation of the Category of D-Modules on the Stack of G-Bundles on a Curve”. In: (). url: https://arxiv.org/pdf/1112.2402v8. pdf. [DS] Carlos Di Fiore and Germ´ an Stefanich. “Singular Support for Sheaves of Categorie...

work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s00029-021-00726-2 2015

[3] [3]

Nil-Hecke algebras and Whittaker D-modules

issn: 1558-8599. doi: 10.4310/PAMQ.2020.v16.n3.a14 . url: https://doi-org.ezproxy.lib.utexas.edu/10.4310/ PAMQ.2020.v16.n3.a14. 42 REFERENCES [Gan22] Tom Gannon. The coarse quotient for affine Weyl groups and pseudo-reflection groups. 2022. doi: 10 . 48550 / ARXIV . 2206 . 00175. url: https://arxiv.org/abs/2206.00175. [Gan23] Tom Gannon. The Universal Cat...

work page doi:10.4310/pamq.2020.v16.n3.a14 2020

[4] [4]

W-algebras and Whittaker categories

url: https : / / www . math . ias . edu /~lurie / papers / Elliptic-I.pdf. [Lur18b] Jacob Lurie. Spectral Algebraic Geometry . Available from the author’s webpage. 2018. [Mat18] Akhil Mathew. “Examples of descent up to nilpotence”. In: Geo- metric and topological aspects of the representation theory of fi- nite groups. Vol. 242. Springer Proc. Math. Stat....

work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/978- 2018