Pith. sign in

REVIEW 4 major objections 6 minor 32 references

Vector-valued Laurent polynomial equations, toric vector bundles and matroids

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

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

Pith's one-line read This paper claims that the number of solutions of a generic vector-valued Laurent polynomial system is $n!$ times a mixed volume of virtual polytopes determined by an associated subspace arrangement and matroid data.

desk verdict The vector-valued BKK theorem is likely right and worth taking seriously, but the central proof has a fixable sign error and the polymatroid extension rests on unproved Lorentzian-fan claims. read the letter →

arxiv 2507.09793 v1 pith:WI6LCGEY submitted 2025-07-13 math.AG math.CO

Kiumars Kaveh , Askold Khovanskii , Hunter Spink This is my paper · ORCID
classification math.AGmath.CO MSC 14M2552B40
keywords vector-valuedLaurentpolynomialsBKKtheoremmixedvolumetoricvectorbundlesmulti-valuedsupportfunctionscharacteristicpolytopesAlexandrov-Fenchelinequalitypolymatroids
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 sets out to prove a vector-valued generalization of the BKK theorem. For a torus-invariant subspace $L$ of vector-valued Laurent polynomials on $(\mathbb{C}^*)^n$ with rank $n$, it claims that a generic vector equation $f(x)=0$ has exactly $n! \operatorname{MVol}_n(h_L)$ isolated nondegenerate solutions, where $h_L$ is an $n$-valued support function built from the subspace arrangement defining $L$. Equivalently, the count is $n! \operatorname{MVol}(\Delta_1, \Delta_2-\Delta_1, \ldots, \Delta_n-\Delta_{n-1})$ for a sequence of lattice polytopes $\Delta_i$ whose vertices come from admissible tuples of monomials. If true, the solution count of such systems depends only on combinatorial and matroid data, just as in the classical scalar case. The paper further claims an Alexandrov-Fenchel type inequality for these mixed volumes and an extension of that inequality to arbitrary polymatroids, which would give log-concavity results beyond representable subspace arrangements.

What carries the argument

The load-bearing object is the multi-valued support function $h_L$: for each covector $\xi$, $h_L(\xi)$ is the multiset of critical levels of the filtration $E^\xi_c = \sum_{\langle\xi,\alpha\rangle \leq c} E_\alpha$, each level repeated according to its multiplicity. It has a canonical representation $h_1 \leq \cdots \leq h_r$ by piecewise-linear functions, and the paper identifies $h_i$ with the support function of the virtual polytope $\Delta_i-\Delta_{i-1}$. The same function gives the equivariant Chern roots of a toric vector bundle $E_{L,\Sigma}$ built from $L$ on a compatible toric compactification, so counts of solutions of $f=0$ become evaluations of a top equivariant Chern class. This bundle, together with the ring-of-conditions interpretation, carries the derivation of the BKK formula and of the Alexandrov-Fenchel inequality; the polymatroid version is obtained by replacing the subspace arrangement with the natural matroid of the polymatroid and applying Hodge-theoretic intersection theory on Lorentzian fans.

What would settle it

Compute the three mixed volumes in the polymatroid Alexandrov-Fenchel inequality for a small nonrepresentable polymatroid, such as a rank-3 polymatroid on four elements with a valid rank function; if the product of the outer terms exceeds the square of the middle term, the theorem is false. Separately, for the main BKK formula, one could test a rank-2 invariant subspace on $(\mathbb{C}^*)^2$ with explicitly chosen $E_\alpha$ and count the solutions of a generic vector equation, comparing with $2! \operatorname{MVol}(\Delta_1, \Delta_2-\Delta_1)$.

Watch

Extended reading notes

Core claim

