Pith. sign in

REVIEW 3 major objections 4 minor 3 cited by

Linear operators preserving volume polynomials

T0 review · 3 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read A polynomial differential operator preserves realizable volume polynomials exactly when it is a realizable covolume polynomial, and the dual analysis shows volume polynomials are the operators that preserve covolume polynomials.

desk verdict Genuinely new and mostly sound, but the main theorem's geometric engine is imported from an unrefereed companion preprint; conditional is the right call and it deserves referees. read the letter →

arxiv 2506.22415 v1 pith:PRMXIHR5 submitted 2025-06-27 math.AG math.CO

Lukas Grund , June Huh , Mateusz Micha{l}ek , Hendrik Süss , Botong Wang This is my paper · ORCID
classification math.AGmath.CO MSC 14C2505B3514M15
keywords volumepolynomialscovolumedifferentialoperatorsLorentzianalgebraicmatroidspolymatroidsM-convexsetssymboltheorem
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

This paper classifies the polynomial differential operators that preserve volume polynomials. A volume polynomial records the normalized growth of Minkowski sums of convex bodies, or of top self-intersections of semiample divisors on a projective variety; a covolume polynomial is a polynomial in differential operators whose application to the test monomial $x^{[\mu]}$ is a volume polynomial. The main theorem states that a polynomial operator preserves every realizable volume polynomial over $k$ if and only if it is itself a realizable covolume polynomial over $k$, with the same statement for limits. The dual theorem classifies volume polynomials as exactly the operators that send covolume polynomials to covolume polynomials. Concrete payoffs include a symbol theorem for such operators, a characterization of algebraic polymatroids as supports of realizable volume polynomials, and the result that the intersection of two matroids algebraic over $k$ is algebraic over $k$.

What carries the argument

The machinery has two parts. First, the basic construction encodes a realizable volume polynomial $f=\sum_\alpha c_\alpha x^{[\alpha]}$ as the Chow class of a subvariety of a product of projective spaces, $\sum_\alpha c_\alpha [\mathbb{P}_\alpha]$, so that statements about polynomials become statements about algebraic cycles. Second, the geometric engine is Lemma 2.1: for proper morphisms from irreducible varieties to a complete homogeneous variety, the irreducible components of a general fiber product are algebraically equivalent in the total space. This lets the paper pass from a general translate intersection, whose components may be many and disconnected, to a single component carrying the same cycle class, which is what makes the differential-operator statement follow from intersection theory.

What would settle it

Look for a proper surjective morphism from an irreducible variety to a curve whose general fiber has two irreducible components whose cycle classes in the Chow group of the total space are not algebraically equivalent; such an example would invalidate the geometric lemma and with it the engine of Theorem 1.3.

Watch

Extended reading notes

Core claim

Theorem 1.3 asserts that for any $g\in \mathbb{Q}[\mathbf{B}]$, the following are equivalent: $g$ is a realizable covolume polynomial over $k$, and $g(B)\circ f(x)$ is a realizable volume polynomial over $k$ for every realizable volume polynomial $f$ over $k$. The paper proves this by showing the general-preservation direction geometrically and the converse by testing on the single realizable volume polynomial $x^{[\mu]}$; since the monomial test is part of the definition of covolume, the two conditions coincide. Taking limits gives the same equivalence between covolume polynomials and operators preserving all volume polynomials, and Theorem 1.9 proves the dual statement: a polynomial $f$ is a realizable volume polynomial exactly when multiplication by $f$ sends every realizable covolume polynomial to a realizable covolume polynomial. From these statements the paper derives a symbol theorem for linear operators on polynomial rings and a product rule for realizable covolume polynomials, which in turn yields the matroid intersection theorem.

Load-bearing premise

The argument rests on an imported geometric lemma: for any proper surjective algebraic map, the irreducible pieces of a general fiber must be interchangeable by an algebraic deformation; if this fails, the main characterization collapses.

Editorial extensions

