Chevalley Polytopes and Newton-Okounkov Bodies

Charles Wang; Peter Spacek

Chevalley Polytopes and Newton-Okounkov Bodies

T0 review · reviewed 2026-08-12 · deepseek-v4-flash

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

Pith's one-line read For minuscule homogeneous spaces, the Chevalley polytope is a Newton-Okounkov body whose Plücker coordinates form a Khovanskii basis.

desk verdict A genuinely new polytope construction with a repairable but load-bearing gap in the minuscule theorem's proof. read the letter →

arxiv 2411.10276 v1 pith:SPMJHQXL submitted 2024-11-15 math.AG math.CO

Peter Spacek , Charles Wang This is my paper · ORCID

classification math.AGmath.CO MSC 14M1514M2552B2005E10

keywords ChevalleypolytopesNewton-OkounkovbodiesKhovanskiibasesminusculehomogeneousspacesorderPlückercoordinatestoricdegenerationsstring

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 introduces Chevalley polytopes, built from a valuation on the coordinate ring of a homogeneous space $X=G/P$ with a chosen projective embedding and reduced expression. The valuation is defined by restricting functions to a torus and taking the exponent vector of the degrevlex-minimal monomial, and the Chevalley polytope is the convex hull of valuations of degree-one coordinate functions. The main theorem states that when $X$ is minuscule in its minimal embedding, this polytope is the order polytope of the minuscule poset $w^P$, hence a Newton-Okounkov body, and that the Plücker coordinates form a Khovanskii basis, yielding a toric degeneration to the associated projectively normal toric variety. This matters because Newton-Okounkov bodies and Khovanskii bases are usually hard to construct, while here they come directly from poset combinatorics.

What carries the argument

The central object is the valuation $\nu_{X,\varpi,s}$, which sends a function on $X$ to the exponent vector of the degrevlex-minimal monomial in its restriction to the torus $X^\circ = U_-^\circ/P$ determined by a reduced expression $s$ for $w^P$; the Chevalley polytope is the convex hull of these valuations over the homogeneous degree-one part of $\mathbb{C}[X]$. In the minuscule case, full commutativity makes the heap of any reduced expression equal to the minuscule poset $w^P$, and the valuation of each Plücker coordinate is the indicator vector of a filter. Proposition 4.1 therefore identifies the Chevalley polytope with Stanley's order polytope $O_{w^P}$. The proof then combines three facts: the normalized volume of $O_{w^P}$ counts linear extensions of $w^P$, which equal the degree of $X$; order polytopes satisfy the integer decomposition property; and the general valuation machinery turns one-dimensional leaves plus a Khovanskii basis into a Newton-Okounkov body and a toric degeneration.

What would settle it

For the Grassmannian $\mathrm{Gr}(2,4)$ with reduced expression $s_2s_1s_3s_2$, compute the restriction of the Plücker coordinate $p_{13}$ to the torus: if it equals $a_1+a_4$ and the degrevlex-minimal term is $a_1$, then the valuation of $p_{13}$ is not the identity-embedding monomial, directly contradicting the stated premise of Proposition 4.1; the theorem could then hold only after a coordinate permutation.

Watch

Extended reading notes

Core claim

The paper's central claim is Theorem 1.1: for a minuscule homogeneous space $X=G/P_k$ in its minimal embedding, the Chevalley polytope $P_{X,\varpi_k}$ is a Newton-Okounkov body for $X$ with respect to the valuation $\nu_{X,\varpi_k}$; the Plücker coordinates on $X$ form a Khovanskii basis for $\mathbb{C}[X]$; and $X$ admits a toric degeneration to the projectively normal toric variety associated to $P_{X,\varpi_k}$. The key identification is $P_{X,\varpi_k}=O_{w^P}$, the order polytope of the minuscule poset, whose vertices are precisely the indicator vectors of filters of $w^P$. Because order polytopes have no interior lattice points and satisfy the integer decomposition property, the valuations of Plücker coordinates generate the valuation semigroup, which is exactly the condition that they form a Khovanskii basis.

Load-bearing premise