The central discovery is that the enumerative geometry of generic vector-valued Laurent polynomial systems is controlled by a finite piecewise-linear object. Given $L = \bigoplus_\alpha E_\alpha \otimes x^\alpha$, define for each covector $\xi$ the subspace $E^\xi_c = \sum_{\langle\xi,\alpha\rangle \leq c} E_\alpha$; as $c$ varies this is a filtration, and the multiset of critical levels is an $r$-valued support function $h_L$. In the full-rank case $r=n$, the paper proves that for generic $f \in L$ all points of $Y(f)$ are isolated and nondegenerate, that $|Y(f)| = n! \operatorname{MVol}_n(h_L) = n! \operatorname{MVol}_n(\Delta_1, \Delta_2-\Delta_1, \ldots, \Delta_n-\Delta_{n-1})$, and that any $f$ has at most this many isolated solutions counted with multiplicity. Here $\Delta_i$ is the convex hull of sums $\alpha_1+\cdots+\alpha_i$ over $i$-tuples for which one can choose $e_j \in E_{\alpha_j}$ linearly independent, and the $\Delta_i-\Delta_{i-1}$ are virtual polytopes. For rank $r \leq n$, the class of $Y(f)$ in the ring of conditions of the torus is the product $\prod_{i=1}^r [\Delta_i-\Delta_{i-1}]$, yielding mixed-volume formulas when extra scalar polynomial equations are added. The same framework yields an Alexandrov-Fenchel inequality for these mixed volumes and, via Hodge theory for matroids and natural matroid constructions, an extension to arbitrary polymatroids.

Load-bearing premise

The broadest new claim, the Alexandrov-Fenchel inequality for every polymatroid, relies on three properties of Lorentzian fans—every complete smooth fan is Lorentzian, products of Lorentzian fans are Lorentzian, and smooth refinements of Lorentzian fans are Lorentzian—that the proof asserts but does not prove and does not locate in the cited literature; if any of these properties fails, the polymatroid extension is unproved.

Editorial extensions

If this is right

  • Generic members of $L$ define smooth subvarieties transverse to all torus orbits in any sufficiently refined smooth toric compactification, so $Y(f)$ has the same topological invariants for all $L$-nondegenerate $f$.
  • When $r \leq n$, adding $n-r$ generic scalar Laurent equations with Newton polytopes $P_1,\ldots,P_{n-r}$ makes the solution count $n! \operatorname{MVol}(\Delta_1, \Delta_2-\Delta_1, \ldots, \Delta_r-\Delta_{r-1}, P_1, \ldots, P_{n-r})$.
  • The hyperplane-arrangement corollary gives an explicit mixed-volume formula for BKK-type systems pulled back from complements of arbitrary hyperplane arrangements, recovering known expressions for the class of a linear space in the ring of conditions.
  • The Alexandrov-Fenchel inequality for these mixed volumes yields log-concavity statements: for fixed $L$ and varying convex bodies, the volume sequence satisfies $b^2 \geq ac$.
  • The polymatroid version of the inequality gives nonnegative integer inequalities for combinatorial polymatroids that do not come from vector spaces.

Reading between the lines

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

  • The toric-vector-bundle description suggests that finer invariants, such as Euler characteristics or Hodge numbers of $Y(f)$, should also be computable from the same multi-valued support function; the paper does not carry this out.
  • A testable extension would be to use the product formula $[Y(f)] = \prod_i [\Delta_i-\Delta_{i-1}]$ as the definition of characteristic classes for arbitrary polymatroids, which could yield new log-concavity results beyond the representable case.
  • Because the paper notes that a polymatroid gives rise to a tropical vector bundle, the mixed-volume count may admit a purely tropical proof independent of the characteristic-0 setting, which would be a natural next step.
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

4 major / 6 minor

Summary. The paper generalizes the BKK theorem from systems of scalar Laurent polynomials to T-invariant subspaces L of vector-valued Laurent polynomials. For a rank-r subspace L, the authors define a characteristic sequence of polytopes (Δ_1,...,Δ_r) and an r-valued support function h_L, and they prove that for generic f in L the zero set Y(f) is computed by n!MVol_n(h_L). They interpret h_L as the equivariant Chern roots of an associated toric vector bundle, use this to derive Alexandrov-Fenchel type inequalities for mixed volumes of the characteristic polytopes, and finally attempt to extend these inequalities to arbitrary polymatroids via Lorentzian fans. Applications to hyperplane arrangements and matroid classes are also given.