If this is right

  • The product of realizable covolume polynomials over $k$ is a realizable covolume polynomial, and the product of realizable volume polynomials over $k$ is a realizable volume polynomial.
  • Every nonnegative rational linear change of variables takes realizable covolume polynomials to realizable covolume polynomials.
  • If the symbol of a homogeneous linear operator is a realizable volume polynomial, then the operator sends realizable volume polynomials to realizable volume polynomials; this yields preservation statements for polarization, normalization, interlacing, and symmetric exclusion operators.
  • A polymatroid is algebraic over $k$ if and only if it is the support of a realizable volume polynomial over $k$.
  • The intersection of two matroids algebraic over $k$ is algebraic over $k$; the same holds for minors, truncations, and Higgs lifts.

Reading between the lines

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

  • Beyond the paper: the one-monomial characterization gives a certification rule: to prove an operator preserves all realizable volume polynomials, one only has to check its symbol against the single monomial $x^{[\mu]}$.
  • Beyond the paper: if the same operator-product logic could be run with the volume-polynomial product rule alone, the dual of an algebraic matroid would be algebraic over $k$; the paper's Theorem 5.11 stops short of this long-open question.
  • Beyond the paper: the analytic analogue using semipositive classes on compact Kähler manifolds, which the final remark proposes, could be tested by checking whether the algebraic-equivalence lemma holds in that setting; a failure there would separate algebraic from analytic matroids over $\mathbb{C}$.
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

3 major / 4 minor

Summary. The paper proves that Aluffi's covolume polynomials are exactly the polynomial differential operators that preserve realizable volume polynomials over an algebraically closed field k (Theorem 1.3), with a limit version for volume polynomials (Corollary 1.4). It also proves a symbol theorem for realizable volume polynomials (Theorem 1.12), a dual characterization of volume polynomials via operators preserving covolume polynomials (Theorem 1.9), and several operator-preservation statements. The final section applies these results to algebraic polymatroids, culminating in Theorem 5.11: the intersection of two matroids algebraic over k is algebraic over k. The central proof realizes volume polynomials as classes of subvarieties of products of projective spaces, applies Kleiman transversality to a general translate, and uses a lemma on algebraic equivalence of the components of the intersection to identify the result of the differential operator with the volume polynomial of a single component.

Significance. If the main theorem is correct, it gives a clean homological characterization of covolume polynomials and strengthens Aluffi's results on closure under multiplication and nonnegative linear changes of coordinates. The symbol theorem and the operator-preservation results are natural and useful analogues of the Lorentzian-polynomial theory, and the matroid intersection theorem is a substantial new application. The term-by-term computation in the proof of Theorem 1.3 is careful and the geometric framework is coherent. The main weakness is that the proof of Lemma 2.1, which is load-bearing for the entire characterization, is outsourced to a lemma from the concurrent unreviewed preprint [HHM+], so the central theorem is conditional on an external result whose proof is not included.

major comments (3)
  1. [Section 2, Lemma 2.1] The proof of Lemma 2.1 applies [HHM+, Lemma 2.6] as a black box: the assertion that the irreducible components of a general fiber of a proper surjective morphism between irreducible varieties are algebraically equivalent is not proved or even stated in this manuscript. This lemma is used in the proof of Theorem 1.3 and again in Theorem 2.7 and Proposition 2.10, so if [HHM+, Lemma 2.6] has hidden hypotheses or is false, the characterization and the matroid applications collapse. The manuscript should either include a full proof of the needed statement or cite a refereed version; relying on an unreviewed concurrent preprint is not acceptable for a load-bearing step.
  2. [Section 2, proof of Theorem 1.3] After Lemma 2.1, the proof concludes that any irreducible component V of gY∩Z satisfies λ1λ2λ3[V] = Σ e_α[P_α]. This inference uses the fact that algebraic equivalence of cycles on P_μ implies equality of rational equivalence classes; this is true over Q because the cycle class map on P_μ is an isomorphism, but the step is not stated. Since this is the bridge from the geometric intersection to the polynomial g(B)∘f, it should be made explicit.
  3. [Section 4, Proposition 4.4] The proof of Proposition 4.4 uses [HHM+, Theorem 1.8] to assert that every quadratic Lorentzian polynomial with rational coefficients is a realizable volume polynomial. This is another import from the same unreviewed preprint. The proposition is an advertised application, so the dependency should be addressed: either prove the quadratic characterization or cite a published reference for it.
