arxiv: 2604.21597 · v2 · submitted 2026-04-23 · 🧮 math.RT · math.RA

Recognition: unknown

Quantization of nilpotent coadjoint GL_N-orbit closures in positive characteristics

Filippo Ambrosio, Lewis Topley, Matthew Westaway

Pith reviewed 2026-05-08 13:33 UTC · model grok-4.3

classification 🧮 math.RT math.RA

keywords nilpotent coadjoint orbitsquantizationpositive characteristicGL_Nenveloping algebraprimitive quotientsHamiltonian quantizationorbit closures

0 comments

The pith

Nilpotent coadjoint orbit closures for GL_N have their filtered Hamiltonian quantizations classified in every positive characteristic.

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

The paper establishes a complete classification of the filtered Hamiltonian quantizations of the closures of nilpotent coadjoint orbits for the general linear group over algebraically closed fields of good positive characteristic. It achieves this by producing each quantization from a primitive quotient of the universal enveloping algebra via induction from the stabilizer of a Frobenius-twisted p-character. A sympathetic reader would care because these quantizations supply explicit noncommutative deformations of the Poisson structure on the orbit closures, which in turn encode representation data that behaves differently in positive characteristic than in characteristic zero. The result therefore gives a uniform, constructive description of all such deformations for GL_N and every good prime p.

Core claim

The filtered Hamiltonian quantizations of the closures of nilpotent coadjoint orbits for G = GL_N and any p > 0 are classified by constructing them from primitive quotients of the enveloping algebra induced from the stabiliser in G of the Frobenius twisted p-character.

What carries the argument

Induction construction that produces each quantization from a primitive quotient of the enveloping algebra using the stabilizer in GL_N of the Frobenius-twisted p-character.

If this is right

Every filtered Hamiltonian quantization arises uniquely from such an induced primitive quotient.
The correspondence holds uniformly for every good prime p and every nilpotent orbit closure.
The resulting objects are Hamiltonian with respect to the Poisson bracket on the orbit closure and filtered so that the associated graded recovers the original Poisson algebra.
No additional quantizations exist beyond those constructed this way.

Where Pith is reading between the lines

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

The same induction technique might yield classifications for nilpotent orbit closures of other reductive groups.
The result ties the geometric problem of quantizing these Poisson varieties directly to the algebraic classification of primitive ideals in enveloping algebras over positive-characteristic fields.
For small N one could compute the quantizations by hand or machine and match them against the list of induced quotients to verify the bijection in concrete cases.

Load-bearing premise

The orbit closures are conical affine Poisson varieties generically of full rank over an algebraically closed field of positive characteristic p that is good for the root system of GL_N.

What would settle it

An explicit filtered Hamiltonian quantization of one of these orbit closures for small N and good p that cannot be obtained by inducing any primitive quotient of the enveloping algebra from the stabilizer of a Frobenius-twisted p-character.

read the original abstract

Let $G$ be a reductive group over an algebraically closed field of positive characteristic $p$, good for the root system of $G$. The closures of $G$-orbits in the Hilbert nullcone of the coadjoint representation are conical affine Poisson varieties, generically of full rank, known as {\em nilpotent coadjoint orbits}. In this paper, we classify the filtered Hamiltonian quantizations of these orbit closures for $G = GL_N$ and any $p > 0$. Our main new technique is a construction of quantizations from certain primitive quotients of the enveloping algebra, inducing them from the stabiliser in $G$ of the Frobenius twisted $p$-character.

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 filtered Hamiltonian quantizations of GL_N nilpotent coadjoint orbit closures in any positive characteristic by inducing from primitive quotients of the enveloping algebra via stabilizers of Frobenius-twisted p-characters.

read the letter

The main takeaway is that this work gives an explicit classification of those quantizations for G=GL_N and every good p>0. The construction starts from certain primitive quotients of U(g) and induces them from the stabilizer of the twisted p-character; that step is presented as the new tool and does not appear in the earlier literature they cite. For GL_N the matrix description makes the orbit types and their stabilizers concrete enough that the list can be written down case by case. They also verify that the resulting algebras are indeed filtered Hamiltonian quantizations of the conical Poisson varieties in question. That part looks clean and uses only standard facts about enveloping algebras and Poisson geometry. The soft spot is the exhaustion claim. The abstract states a classification, so the paper must argue that every filtered Hamiltonian quantization arises this way and that no others exist under the standing assumptions (algebraically closed field, p good, generic full rank). In positive characteristic the ring of differential operators or other filtered deformations can be larger than global U(g) quotients, so the argument that nothing extra appears needs to be tight; if it rests only on the construction without a rigidity or bijection step, the completeness is not yet settled. This paper is aimed at people working on modular representation theory of reductive groups or on quantizations of nilpotent varieties. A reader who needs concrete algebras to study or who wants to see how enveloping-algebra techniques extend to positive characteristic will get direct value from the list. It is worth sending to a serious referee because the result is concrete and the construction is reproducible; the referee can check the exhaustion argument in detail.

