Pith. sign in

REVIEW 3 minor 1 cited by

Postnikov--Stanley polynomials are Lorentzian

T0 review · 0 major / 3 minor · reviewed 2026-08-11 · deepseek-v4-flash

Pith's one-line read Every Postnikov–Stanley polynomial attached to a Bruhat interval in any Weyl group is Lorentzian.

desk verdict Short, correct proof that Postnikov–Stanley polynomials are Lorentzian via identification with Richardson variety degree polynomials; the new geometric step holds up. read the letter →

arxiv 2412.02051 v2 pith:M5JIRQAO submitted 2024-12-03 math.CO math.AG

classification math.COmath.AG MSC 05E1414M1505A20
keywords Postnikov-StanleypolynomialsLorentzianRichardsonvarietiesSchubertBruhatorderM-convexsupportNewton-Okounkovbodiesvolume
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

Postnikov–Stanley polynomials $D_u^w$ are homogeneous polynomials associated to every interval $[u,w]$ in the Bruhat order of a Weyl group; they generalize skew dual Schubert polynomials. This paper proves that every one of them is Lorentzian: nonnegative coefficients, M-convex support, and log-concavity under every sequence of coordinate derivatives. The proof shows the polynomial is the degree polynomial of the Richardson variety $R_u^w$, so that up to the factorial factor $(\ell(w)-\ell(u))!$, its value at a dominant weight counts intersection points of the variety with a generic linear subspace. Because these degrees are volume polynomials of nef divisors, the Lorentzian property follows from the standard volume-polynomial theorem. The M-convex support conjecture for Postnikov–Stanley polynomials is then a corollary.

What carries the argument

The load-bearing object is the Richardson variety $R_u^w=X^w\cap X_u$ and its degree polynomial. The central identity is $$\deg_\$\lambda$(R_u^w)=(\ell(w)-\ell(u))!\,D_u^w(\$\lambda$),$$ where the degree is the number of points in the intersection of the embedded variety with a generic linear subspace of complementary codimension. The identity is assembled from three ingredients: the Chevalley formula multiplying a Schubert class by a hyperplane class, the Richardson class formula $[R_u^w]=\sigma_{w_0w}\cdot\sigma_u$, and the Poincaré pairing on Schubert classes. Once $D_u^w$ is recognized as a degree polynomial, the theorem that volume polynomials of nef divisors are Lorentzian applies verbatim, because the restrictions of the line bundles $L_{\omega_i}$ to $R_u^w$ are nef.

What would settle it

The theorem would be refuted by exhibiting any pair $u\le w$ in any Weyl group for which the support of $D_u^w$ is not M-convex, or for which some second derivative of $D_u^w$ has more than one positive eigenvalue. Since Lorentzianness is decidable by finite computation from the Bruhat interval, a search through rank-two and rank-three Weyl groups would be enough to look for such a counterexample.

Watch

Extended reading notes

Core claim

The core claim, on the paper's own terms, is that the Postnikov–Stanley polynomial $D_u^w$ equals, up to the constant $(\ell(w)-\ell(u))!$, the $\lambda$-degree of the Richardson variety $R_u^w=X^w\cap X_u$ in the flag variety of the corresponding simply connected group. The paper proves this geometric identity by expanding $\lambda^\ell\cdot\sigma_u$ along saturated chains via the Chevalley formula and pairing against the Richardson class $\sigma_{w_0w}\cdot\sigma_u$. Applying the theorem that volume polynomials of nef divisors are Lorentzian then yields the theorem for arbitrary Weyl groups, and the corollary settles the conjecture that these polynomials have M-convex support.

Load-bearing premise

The argument rests on the quoted geometric fact that each Richardson variety $R_u^w$ is irreducible and has cohomology class $[R_u^w]=\sigma_{w_0w}\cdot\sigma_u$; if the intersection failed to be transverse or irreducible for some $u,w$, the degree-polynomial identity and the Lorentzian conclusion would not follow.

Editorial extensions

