pith. sign in

arxiv: 2607.00322 · v1 · pith:HKMGUU3Tnew · submitted 2026-07-01 · 🧮 math.RT · math.AG

Reductive monoids over general base

Jingren Chi , Simon Jacques This is my paper

Pith reviewed 2026-07-02 00:39 UTC · model grok-4.3

classification 🧮 math.RT math.AG
keywords reductive monoidsaffine algebraic monoidsbase schemesclassification theoremVinberg monoidsorbit closuresadjoint quotientsquantum groups
0
0 comments X

The pith

Affine algebraic monoids whose unit groups are split reductive groups admit a classification over arbitrary base schemes.

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

The paper develops a theory of affine algebraic monoids over general base schemes with split reductive unit groups and proves a classification theorem for them. This extends earlier results that held only when the base was a field. A reader would care because the result supplies the objects needed to study these monoids in arithmetic or integral settings rather than only over fields. The classification is obtained with the aid of Lusztig's modified quantum groups and canonical bases. Several concrete applications then follow, including descriptions of orbit closures and constructions of integral models.

Core claim

The central claim is a classification theorem for affine algebraic monoids over general base schemes whose unit groups are split reductive groups, generalizing the works of Vinberg and Rittatore over a field.

What carries the argument

The classification theorem for reductive monoids over general base schemes, constructed via Lusztig's theory of modified quantum groups and their canonical bases.

If this is right

  • Orbit closures of these monoids admit combinatorial descriptions.
  • Orbit closures satisfy normality properties.
  • A Steinberg-type theorem holds for adjoint quotients of reductive monoids over general base schemes.
  • Finite type integral models of the Vinberg monoids can be constructed.

Where Pith is reading between the lines

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

  • The classification supplies the language needed to formulate questions about these monoids in mixed-characteristic or arithmetic geometry.
  • Results on representation theory or invariant theory that previously required a field base may now be reconsidered over schemes.
  • The integral models of Vinberg monoids could serve as test objects for comparing geometric and arithmetic invariants.

Load-bearing premise

The unit groups of the monoids are split reductive groups over the general base scheme.

What would settle it

A counterexample consisting of an affine algebraic monoid over a non-field base scheme whose unit group is split reductive but which fails to match any object in the proposed classification.

read the original abstract

We develop a theory of affine algebraic monoids over general base schemes whose unit groups are split reductive groups. Our main result is a classification theorem for such objects, generalizing works of Vinberg and Rittatore over a field. As applications, we obtain combinatorial descriptions and normality properties of orbit closures, prove a Steinberg-type theorem on adjoint quotients of reductive monoids over general base schemes, and construct finite type integral models of the Vinberg monoids. A main tool in our construction is Lusztig's theory of modified quantum groups and their canonical bases.

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.

Referee Report

0 major / 1 minor

Summary. The manuscript develops a theory of affine algebraic monoids over general base schemes whose unit groups are split reductive groups. The central claim is a classification theorem generalizing the results of Vinberg and Rittatore from the case of a field to arbitrary base schemes. The construction relies on Lusztig's modified quantum groups and their canonical bases. Applications include combinatorial descriptions and normality properties of orbit closures, a Steinberg-type theorem for adjoint quotients of reductive monoids, and the construction of finite-type integral models of Vinberg monoids.

Significance. If the classification theorem is established with full rigor, the work would constitute a meaningful extension of the theory of algebraic monoids to arithmetic and scheme-theoretic settings. The applications to orbit closures and integral models of Vinberg monoids could enable new results in representation theory and algebraic geometry over general bases. The explicit use of canonical bases from modified quantum groups is a technical strength that, if carried through correctly, supplies a concrete combinatorial tool not previously available in this generality.

minor comments (1)
  1. The abstract refers to 'Lusztig's theory of modified quantum groups' without indicating the precise reference or the section where the adaptation to general base schemes is carried out; a pointer to the relevant theorem or construction in the body would improve readability.

Simulated Author's Rebuttal

0 responses · 1 unresolved

We thank the referee for their summary of the manuscript and for acknowledging the potential significance of generalizing the classification of reductive monoids to arbitrary base schemes using Lusztig's modified quantum groups. The recommendation of 'uncertain' appears tied to verifying full rigor in the central theorem, but the report provides no specific major comments for us to address point by point.

standing simulated objections not resolved
  • The referee report lists no specific major comments (the 'MAJOR COMMENTS:' section is empty), so we cannot respond to or revise based on any concrete points raised.

Circularity Check

0 steps flagged

No significant circularity; classification generalizes external results

full rationale

