arxiv: 2604.25842 · v2 · submitted 2026-04-28 · 🧮 math.RT · math.AG

Recognition: 2 theorem links

· Lean Theorem

The coordinate ring of the universal centralizer via Demazure operators

Tom Gannon, Victor Ginzburg

Pith reviewed 2026-05-13 07:54 UTC · model grok-4.3

classification 🧮 math.RT math.AG

keywords coordinate ringuniversal centralizerDemazure operatorsWeyl groupWeil restrictionsemisimple groupintegral schemeaffine scheme

0 comments

The pith

The coordinate ring of the universal centralizer is obtained from the coordinate ring of an auxiliary scheme by applying Demazure operators precisely when the fixed-point scheme is integral.

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

The paper establishes a general criterion for affine schemes X over the Cartan subalgebra equipped with a compatible Weyl group action: the coordinate ring of the scheme of W-fixed points under Weil restriction to the quotient t//W arises exactly by applying Demazure operators to the coordinate ring of X if and only if that fixed-point scheme is integral. This criterion is applied to produce an explicit description of the coordinate ring of the universal centralizer for a simply connected semisimple group. A reader would care because the result replaces abstract fixed-point constructions with a concrete sequence of algebraic operations on a simpler ring, potentially simplifying computations of invariants in representation theory.

Core claim

We prove that for an affine scheme X over the Cartan subalgebra t with compatible W-action, the coordinate ring of Res^W(X) equals the result of applying Demazure operators to the coordinate ring of X if and only if Res^W(X) is integral. This yields a simple description of the coordinate ring of the universal centralizer associated to a simply connected semisimple group.

What carries the argument

Demazure operators applied iteratively to the coordinate ring of X, which produce the invariants under the fixed-point scheme Res^W(X) precisely when that scheme is integral.

If this is right

The coordinate ring of the universal centralizer for simply connected semisimple groups admits an explicit description via Demazure operators.
Any other affine scheme X satisfying the integrality condition on Res^W(X) inherits the same explicit coordinate-ring construction.
The result reduces questions about invariants of Weil restrictions to direct computations with Demazure operators on the original ring.
Compatibility of the W-action with the map to t is required for the equivalence to hold.

Where Pith is reading between the lines

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

The criterion may extend to compute coordinate rings of centralizers in non-simply-connected cases once integrality is verified separately.
This construction could simplify explicit calculations of functions on moduli spaces of representations by replacing geometric fixed-point quotients with operator sequences.
Connections to Demazure operators in Schubert calculus suggest possible applications to cohomology rings of flag varieties when similar Weil restrictions arise.

Load-bearing premise

The scheme Res^W(X) of W-fixed points must be integral for the Demazure operators to recover its coordinate ring from that of X.

What would settle it

An explicit affine scheme X over t with W-action where Res^W(X) is integral but the Demazure operators applied to O(X) fail to equal O(Res^W(X)), or where the scheme is non-integral yet the operators still match.

read the original abstract

We give a simple description of the coordinate ring of the universal centralizer associated to a simply connected semisimple group. To this end, we prove a general result on Weil restriction of affine schemes $X$ over the Cartan subalgebra $\mathfrak{t}$ equipped with a compatible action of the Weyl group $W$. Specifically, we show that the coordinate ring of the scheme $\mathrm{Res}^W(X)$ of $W$-fixed points of Weil restriction of $X$ to the categorical quotient $\mathfrak{t}//W$ can be obtained from the coordinate ring of $X$ by applying Demazure operators if and only if the scheme $\mathrm{Res}^W(X)$ is integral.

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

Gannon and Ginzburg give a clean if-and-only-if description of the coordinate ring of Res^W(X) via Demazure operators precisely when that scheme is integral, with a direct application to the universal centralizer.

read the letter