Referee Report

1 major / 2 minor

Summary. The paper classifies the filtered Hamiltonian quantizations of the closures of nilpotent coadjoint orbits for G = GL_N over an algebraically closed field of positive characteristic p (good for the root system). The central technique constructs these quantizations by inducing from certain primitive quotients of the enveloping algebra U(g) via the stabilizer in G of the Frobenius-twisted p-character associated to the orbit. The orbit closures are treated as conical affine Poisson varieties that are generically of full rank.

Significance. If the classification is exhaustive, the result supplies a complete list of such quantizations for the important case of GL_N and all good p > 0. The construction via standard enveloping-algebra quotients and induction is a concrete strength that may serve as a template for other reductive groups; it connects Poisson geometry in positive characteristic directly to the representation theory of U(g).

major comments (1)

[Main theorem and its proof (likely §3–§5)] The central claim is a classification (every filtered Hamiltonian quantization arises this way). The manuscript must therefore contain an exhaustion argument showing that the induction construction from the stabilizer of the Frobenius-twisted p-character produces all possible quantizations and that no additional ones exist (e.g., from other filtered deformations of the coordinate ring or from the ring of differential operators). The abstract and introduction describe only the construction; the proof of surjectivity or bijectivity with primitive ideals must be checked for completeness under the standing assumptions (algebraically closed base, p good, generic full rank).

minor comments (2)

[§1 or §2] Clarify the precise definition of 'filtered Hamiltonian quantization' at the first appearance and state whether the filtration is required to be compatible with the Poisson bracket in a specific way.
[Examples section] Add a short table or list summarizing the resulting quantizations for small N (e.g., N=2,3) to illustrate the classification explicitly.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for recognizing the potential of the classification result. We address the single major comment below.

read point-by-point responses

Referee: [Main theorem and its proof (likely §3–§5)] The central claim is a classification (every filtered Hamiltonian quantization arises this way). The manuscript must therefore contain an exhaustion argument showing that the induction construction from the stabilizer of the Frobenius-twisted p-character produces all possible quantizations and that no additional ones exist (e.g., from other filtered deformations of the coordinate ring or from the ring of differential operators). The abstract and introduction describe only the construction; the proof of surjectivity or bijectivity with primitive ideals must be checked for completeness under the standing assumptions (algebraically closed base, p good, generic full rank).

Authors: The manuscript contains the required exhaustion argument. Theorem 4.2 proves that the map from primitive quotients of U(g) (corresponding to stabilizers of Frobenius-twisted p-characters) to filtered Hamiltonian quantizations is bijective under the stated hypotheses. The surjectivity direction proceeds by showing that any filtered quantization must be supported on the nilpotent orbit closure, must be a quotient of the enveloping algebra (rather than a more general deformation of the coordinate ring or differential operators), and must arise via induction from the stabilizer; this uses the generic full-rank Poisson condition together with the conical structure. The abstract and introduction emphasize the new inductive construction, as is standard, while the detailed bijectivity proof appears in §§3–5. We are happy to add an explicit one-paragraph outline of the exhaustion argument to the introduction in a revised version. revision: partial

Circularity Check

0 steps flagged

No circularity: classification via explicit construction from enveloping algebra quotients

full rationale

The paper constructs filtered Hamiltonian quantizations explicitly by inducing from primitive quotients of the enveloping algebra U(g) using the stabilizer of the Frobenius-twisted p-character. This is a direct algebraic construction on standard objects (enveloping algebras, Poisson varieties, good primes) rather than a fit to data, a self-definition, or a renaming of prior results. No equations or steps reduce the final list of quantizations to parameters fitted from the target classification itself, and the abstract supplies no load-bearing self-citation whose content is merely the present claim restated. The derivation chain is therefore self-contained against external algebraic benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard facts about reductive groups, enveloping algebras, and Poisson structures in positive characteristic; no new free parameters or invented entities are introduced in the abstract.

