Pith. sign in

REVIEW 2 major objections 6 minor 40 references

Log Canonical Models and Positive Geometries

T0 review · 2 major / 6 minor · reviewed 2026-07-31 · grok-4.5

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

Pith's one-line read Canonical forms of positive geometries supply explicit coordinates and equations for log canonical compactifications of a large class of open varieties.

desk verdict Clean conditional theorem that turns canonical forms into log-canonical coordinates, plus real equations and code for classical families; soft spots are already scoped as open generation questions. read the letter →

arxiv 2607.28368 v1 pith:U7WBFJ7U submitted 2026-07-30 math.AG math.CO

Benjamin Hollering , Dmitrii Pavlov , Elizabeth Pratt This is my paper · ORCID
classification math.AGmath.CO MSC 14E2514Q1505E1414E30
keywords logcanonicalcompactificationpositivegeometriesformshyperplanearrangementscubicsurfacesconfigurationspacesdelPezzoring
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

Log canonical compactifications are the intrinsic compact models favored by the minimal model program, but they are hard to write down: natural coordinates and equations are usually missing. This paper shows that, for many open varieties, the canonical differential forms attached to real regions of positive geometries give those coordinates. When a compactification has genus zero and the log canonical ring is generated in degree one, the map defined by these forms is exactly the log canonical embedding. The authors carry this out for hyperplane arrangement complements, cubic surfaces with their 27 lines removed, and moduli of marked cubic del Pezzo surfaces, and they compute the resulting equations—often finding they are cut out by quadrics.

What carries the argument

Theorem 3.2: the Brown–Dupont canonical-form map from relative homology of a genus-zero pair onto the space of logarithmic forms identifies, under degree-one generation of the log canonical ring, the Proj of that ring with the image of the map by those forms; positive-geometry residues then give concrete coordinates.

What would settle it

Exhibit a variety meeting the geometric hypotheses of Theorem 3.2 whose log canonical ring is not generated in degree one, or show that the real-region canonical forms span a proper subspace of the logarithmic forms while degree-one generation still holds—either breaks the claim that the image is the log canonical model.

Watch

Extended reading notes

Core claim

If an open variety U has a log canonical compactification and a compactification (X, Y) of genus zero whose log canonical ring is generated in degree one, then the rational map given by a basis of logarithmic top forms is the log canonical embedding of U. When (X, Y) is moreover a positive arrangement with real combinatorial rank equal to combinatorial rank, the canonical forms of the real regions alone realize that embedding, so the equations of the model can be read off by implicitization.

Load-bearing premise

The identification needs the log canonical ring to be generated in degree one, a ring-theoretic condition the paper assumes or cites rather than proves for every new example.

Editorial extensions

If this is right

  • Log canonical models of essential connected hyperplane arrangement complements are cut out scheme-theoretically by quadrics and are recoverable from adjoint polynomials of bounded regions.
  • The eighth Veronese of a smooth cubic surface is the log canonical embedding of the surface minus its 27 lines, with an explicit ideal of 5586 quadrics.
  • The homogeneous ideals of the log canonical model of Y(3,6) and of the canonical-form closure of X(3,6) have 9605 and 6616 minimal quadratic generators respectively.
  • Parke–Taylor varieties are the special case of this construction for the moduli space M_{0,n}.
  • Whenever genus zero, degree-one generation, and equality of real and combinatorial rank can be checked, the same recipe produces coordinates and equations.

Reading between the lines

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

  • If degree-one generation holds for X(3,6) and X(3,7), the already-computed canonical-form spans would settle the equations of their log canonical models.
  • Sehr-schön tropical compactifications offer a combinatorial route to combinatorial rank, so the method may scale to other configuration spaces once generation is known.
  • Equality of real and combinatorial rank is likely the practical bottleneck for nonlinear examples beyond del Pezzo surfaces; higher Y(3,n) is a natural test.
  • The degeneration examples suggest that flat limits of these embeddings may record how log canonical models jump when arrangements specialize.
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

2 major / 6 minor