If this is right

  • Dual Schubert polynomials are Lorentzian: taking $W$ of type A and $u=\mathrm{id}$ recovers the earlier result for dual Schubert polynomials.
  • Every $D_u^w$ has M-convex support, so its Newton polytope is a saturated generalized permutahedron; this resolves the M-convex support conjecture.
  • Every positive derivative of $D_u^w$ is log-concave on the positive orthant, and any top-degree derivative has at most one positive eigenvalue; this is exactly the content of being Lorentzian.
  • The volume of the Newton–Okounkov body $\Delta_{w_0}(R_u^w,\lambda)$ equals $D_u^w(\lambda)$, giving a convex-geometric interpretation of the Bruhat-chain sums.
  • Evaluating at a dominant weight $\lambda$ counts, up to the factorial factor, the number of points of $R_u^w$ in a generic linear subspace of complementary dimension.

Reading between the lines

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

  • If the same degree-polynomial argument works for projected Richardson varieties or for Richardson varieties in other flag varieties, it would produce new Lorentzian families; the paper does not claim this.
  • Because Lorentzian polynomials are closed under multiplication, one could ask whether products of Postnikov–Stanley polynomials from compatible intervals remain Lorentzian; this is a testable extension rather than a result of the paper.
  • The Newton–Okounkov body identification suggests that explicit polytopal models of these bodies could yield purely combinatorial proofs of M-convexity; the paper does not construct such models.
  • The theorem may have algorithmic use: checking that supports are M-convex is finite for fixed rank, so the conjecture could be verified computationally in new Lie types before a geometric proof is known; this is extrapolation from the paper's method.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 3 minor

Summary. The paper proves that Postnikov--Stanley polynomials $D_u^w$, defined for arbitrary Weyl groups as normalized sums over saturated Bruhat chains, are Lorentzian. The proof has two steps. First, via the Chevalley formula (Lemma 3.5) and Poincar\'e duality, the authors identify $D_u^w$ with the degree polynomial of the Richardson variety $R_u^w = X^w \cap X_u$ up to the factor $(\ell(w)-\ell(u))!$ (Proposition 3.3). Second, using the fact that the restrictions of the line bundles $L_{\omega_i}$ to $R_u^w$ are nef, they invoke the Br\"and\'en--Huh volume-polynomial theorem (Theorem 2.8) to conclude that the degree polynomial, hence $D_u^w$, is Lorentzian. The paper also derives the M-convex support of Postnikov--Stanley polynomials as an immediate corollary, resolving a conjecture of An--Tung--Zhang.

Significance. The result is significant: it provides a large new family of Lorentzian polynomials tied to Richardson varieties, generalizes the previously known Lorentzianity of dual Schubert polynomials, and resolves the M-convex support conjecture. The proof is short and transparent, and the key identification with volume polynomials is a clean geometric explanation rather than an ad hoc analytic verification. The authors correctly isolate the standard geometric inputs: the Richardson class formula, nefness of fundamental line bundles, and the Br\"and\'en--Huh theorem. No circularity or post hoc fitting is present. The paper is a strong contribution to the interface of algebraic combinatorics and algebraic geometry.