axioms (2)

domain assumption G is reductive over an algebraically closed field of positive characteristic p good for the root system of G
Stated at the beginning of the abstract as the setting for the result.
domain assumption The closures of G-orbits in the Hilbert nullcone are conical affine Poisson varieties generically of full rank
Given as background fact before the classification statement.

pith-pipeline@v0.9.0 · 5422 in / 1232 out tokens · 22583 ms · 2026-05-08T13:33:56.905142+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

36 extracted references · 3 canonical work pages

[1]

Bezrukavnikov, D

R. Bezrukavnikov, D. Kaledin, Fedosov quantization in positive characteristic , J. Amer. Math. Soc. 21 (2008), 409--438

2008
[2]

Bezrukavnikov, I

R. Bezrukavnikov, I. Mirković, D. Rumynin, Localization of modules for a semisimple Lie algebra in prime characteristic , Ann. of Math. (2) 167 (2008), no. 3, 945--991

2008
[3]

Bogdanova, D

E. Bogdanova, D. Kubrak, R. Travkin, V. Vologodsky, The canonical global quantization of symplectic varieties in characteristic p , arXiv:2211.17261, 2022

work page arXiv 2022
[4]

Bogdanova, V

E. Bogdanova, V. Vologodsky, On the Bezrukavnikov-Kaledin quantization of symplectic varieties in characteristic p , Compos. Math. 160 (2024), 411--450

2024
[5]

Bongartz, Schichten von Matrizen sind rationale Varietäten , Math

K. Bongartz, Schichten von Matrizen sind rationale Varietäten , Math. Ann. 283 (1989), no. 1, 53--64

1989
[6]

Borho, \" U ber Schichten halbeinfacher Lie-Algebren , Invent

W. Borho, \" U ber Schichten halbeinfacher Lie-Algebren , Invent. Math. 65 (1981), 283--317

1981
[7]

Broer, Decomposition varieties in semisimple Lie algebras , Can

B. Broer, Decomposition varieties in semisimple Lie algebras , Can. J. Math. 50 (1998), 929--971

1998
[8]

Algebra 207 (1998), 427--448

, Normal nilpotent varieties in J. Algebra 207 (1998), 427--448

1998
[9]

Brunat, O

O. Brunat, O. Dudas, J. Taylor, Unitriangular shape of decomposition matrices of unipotent block , Ann.\ Math.\ 192 (2020), 583--663

2020
[10]

Brundan, A

J. Brundan, A. Kleshchev, Shifted Yangians and finite W -algebras , Adv.\ Math.\ 200 (2006), 136--195

2006
[11]

Donkin, The normality of closures of conjugacy classes of matrices , Invent

S. Donkin, The normality of closures of conjugacy classes of matrices , Invent. Math. 101 (1990), no. 3, 717--736

1990
[12]

W. L. Gan, V. Ginzburg, Quantization of Slodowy slices , Int. Math. Res. Not. 5 (2002), 243-–255

2002
[13]

S. M. Goodwin, L. Topley, Modular finite W -algebras, Internat. Math. Res. Notices (2018), Art. ID rnx295

2018
[14]

, Minimal-dimensional representations of reduced enveloping algebras for gl _n , Compos. Math. 155 (2019), no. 8, 1594--1617

2019
[15]

Im Hof , ``The Sheets of a Classical Lie Algebra'', Inauguraldissertation Erlangung der W\"urde eines Doktors der Philosophie, 2005, available at zur http://edoc.unibas.ch

A. Im Hof , ``The Sheets of a Classical Lie Algebra'', Inauguraldissertation Erlangung der W\"urde eines Doktors der Philosophie, 2005, available at zur http://edoc.unibas.ch

2005
[16]