The punchline is that this paper supplies an explicit algebraic presentation for the coordinate ring of the universal centralizer by applying Demazure operators to the coordinate ring of X, but only when the scheme of W-fixed points of the Weil restriction is integral. They prove the general statement for affine X over t with compatible W-action, then specialize to the simply connected semisimple case. That is the main new piece: a clean equivalence rather than a one-way construction. It does the job of turning a geometric object into something more computable with standard operators, which should help people who already work with invariants and centralizers in semisimple groups. The hypotheses are the usual ones (compatible action, affine over t) and are stated up front, so nothing hidden there. The formulation avoids circularity; the Demazure operators are applied directly to the input ring. The soft spot is the integrality check for the target scheme. The abstract flags it as necessary, but without the full proof in front of me I cannot see how they verify it for the universal centralizer or how restrictive the condition turns out to be in practice. If that step is routine, the result is solid; if it requires extra work, the paper should spell it out clearly. This is for readers already comfortable with Weil restriction, Demazure operators, and the representation theory of semisimple groups. Someone looking for a shortcut in calculations involving the universal centralizer will find it useful. It is worth sending to a serious referee because the statement is new, the logic is consistent, and the object is of recurring interest. Minor revisions on the integrality verification would be enough to make it publishable.

Referee Report

0 major / 2 minor

Summary. The paper proves a general result for an affine scheme X over the Cartan subalgebra t equipped with a compatible Weyl group W-action: the coordinate ring of the scheme Res^W(X) of W-fixed points of the Weil restriction of X to the categorical quotient t//W is obtained from the coordinate ring of X by applying Demazure operators if and only if Res^W(X) is integral. This is applied to give an explicit description of the coordinate ring of the universal centralizer associated to a simply connected semisimple group.

Significance. If the central if-and-only-if theorem holds, the result supplies a clean, operator-based description of the coordinate ring of the universal centralizer that leverages standard Demazure operators from Schubert calculus and representation theory. The general statement on Weil restriction and W-fixed points is of independent interest in algebraic geometry and invariant theory, and the integrality hypothesis is explicitly isolated as the precise condition for the description to apply. The approach avoids ad-hoc parameters and provides a falsifiable criterion tied directly to the geometry of Res^W(X).

minor comments (2)

[§2.3] §2.3: The definition of the Demazure operators is referenced to the literature but not restated; including the explicit formula (even if standard) would improve readability for readers outside the immediate subfield.
[Theorem 4.1] Theorem 4.1: The statement of the main iff result is clear, but the proof sketch in the text does not explicitly verify that the integrality hypothesis is satisfied for the universal centralizer case; a short paragraph confirming this would strengthen the application.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript, the accurate summary of the main result, and the recommendation of minor revision. The report correctly identifies the if-and-only-if statement relating Demazure operators to the integrality of Res^W(X) and its application to the universal centralizer.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper proves a conditional equivalence: the coordinate ring of Res^W(X) equals the image of the coordinate ring of X under Demazure operators precisely when Res^W(X) is integral. This is derived from standard properties of Weil restriction, Weyl group actions, and Demazure operators (which are independently defined in the literature), under explicitly stated hypotheses that X is affine over t with compatible W-action. No step reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation; the iff statement is a theorem with independent content relative to its inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The argument rests on standard properties of Weil restriction, Demazure operators, and integrality of schemes in algebraic geometry; no free parameters or new entities are introduced in the abstract.

axioms (2)

standard math Demazure operators act on coordinate rings of schemes with Weyl group action in the expected way
Invoked implicitly when the paper states that the coordinate ring is obtained by applying these operators.
standard math Weil restriction of an affine scheme over t preserves the relevant algebraic structures
Used to form the scheme Res^W(X) whose coordinate ring is under discussion.

pith-pipeline@v0.9.0 · 5408 in / 1362 out tokens · 31664 ms · 2026-05-13T07:54:57.483355+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 washburn_uniqueness_aczel unclear
the coordinate ring of Res^W(X) ... obtained from the coordinate ring of X by applying Demazure operators if and only if the scheme Res^W(X) is integral
IndisputableMonolith/Foundation/AlexanderDuality alexander_duality_circle_linking unclear
Demazure operator D_w0 : u ↦ 1/Δ ∑ (-1)^ℓ(w) w(u)

Reference graph

Works this paper leans on

10 extracted references · 10 canonical work pages · 1 internal anchor

[1]

Schubert cells and the cohomology of the spacesG/P