Summary. The paper shows that for open varieties U admitting a log canonical compactification, if a compactification (X,Y) has genus zero and the log canonical ring is generated in degree one, then the rational map given by a basis of logarithmic n-forms is the log canonical embedding; when moreover (X,Y) is a positive arrangement with equal real and combinatorial rank, the canonical forms of the real regions realize that embedding (Theorem 3.2). The argument rests on Brown–Dupont’s canonical-form map and invariance under modifications, together with the definition of Proj of the log canonical ring. The authors recover the Hacking–Keel–Tevelev models of hyperplane-arrangement complements (with an algorithm and explicit equations), compute the eighth Veronese embedding of a cubic surface with its 27 lines removed, give quadratic generators for the images associated to X(3,6) and Y(3,6), and identify Parke–Taylor varieties with the log canonical models of M_{0,n}. Code for the computations is provided.

Significance. The work supplies a uniform, computationally effective coordinate system for log canonical models in a class of examples that includes several classical moduli and arrangement spaces. Theorem 3.2 cleanly unifies prior observations (hyperplane arrangements, Parke–Taylor/M_{0,n}, cubic surfaces) under the Brown–Dupont framework and yields new explicit equations (e.g., 5586 quadrics for the cubic surface, 6616/9605 quadrics for the X(3,6)/Y(3,6) images). The accompanying code and the scheme-theoretic/quadratic claims for arrangement complements are concrete contributions that other researchers can reuse. The conditional nature of the main theorem is appropriately scoped: generation in degree one is cited from the literature where known and flagged as open (Conjecture 5.5) where not.

major comments (2)
  1. [Proposition 4.1] Proposition 4.1 asserts that the HKT compactification S is defined by quadrics as a scheme. The proof states that Ge is cut out by quadrics and that the matroid toric variety T is cut out by quadrics “up to saturation” (citing [29, Thm 3]), then concludes the claim for the scheme-theoretic intersection. Saturation can change the scheme structure along the irrelevant locus; a short argument is needed that the saturation step does not affect the intersection with Ge inside the Plücker space (or that the saturated ideal remains generated by quadrics after intersecting). As written, the scheme-theoretic statement is not fully justified.
  2. [§5.2, Abstract, Introduction] In §5.2 the authors construct X_cf(3,6) via canonical forms, prove it is four-dimensional and birational to X(3,6), and obtain 6616 quadratic generators, but correctly note that identification with the log canonical model still requires degree-one generation of the log canonical ring (left open). The abstract and introduction list “the moduli space of marked cubic del Pezzo surfaces” and configuration spaces among the applications of the theory without always distinguishing the cases where Theorem 3.2 applies unconditionally (Y(3,6) via [18,38]) from those where an extra ring-theoretic hypothesis remains (X(3,6)). A brief clarifying sentence in the introduction would prevent over-reading the X(3,6) computation as a completed log-canonical embedding.
minor comments (6)
  1. [Affiliations] Affiliation line for the second author: “Max Planck Instiute for Physics” → “Institute”.
  2. [Example 2.6] Example 2.6 and Figure 1: the non-SNC arrangement is helpful; a one-line reminder that the four-dimensional space of logarithmic forms is recovered after blow-up would make the comparison with H^0(P^2, Ω^2(5H)) fully self-contained.
  3. [Algorithm 1] Algorithm 1, step 7: “Implicitize the variety parametrized by this basis” — specify whether a Gröbner-basis or numerical/interpolation method is intended, since the Julia code is the actual reference implementation.
  4. [Theorem 3.2, proof] In the proof of Theorem 3.2, the sentence “Since R(U) is generated in degree one, there is a surjective map Sym^•(Ω^n_log(U)) → R(U)” is correct but could note explicitly that this uses the identification Ω^n_log(U) ≅ H^0(X, K_X+Y) already established for SNC (and then for general) compactifications.
  5. [References] References [21] and [38] are arXiv preprints by overlapping author sets; ensuring the published or final versions are cited when available would help readers.
  6. [Throughout] Typographical: “Poincar´ e” and similar accented characters appear inconsistently encoded in a few places (e.g., Definition 2.7); normalize to a single LaTeX accent convention.

Circularity Check