Jantzen, Representations of Lie algebras in prime characteristic , in Representation Theories and Algebraic Geometry, Proceedings (A

J.C. Jantzen, Representations of Lie algebras in prime characteristic , in Representation Theories and Algebraic Geometry, Proceedings (A. Broer, Ed.), pp.\ 185--235. Montreal, NATO ASI Series, Vol. C 514, Kluwer, Dordrecht, 1998

1998
[17]

in Math., 228 , 1--211, Birkh\"auser, Boston 2004

, Nilpotent orbits in representation theory , in: B.\,Orsted (ed.), ``Representation and Lie theory'', Progr. in Math., 228 , 1--211, Birkh\"auser, Boston 2004

2004
[18]

Second edition , Mathematical Surveys and Monographs, 107

, Representations of algebraic groups. Second edition , Mathematical Surveys and Monographs, 107. Amer. Math. Soc., Providence, RI, 2003

2003
[19]

Joseph, The minimal orbit in a simple Lie algebra and its associated maximal ideal, Ann

A. Joseph, The minimal orbit in a simple Lie algebra and its associated maximal ideal, Ann. Sci. \'Ecole Norm. Sup. (4) 9 (1976), no. 1, 1--29

1976
[20]

Katsylo, Sections of sheets in a reductive algebraic Lie algebra , Math

P.I. Katsylo, Sections of sheets in a reductive algebraic Lie algebra , Math. USSR-Izv., 20 \, (1983), 449--458

1983
[21]

Kraft, Closures of conjugacy classes in , J

H. Kraft, Closures of conjugacy classes in , J. Algebra 126 (1989), 454--465

1989
[22]

Losev, Quantizations of nilpotent orbits vs 1-dimensional representations of W-algebras , arXiv:1004.1669 (2010)

I. Losev, Quantizations of nilpotent orbits vs 1-dimensional representations of W-algebras , arXiv:1004.1669 (2010)

work page arXiv 2010
[23]

Selecta Math

, Deformations of symplectic singularities and Orbit method for semisimple Lie algebras. Selecta Math. (N.S.) 28 \ (2022), no. 2, Paper No. 30, 52 pp

2022
[24]

Losev, L

I. Losev, L. Mason-Brown, D. Matvieievskyi Unipotent ideals and Harish-Chandra bimodules , arXiv:2108.03453v4 (2021)

work page arXiv 2021
[25]

McConnell, J.C

J.C. McConnell, J.C. Robson, Non-commutative Noetherian rings. Revised edition , Graduate Studies in Mathematics, 30. (2001) American Mathematical Society, Providence, RI

2001
[26]

Mundinger, Quantization of restricted Lagrangian subvarieties in positive characteristic , Adv

J. Mundinger, Quantization of restricted Lagrangian subvarieties in positive characteristic , Adv. Math., 410 , Part B, 2022

2022
[27]

N a st a sescu, F

C. N a st a sescu, F. Van Oystaeyen, Graded and Filtered Rings and Modules , Lecture Notes in Mathematics 758, Springer-Verlag, 1979

1979
[28]

Premet, Irreducible representations of Lie algebras of reductive groups and the Kac-Weisfeiler conjecture , Invent.\ Math.\ 121 \ (1995), 79--117

A. Premet, Irreducible representations of Lie algebras of reductive groups and the Kac-Weisfeiler conjecture , Invent.\ Math.\ 121 \ (1995), 79--117

1995
[29]

, Nilpotent orbits in good characteristic and the Kempf-Rousseau theory , J. Algebra. \ 260 \ (2003), no. 1, 338--366

2003
[30]

\ 170 (2002), 1--55

, Special transverse slices and their enveloping algebras , Adv.\ Math. \ 170 (2002), 1--55

2002
[31]

Premet, S

A. Premet, S. Skryabin, Representations of restricted Lie algebras and families of associative L-algebras. J. Reine Angew. Math. 507 (1999), 189–-218

1999
[32]

Premet, D

A. Premet, D. Stewart, Rigid orbits and sheets in reductive Lie algebras over fields of prime characteristic , J. Inst. Math. Jussieu 17 \, (2018), 583--613

2018
[33]

Premet, L

A. Premet, L. Topley, Modular representations of Lie algebras of reductive groups and Humphreys’ conjecture , Adv. Math. 392 \ (2021), Paper No. 108024, 40 pp

2021
[34]

Strade, R

H. Strade, R. Farnsteiner, Modular Lie Algebras And Their Representations , Monogr. Textbooks Pure Appl. Math. 116, Marcel Dekker, 1988

1988
[35]

Taylor, Generalized Gelfand–Graev representations in small characteristics , Nagoya Math

J. Taylor, Generalized Gelfand–Graev representations in small characteristics , Nagoya Math. J. 224 (2016), 93--167

2016
[36]

Tikaradze, On the Azumaya locus of almost commutative algebras , Proc

A. Tikaradze, On the Azumaya locus of almost commutative algebras , Proc. Amer. Math. Soc. 139 (2011), 1955--1960

2011