arxiv: 2604.17471 · v1 · submitted 2026-04-19 · 🧮 math.RT

Notes on Chevalley Groups and Root Category III: the Region of Total Positivity

Buyan Li , Jie Xiao This is my paper

Pith reviewed 2026-05-10 05:18 UTC · model grok-4.3

classification 🧮 math.RT

keywords Chevalley groupsroot categoriestotal positivityLusztig theorytotally positive monoidsroot subgroupsindecomposable objects

0 comments

The pith

Root categories realize Chevalley groups whose totally positive monoids have sizes given by explicit regions in R>0^t tied to indecomposable objects.

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

The paper continues prior work by using root categories to construct Chevalley groups and then applies Lusztig's total positivity theory to them. It finds concrete regions inside the positive orthant R>0^t that control the size of the monoid of totally positive elements, where each region is indexed by root subgroups attached to the indecomposable objects of the root category. A reader interested in the overlap between categorical representation theory and positivity in algebraic groups would see this as a way to read off combinatorial data about positive elements directly from the category rather than from the group itself.

Core claim

The authors explicitly determine regions of R>0^t for describing the size of monoids of totally positive elements, with respect to the root subgroups corresponding to the indecomposable objects in the root category, after realizing Chevalley groups via root categories and applying Lusztig's total positivity theory.

What carries the argument

The correspondence that sends each indecomposable object of the root category to a root subgroup, which then labels the coordinate regions in R>0^t that measure monoid size.

If this is right

The monoid size becomes a categorical invariant readable from the indecomposable objects alone.
Different root categories produce different positivity regions whose geometry reflects the category's structure.
The total positivity monoid decomposes according to the root subgroups attached to indecomposables.
Computations of positive elements in these groups can be reduced to counting or integrating over category-derived regions.

Where Pith is reading between the lines

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

The same regions might be used to define a notion of positivity inside the root category itself.
Equivalences or mutations of root categories could induce transformations between positivity regions.
This construction may supply a template for importing total positivity into other categorical models of groups or algebras.
Explicit region descriptions could be tested numerically for low-rank cases to refine the correspondence.

Load-bearing premise

Lusztig's total positivity theory applies directly to the Chevalley groups constructed from root categories, so that monoid sizes are determined exactly by the indecomposable objects without further restrictions.

What would settle it

For a concrete small root category, compute the actual monoid of totally positive elements in the corresponding Chevalley group by direct matrix or Bruhat decomposition methods and check whether its cardinality matches the volume or measure of the region predicted by the indecomposables.

read the original abstract

In [4], we use the root categories to realize Chevalley groups. Lusztig's theory of total positivity for reductive groups can be naturally applied to Chevalley groups. In this paper, we explicitly determine regions of $\mathbb{R}_{>0}^t$ for describing the size of monoids of totally positive elements, with respect to the root subgroups corresponding to the indecomposable objects in the root category.

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

This note spells out explicit positive regions for the monoids in the root-category Chevalley groups, but the transfer of Lusztig positivity still needs verification against possible extra relations from the triangulated structure.

read the letter

The main thing here is that Li and Xiao have worked out concrete regions in R>0^t that describe the sizes of the totally positive monoids, using the root subgroups tied to indecomposable objects in their root-category model of Chevalley groups. They start from the realization in their earlier paper and apply Lusztig's total positivity directly to those subgroups. That produces explicit descriptions of the positive cones rather than leaving them abstract. The concreteness is the useful part. It turns the prior framework into something that can be written down and, in principle, checked or computed for specific cases. The paper stays inside the established line of work on categorical models and positivity, and it delivers the next natural piece without overclaiming. The soft spot is the assumption that the root category passes Lusztig's positive monoid structure through without extra constraints. If the triangulated morphisms impose identifications or relations on the positive parameters that are not present in the usual reductive group, then the regions would not read off directly from the indecomposables. The abstract states the determination but does not show the derivation or the checks that rule this out, so the claim rests on the details in the body. This is for specialists already following the root category series and Lusztig positivity in representation theory. A reader outside that niche will need the prior papers to make sense of it. The explicit regions are a tangible advance worth referee time, even if the foundational transfer requires scrutiny. I would send it for peer review.

Referee Report

2 major / 2 minor

Summary. The manuscript builds on the authors' prior realization of Chevalley groups via root categories in reference [4]. It applies Lusztig's theory of total positivity to these groups and claims to explicitly determine regions of R>0^t describing the sizes of monoids of totally positive elements, parameterized by root subgroups corresponding to indecomposable objects in the root category.

Significance. If the determination holds and the direct applicability of Lusztig's framework is justified, the work would provide a concrete categorical description of positive monoids in Chevalley groups, potentially enabling new combinatorial computations tied to root category data. The explicit regional determination, if derived rigorously, represents a strength in extending total positivity beyond classical reductive groups.

major comments (2)

[Abstract and main result] The central claim that regions of R>0^t can be read off directly from indecomposable objects rests on the unverified assumption that the root-category realization of Chevalley groups preserves the positive monoid structure without extra relations or constraints imposed by the triangulated category. No derivation, explicit formulas, or verification steps for these regions are supplied.
[The Region of Total Positivity] The applicability of Lusztig's total positivity is asserted without addressing whether morphisms in the root category introduce identifications or constraints on positive parameters beyond the standard reductive-group case, which would alter the monoid sizes and undermine the explicit determination.

minor comments (2)

The parameter t in R>0^t is used without definition in the abstract; clarify that it denotes the number of indecomposable objects.
A brief recap of the key realization result from [4] would improve self-containment, as the current text assumes familiarity with that framework.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for highlighting these points. We address each major comment below, clarifying the reliance on our prior work [4] and indicating where we will expand the exposition in revision.