The proof that the Chevalley polytope equals the order polytope relies on the identity embedding of a filter into the minuscule poset being the unique minimal embedding under the chosen term order; this can fail when two elements of the poset carry the same label, because the degrevlex-minimal term may then come from a non-identity embedding.

Editorial extensions

If this is right

Every minuscule homogeneous space in its minimal embedding acquires an explicit 0/1-polytope Newton-Okounkov body, the order polytope of its minuscule poset, so the body can be written down from the poset alone.
The Plücker coordinates generate the valuation semigroup, so they form a Khovanskii basis; in particular, the homogeneous coordinate ring of $X$ degenerates to the toric ring of the Chevalley polytope, and the degeneration is projectively normal.
The Chevalley polytope has no lattice points except its vertices, and its dilations decompose into sums of vertices, so the associated toric variety is projectively normal.
For the same spaces, string polytopes can fail to be integral or to satisfy the integer decomposition property, while minuscule Chevalley polytopes always have these properties.
The paper conjectures that the same construction works for arbitrary homogeneous spaces and embeddings, and that Chevalley polytopes decompose under Minkowski sums according to the expansion of the weight into fundamental weights, a polytopal analogue of the Littlewood-Richardson rule.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

If the proof's labeling premise is repaired, the most likely salvage is that every minuscule Chevalley polytope coincides with an order polytope up to a permutation of coordinates depending on the reduced expression; the theorem would survive in that weaker form.
The same valuation scheme suggests a practical recipe for non-minuscule spaces: look for reduced expressions whose heaps make the weighted embeddings of Chevalley-basis elements behave like filters; the appendix examples show some expressions work and others do not.
A computational test of the Minkowski decomposition conjecture in small rank would strengthen the analogy with the Littlewood-Richardson rule: for each representation appearing in the tensor product, there should be a subpolytope of the Chevalley polytope whose lattice points count the multiplicity.
The construction may generalize beyond $G/P$ to any projective variety carrying a torus chart and a distinguished set of algebra generators whose valuations can be described combinatorially.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

First the punchline: the Chevalley polytope construction is a nice idea, and the minuscule story would be quite appealing if the proof held up. It doesn't, as written—there is a concrete counterexample to the key claim in Proposition 4.1. A good referee would send this back for repair, but the paper deserves that referee.

The construction: take a homogeneous space X=G/P, a projective embedding from a highest weight representation, and a reduced expression for w^P. Use the associated torus coordinates to define a degrevlex valuation, then take the convex hull of valuations of the degree-1 coordinate functions. This is natural and new. The paper's Conjecture 5.4—that the Chevalley polytope decomposes as a Minkowski sum of fundamental-weight Chevalley polytopes—is an attractive shadow of the Littlewood-Richardson rule, and the examples support it.

The problem: Section 4 proves that for minuscule X, P is the order polytope of the minuscule poset by claiming the valuation of p_F is the indicator of F itself. The proof rests on the assertion that the degrevlex order extends the partial order on labeled embeddings given by τ1 ≤ τ2 iff τ1(b) ≥ τ2(b) pointwise. This is false when labels repeat. The stress-test example is Gr(2,4) with s=s2s1s3s2: the heap is a diamond with two incomparable elements both labeled 2. For the filter {top}, p_13 restricts to a_top+a_bottom, and degrevlex with a_top > a_bottom selects a_bottom. That monomial is not the identity embedding and its support is not a filter, so the order-polytope identification fails at that step. This is not a minor typo: Corollary 4.3, Theorem 4.4, and the IDP argument in Theorem 4.6 all depend on that identification. The theorem may still be true—reversing the coordinate order or choosing a more careful term order might fix it—but the proof as written doesn't go through.

What the paper does well besides that: the comparison with string polytopes is informative, with concrete examples where Chevalley polytopes are integral, full-dimensional, and satisfy IDP while string polytopes don't. The writing is honest about what is conjectural, and the appendix examples are useful evidence, though they lack the code that would make them reproducible.