Significance. If the gaps identified below are repaired, the vector-valued BKK theorem is a substantial and natural generalization of Bernstein-Kushnirenko-Khovanskii theory, with clean combinatorial answers in terms of characteristic polytopes and multi-valued support functions. The toric vector bundle construction and the Chern-root interpretation of h_L are elegant, and the applications to linear subspaces and matroids are valuable. The paper is mostly written in a classical proof style, with detailed treatment of truncations and non-degeneracy, but it does not include machine-checked proofs or reproducible code; the main load-bearing issues are a sign error in the inductive mixed-volume formula and two proof gaps in the genericity and polymatroid arguments.

major comments (4)
  1. [Section 5, Lemma 5.6 and Eq. (11)] The inductive mixed-volume formula is false under the minimum convention for support functions adopted in Section 2. For example, take P_1=...=P_n=[0,1]^n and let Sigma be the normal fan of the cube. For each positive ray xi=e_i, h_n(xi)=0; for each negative ray xi=-e_i, h_n(xi)=-1. Each face P_i^xi has (n-1)-volume 1, so the right-hand side of Lemma 5.6 equals (n-1)! * (n*0 + n*(-1)) = -n!, while the left-hand side is n! MVol_n(P_1,...,P_n)=n!. The same sign loss appears in Eq. (11): combining (9), Lemma 5.5 and (10) yields |Y(f)| = -(n-1)! * sum_rho h_n(xi) MVol(...), not the displayed positive expression. Since the induction proof of Theorem 5.1 closes only through this formula, the proof of the vector-valued BKK theorem does not close as written. The fix is local: replace h_n(xi) by -h_n(xi) in Lemma 5.6 and Eq. (11), or switch consistently to the maximum convention throughout the mixed-volume formula.
  2. [Section 4.2, proof of Theorem 4.8(c)] The proof uses the assertion that 'every semi-algebraic set either contains a Zariski open or is contained in a Zariski closed'. This assertion is false; for instance, a real hyperplane in C^n is a semi-algebraic set that is neither contained in a proper complex Zariski closed set nor contains a nonempty complex Zariski open set. The argument needs a proof that the locus U_xi of xi-nondegenerate f is constructible, and then a density argument; without this, the Zariski-openness of L-non-degeneracy is not established. This genericity statement is used in Theorem 1.11 and in the 'generic f' statement of Theorem 1.14, so the gap is load-bearing.
  3. [Section 9, proof of Theorem 9.3 (Theorem 1.19)] The proof assumes without proof that every complete smooth fan is Lorentzian, that products of Lorentzian fans are Lorentzian, and that smooth refinements of Lorentzian fans are Lorentzian. In particular, the first assertion is not a consequence of the normal-fan examples in [AHK18] as cited: complete smooth fans need not be projective, so they are not covered by the projective normal fan case. No reference or proof is supplied for these closure properties in the form used here. Since the Alexandrov-Fenchel inequality for arbitrary polymatroids is concluded by applying the Lorentzian property to the refined fan Sigma_tilde, the extension to non-representable polymatroids is not established as written. The authors should either prove or cite these properties, or restrict the claim accordingly.
  4. [Theorem 1.14, upper-bound statement] The final assertion of Theorem 1.14 ('for any f in L, the number of isolated solutions, counted with multiplicity, is <= n! MVol_n(h_L)') is not proved in Section 5. Theorem 5.1 proves only the equality for L-non-degenerate f, and Remark 5.2 concerns finiteness with multiplicity for a weaker non-degeneracy condition. A specialization or limiting argument is needed to justify the bound for arbitrary f, and it should be included if this part of the theorem is retained.