The paper develops a theory of affine algebraic monoids over general base schemes with split reductive unit groups and states its main result as a classification theorem generalizing Vinberg and Rittatore over a field, using Lusztig's theory of modified quantum groups and canonical bases as a main tool. No load-bearing steps reduce by definition, fitted inputs renamed as predictions, or self-citation chains; the derivation is presented as extending independent prior work on fields to schemes, with no equations or premises shown to be equivalent to inputs by construction. The central claim remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No details on free parameters, axioms, or invented entities are available from the abstract alone; the work relies on prior Lusztig theory of modified quantum groups.

pith-pipeline@v0.9.1-grok · 5606 in / 1019 out tokens · 27123 ms · 2026-07-02T00:39:43.227120+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

49 extracted references · 3 canonical work pages

  1. [1]

    Bouthier, B

    A. Bouthier, B. C. Ng\^o, and Y. Sakellaridis. On the formal arc space of a reductive monoid. Amer. J. Math. , 138(1):81--108, 2016

    2016

  2. [2]

    Bourbaki

    N. Bourbaki. Algèbre commutative . Springer Berlin Heidelberg, 2006

    2006

  3. [3]

    Dimension des fibres de S pringer affines pour les groupes

    Alexis Bouthier. Dimension des fibres de S pringer affines pour les groupes. Transform. Groups , 20(3):615--663, 2015

    2015

  4. [4]

    Dual canonical bases and embeddings of symmetric spaces

    Huanchen Bao and Jinfeng Song. Dual canonical bases and embeddings of symmetric spaces. Preprint, arXiv :2505.01173 [math. RT ] (2025), 2025

    work page arXiv 2025

  5. [5]

    Canonical bases arising from quantum symmetric pairs

    Huanchen Bao and Weiqiang Wang. Canonical bases arising from quantum symmetric pairs. Invent. Math. , 213(3):1099--1177, 2018

    2018

  6. [6]

    Wonderful asymptotics of matrix coefficient D -modules

    David Ben-Zvi and Iordan Ganev. Wonderful asymptotics of matrix coefficient D -modules. Adv. Math. , 408:Paper No. 108578, 42, 2022

    2022

  7. [7]

    Geometry of K ottwitz- V iehmann varieties

    Jingren Chi. Geometry of K ottwitz- V iehmann varieties. J. Inst. Math. Jussieu , 21(1):1--65, 2022

    2022

  8. [8]

    Reductive group schemes

    Brian Conrad . Reductive group schemes. In Autour des sch\'emas en groupes. \'Ecole d'\'Et\'e ``Sch\'emas en groupes'' , pages 93--444. Soci \'e t \'e Math \'e matique de France (SMF), Paris, 2014

    2014

  9. [9]

    Groupes algébriques , volume Tome I

    Michel Demazure and Peter Gabriel . Groupes algébriques , volume Tome I. Masson et Cie and Amsterdam, North-Holland publishing company, Paris, 1970

    1970

  10. [10]

    Geometric constant term functor(s)

    Vladimir Drinfeld and Dennis Gaitsgory. Geometric constant term functor(s). Selecta Math. (N.S.) , 22(4):1881--1951, 2016

    1951

  11. [11]

    Power reductivity over an arbitrary base

    Vincent Franjou and Wilberd van der Kallen. Power reductivity over an arbitrary base. Doc. Math. , Extra Vol.:171--195, 2010

    2010

  12. [12]

    The wonderful compactification for quantum groups

    Iordan Ganev. The wonderful compactification for quantum groups. J. Lond. Math. Soc. (2) , 99(3):778--806, 2019

    2019

  13. [13]

    Grothendieck

    A. Grothendieck. \' E l\'ements de g\'eom\'etrie alg\'ebrique. II . \' E tude globale \'el\'ementaire de quelques classes de morphismes. Inst. Hautes \'Etudes Sci. Publ. Math. , 8:222, 1961

    1961

  14. [14]

    Grothendieck

    A. Grothendieck. \' E l\'ements de g\'eom\'etrie alg\'ebrique. IV . \' E tude locale des sch\'emas et des morphismes de sch\'emas. II . Inst. Hautes \'Etudes Sci. Publ. Math. , 24:231, 1965

    1965

  15. [15]

    Grothendieck

    A. Grothendieck. \' E l\'ements de g\'eom\'etrie alg\'ebrique. IV . \' E tude locale des sch\'emas et des morphismes de sch\'emas. III . Inst. Hautes \'Etudes Sci. Publ. Math. , 28:255, 1966

    1966

  16. [16]

    Grothendieck

    A. Grothendieck. \' E l\'ements de g\'eom\'etrie alg\'ebrique. IV . \' E tude locale des sch\'emas et des morphismes de sch\'emas IV . Inst. Hautes \'Etudes Sci. Publ. Math. , 32:361, 1967

    1967

  17. [17]

    Grosshans

    Frank D. Grosshans. Contractions of the actions of reductive algebraic groups in arbitrary characteristic. Invent. Math. , 107(1):127--133, 1992

    1992

  18. [18]

    Representations of algebraic groups

    Jens Carsten Jantzen. Representations of algebraic groups. , volume 107 of Math. Surv. Monogr. Providence, RI: American Mathematical Society (AMS), 2nd ed. edition, 2003

    2003

  19. [19]

    Crystal bases of modified quantized enveloping algebra

    Masaki Kashiwara. Crystal bases of modified quantized enveloping algebra. Duke Math. J. , 73(2):383--413, 1994

    1994

  20. [20]

    The L una- V ust theory of spherical embeddings

    Friedrich Knop. The L una- V ust theory of spherical embeddings. In Proceedings of the H yderabad C onference on A lgebraic G roups ( H yderabad, 1989) , pages 225--249. Manoj Prakashan, Madras, 1991

    1989

  21. [21]

    Adjoint quotients of reductive groups

    Ting-Yu Lee. Adjoint quotients of reductive groups. In Autour des sch\'emas en groupes. \'Ecole d'\'Et\'e ``Sch\'emas en groupes''. Volume III , pages 131--145. Paris: Soci \'e t \'e Math \'e matique de France (SMF), 2015

    2015

  22. [22]

    Quantum groups at v=

    George Lusztig. Quantum groups at v= . In Functional analysis on the eve of the 21st century, V ol.\ 1 ( N ew B runswick, NJ , 1993) , volume 131 of Progr. Math. , pages 199--221. Birkh\"auser Boston, Boston, MA, 1995

    1993

  23. [23]

    Study of a \( Z \) -form of the coordinate ring of a reductive group

    George Lusztig. Study of a \( Z \) -form of the coordinate ring of a reductive group. J. Am. Math. Soc. , 22(3):739--769, 2009

    2009

  24. [24]

    a user Class. Boston, MA: Birkh \

    George Lusztig. Introduction to quantum groups . Mod. Birkh \"a user Class. Boston, MA: Birkh \"a user, reprint of the 1994 ed. edition, 2010

    1994

  25. [25]

    The quantum group U and flag manifolds over the semifield Z

    George Lusztig. The quantum group U and flag manifolds over the semifield Z . Bull. Inst. Math. Acad. Sin. (N.S.) , 18(3):235--267, 2023

    2023

  26. [26]

    Luna and Th

    D. Luna and Th. Vust. Plongements d'espaces homog\`enes. Comment. Math. Helv. , 58(2):186--245, 1983

    1983

  27. [27]

    Geometric invariant theory

    David Mumford , John Fogarty , and Frances Kirwan . Geometric invariant theory. Number 34 in Ergeb. Math. Grenzgeb. Springer-Verlag, Berlin, 1994

    1994

  28. [28]

    On a certain sum of automorphic L -functions

    Bao Ch\^au Ng \^o . On a certain sum of automorphic L -functions. In Automorphic forms and related geometry: assessing the legacy of I . I . P iatetski- S hapiro , volume 614 of Contemp. Math. , pages 337--343. Amer. Math. Soc., Providence, RI, 2014

    2014

  29. [29]

    Hankel transform, L anglands functoriality and functional equation of automorphic L -functions

    Bao Ch\^au Ng \^o . Hankel transform, L anglands functoriality and functional equation of automorphic L -functions. Jpn. J. Math. , 15(1):121--167, 2020

    2020

  30. [30]

    Lectures on logarithmic algebraic geometry , volume 178 of Cambridge Studies in Advanced Mathematics

    Arthur Ogus. Lectures on logarithmic algebraic geometry , volume 178 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 2018

    2018

  31. [31]

    V. L. Popov. Contractions of actions of reductive algebraic groups. Mat. Sb. (N.S.) , 130(172)(3):310--334, 431, 1986

    1986

  32. [32]

    Mohan S. Putcha. Linear algebraic monoids , volume 133 of London Mathematical Society Lecture Note Series . Cambridge University Press, Cambridge, 1988

    1988

  33. [33]

    Lex E. Renner. Linear algebraic monoids , volume 134 of Encyclopaedia of Mathematical Sciences . Springer-Verlag, Berlin, 2005. Invariant Theory and Algebraic Transformation Groups, V

    2005

  34. [34]

    Monoides alg \'e briques et plongements des groupes

    Alvaro Rittatore. Monoides alg \'e briques et plongements des groupes . PhD thesis, Grenoble, 1997

    1997

  35. [35]

    Algebraic monoids and group embeddings

    Alvaro Rittatore. Algebraic monoids and group embeddings. Transform. Groups , 3(4):375--396, 1998

    1998

  36. [36]

    Very flat reductive monoids

    Alvaro Rittatore. Very flat reductive monoids. Publ. Mat. Urug. , 9:93--121, 2001

    2001

  37. [37]

    Tyrrell Rockafellar

    R. Tyrrell Rockafellar. Convex analysis , volume No. 28 of Princeton Mathematical Series . Princeton University Press, Princeton, NJ, 1970

    1970

  38. [38]

    Sch\'emas en groupes ( SGA 3)

    Philippe Gille and Patrick Polo, editors. Sch\'emas en groupes ( SGA 3). T ome I . P ropri\'et\'es g\'en\'erales des sch\'emas en groupes , volume 7 of Documents Math\'ematiques (Paris) [Mathematical Documents (Paris)] . Soci\'et\'e Math\'ematique de France, Paris, annotated edition, 2011. S\'eminaire de G\'eom\'etrie Alg\'ebrique du Bois Marie 1962--64. ...

    2011

  39. [39]

    II : G roupes de type multiplicatif, et structure des sch\'emas en groupes g\'en\'eraux , volume Vol

    Sch\'emas en groupes. II : G roupes de type multiplicatif, et structure des sch\'emas en groupes g\'en\'eraux , volume Vol. 152 of Lecture Notes in Mathematics . Springer-Verlag, Berlin-New York, 1970. S\'eminaire de G\'eom\'etrie Alg\'ebrique du Bois Marie 1962/64 (SGA 3), Dirig\'e par M. Demazure et A. Grothendieck

    1970

  40. [40]

    III : S tructure des sch\'emas en groupes r\'eductifs , volume Vol

    Sch\'emas en groupes. III : S tructure des sch\'emas en groupes r\'eductifs , volume Vol. 153 of Lecture Notes in Mathematics . Springer-Verlag, Berlin-New York, 1970. S\'eminaire de G\'eom\'etrie Alg\'ebrique du Bois Marie 1962/64 (SGA 3), Dirig\'e par M. Demazure et A. Grothendieck

    1970

  41. [41]

    The stacks project

    The Stacks project authors . The stacks project. https://stacks.math.columbia.edu, 2026

    2026

  42. [42]

    Regular elements of semisimple algebraic groups

    Robert Steinberg. Regular elements of semisimple algebraic groups. Inst. Hautes \'Etudes Sci. Publ. Math. , 25:49--80, 1965

    1965

  43. [43]

    Stembridge

    John R. Stembridge. The partial order of dominant weights. Adv. Math. , 136(2):340--364, 1998

    1998

  44. [44]

    Normal, unipotent subgroup schemes of reductive groups

    Adrian Vasiu. Normal, unipotent subgroup schemes of reductive groups. C. R. Math. Acad. Sci. Paris , 341(2):79--84, 2005

    2005

  45. [45]

    An integrality theorem of Grosshans over arbitrary base ring

    Wilberd van der Kallen. An integrality theorem of Grosshans over arbitrary base ring. Transform. Groups , 19(1):283--287, 2014

    2014

  46. [46]

    E. B. Vinberg. On reductive algebraic semigroups. In Lie groups and Lie algebras: E. B. Dynkin's seminar , pages 145--182. Providence, RI: American Mathematical Society, 1995

    1995

  47. [47]

    Griffin Wang

    X. Griffin Wang. Multiplicative Hitchin fibrations and the fundamental lemma. arXiv :2402.19331, 2025

    work page arXiv 2025

  48. [48]

    On vector-valued twisted conjugation invariant functions on a group; with an appendix by Stephen Donkin

    Liang Xiao and Xinwen Zhu. On vector-valued twisted conjugation invariant functions on a group; with an appendix by Stephen Donkin . In Representations of reductive groups. Conference in honor of Joseph Bernstein. Representation theory and algebraic geometry, June 11--16, 2017. Weizmann Institute of Science and The Hebrew University of Jerusalem, Israel ,...

    2017

  49. [49]

    A note on Integral Satake isomorphisms

    Xinwen Zhu. A note on Integral Satake isomorphisms. arXiv :2005.13056, 2020

    work page arXiv 2005