My take: send it to peer review. The construction and conjectures deserve attention, and the minuscule theorem is likely salvageable. I wouldn't cite the theorem in its current form, but I'd keep the paper on the short list to revisit once the embedding-minimality argument is patched.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the Chevalley-polytope construction is defined from a valuation and checked against independent degree/volume data; the flagged degrevlex/order-polytope issue is a correctness gap, not a circular one.

full rationale

The derivation is self-contained in the sense relevant to circularity. The Chevalley polytope is defined directly as the convex hull of degree-1 valuations coming from a degrevlex valuation on an explicit torus, with no parameter fitted to a target degree, volume, or Newton-Okounkov body. The minuscule identification P_{X,ω_k}=O_{wP} (Proposition 4.1) rests on a combinatorial assertion about labeled embeddings and the degrevlex order rather than on a prior statement of the theorem; the assertion 'Under this partial order, the identity embedding id : F↪wP is the unique minimal embedding of F into wP. It is straightforward to check that the degrevlex order on C[a_b | b ∈ wP] with ordering of coordinates a_{b_{ℓ_P}} > ... > a_{b_1} corresponding to the choice of s extends this partial ordering' is an unproved step, and for Gr(2,4) with reduced expression s_2s_1s_3s_2 it can fail. That is a correctness concern, not a circularity: the desired equality is not being used as an input. The volume/degree comparison is made against independent quantities: the number of linear extensions of wP from Stanley's order-polytope theorem and deg(X) from the Chevalley formula in Lemma 4.2. The final equality Δ(C[X],ν)=P_{X,ω_k} then follows from the standard fact that two closed convex sets with one contained in the other and equal normalized volume coincide. Citations to the authors' prior work are routine and not load-bearing in a circular sense: Lemma 2.9 from [SW23] is a general one-dimensional-leaves lemma with a proof the paper extends to arbitrary term orders, and the restriction formula from [SW24] is also stated as following from the expansion (3.1) in this paper. No 'prediction' reduces by construction to a fitted input, and no uniqueness theorem is imported from the authors' previous work to force the choice of polytope.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The central claims rest on standard theorems, such as Stanley's order polytope theory and Stembridge's full commutativity for minuscule parabolics, and on two results cited from the authors' earlier papers: the one-dimensional-leaves lemma for term-order valuations [SW23] and the expansion of Plücker coordinate restrictions as sums over labeled embeddings [SW24]. The unproven assertion about the uniqueness of the minimal embedding is not an axiom but a proof gap and is flagged separately.

assumptions (5)

domain assumption For a minuscule parabolic P, the heap H_s of any reduced expression s for w^P is the minuscule poset w_P (Stembridge full commutativity).
Used in Section 4 to make the valuation and polytope independent of s and to identify the heap with w_P.
domain assumption The restriction of a Plücker coordinate p_F to the torus X^\circ equals the sum over labeled poset embeddings \tau: F \to w_P of monomials a_\tau, cited from [SW24, eq (2.13)].
This expansion is the starting point for the valuation computation; it is imported from the authors' prior work and not proved here.
domain assumption The valuation associated to a term ordering on a finitely generated subalgebra of a polynomial ring has one-dimensional leaves (Lemma 2.9, from [SW23]).
Used in Theorem 4.4 to apply the volume-degree theorem; stated for a general term ordering without proof.
standard math Stanley's theorems on order polytopes: vertices are filters, normalized volume equals number of linear extensions, and the integer decomposition property holds.
Used to identify P_{X,\omega_k} with the order polytope, compute its volume, and prove the Khovanskii basis property.
standard math The degree of a minuscule X equals the number of linear extensions of w_P, proved in Lemma 4.2 via the Chevalley formula and standard lattice theory.
Needed for the volume equality Vol(P) = deg(X) in Corollary 4.3 and Theorem 4.4.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Chevalley Polytopes and Newton-Okounkov Bodies." pith.science (2026). https://pith.science/paper/SPMJHQXL

@misc{pith2026241110276,
  author       = {Pith},
  title        = {Pith review of: Chevalley Polytopes and Newton-Okounkov Bodies},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/SPMJHQXL}},
  note         = {Machine review of arXiv:2411.10276}
}