minor comments (6)
  1. [Section 8, Corollary 8.3, Eq. (16)] Equation (16) appears to be missing the square on the left-hand side: the correct Alexandrov-Fenchel form, as stated in Theorem 1.17, is MVol(h_{L1⊕L2⊕L3})^2 >= MVol(h_{L1⊕L1⊕L3}) MVol(h_{L2⊕L2⊕L3}).
  2. [References] The reference list entry for [BKK76] is merged into the [BCF23] entry and is missing its title and page details; the title 'Newton polyhedra' is appended to [BCF23] instead of appearing in the [BKK76] entry.
  3. [Header] The title in the manuscript header reads 'VECTOR-V ALUED LAURENT POLYNOMIAL EQUATIONS' but should read 'VECTOR-VALUED LAURENT POLYNOMIAL EQUATIONS'.
  4. [Section 8, Corollary 8.2] The displayed formula in Corollary 8.2 has an extra closing parenthesis: '..., P_{n-r}))' should be '..., P_{n-r})'.
  5. [Remark 2.1] There is a duplicated word in Remark 2.1: 'Some authors define the the support function' should be 'Some authors define the support function'.
  6. [Theorem 5.4] The notation 'Y f' in Theorem 5.4 should be 'Y(f)' for consistency with the rest of the paper.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the BKK-type count is derived from independently defined characteristic polytopes via standard mixed-volume and toric intersection theory, with no fitted parameters or self-citation chain forcing the answer.

full rationale

The paper's central formula |Y(f)| = n! MVol_n(Delta_1, Delta_2 - Delta_1, ..., Delta_n - Delta_{n-1}) is not circular: the polytopes Delta_i are defined directly from the admissible tuples of the subspace arrangement {E_alpha} (Definition 3.7), the support functions h_i are identified with h_{Delta_i} - h_{Delta_{i-1}} by an independent matroid-greedy argument (Theorem 3.11), and the solution count is obtained via the standard inductive mixed-volume identity and toric Chern-class intersection theory (Lemmas 5.6 and 6.6). No parameter is fitted to the count; L-non-degeneracy (Theorem 4.8) is a non-empty Zariski open condition rather than a normalization. The paper does cite prior work by the same authors, notably [Kh88] for the mixed-volume induction and [Kh77] for transversality, but these are external mathematical facts, not self-justifying claims. The notable correctness concern is unrelated to circularity: Lemma 5.6 and equation (11) appear to have a sign error under the paper's minimum support-function convention, since the cube example yields RHS = -n! versus LHS = n!, which would invalidate the proof of Theorem 5.1 as written. Similarly, the polymatroid extension in Section 9 rests on unproved Lorentzian-fan assertions. Both are missing or incorrect justifications for external results, not reductions of the theorem to its own inputs.

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

The results are parameter-free and do not require fitting constants. The central proofs invoke standard theorems: BKK (base case), Brion's formula for mixed volumes, Klyachko's classification of toric vector bundles, Rado's theorem, and the Hodge theory of matroids (AHK18). The latter is the only assumption that goes beyond standard toric geometry and is used essentially in Theorem 9.3; the paper does not prove or locate the specific Lorentzian-fan closure properties it needs. No new physical entities are introduced.

assumptions (5)
  • standard math BKK theorem for generic scalar Laurent polynomials (Theorem 1.2)
    Used as a base case and in Proposition 9.7 to equate mixed volumes with solution counts.
  • standard math Brion's theorem: mixed volume of virtual polytopes depends only on the product of support functions
    Used in Theorem 2.5 to prove MVol(h_L) is well-defined.
  • domain assumption Klyachko's classification of toric vector bundles by compatible filtrations
    Used in Section 6 to identify the filtrations of E_{L,Sigma}.
  • domain assumption Hodge theory of matroids: the Bergman fan is Lorentzian and satisfies Khovanskii-Teissier/Hodge-Riemann inequalities (AHK18)
    Basis for the polymatroid extension Theorem 9.3.
  • standard math Rado's theorem characterizing admissible sequences
    Used in Remark 3.9 and Proposition 3.16 to relate admissibility to polymatroid rank data.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Vector-valued Laurent polynomial equations, toric vector bundles and matroids." pith.science (2026). https://pith.science/paper/WI6LCGEY

@misc{pith2026250709793,
  author       = {Pith},
  title        = {Pith review of: Vector-valued Laurent polynomial equations, toric vector bundles and matroids},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/WI6LCGEY}},
  note         = {Machine review of arXiv:2507.09793}
}
abstract

