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 →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
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.
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
- 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.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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)
- [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].
- [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.
- [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
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
assumptions (5)
- standard math Chevalley multiplicity formula λ·σ_w = Σ_{α: ℓ(ws_α)=ℓ(w)+1} (λ,α∨) σ_{ws_α} (Lemma 3.5, cited from Chevalley).
- domain assumption Richardson class formula [R_u^w] = σ_{w0w}·σ_u and irreducibility of R_u^w (Proposition 2.5, cited from Speyer).
- domain assumption Nefness criterion: on G/B, L_λ is nef if and only if λ is dominant (Lemma 4.1, cited from Hague).
- standard math Theorem 2.8: the volume polynomial of nef Cartier divisors on an irreducible projective variety is Lorentzian (Brändén-Huh).
- standard math Poincaré pairing orthonormality ⟨σ_u, σ_{w0w}⟩ = δ_{u,w} (Lemma 3.7, cited from Postnikov-Stanley).
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
Forward citations
Cited by 1 Pith paper
-
Supersymmetric Schur polynomials have saturated Newton polytopes
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
-
[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
work page 2004
-
[2]
Newton polyto pes of dual Schubert polynomials, 2024
Serena An, Katherine Tung, and Yuchong Zhang. Newton polyto pes of dual Schubert polynomials, 2024
work page 2024
-
[3]
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
work page 2021
-
[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
work page 2020
-
[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
work page 2012
-
[6]
Combinatorics of Coxeter Groups
Anders Bjorner and Francesco Brenti. Combinatorics of Coxeter Groups . Springer Berlin, Heidelberg, 01 2005
work page 2005
-
[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
work page 1991
-
[8]
Petter Br¨ and´ en and June Huh. Lorentzian polynomials.Ann. of Math. (2) , 192(3):821–891, 2020
work page 2020
Show all 46 references
-
[9]
Brion and V
M. Brion and V. Lakshmibai. A geometric approach to standard mo nomial theory. Represent. Theory, 7:651–680, 2003
2003
-
[10]
The Tutte polynomial I
Thomas Brylawski. The Tutte polynomial I. general theory. Matroid theory and its applications , pages 125–275, 1982
1982
-
[11]
Toric Richardson varieties, 2 023
Mahir Bilen Can and Pinakinath Saha. Toric Richardson varieties, 2 023
-
[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
2023
-
[13]
Relative Richardson varieties
Melody Chan and Nathan Pflueger. Relative Richardson varieties . Math. Proc. Cambridge Philos. Soc. , 175(1):161–186, 2023
2023
-
[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...
1994
-
[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
1985
-
[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
2016
-
[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
2020
-
[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
2018
-
[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
1998
-
[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
2007
-
[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
1972
-
[22]
W. V. D. Hodge. The intersection formulae for a Grassmannian v ariety. J. London Math. Soc. , 17:48–64, 1942
1942
-
[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
2022
-
[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
2011
-
[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
1979
-
[26]
Allen Knutson, Thomas Lam, and David E. Speyer. Projections o f Richardson varieties. J. Reine Angew. Math., 687:133–157, 2014
2014
-
[27]
Singularities of Richardson varieties
Allen Knutson, Alexander Woo, and Alexander Yong. Singularities of Richardson varieties. Math. Res. Lett., 20(2):391–400, 2013
2013
-
[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
2014
-
[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
2003
-
[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...
2004
-
[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
2021
-
[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
2023
-
[33]
R. J. Marsh and K. Rietsch. Parametrizations of flag varieties. Represent. Theory, 8:212–242, 2004
2004
-
[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
1972
-
[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
2021
-
[36]
Newton poly topes in algebraic combinatorics
Cara Monical, Neriman Tokcan, and Alexander Yong. Newton poly topes in algebraic combinatorics. Selecta Mathematica, 25, 2019
2019
-
[37]
Discrete Convex Analysis
Kazuo Murota. Discrete Convex Analysis . Society for Industrial and Applied Mathematics, 2003
2003
-
[38]
The geometry o f quasisymmetric coinvariants, 2024
Philippe Nadeau, Hunter Spink, and Vasu Tewari. The geometry o f quasisymmetric coinvariants, 2024
2024
-
[39]
Alexander Postnikov and Richard P. Stanley. Chains in the Bruha t order. J. Algebraic Combin. , 29(2):133–174, 2009
2009
-
[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
1992
-
[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
2012
-
[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
1970
-
[43]
Richardson varieties, projected Richardson v arieties, and positroid varieties, 2023
David E Speyer. Richardson varieties, projected Richardson v arieties, and positroid varieties, 2023
2023
-
[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
1995
-
[45]
Tsukerman and L
E. Tsukerman and L. Williams. Bruhat interval polytopes. Adv. Math. , 285:766–810, 2015
2015
-
[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
1976
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.