minor comments (3)
  1. [Section 2.4, Proposition 2.5] The parenthetical 'Since the intersection $X^w \cap X_u$ is transverse' is not accurate as stated: Richardson varieties can be singular, and the Schubert and opposite Schubert varieties need not meet transversely at every point. What is needed is that the intersection is proper, reduced, and irreducible, with the stated cohomology class. Please rephrase this sentence and explicitly record that $R_u^w$ is an irreducible projective variety of dimension $\ell(w)-\ell(u)$, citing a standard reference for this fact in addition to the class formula cited from [43].
  2. [Section 4, proof of Theorem 1.2] The notation '$D'_i := D_i \cap R_u^w$ be the Cartier divisor corresponding to $L_{\omega_i}|_{R_u^w}$' is not literally correct when $R_u^w$ is contained in the support of $D_i$, as can happen for Schubert divisors. Since every line bundle on an irreducible projective variety is the line bundle of some Cartier divisor, one should instead fix Cartier divisors $D'_i$ on $R_u^w$ with $O(D'_i) \cong L_{\omega_i}|_{R_u^w}$; their nefness follows from the same cited result. This is a local expository fix and does not affect the validity of the argument.
  3. [Section 3] The symbol $\ell$ is used both for the Coxeter length function and for the integer exponent in Lemma 3.6 and Proposition 3.3. Using a separate symbol such as $d$ for the exponent would improve readability and avoid possible confusion.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the Postnikov–Stanley identity is proved from the Chevalley formula and the Lorentzian step from the volume-polynomial theorem; self-citation is limited to the corollary being resolved.

full rationale

The derivation chain is self-contained relative to standard external geometric inputs. The central identity (Proposition 3.3) is proved by expanding λ^ℓ · σ_u via the Chevalley formula (Lemma 3.5, cited from Chevalley) and pairing with the Richardson class formula from Speyer [43]; no parameter is fitted to D_u^w and no expression is defined in terms of the target polynomial. The Lorentzian step applies the Brändén–Huh volume polynomial theorem (Theorem 2.8) to nef divisors on the Richardson variety R_u^w, with nefness imported from standard facts (Hague [20] for flag varieties and Lazarsfeld Example 1.4.4 for restrictions). The scalar 1/(ℓ(w)−ℓ(u))! is positive, so multiplying the volume polynomial preserves Lorentzianity. The self-citation [2] (An–Tung–Zhang 2024) appears only as the conjecture being resolved in Corollary 1.3, not as an assumption used in the proof. No equation reduces to its own input, and no fitted quantity is renamed as a prediction. The quoted geometric inputs, including Proposition 2.5, are external results for finite Weyl groups rather than self-citations, so they do not raise the circularity score.

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

The proof rests entirely on standard Schubert calculus and the Brändén-Huh volume polynomial theorem. There are no fitted parameters and no new postulated objects. The main input from the authors' own prior work is the conjecture that Corollary 1.3 resolves, not a lemma used to prove it.

assumptions (5)
  • standard math Chevalley multiplicity formula λ·σ_w = Σ_{α: ℓ(ws_α)=ℓ(w)+1} (λ,α∨) σ_{ws_α} (Lemma 3.5, cited from Chevalley).
    This is the bridge between Bruhat-order chain weights and multiplication by divisor classes in H*(G/B); the paper cites it without proof.
  • domain assumption Richardson class formula [R_u^w] = σ_{w0w}·σ_u and irreducibility of R_u^w (Proposition 2.5, cited from Speyer).
    Needed to express the λ-degree of R_u^w as a pairing of Schubert classes; if the product formula failed, Proposition 3.3 would fail.
  • domain assumption Nefness criterion: on G/B, L_λ is nef if and only if λ is dominant (Lemma 4.1, cited from Hague).
    Used to ensure the fundamental divisors restrict to nef divisors on R_u^w, the hypothesis of the volume polynomial theorem.
  • standard math Theorem 2.8: the volume polynomial of nef Cartier divisors on an irreducible projective variety is Lorentzian (Brändén-Huh).
    This external theorem is the engine that converts the degree-polynomial identity into the Lorentzian conclusion; the paper does not reprove it.
  • standard math Poincaré pairing orthonormality ⟨σ_u, σ_{w0w}⟩ = δ_{u,w} (Lemma 3.7, cited from Postnikov-Stanley).
    Used to pick out the D_u^w term from the sum over w' in Proposition 3.3.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Postnikov--Stanley polynomials are Lorentzian." pith.science (2026). https://pith.science/paper/M5JIRQAO

@misc{pith2026241202051,
  author       = {Pith},
  title        = {Pith review of: Postnikov--Stanley polynomials are Lorentzian},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/M5JIRQAO}},
  note         = {Machine review of arXiv:2412.02051}
}
abstract