minor comments (4)
  1. [Section 2, proof of Lemma 2.1] The sentence 'Since πY,Z is open and surjective, π−1(y×z) is irreducible for every closed point y×z' is misleading; irreducibility of the fibers follows from flatness together with the irreducibility of the model fibers, not from openness and surjectivity. Please rephrase.
  2. [Section 2, Proposition 2.10] In the purely transcendental case, the sentence 'Since the polynomial ring R[x] is an integral domain for any integral domain R, it follows that Xℓ is reduced and irreducible' does not by itself explain why the base change of the subvariety is irreducible; a direct argument using that k[t] is a domain, or a reference for base change by a purely transcendental extension, would be clearer.
  3. [Section 5, Proposition 5.4] There is a typo: 'specturm' should be 'spectrum'.
  4. [Section 1, Remark 1.8] The remark that any coefficient inequality for volume polynomials can be applied to s_w(B)∘f(x) is clear in spirit, but it would be helpful to indicate that the new polynomial is itself a volume polynomial and not merely a polynomial with nonnegative coefficients.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found: the only definitional direction in Theorem 1.3 is explicitly labeled as the converse, and the substantive direction has an independent geometric proof; the concurrent same-group citation supporting Lemma 2.1 is a correctness dependency, not a circular reduction.

full rationale

The derivation chain is not circular. In Theorem 1.3, the implication (2) implies (1) is immediate from Definition 1.2: taking f = x^[mu] makes g(B) applied to x^[mu] the exact quantity whose realizability defines a realizable covolume polynomial. The paper states this explicitly, writing 'This means that g is a realizable covolume polynomial over k, by definition,' and it does not present this direction as a separate prediction. The substantive implication (1) implies (2) is proved geometrically via the basic construction, Kleiman transversality, and Lemma 2.1, assigning to each component V of gY intersect Z a cycle class proportional to sum e_alpha [P_alpha]; this argument does not assume the conclusion. The only significant dependency is Lemma 2.1, whose proof invokes [HHM+, Lemma 2.6] from the authors' concurrent, unrefereed preprint arXiv:2505.08881. This is a genuine correctness risk if that lemma fails, and it is explicitly load-bearing, but it is a general statement about algebraic equivalence of irreducible components of general fibers, not a restatement of Theorem 1.3 or of the matroid applications, and it is not fitted to any data in this paper. Per the stated rules, a parameter-free lemma with assumptions that do not include the target result, even from the same group, constitutes real evidence and does not by itself raise the circularity score. Proposition 5.4 relies on the external [CCRL+20] results, not on the present authors. No equation is defined in terms of the quantity it claims to predict, and no fitted parameter is renamed as a prediction.

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

The paper is a pure mathematics theorem with no fitted constants and no newly postulated entities, so the free-parameter and invented-entity lists are empty. The axioms are standard intersection theory, Kleiman's transversality, Sancho de Salas's classification of complete homogeneous varieties, Huh's bivariate characterization, the Castillo-Cid-Ruiz-Li-Montano-Zhang theorems on multidegrees, Cunningham's matroid theorem, and the same-group lemma [HHM+, Lemma 2.6], which is the least standard input and is taken from a concurrent unrefered preprint.