Let $L \subset \mathbb{C}^r \otimes \mathbb{C}[x_1^\pm, \ldots, x_n^\pm]$ be a finite dimensional subspace of vector-valued Laurent polynomials invariant under the action of torus $(\mathbb{C}^*)^n$. We study subvarieties in the torus, defined by equations $f = 0$ for generic $f \in L$. We generalize the BKK theorem, that counts the number of solutions of a system of Laurent polynomial equations generic for their Newton polytopes, to this setting. The answer is in terms of mixed volume of certain virtual polytopes encoding discrete invariants of $L$ which involves matroid data. Moreover, we prove an Alexandrov-Fenchel type inequality for these virtual polytopes. Finally, we extend this inequality to non-representable polymatroids. This extends the usual Alexandrov-Fenchel inequality for polytopes as well as log-concavity results related to matroids.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

32 extracted references · 27 canonical work pages

  1. [1]

    Hodge theory for combinatorial geometries

    Adiprasito, K.; Huh, H.; Katz, E. Hodge theory for combinatorial geometries. Annals of Mathematics 188, no. 2 (2018): 381--452

    work page 2018

  2. [2]

    Lagrangian geometry of matroids

    Ardila, F.; Denham, G.; Huh, J. Lagrangian geometry of matroids . Journal of the American Mathematical Society 36 (2023), 727--794

    work page 2023

  3. [3]

    Batyrev, V. V. Dual polyhedra and mirror symmetry for Calabi-Yau hypersurfaces in toric varieties. Journal of Algebraic Geometry, 3(3), 493--535, 1994

    work page 1994

  4. [4]

    Tautological classes of matroids

    Berget, A.; Eur, C.; Spink, H.; Tseng, D. Tautological classes of matroids . Invent. Math.233(2023), no.2, 951--1039

    work page 2023

  5. [5]

    N.; Kushnirenko, A

    Bernstein, D. N.; Kushnirenko, A. G.; Khovanskii, A. G

    work page

  6. [6]

    E.; Chun, C.; Fife, T

    Bonin, J. E.; Chun, C.; Fife, T. The natural matroid of an integer polymatroid SIAM J. Discrete Math. vol. 37, no. 3, 1751--1770 Newton polyhedra. Uspehi Mat. Nauk 31(1976), no.3, 201--202

    work page 1976

  7. [7]

    Piecewise polynomial functions, convex polytopes and enumerative geometry

    Brion, M. Piecewise polynomial functions, convex polytopes and enumerative geometry. Parameter spaces (Warsaw, 1994), 25--44. Banach Center Publ., 36. Polish Academy of Sciences, Institute of Mathematics, Warsaw, 1996

    work page 1994

  8. [8]

    I.; Khovanskii, A

    Danilov, V. I.; Khovanskii, A. G. Newton polyhedra and an algorithm for computing Hodge–Deligne numbers . Mathematics of the USSR-Izvestiya, 1987, Volume 29, issue 2, p. 279--298

    work page 1987