Postnikov--Stanley polynomials $D_u^w$ are a generalization of skew dual Schubert polynomials to the setting of arbitrary Weyl groups. We prove that Postnikov--Stanley polynomials are Lorentzian by showing that they are degree polynomials of Richardson varieties. Our result yields an interesting class of Lorentzian polynomials related to the geometry of Richardson varieties, generalizes the result that dual Schubert polynomials are Lorentzian (Huh--Matherne--M\'esz\'aros--St. Dizier 2022), and resolves the conjecture that Postnikov--Stanley polynomials have M-convex support (An--Tung--Zhang 2024).

Figures

Figures reproduced from arXiv: 2412.02051 by the authors.

Figure 1
Figure 1. Calculating the Postnikov–Stanley polynomial D321 213 in A2. For u ≤ w in the Bruhat order of W, the (Bruhat) interval [u, w] is the subposet containing all v ∈ W such that u ≤ v ≤ w. 2.3. Postnikov–Stanley polynomials. We defined Postnikov–Stanley polynomials Dw u for u ≤ w ∈ W in Definition 1.1. The skew dual Schubert polynomials are Postnikov–Stanley polynomials for which W is of type A, and the dual Schubert pol… view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Supersymmetric Schur polynomials have saturated Newton polytopes

    math.CO 2025-07 reject novelty 5.0 of 10

    A proof that supersymmetric Schur polynomials have SNP is invalid because the stated hook-inequality support set is contradicted by the paper's own example and by symmetry.

Reference graph

Works this paper leans on

46 extracted references · 46 canonical work pages · cited by 1 Pith paper

  1. [1]

    Toric degenerations of spherica l varieties

    Valery Alexeev and Michel Brion. Toric degenerations of spherica l varieties. Selecta Math. (N.S.) , 10(4):453–478, 2004

  2. [2]

    Newton polyto pes of dual Schubert polynomials, 2024

    Serena An, Katherine Tung, and Yuchong Zhang. Newton polyto pes of dual Schubert polynomials, 2024

  3. [3]

    Log-conc ave polynomials, I: entropy and a deterministic approximation algorithm for counting bases of matroid s

    Nima Anari, Shayan Oveis Gharan, and Cynthia Vinzant. Log-conc ave polynomials, I: entropy and a deterministic approximation algorithm for counting bases of matroid s. Duke Math. J. , 170(16):3459– 3504, 2021

  4. [4]

    Senthamarai Kannan, and Subrahmanyam K

    Sarjick Bakshi, S. Senthamarai Kannan, and Subrahmanyam K. Venkata. Torus quotients of Richardson varieties in the Grassmannian. Comm. Algebra, 48(2):891–914, 2020

  5. [5]

    Singularities of generalized Richards on varieties

    Sara Billey and Izzet Coskun. Singularities of generalized Richards on varieties. Comm. Algebra , 40(4):1466–1495, 2012

  6. [6]

    Combinatorics of Coxeter Groups

    Anders Bjorner and Francesco Brenti. Combinatorics of Coxeter Groups . Springer Berlin, Heidelberg, 01 2005

  7. [7]

    Linear algebraic groups, volume 126 of Graduate Texts in Mathematics

    Armand Borel. Linear algebraic groups, volume 126 of Graduate Texts in Mathematics . Springer-Verlag, New York, second edition, 1991

  8. [8]

    Lorentzian polynomials.Ann

    Petter Br¨ and´ en and June Huh. Lorentzian polynomials.Ann. of Math. (2) , 192(3):821–891, 2020

Show all 46 references
  1. [9]

    Brion and V

    M. Brion and V. Lakshmibai. A geometric approach to standard mo nomial theory. Represent. Theory, 7:651–680, 2003

  2. [10]

    The Tutte polynomial I

    Thomas Brylawski. The Tutte polynomial I. general theory. Matroid theory and its applications , pages 125–275, 1982

  3. [11]

    Toric Richardson varieties, 2 023

    Mahir Bilen Can and Pinakinath Saha. Toric Richardson varieties, 2 023

  4. [12]

    Double Schubert poly nomials do have saturated Newton polytopes

    Castillo, Cid Ruiz, Mohammadi, and Montano. Double Schubert poly nomials do have saturated Newton polytopes. Forum Math Sigma , 11:e100, 2023

  5. [13]

    Relative Richardson varieties

    Melody Chan and Nathan Pflueger. Relative Richardson varieties . Math. Proc. Cambridge Philos. Soc. , 175(1):161–186, 2023

  6. [14]

    Chevalley

    C. Chevalley. Sur les d´ ecompositions cellulaires des espaces G/B. In Algebraic groups and their gen- eralizations: classical methods (University Park, PA, 199 1), volume 56, Part 1 of Proc. Sympos. Pure Math., pages 1–23. Amer. Math. Soc., Providence, RI, 1994. With a fore w...

  7. [15]

    Vinay V. Deodhar. On some geometric aspects of Bruhat order ings. I. A finer decomposition of Bruhat cells. Invent. Math. , 79(3):499–511, 1985

  8. [16]

    3264 and All That: A Second Course in Algebraic Geometry

    David Eisenbud and Joe Harris. 3264 and All That: A Second Course in Algebraic Geometry . Cambridge University Press, 2016

  9. [17]

    Logarithmic concavity for morp hisms of matroids

    Christopher Eur and June Huh. Logarithmic concavity for morp hisms of matroids. Adv. Math. , 367:107094, 19, 2020

  10. [18]

    Fink, M´ ez´ saros, and St. Dizier. Schubert polynomials as integer point transforms of generalized permu- tahedra. Advances in Math , 332:465–475, 2018

  11. [19]

    Schubert varieties and degeneracy loci , volume 1689 of Lecture Notes in Mathematics

    William Fulton and Piotr Pragacz. Schubert varieties and degeneracy loci , volume 1689 of Lecture Notes in Mathematics . Springer-Verlag, Berlin, 1998. Appendix J by the authors in collabo ration with I. Ciocan-Fontanine

  12. [20]

    Cohomology of flag varieties and the BK-filtration

    Charles Hague. Cohomology of flag varieties and the BK-filtration . ProQuest LLC, Ann Arbor, MI, 2007. Thesis (Ph.D.)–The University of North Carolina at Chapel Hill

  13. [21]

    A. P. Heron. Matroid polynomials. In Combinatorics (Proc. Conf. Combinatorial Math., Math. Ins t., Oxford, 1972), pages 164–202. Inst. Math. Appl., Southend-on-Sea, 1972

  14. [22]

    W. V. D. Hodge. The intersection formulae for a Grassmannian v ariety. J. London Math. Soc. , 17:48–64, 1942

  15. [23]

    Matherne, Karola M´ esz´ aros, and Avery St

    June Huh, Jacob P. Matherne, Karola M´ esz´ aros, and Avery St. Dizier. Logarithmic concavity of Schur and related polynomials. Trans. Amer. Math. Soc. , 375(6):4411–4427, 2022

  16. [24]

    Note on cohomology rings of spherical varieties and volume polynomial

    Kiumars Kaveh. Note on cohomology rings of spherical varieties and volume polynomial. J. Lie Theory , 21(2):263–283, 2011

  17. [25]

    Schubert varieties and Poin car´ e duality

    David Kazhdan and George Lusztig. Schubert varieties and Poin car´ e duality. InGeometry of the Laplace operator (Proc. Sympos. Pure Math., Univ. Hawaii, Honolulu , Hawaii, 1979) , volume XXXVI of Proc. Sympos. Pure Math. , pages 185–203. Amer. Math. Soc., Providence, RI, 1980

  18. [26]

    Allen Knutson, Thomas Lam, and David E. Speyer. Projections o f Richardson varieties. J. Reine Angew. Math., 687:133–157, 2014

  19. [27]

    Singularities of Richardson varieties

    Allen Knutson, Alexander Woo, and Alexander Yong. Singularities of Richardson varieties. Math. Res. Lett., 20(2):391–400, 2013

  20. [28]

    Richardson varieties have K awamata log terminal singularities

    Shrawan Kumar and Karl Schwede. Richardson varieties have K awamata log terminal singularities. International Mathematics Research Notices , 2014(3):842–864, 11 2012

  21. [29]

    Lakshmibai and P

    V. Lakshmibai and P. Littelmann. Richardson varieties and equiv ariant K-theory. Journal of Algebra , 260(1):230–260, 2003. Special Issue Celebrating the 80th Birthd ay of Robert Steinberg

  22. [30]

    Positivity in algebraic geometry

    Robert Lazarsfeld. Positivity in algebraic geometry. I , volume 48 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in M athematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Math ematics]. Spri...

  23. [31]

    Toric Bruh at interval polytopes

    Eunjeong Lee, Mikiya Masuda, and Seonjeong Park. Toric Bruh at interval polytopes. J. Combin. Theory Ser. A , 179:Paper No. 105387, 41, 2021

  24. [32]

    Toric Richa rdson varieties of Catalan type and Wedderburn-Etherington numbers

    Eunjeong Lee, Mikiya Masuda, and Seonjeong Park. Toric Richa rdson varieties of Catalan type and Wedderburn-Etherington numbers. European J. Combin. , 108:Paper No. 103617, 25, 2023

  25. [33]

    R. J. Marsh and K. Rietsch. Parametrizations of flag varieties. Represent. Theory, 8:212–242, 2004

  26. [34]

    J. H. Mason. Matroids: unimodal conjectures and Motzkin’s th eorem. In Combinatorics (Proc. Conf. Combinatorial Math., Math. Inst., Oxford, 1972) , pages 207–220. Inst. Math. Appl., Southend-on-Sea, 1972

  27. [35]

    Lorentzian polynomia ls from polytope projections

    Karola M´ esz´ aros and Linus Setiabrata. Lorentzian polynomia ls from polytope projections. Algebr. Comb., 4(4):723–739, 2021

  28. [36]

    Newton poly topes in algebraic combinatorics

    Cara Monical, Neriman Tokcan, and Alexander Yong. Newton poly topes in algebraic combinatorics. Selecta Mathematica, 25, 2019

  29. [37]

    Discrete Convex Analysis

    Kazuo Murota. Discrete Convex Analysis . Society for Industrial and Applied Mathematics, 2003

  30. [38]

    The geometry o f quasisymmetric coinvariants, 2024

    Philippe Nadeau, Hunter Spink, and Vasu Tewari. The geometry o f quasisymmetric coinvariants, 2024

  31. [39]

    Alexander Postnikov and Richard P. Stanley. Chains in the Bruha t order. J. Algebraic Combin. , 29(2):133–174, 2009

  32. [40]

    R. W. Richardson. Intersections of double cosets in algebraic g roups. Indag. Math. (N.S.) , 3(1):69–77, 1992. 10 SERENA AN, KATHERINE TUNG, AND YUCHONG ZHANG

  33. [41]

    Rigal and P

    L. Rigal and P. Zadunaisky. Quantum analogues of Richardson v arieties in the Grassmannian and their toric degeneration. J. Algebra, 372:293–317, 2012

  34. [42]

    Combinatorial theory, old and new

    Gian-Carlo Rota. Combinatorial theory, old and new. Actes du Congr` es International des Math´ ematiciens (Nice, 1970), 3:229–233, 1971

  35. [43]

    Richardson varieties, projected Richardson v arieties, and positroid varieties, 2023

    David E Speyer. Richardson varieties, projected Richardson v arieties, and positroid varieties, 2023

  36. [44]

    Tignol and A.S

    J.-P. Tignol and A.S. Merkurjev. The multipliers of similitudes and t he Brauer group of homogeneous varieties. Journal f¨ ur die reine und angewandte Mathematik , 461:13–48, 1995

  37. [45]

    Tsukerman and L

    E. Tsukerman and L. Williams. Bruhat interval polytopes. Adv. Math. , 285:766–810, 2015

  38. [46]

    D.J.A. Welsh. Matroid theory. Harcourt Brace Jovanovich, 1976. Massachusetts Institute of Technology Email address : anser@mit.edu Harvard University Email address : katherinetung@college.harvard.edu University of Michigan Email address : zongxun@umich.edu

Pith tools

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