1 steps flagged · score 1.0 of 10

No significant circularity: Theorem 3.2 is a conditional identification via external foundations, not a self-referential derivation.

  1. self citation load bearing [Section 5.3, Theorem 5.6 and its proof]
    "The Parke–Taylor forms are the canonical forms of the regions of (M_{0,n}, D) [3, Sec. 5]. The log canonical ring is Koszul and thus generated in degree one by [25, Theorem 1.2]. We have g(M_{0,n}, D) = 0 by [5, Sec. 6.8]. Moreover, (M_{0,n}, D) is a modification of a real hyperplane arrangement, thus cr_R(M_{0,n}, D) = cr(M_{0,n}, D). Thus Theorem 3.2 applies."

    Theorem 5.6 identifies PT_n with the log canonical compactification of M_{0,n} by invoking the authors' own prior paper [21] (which already claimed that PT_n is Keel–Tevelev's embedding) together with Theorem 3.2. The step is only mildly circular: the generation and genus facts are external ([25], [5]), and [21] is used mainly to name the forms; the logical content is the application of the new conditional theorem rather than a closed self-referential loop.

full rationale

The central claim (Theorem 3.2) assumes existence of the log canonical compactification and degree-one generation of the log canonical ring, then concludes that the map by logarithmic/canonical forms is the log canonical embedding when genus is zero (and that real-region forms realize it when cr_R = cr). The short proof in Section 3 uses the Brown–Dupont isomorphism Ω^n_log(U) ≅ H^0(X, K_X + Y) and the definition of Proj of the log canonical ring; both are external. Applications supply the generation hypothesis from independent prior theorems (Hacking–Keel–Tevelev, Eur–Fink–Larson, Keel–Tevelev on M_{0,n}, projective normality of cubic surfaces). Self-citations ([21] Parke–Taylor, [38] cubic surfaces) supply computational input and examples whose independence is supported by released code and by matching known combinatorial ranks (e.g. 126 for Trop Gr(3,6)). For X(3,6) the paper explicitly leaves degree-one generation open (Conjecture 5.5) and does not claim the identification unconditionally. No step reduces a prediction to a fitted input or renames the target by construction.

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

The argument rests on standard birational geometry (discrepancies, log canonical rings, Hironaka), the Brown–Dupont mixed-Hodge theory of canonical forms, the Arkani-Hamed–Bai–Lam recursive definition of positive geometries, and existence theorems for log canonical models in the example classes. No numerical free parameters are fitted. The main structural hypotheses—genus zero, degree-one generation, cr_R = cr—are domain assumptions checked case-by-case rather than ad-hoc inventions.

assumptions (5)
  • domain assumption Brown–Dupont: genus-zero pairs admit a surjective canonical-form map from relative homology to logarithmic top forms, invariant under modifications.
    Invoked throughout §2.2–§3 as the source of ω and of dim Ω^n_log = cr(X,Y).
  • standard math Log canonical compactification exists and is unique when it exists (Prop. 2.2); equals Proj of the log canonical ring when the ring is finitely generated.
    Background from the minimal model program / Kollár–Mori; uniqueness proved in-paper following standard arguments.
  • domain assumption For the example classes (connected essential hyperplane arrangements; smooth cubic with real lines; M_{0,n}; Y(3,6)), existence of the log canonical compactification and (where used) very ampleness or degree-one generation are taken from prior literature.
    Cited from Hacking–Keel–Tevelev, Keel–Tevelev, Eur–Fink–Larson, etc.; Theorem 3.2 is conditional on these.
  • domain assumption Real regions of the treated positive arrangements are positive geometries in the sense of Arkani-Hamed–Bai–Lam (with smooth complement of algebraic boundary).
    Used to equate combinatorial canonical forms with Brown–Dupont forms (Lemma 2.12) and to write explicit residues.
  • domain assumption Log canonical ring generated in degree one (hypothesis of Thm 3.2(1)); verified by citation for arrangements and M_{0,n}, left open for X(3,6).
    Load-bearing for identifying the canonical-form map with the log canonical embedding rather than a rational map to a birational model.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Log Canonical Models and Positive Geometries." pith.science (2026). https://pith.science/paper/U7WBFJ7U

