Pith. sign in

REVIEW 1 minor 49 references

Reductive monoids over general base

T0 review · 0 major / 1 minor · reviewed 2026-07-02 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Affine algebraic monoids whose unit groups are split reductive groups admit a classification over arbitrary base schemes.

desk verdict The paper gives a classification of reductive monoids over arbitrary base schemes that extends the field case, plus some applications, but the proofs are not visible here so soundness stays unconfirmed. read the letter →

arxiv 2607.00322 v1 pith:HKMGUU3T submitted 2026-07-01 math.RT math.AG

Jingren Chi , Simon Jacques This is my paper · ORCID
classification math.RTmath.AG
keywords reductivemonoidsaffinealgebraicbaseschemesclassificationtheoremVinbergorbitclosuresadjointquotientsquantumgroups
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

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.

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.

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.

Watch

Extended reading notes

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.

Load-bearing premise

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

Editorial extensions

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.

Reading between the lines

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.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

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 · score 0.0 of 10

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.

Assumptions & free parameters 0 free parameters · 0 assumptions · 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.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Reductive monoids over general base." pith.science (2026). https://pith.science/paper/HKMGUU3T

@misc{pith2026260700322,
  author       = {Pith},
  title        = {Pith review of: Reductive monoids over general base},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HKMGUU3T}},
  note         = {Machine review of arXiv:2607.00322}
}
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.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

49 extracted references · 49 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

    work page 2016

  2. [2]

    Bourbaki

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

    work page 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

    work page 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

    work page 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

    work page 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

    work page 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

    work page 2014

Show all 49 references
  1. [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

  2. [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

  3. [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

  4. [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

  5. [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

  6. [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

  7. [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

  8. [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

  9. [17]

    Grosshans

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

    1992

  10. [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

  11. [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

  12. [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

  13. [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

  14. [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

  15. [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

  16. [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

  17. [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

  18. [26]

    Luna and Th

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

    1983

  19. [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

  20. [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

  21. [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

  22. [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

  23. [31]

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

    1986

  24. [32]

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

    1988

  25. [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

  26. [34]

    Monoides alg \'e briques et plongements des groupes

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

    1997

  27. [35]

    Algebraic monoids and group embeddings

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

    1998

  28. [36]

    Very flat reductive monoids

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

    2001

  29. [37]

    Tyrrell Rockafellar

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

    1970

  30. [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 e...

    2011

  31. [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), Di...

    1970

  32. [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

  33. [41]

    The stacks project

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

    2026

  34. [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

  35. [43]

    Stembridge

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

    1998

  36. [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

  37. [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

  38. [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

  39. [47]

    Griffin Wang

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

    2025

  40. [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...

    2017

  41. [49]

    A note on Integral Satake isomorphisms

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

    2005

Pith tools

Reviewed July 2, 2026 · model on record in the stance chip above.