abstract

We construct a family of polytopes, which we call Chevalley polytopes, associated to homogeneous spaces $X=G/P$ in their projective embeddings $X\hookrightarrow \mathbb{P}(V_{\varpi})$ together with a choice of reduced expression for the minimal coset representative $w^P$ of $w_0$ in $W/W_P$. When $X$ is minuscule in its minimal embedding, we describe our construction in terms of order polytopes of minuscule posets and use the associated combinatorics to show that minuscule Chevalley polytopes are Newton-Okounkov bodies for $X$ and that the Pl\"ucker coordinates on $X$ form a Khovanskii basis for $\mathbb{C}[X]$. We conjecture similar properties for general $X$ and general embeddings $X\hookrightarrow\mathbb{P}(V_\varpi)$, along with a remarkable decomposition property which we consider as a polytopal shadow of the Littlewood-Richardson rule. We highlight a connection between Chevalley polytopes and string polytopes and give examples where Chevalley polytopes possess better combinatorial properties than string polytopes. We conclude with several examples further illustrating and supporting our conjectures.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

22 extracted references · 21 canonical work pages

[1]

Assarf, E

B. Assarf, E. Gawrilow, K. Herr, M. Joswig, B. Lorenz, A. Paffenholz, and T. Rehn, Computing convex hulls and counting integer points with polymake , Math. Program. Comput. 9 (2017), no. 1, 1--38

work page 2017
[2]

Anderson, A polytope calculus for semisimple groups, Duke Math

J.E. Anderson, A polytope calculus for semisimple groups, Duke Math. J. 116 (2003), no. 3, 567--588

work page 2003
[3]

Borel and F

A. Borel and F. Hirzebruch, Characteristic classes and homogeneous spaces. II , Amer. J. Math. 81 (1959), 315--382

work page 1959
[4]

Birkhoff, Rings of sets, Duke Mathematical Journal 3 (1937), no

G. Birkhoff, Rings of sets, Duke Mathematical Journal 3 (1937), no. 3, 443 -- 454

work page 1937
[5]

Berenstein and D

A. Berenstein and D. Kazhdan, Geometric and unipotent crystals. II . F rom unipotent bicrystals to crystal bases , Quantum groups, Contemp. Math., vol. 433, Amer. Math. Soc., Providence, RI, 2007, pp. 13--88

work page 2007
[6]

Berenstein and A

A. Berenstein and A. Zelevinsky, Tensor product multiplicities, canonical bases and totally positive varieties, Invent. Math. 143 (2001), no. 1, 77--128

work page 2001
[7]

Chaput, L

P.-E. Chaput, L. Manivel, and N. Perrin, Quantum cohomology of minuscule homogeneous spaces, Transform. Groups 13 (2008), no. 1, 47--89

work page 2008
[8]

Gel'fand and M.L

I.M. Gel'fand and M.L. Cetlin, Finite-dimensional representations of the group of unimodular matrices, Doklady Akad. Nauk SSSR (N.S.) 71 (1950), 825--828

work page 1950

Show all 22 references

[9]

Gawrilow and M

E. Gawrilow and M. Joswig, polymake : a framework for analyzing convex polytopes , Polytopes---combinatorics and computation ( O berwolfach, 1997), DMV Sem., vol. 29, Birkh\"auser, Basel, 2000, pp. 43--73

1997
[10]

Gross and N.R

B.H. Gross and N.R. Wallach, On the H ilbert polynomials and H ilbert series of homogeneous projective varieties , Arithmetic geometry and automorphic forms, Adv. Lect. Math. (ALM), vol. 19, Int. Press, Somerville, MA, 2011, pp. 253--263

2011
[11]

Hiller, Geometry of C oxeter groups , Research Notes in Mathematics, vol

H. Hiller, Geometry of C oxeter groups , Research Notes in Mathematics, vol. 54, Pitman (Advanced Publishing Program), Boston, Mass.-London, 1982

1982
[12]

Kaveh, Crystal bases and N ewton- O kounkov bodies , Duke Math