@misc{pith2026260728368,
  author       = {Pith},
  title        = {Pith review of: Log Canonical Models and Positive Geometries},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/U7WBFJ7U}},
  note         = {Machine review of arXiv:2607.28368}
}
read the original abstract

Constructing log canonical compactifications of open varieties is a central problem in birational geometry. Finding a natural coordinate system and obtaining the equations of these models is difficult in general. We show that for a large class of varieties explicit coordinates for the log canonical model are provided by canonical forms of positive geometries, and use this to compute the equations of these models. Our theory applies, for instance, to complements of hyperplane arrangements, cubic surfaces with lines removed, and the moduli space of marked cubic del Pezzo surfaces.

Figures

Figures reproduced from arXiv: 2607.28368 by the authors.

Figure 1
Figure 1. , where the hyperplanes are the vanishing loci of the forms x, y, z, x − z, y − z. Let U := P 2 \ A . Then P 2 itself is a compactification of U, but the boundary divisor A is not simple normal crossing. We denote the two points where three lines meet by q = [1 : 0 : 0] and p = [0 : 1 : 0]. Let X = Blp,q P 2 denote the blowup at points p and q and let Ep, Eq denote the components of the exceptional divisor of the bl… view at source ↗
Figure 2
Figure 2. Two conics in the projective plane divisor Y has simple normal crossings, and each real region yields a positive geometry. The log canonical bundle is OP2 (KP 2 + H), where H is the class of a hyperplane. However, the 8 [PITH_FULL_IMAGE:figures/full_fig_p008_2.png] view at source ↗
Figure 3
Figure 3. Three arrangements A1, A2, A3 of five lines in P 2 One can verify the claims for A1 and A3 by using canonical forms. More precisely, we will show in Theorem 4.3 that the log canonical embeddings coincide with the Zariski closures of the maps given by the canonical forms of the real bounded regions of P 2 \ Ai . For example, for the arrangement A3, we choose the concrete parameterization given in Example 2.6. The bou… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

40 extracted references · 1 canonical work pages

  1. [1]

    Positive geometries and canonical forms.Journal of High Energy Physics, 2017

    Nima Arkani-Hamed, Yuntao Bai, and Thomas Lam. Positive geometries and canonical forms.Journal of High Energy Physics, 2017

    2017

  2. [2]

    Existence of minimal models for varieties of log general type.J

    Caucher Birkar, Paolo Cascini, Christopher Hacon, and James McKernan. Existence of minimal models for varieties of log general type.J. Amer. Math. Soc., 23(2):405–468, November 2010

    2010

  3. [3]

    Wondertopes.Advances in Mathe- matics, 480:110516, 2025

    Sarah Brauner, Christopher Eur, Elizabeth Pratt, and Raluca Vlad. Wondertopes.Advances in Mathe- matics, 480:110516, 2025

    2025

  4. [4]

    Sur les groupes de tresses [d’apr` es V

    Egbert Brieskorn. Sur les groupes de tresses [d’apr` es V. I. Arnol’d]. InLecture Notes in Mathematics, pages 21–44. Springer Berlin Heidelberg, Berlin, Heidelberg, 1973

    1973

  5. [5]

    Positive geometries and canonical forms via mixed Hodge theory

    Francis Brown and Cl´ ement Dupont. Positive geometries and canonical forms via mixed Hodge theory. Commun. Math. Phys., 406(11):65, 2025

    2025

  6. [6]

    Geometry of Adjoint Hypersurfaces for Polytopes

    Clemens Br¨ user and Julian Weigert. Geometry of Adjoint Hypersurfaces for Polytopes. arXiv:2511.13537, 2025

    arXiv 2025

  7. [7]

    Generalized color orderings: CEGM integrands and decoupling identities.Nucl

    Freddy Cachazo, Nick Early, and Yong Zhang. Generalized color orderings: CEGM integrands and decoupling identities.Nucl. Phys., B, 1004:36, 2024

    2024

  8. [8]

    Initial degenerations of Grassmannians.Sel

    Daniel Corey. Initial degenerations of Grassmannians.Sel. Math., New Ser., 27(4):40, 2021

    2021