Show all 32 references
  1. [9]

    Complete symmetric varieties II

    De Concini, C.; Procesi, C. Complete symmetric varieties II. Intersection theory. Algebraic groups and related topics (Kyoto/Nagoya, 1983), 481--513. Adv. Stud. Pure Math., 6. North-Holland Publishing Co., Amsterdam, 1985

    1983

  2. [10]

    Sch\"on complete intersections

    Esterov, A. Sch\"on complete intersections. arXiv:2401.12090

    arXiv

  3. [11]

    Engineered complete intersections: slightly degenerate Bernstein--Kouchnirenko--Khovanskii

    Esterov, A. Engineered complete intersections: slightly degenerate Bernstein--Kouchnirenko--Khovanskii. arXiv:2401.12099

    arXiv

  4. [12]

    Engineered complete intersections: eliminating variables and understanding topology

    Esterov, A. Engineered complete intersections: eliminating variables and understanding topology. arXiv:2504.16018

    arXiv

  5. [13]

    Signed permutohedra, delta-matroids, and beyond

    Eur, C.; Fink, A.; Larson, M.; Spink, H. Signed permutohedra, delta-matroids, and beyond. Proceedings of the London Mathematical Society, 128(3), (2024)

    2024

  6. [14]

    Stellahedral geometry of matroids

    Eur, C.; Huh, J.; Larson, M. Stellahedral geometry of matroids. Forum of Mathematics Pi, Paper No. e24, 48 (2023)

    2023

  7. [15]

    Ya; Khovanskii, A

    Kazarnovskii, B. Ya; Khovanskii, A. G.; Esterov, A. I. Newton polytopes and tropical geometry . Uspekhi Mat. Nauk 76:1(457) (2021), 95–190; translation in Russian Math. Surveys 76:1, 91--175

    2021

  8. [16]

    Intersection theory on toric varieties

    Fulton, W.; Sturmfels, B. Intersection theory on toric varieties. Topology 36 (1997), no.2, 335--353

    1997

  9. [17]

    Helgason, Aspects of the theory of hypermatroids, in Hypergraph Seminar (Proc

    T. Helgason, Aspects of the theory of hypermatroids, in Hypergraph Seminar (Proc. First Working Sem., Ohio State Univ., Columbus, Ohio, 1972; dedicated to Arnold Ross) , pp. 191--213, Lecture Notes in Math., Vol. 411, Springer, Berlin-New York

    1972

  10. [18]

    Rota’s conjecture and positivity of algebraic cycles in permutohedral varieties

    Huh, J. Rota’s conjecture and positivity of algebraic cycles in permutohedral varieties . Ph.D. thesis (2014)

    2014

  11. [19]

    Kaveh, K.; Khovanskii, A. G. Newton-Okounkov bodies, semigroups of integral points, graded algebras and intersection theory. Ann. of Math. (2) 176 (2012), no.2, 925--978

    2012

  12. [20]

    Kaveh, K.; Khovanskii, A. G. A short survey on Newton polytopes, tropical geometry and ring of conditions of algebraic torus. arXiv:1803.07001

    arXiv

  13. [21]

    Toric vector bundles, valuations and tropical geometry

    Kaveh, K.; Manon, C. Toric vector bundles, valuations and tropical geometry. Algebras and Representation Theory (2025). https://doi.org/10.1007/s10468-025-10336-7

    2025 doi

  14. [22]

    Tropical vector bundles and matroids

    Kaveh, K.; Manon, C. Tropical vector bundles and matroids. arXiv: 2405.03576

    arXiv

  15. [23]

    arXiv:2405.03505

    Khan, B; Maclagan Tropical vector bundles. arXiv:2405.03505

    arXiv

  16. [24]

    Khovanskii, A. G. Newton polyhedra, and toroidal varieties. Funkcional. Anal. i Prilozen.11(1977), no.4, 56--64, 96

    1977

  17. [25]

    Khovanskii, A. G. Newton polyhedra, and the genus of complete intersections. Funktsional. Anal. i Prilozhen.12(1978), no.1, 51--61

    1978

  18. [26]

    Khovanskii, A. G. Algebra and mixed volumes . Appendix in the book Geometric inequalities by Y.D. Burago and V.A. Zalgaller, Springer-Verlag, Berlin and New York. V. 285, 182--207, 1988

    1988

  19. [27]

    Khovanskii, A. G. Newton polyhedra and irreducible components of complete intersections . Izvestiya RAN, Ser. Matematika, V. 80, No 1, 2016, 281--304; translation in Izvestiya: Mathematics, V. 80, No 1, 2016, 263--304

    2016

  20. [28]

    G.; Pukhlikov, A

    Khovanskii, A. G.; Pukhlikov, A. V. Finitely additive measures of virtual polyhedra. Algebra i Analiz 4 (1992), no.2, 161--185; translation in St. Petersburg Math. J. 4 (1993), no.2, 337--356

    1992

  21. [29]

    Klyachko, A. A. Equivariant bundles on toral varieties. (Russian) Izv. Akad. Nauk SSSR Ser. Mat. 53 (1989), no. 5, 1001--1039, 1135; translation in Math. USSR-Izv. 35 (1990), no. 2, 337--375

    1989

  22. [30]

    Moduli of toric vector bundles

    Payne, S. Moduli of toric vector bundles. Compos. Math. 144 (2008), no. 5, 1199--1213

    2008

  23. [31]

    Toric vector bundles, branched covers of fans, and the resolution property , J

    Payne, S. Toric vector bundles, branched covers of fans, and the resolution property , J. Alg. Geom. 18 (2009), 1--36

    2009

  24. [32]

    Dustin Ross's paper for AF inequality

Pith tools

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