assumptions (6)
  • standard math Kleiman's transversality theorem ([Kle74, Theorem 2]): for a general translate gY of a subvariety Y in a complete homogeneous variety X, the intersection with a subvariety Z is equidimensional and has the expected dimension.
    Used in the proof of Theorem 1.3 to make the intersection gY intersect Z proper and to justify the class computation lambda1 lambda2 [gY intersect Z] = sum e_alpha [P_alpha].
  • standard math Classification of complete homogeneous varieties as A times H/P ([SdS03, Theorem 5.2]), with parabolic subgroups connected ([Spr98, Corollary 6.4.10]).
    Used in the proof of Lemma 2.1 to reduce from a complete homogeneous variety to G/P and to show the fibers of the projection U_{X,X} to X times X are isomorphic to the irreducible variety P.
  • domain assumption [HHM+, Lemma 2.6]: for a proper surjective morphism between irreducible varieties over k, the irreducible components of a general fiber are algebraically equivalent to each other in the total space.
    The engine of Lemma 2.1 and of the field-change proof of Proposition 2.10. Quoted from the same authors' concurrent, not yet refereed preprint arXiv:2505.08881; it is not proved in the present text.
  • standard math [Huh12, Theorem 21]: a bivariate degree-d form is a realizable volume polynomial over k if and only if its coefficient sequence is log-concave with no internal zeros.
    Used in Corollary 3.3, Proposition 4.2, and the proof of Theorem 1.9 to certify that bivariate factors such as sum_i B_i^{beta_i} delta_i^{mu_i - beta_i} are realizable volume or covolume polynomials. Refereed and published in JAMS 2012.
  • standard math [CCRL+20, Theorem 3.12 and Proposition 5.1]: supports of realizable volume polynomials and multidegrees of projections of subvarieties relate to transcendence degrees of the corresponding function fields.
    Used in both directions of Proposition 5.4 to identify algebraic polymatroids with supports of realizable volume polynomials.
  • standard math [Cun79, Theorem 2]: repeated truncation can adjust the union of two matroids so that the expected-rank condition holds without changing the intersection.
    Used in the proof of Theorem 5.11 to reduce the matroid intersection statement to the expected-rank case.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Linear operators preserving volume polynomials." pith.science (2026). https://pith.science/paper/PRMXIHR5

@misc{pith2026250622415,
  author       = {Pith},
  title        = {Pith review of: Linear operators preserving volume polynomials},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/PRMXIHR5}},
  note         = {Machine review of arXiv:2506.22415}
}
read the original abstract

Volume polynomials measure the growth of Minkowski sums of convex bodies and of tensor powers of positive line bundles on projective varieties. We show that Aluffi's covolume polynomials are precisely the polynomial differential operators that preserve volume polynomials, reflecting a duality between homology and cohomology. We then present several applications to matroid theory.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 3 Pith papers

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

  1. Recognition of algebraic matroids is undecidable

    math.CO 2026-07 conditional novelty 8.0 of 10

    Recognizing algebraic matroids is undecidable in any fixed prime characteristic and with characteristic left unspecified.

  2. Matroid correspondence

    math.CO 2026-07 conditional novelty 7.0 of 10

    Matroid correspondences define functors between matroid poset categories and package many standard matroid operations as instances of one intersection-and-delete construction.

  3. Volume polynomials

    math.AG 2026-01 conditional novelty 3.0 of 10

    A survey of volume polynomials and their realization problems, connecting convex bodies, projective varieties, and algebraic matroids.

Reference graph

Works this paper leans on

2 extracted references · 2 canonical work pages · cited by 3 Pith papers

  1. [441]

    MR246012Ò5 [Min03] Hermann Minkowski, Volumen und Oberfl¨ ache, Math. Ann. 57 (1903), no. 4, 447–495. MR1511220Ò1 [Mur03] Kazuo Murota, Discrete convex analysis , SIAM Monographs on Discrete Mathematics and Applications, Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 2003. MR1997998Ò4, 20 [Oxl11] James Oxley, Matroid theory, Seco...

    work page 1903

  2. [1106]

    Diagonalizations of denormalized volume polynomials

    MR2487491Ò4 [RS] Julius Ross and Hendrik S ¨uß, Diagonalizations of denormalized volume polynomials . arXiv:2502.13305.Ò5, 6, 11, 12, 15, 18 [RSW] Julius Ross, Hendrik S ¨uß, and Thomas Wannerer, Dually Lorentzian polynomials. arXiv:2304.08399.Ò3, 14, 16, 17 [Sch14] Rolf Schneider, Convex bodies: the Brunn-Minkowski theory , expanded, Encyclopedia of Math...

    work page Pith review arXiv 2003

Pith tools

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