Cambridge University Press, Cambridge, 2022, pp. xv+289.url:https:// doi.org/10.1017/s1446788722000179. [BGG73] I. N. Bernstein, I. M. Gelfand, and S. I. Gelfand. “Schubert cells and the cohomology of the spacesG/P”.Russian Mathematical Surveys28.3 (1973). Translated from: Bern- stein, I. N.; Gelfand, I. M.; Gelfand, S. I., “Kletki Shuberta i kogomologii ...

work page doi:10.1017/s1446788722000179 2022
[2]

arXiv:2304.08125 [math.AG].url:https://arxiv.org/abs/2304. 08125. [BLR90] S. Bosch, W. L¨ utkebohmert, and M. Raynaud.N´ eron models. Vol

work page internal anchor Pith review Pith/arXiv arXiv
[3]

Ring objects in the equivariant de- rived Satake category arising from Coulomb branches

Springer-Verlag, Berlin, 1990, pp. x+325.url:https://doi.org/10.1007/978-3-642-51438-8. [BFN19] A. Braverman, M. Finkelberg, and H. Nakajima. “Ring objects in the equivariant de- rived Satake category arising from Coulomb branches”.Advances in Theoretical and Mathematical Physics23.2 (2019), pp. 253–344. [Dem73] M. Demazure. “Invariants sym´ etriques enti...

work page doi:10.1007/978-3-642-51438-8 1990
[4]

[GW23] T

arXiv:2501.09962 [math.AG].url:https://arxiv.org/abs/2501.09962. [GW23] T. Gannon and H. Williams.Differential operators on the base affine space ofSL n and quantized Coulomb branches

work page arXiv
[5]

Nil-Hecke algebras and WhittakerD-modules

arXiv:2312.10278 [math.RT]. 18 REFERENCES [Gin18] V. Ginzburg. “Nil-Hecke algebras and WhittakerD-modules”.Lie groups, geometry, and representation theory. Vol

work page arXiv
[6]

Differential operators onG/Uand the Gelfand-Graev action

Birkh¨ auser/Springer, Cham, 2018, pp. 137–184. [GK22] V. Ginzburg and D. Kazhdan. “Differential operators onG/Uand the Gelfand-Graev action”.Adv. Math.403 (2022), Paper No. 108368, 48.url:https://doi.org/10. 1016/j.aim.2022.108368. [GR15] V. Ginzburg and S. Riche. “Differential operators onG/Uand the affine Grassmannian”. J. Inst. Math. Jussieu14.3 (2015...

work page doi:10.1090/s0894- 2018
[7]

Torsion and Abelianization in Equivariant Cohomology

arXiv:2511. 19412 [math.AG].url:https : //arxiv.org/abs/2511.19412. [HS08] T. S. Holm and R. Sjamaar. “Torsion and Abelianization in Equivariant Cohomology”. Transformation Groups13.3-4 (2008), pp. 585–615. [Kiv25] O. Kivinen.A Lie-theoretic generalization of some Hilbert schemes

work page arXiv 2008
[8]

Lie group representations on polynomial rings

arXiv:2512. 08532 [math.AG].url:https://arxiv.org/abs/2512.08532. [Kos63] B. Kostant. “Lie group representations on polynomial rings”.Amer. J. Math.85 (1963), pp. 327–404.url:https://doi.org/10.2307/2373130. [Kos79] B. Kostant. “The solution to a generalized Toda lattice and representation theory”. Adv. in Math.34.3 (1979), pp. 195–338.url:https : / / doi...

work page doi:10.2307/2373130 1963
[9]

A Remark on Descent for Coxeter Groups

Birkh¨ auser Boston, Inc., Boston, MA, 2002, pp. xvi+606.url:https://doi.org/10. 1007/978-1-4612-0105-2. [Lon17] G. Lonergan. “A Remark on Descent for Coxeter Groups” (2017).url:https://arxiv. org/pdf/1707.01156.pdf. [Lus77] G. Lusztig. “Coxeter orbits and eigenspaces of Frobenius”.Invent. Math.38.2 (1976/77), pp. 101–159.url:https://doi.org/10.1007/BF014...

work page doi:10.1007/bf01408569 2002
[10]

Vakil.The Rising Sea: Foundations of Algebraic Geometry

[Vak22] R. Vakil.The Rising Sea: Foundations of Algebraic Geometry. 2022.url:http://math. stanford.edu/~vakil/216blog/FOAGaug2922publici.pdf

work page 2022