read point-by-point responses

Referee: [Abstract and main result] The central claim that regions of R>0^t can be read off directly from indecomposable objects rests on the unverified assumption that the root-category realization of Chevalley groups preserves the positive monoid structure without extra relations or constraints imposed by the triangulated category. No derivation, explicit formulas, or verification steps for these regions are supplied.

Authors: The realization of Chevalley groups via root categories, including the correspondence between indecomposable objects and root subgroups, is established in our prior paper [4]. There we prove that the group is presented by generators and relations matching the standard Chevalley presentation, so the positive monoid structure carries over without additional triangulated-category constraints. In the present note we apply Lusztig's parametrization to these subgroups and state the resulting regions explicitly in terms of the positive parameters attached to each indecomposable object. To make the derivation self-contained, we will add a concise summary of the relevant faithfulness results from [4] together with the explicit formulas and a short verification that the regions are indeed given by the product of positive reals over the indecomposables. revision: yes
Referee: [The Region of Total Positivity] The applicability of Lusztig's total positivity is asserted without addressing whether morphisms in the root category introduce identifications or constraints on positive parameters beyond the standard reductive-group case, which would alter the monoid sizes and undermine the explicit determination.

Authors: Because the root-category realization is faithful to the Chevalley group (as shown in [4]), the morphisms of the triangulated category correspond exactly to the relations already present in the group and do not impose further identifications on the positive parameters. Consequently the monoid of totally positive elements is parametrized by the same open set of positive reals as in the classical case. We agree that an explicit remark on this point would strengthen the text. In revision we will insert a short paragraph after the statement of the main result, recalling the faithfulness from [4] and confirming that no extra constraints arise for the positive parameters. revision: yes

Circularity Check

1 steps flagged

Central result relies on prior self-citation for applicability of Lusztig theory but adds explicit region computation

specific steps

self citation load bearing [Abstract]
"In [4], we use the root categories to realize Chevalley groups. Lusztig's theory of total positivity for reductive groups can be naturally applied to Chevalley groups. In this paper, we explicitly determine regions of R>0^t for describing the size of monoids of totally positive elements, with respect to the root subgroups corresponding to the indecomposable objects in the root category."

The explicit determination of regions is presented as following directly from applying Lusztig theory to the root-category realization, but that realization and its compatibility with total positivity are justified solely by citation to the authors' own prior paper [4] without independent verification or re-derivation in the present text.

full rationale

The paper's abstract explicitly grounds the application of Lusztig total positivity in the Chevalley group realization from the authors' own prior work [4]. This self-citation is load-bearing for the premise that monoid sizes can be read directly from indecomposables, yet the paper performs new explicit determination of the R>0^t regions, which constitutes independent content beyond the citation. No equations reduce by construction to fitted inputs or self-definitions within this manuscript; the derivation chain remains partially self-contained once the prior realization is granted.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the prior realization of Chevalley groups inside root categories and on the applicability of Lusztig total positivity; no free parameters, new axioms, or invented entities are visible from the abstract.

axioms (1)

domain assumption Lusztig's theory of total positivity for reductive groups applies naturally to Chevalley groups realized via root categories
Invoked in the abstract as the basis for determining the regions.

pith-pipeline@v0.9.0 · 5354 in / 1113 out tokens · 41355 ms · 2026-05-10T05:18:36.345683+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

11 extracted references · 2 canonical work pages

[1]

R. W. Carter.Simple groups of Lie type, volume Vol. 28 ofPure and Applied Mathematics. John Wiley & Sons, London-New York-Sydney, 1972

1972
[2]

M. Geck. A course on lie algebras and chevalley groups.arXiv:2404.11472, 2024

work page arXiv 2024
[3]

B. Keller. On triangulated orbit categories.Doc. Math., 10:551–581, 2005

2005
[4]

Li and J

B. Li and J. Xiao. Notes on chevalley groups and root category I.arXiv:2505.17805, 2025

work page arXiv 2025
[5]

G. Lusztig. Total positivity in reductive groups. InLie theory and geometry, volume 123 of Progr. Math., pages 531–568. Birkh¨ auser Boston, Boston, MA, 1994

1994
[6]

G. Lusztig. Total positivity and canonical bases. InAlgebraic groups and Lie groups, volume 9 ofAustral. Math. Soc. Lect. Ser., pages 281–295. Cambridge Univ. Press, Cambridge, 1997

1997
[7]

G. Lusztig. Total positivity in reductive groups, II.Bull. Inst. Math. Acad. Sin. (N.S.), 14(4):403–459, 2019

2019
[8]

Oppermann, I

S. Oppermann, I. Reiten, and H. Thomas. Quotient closed subcategories of quiver representa- tions.Compos. Math., 151(3):568–602, 2015

2015
[9]

Peng and J

L. Peng and J. Xiao. Root categories and simple lie algebras.Journal of Algebra, 198(1):19–56, 1997

1997
[10]

C. M. Ringel. Hall polynomials for the representation-finite hereditary algebras.Adv. Math., 84(2):137–178, 1990

1990
[11]

Steinberg.Lectures on Chevalley groups, volume 66 ofUniversity Lecture Series

R. Steinberg.Lectures on Chevalley groups, volume 66 ofUniversity Lecture Series. Ameri- can Mathematical Society, Providence, RI, corrected edition, 2016. Notes prepared by John Faulkner and Robert Wilson, With a foreword by Robert R. Snapp. Department of Mathematical Sciences, Tsinghua University, Beijing 100084, P. R. China Email address:liby21@mails.t...

2016