Show all 40 references
  1. [9]

    The Grassmannian of 3-planes in C8 is sch¨ on.Algebr

    Daniel Corey and Dante Luber. The Grassmannian of 3-planes in C8 is sch¨ on.Algebr. Comb., 6(5):1273– 1299, 2023

    2023

  2. [10]

    Th´ eorie de Hodge

    Pierre Deligne. Th´ eorie de Hodge. II.Publ. Math., Inst. Hautes ´Etud. Sci., 40:5–57, 1971

    1971

  3. [11]

    Th´ eorie de Hodge

    Pierre Deligne. Th´ eorie de Hodge. III.Publ. Math., Inst. Hautes ´Etud. Sci., 44:5–77, 1974

    1974

  4. [12]

    Positive del Pezzo geometry.Ann

    Nick Early, Alheydis Geiger, Marta Panizzut, Bernd Sturmfels, and Claudia He Yun. Positive del Pezzo geometry.Ann. Inst. Henri Poincar´ e D, Comb. Phys. Interact., 12(4):819–868, 2025

    2025

  5. [13]

    Vanishing theorems for combinatorial geometries

    Christopher Eur, Alex Fink, and Matt Larson. Vanishing theorems for combinatorial geometries. arXiv:2510.05207, 2025

    2025

  6. [14]

    Matroid polytopes, nested sets and Bergman fans.Portugaliae Mathematica

    Eva Maria Feichtner and Bernd Sturmfels. Matroid polytopes, nested sets and Bergman fans.Portugaliae Mathematica. Nova S´ erie, 62(4):437–468, 2005

    2005

  7. [15]

    Griffin, and Jake Levinson

    Maria Gillespie, Sean T. Griffin, and Jake Levinson. A proof of a conjecture by Monin and Rana on equations defining M 0,n. arXiv:2209.06688, 2022

    2022 arXiv

  8. [16]

    The homology of tropical varieties.Collect

    Paul Hacking. The homology of tropical varieties.Collect. Math., 59(3):263–273, October 2008

    2008

  9. [17]

    Compactification of the moduli space of hyperplane arrangements.J

    Paul Hacking, Sean Keel, and Jenia Tevelev. Compactification of the moduli space of hyperplane arrangements.J. Algebr. Geom., 15(4):657–680, 2006. 21

    2006

  10. [18]

    Stable pair, tropical, and log canonical compactifications of moduli spaces of del Pezzo surfaces.Invent

    Paul Hacking, Sean Keel, and Jenia Tevelev. Stable pair, tropical, and log canonical compactifications of moduli spaces of del Pezzo surfaces.Invent. Math., 178(1):173–227, 2009

    2009

  11. [19]

    How to draw tropical planes

    Sven Herrmann, Anders Jensen, Michael Joswig, and Bernd Sturmfels. How to draw tropical planes. Electron. J. Comb., 16(2):26, 2009

    2009

  12. [20]

    Resolution of singularities of an algebraic variety over a field of characteristic zero

    Heisuke Hironaka. Resolution of singularities of an algebraic variety over a field of characteristic zero. I, II.Ann. Math. (2), 79:109–203, 1964

    1964

  13. [21]

    Parke–Taylor varieties

    Benjamin Hollering and Dmitrii Pavlov. Parke–Taylor varieties. arXiv:2509.09323, 2025

    2025 arXiv

  14. [22]

    Log canonical models and positive geometries

    Benjamin Hollering, Dmitrii Pavlov, and Elizabeth Pratt. Log canonical models and positive geometries. Available athttps://doi.org/10.5281/zenodo.21624557, July 2026

    2026 doi

  15. [23]

    Kapranov

    Mikhail M. Kapranov. Chow quotients of Grassmannians. I. InI. M. Gelfand seminar. Part 2: Papers of the Gelfand seminar in functional analysis held at Moscow University, Russia, September 1993, pages 29–110. Providence, RI: American Mathematical Society, 1993

    1993

  16. [24]

    Geometry of Chow quotients of Grassmannians.Duke Math

    Sean Keel and Jenia Tevelev. Geometry of Chow quotients of Grassmannians.Duke Math. J., 134(2):259– 311, 2006

    2006

  17. [25]

    Equations for M 0,n.Int

    Sean Keel and Jenia Tevelev. Equations for M 0,n.Int. J. Math., 20(9):1159–1184, 2009

    2009

  18. [26]

    PhD thesis, Georg-August University School of Science (GAUSS), 2026

    Joris Koefler.Positive Geometries in Physics. PhD thesis, Georg-August University School of Science (GAUSS), 2026

    2026

  19. [27]

    Projective geometry of Wachspress coordinates.Found

    Kathl´ en Kohn and Kristian Ranestad. Projective geometry of Wachspress coordinates.Found. Comput. Math., 20(5):1135–1173, 2020

    2020

  20. [28]

    Cambridge Tracts in Mathematics

    Janos Koll´ ar and Shigefumi Mori.Birational Geometry of Algebraic Varieties. Cambridge Tracts in Mathematics. Cambridge University Press, 1998

    1998

  21. [29]

    On the toric ideal of a matroid.Adv

    Micha l Laso´ n and Mateusz Micha lek. On the toric ideal of a matroid.Adv. Math., 259:1–12, 2014

    2014

  22. [30]

    PhD thesis, The University of Texas at Austin, 2008

    Mark Luxton.The log canonical compactification of the moduli space of six lines in P2. PhD thesis, The University of Texas at Austin, 2008

    2008

  23. [31]

    Equations of M 0,n

    Leonid Monin and Julie Rana. Equations of M 0,n. InCombinatorial algebraic geometry. Selected papers from the 2016 apprenticeship program, Ottawa, Canada, July–December 2016, pages 113–132. Toronto: The Fields Institute for Research in the Mathematical Sciences; New York, NY: ...

    2016

  24. [32]

    Cross ratio variety as a moduli space of cubic surfaces

    Isao Naruki. Cross ratio variety as a moduli space of cubic surfaces. Appendix by Eduard Looijenga. Proc. Lond. Math. Soc. (3), 45:1–30, 1982

    1982

  25. [33]

    Parke and Tomasz R

    Stephen J. Parke and Tomasz R. Taylor. An Amplitude for n Gluon Scattering.Phys. Rev. Lett., 56:2459, 1986

    1986

  26. [34]

    The Segre determinant.Orbita Math., 3(2):127–144, 2026

    Elizabeth Pratt. The Segre determinant.Orbita Math., 3(2):127–144, 2026

    2026

  27. [35]

    What is positive geometry?Matematiche, 80(1):3–16, 2025

    Kristian Ranestad, Bernd Sturmfels, and Simon Telen. What is positive geometry?Matematiche, 80(1):3–16, 2025

    2025

  28. [36]

    Compactifications of moduli of points and lines in the projective plane

    Luca Schaffler and Jenia Tevelev. Compactifications of moduli of points and lines in the projective plane. Int. Math. Res. Not., 2022(21):17000–17078, 2022

    2022

  29. [37]

    The tropical Grassmannian.Adv

    David Speyer and Bernd Sturmfels. The tropical Grassmannian.Adv. Geom., 4(3):389–411, 2004

    2004

  30. [38]

    Positive Geometries from Cubic Surfaces

    Bernd Sturmfels and Simon Telen. Positive Geometries from Cubic Surfaces. arXiv:2605.11909, 2026

    2026 arXiv

  31. [39]

    Compactifications of subvarieties of tori.Am

    Jenia Tevelev. Compactifications of subvarieties of tori.Am. J. Math., 129(4):1087–1104, 2007

    2007

  32. [40]

    Thomas Zaslavsky.Facing up to Arrangements: Face-Count Formulas for Partitions of Space by Hyperplanes, volume 154 ofMemoirs of the American Mathematical Society. 1975. Max Planck Institute for Mathematics in the Sciences, Inselstraße 22, 04103 Leipzig, Germany Email address:b...

    1975

Pith tools

Reviewed July 31, 2026 · model on record in the stance chip above.