K. Kaveh, Crystal bases and N ewton- O kounkov bodies , Duke Math. J. 164 (2015), no. 13, 2461--2506

2015
[13]

Kaveh and C

K. Kaveh and C. Manon, Khovanskii bases, higher rank valuations, and tropical geometry, SIAM J. Appl. Algebra Geom. 3 (2019), no. 2, 292--336

2019
[14]

Littelmann, Cones, crystals, and patterns, Transform

P. Littelmann, Cones, crystals, and patterns, Transform. Groups 3 (1998), no. 2, 145--179

1998
[15]

Proctor, Bruhat lattices, plane partition generating functions, and minuscule representations, European J

R.A. Proctor, Bruhat lattices, plane partition generating functions, and minuscule representations, European J. Combin. 5 (1984), no. 4, 331--350

1984
[16]

Rietsch and L

K. Rietsch and L. Williams, Newton- O kounkov bodies, cluster duality, and mirror symmetry for G rassmannians , Duke Math. J. 168 (2019), no. 18, 3437--3527

2019
[17]

Stanley, Supersolvable lattices, Algebra Universalis 2 (1972), 197--217

R.P. Stanley, Supersolvable lattices, Algebra Universalis 2 (1972), 197--217

1972
[18]

, Two poset polytopes, Discrete Comput. Geom. 1 (1986), no. 1, 9--23

1986
[19]

Stembridge, On the fully commutative elements of C oxeter groups , J

J.R. Stembridge, On the fully commutative elements of C oxeter groups , J. Algebraic Combin. 5 (1996), no. 4, 353--385

1996
[20]

a t zu K \

C.P. Steinert, F ano varieties and F ano polytopes , Ph.D. thesis, Universit \"a t zu K \"o ln, October 2020

2020
[21]

Spacek and C

P. Spacek and C. Wang, Towards L andau- G inzburg models for cominuscule spaces via the exceptional cominuscule family , Journal of Algebra 630 (2023), 334--393

2023
[22]

Peter Spacek and Charles Wang, Canonical L andau- G inzburg models for cominuscule homogeneous spaces , arXiv (2024), math.AG/2410.05070

2024 arXiv

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.

[1] [1]

Assarf, E

B. Assarf, E. Gawrilow, K. Herr, M. Joswig, B. Lorenz, A. Paffenholz, and T. Rehn, Computing convex hulls and counting integer points with polymake , Math. Program. Comput. 9 (2017), no. 1, 1--38

work page 2017

[2] [2]

Anderson, A polytope calculus for semisimple groups, Duke Math

J.E. Anderson, A polytope calculus for semisimple groups, Duke Math. J. 116 (2003), no. 3, 567--588

work page 2003

[3] [3]

Borel and F

A. Borel and F. Hirzebruch, Characteristic classes and homogeneous spaces. II , Amer. J. Math. 81 (1959), 315--382

work page 1959

[4] [4]

Birkhoff, Rings of sets, Duke Mathematical Journal 3 (1937), no

G. Birkhoff, Rings of sets, Duke Mathematical Journal 3 (1937), no. 3, 443 -- 454

work page 1937

[5] [5]

Berenstein and D

A. Berenstein and D. Kazhdan, Geometric and unipotent crystals. II . F rom unipotent bicrystals to crystal bases , Quantum groups, Contemp. Math., vol. 433, Amer. Math. Soc., Providence, RI, 2007, pp. 13--88

work page 2007

[6] [6]

Berenstein and A

A. Berenstein and A. Zelevinsky, Tensor product multiplicities, canonical bases and totally positive varieties, Invent. Math. 143 (2001), no. 1, 77--128

work page 2001

[7] [7]

Chaput, L

P.-E. Chaput, L. Manivel, and N. Perrin, Quantum cohomology of minuscule homogeneous spaces, Transform. Groups 13 (2008), no. 1, 47--89

work page 2008

[8] [8]

Gel'fand and M.L

I.M. Gel'fand and M.L. Cetlin, Finite-dimensional representations of the group of unimodular matrices, Doklady Akad. Nauk SSSR (N.S.) 71 (1950), 825--828

work page 1950