Positive del Pezzo Geometry
Pith reviewed 2026-05-24 08:37 UTC · model grok-4.3
The pith
Del Pezzo surfaces and their moduli spaces possess positive geometry built from polyhedral spaces with Weyl group symmetries.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We develop the positive geometry of del Pezzo surfaces and their moduli spaces, viewed as very affine varieties. Their connected components are derived from polyhedral spaces with Weyl group symmetries. We study their canonical forms and scattering amplitudes, and we solve the likelihood equations.
What carries the argument
Positive geometry of del Pezzo surfaces as very affine varieties whose connected components derive from polyhedral spaces equipped with Weyl group symmetries.
If this is right
- Canonical forms for these varieties become available for explicit construction and study.
- Scattering amplitudes associated with the surfaces can be computed directly from the geometry.
- Likelihood equations on the moduli spaces admit algebraic solutions within the same framework.
- The polyhedral description organizes the real, complex, and tropical aspects of the varieties uniformly.
Where Pith is reading between the lines
- The same polyhedral-with-Weyl-group organization may extend to other families of surfaces or higher-dimensional varieties.
- Amplitude calculations developed here could be tested against known physical models that involve similar moduli spaces.
- Solving the likelihood equations may yield new numerical or symbolic algorithms applicable to related optimization problems in algebraic geometry.
Load-bearing premise
Del Pezzo surfaces and their moduli spaces can be viewed as very affine varieties whose connected components derive from polyhedral spaces with Weyl group symmetries in a manner that supports positive geometry.
What would settle it
A concrete counterexample would be a specific del Pezzo surface whose positive part has connected components that cannot be matched to any polyhedral space carrying a Weyl group action, or for which the likelihood equations admit no solutions consistent with the derived canonical form.
Figures
read the original abstract
Real, complex, and tropical algebraic geometry join forces in a new branch of mathematical physics called positive geometry. We develop the positive geometry of del Pezzo surfaces and their moduli spaces, viewed as very affine varieties. Their connected components are derived from polyhedral spaces with Weyl group symmetries. We study their canonical forms and scattering amplitudes, and we solve the likelihood equations.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript develops the positive geometry of del Pezzo surfaces and their moduli spaces, viewed as very affine varieties. Their connected components are derived from polyhedral spaces with Weyl group symmetries. It studies their canonical forms and scattering amplitudes, and solves the likelihood equations via explicit coordinate charts, fan descriptions, residue computations, and direct substitution into toric ideals.
Significance. If the constructions hold, the work extends the positive geometry framework to a new class of varieties by supplying explicit polyhedral and Weyl-symmetric descriptions, together with concrete solutions to the likelihood equations. The use of direct substitution into the toric ideal to verify critical-point conditions, without circular appeal to the geometry, is a verifiable strength that provides falsifiable examples.
minor comments (2)
- [Abstract] The abstract states the main results but does not indicate which specific del Pezzo surfaces receive detailed treatment; adding one sentence would improve accessibility.
- Notation for the very affine varieties, fans, and residue computations is introduced rapidly; a short preliminary subsection recalling the relevant positive-geometry definitions would aid readers outside the immediate subfield.
Simulated Author's Rebuttal
We thank the referee for their positive summary, significance assessment, and recommendation of minor revision. No specific major comments were raised in the report.
Circularity Check
No significant circularity; derivations are self-contained via explicit constructions
full rationale
The paper develops positive geometry on del Pezzo surfaces via explicit coordinate charts, fan descriptions, residue computations, and direct substitution into toric ideals for likelihood equations. These steps are internally verified in examples without reducing to self-definitional loops, fitted inputs renamed as predictions, or load-bearing self-citations. The central claims rest on independent algebraic and combinatorial constructions that do not presuppose the target results. No equations or premises collapse by construction to their inputs.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Standard axioms of algebraic geometry over real, complex, and tropical fields
- domain assumption Existence of Weyl group symmetries in the polyhedral constructions
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We develop the positive geometry of del Pezzo surfaces and their moduli spaces, viewed as very affine varieties. Their connected components are derived from polyhedral spaces with Weyl group symmetries. We study their canonical forms and scattering amplitudes, and we solve the likelihood equations.
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem 8.2. The following u-equations define a perfect binary geometry... The E6 amplitude AE6 is the following sum over 45 terms...
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
The real moduli space Y(3,6) has 432 connected components, all W(E6) equivalent, and the closure of each is homeomorphic as a cell-complex to a simple 4-polytope with f-vector (45,90,60,15).
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
D. Agostini, T. Brysiewicz, C. Fevola, L. Kühne, B. Sturmfels and S. Telen:Likelihood degen- erations, Adv. Math.414 (2023) 108863
work page 2023
-
[2]
N. Arkani-Hamed, Y. Bai and T. Lam: Positive geometries and canonical forms, J. High Energy Phys. (2017), no 11, 039
work page 2017
-
[3]
N. Arkani-Hamed, Y. Bai, S. He and G. Yan:Scattering forms and the positive geometry of kinematics, color and the worldsheet, J. High Energy Phys. (2018), no. 5, 096
work page 2018
-
[4]
N. Arkani-Hamed, S. He and T. Lam:Stringy canonical forms, J. High Energy Phys. (2021), no. 2, 069
work page 2021
-
[5]
N. Arkani-Hamed T. Lam, and M. Spradlin:Positive configuration space, Communications in Mathematical Physics 384 (2021) 909–954
work page 2021
-
[6]
N. Arkani-Hamed, S. He, T. Lam and H. Thomas:Binary geometries, generalized particles and strings, and cluster algebras, Physical Review D107 (2023) 066015
work page 2023
-
[7]
O. Bergvall:Equivariant cohomology of the moduli space of genus three curves with symplectic level two structure via point counts, Eur. J. Math.6 (2020) 262–320
work page 2020
-
[8]
O. Bergvall and F. Gounelas: Cohomology of moduli spaces of Del Pezzo surfaces , Math. Nachr. 296 (2023) 80–101
work page 2023
-
[9]
A. Betten and F. Karaoglu: The Eckardt point configuration of cubic surfaces revisited, Des. Codes Cryptogr.90 (2022) 2159–2180
work page 2022
- [10]
-
[11]
A. Björner, M. Las Vergnas, N. White, B. Sturmfels and G. Ziegler:Oriented Matroids, Cam- bridge University Press, 1993
work page 1993
-
[12]
P. Breiding and S. Timme:HomotopyContinuation.jl: A Package for Homotopy Continuation in Julia, Math. Software – ICMS 2018, 458–465, Springer International Publishing (2018)
work page 2018
-
[13]
P. Breiding, K. Rose and S. Timme: Certifying zeros of polynomial systems using interval arithmetic, ACM Trans. Math. Software49 (2023), no. 1, Art. 11, 14 pp
work page 2023
-
[14]
Brown: Multiple zeta values and periods of moduli spaces M0,n, Annales Sci
F. Brown: Multiple zeta values and periods of moduli spaces M0,n, Annales Sci. École Norm. Sup. 42 (2009) 371-489
work page 2009
-
[15]
F. Cachazo and N. Early: Biadjoint scalars and associahedra from residues of generalized amplitudes, arXiv:2204.01743
-
[16]
F. Cachazo and N. Early, Planar kinematics: cyclic fixed points, mirror superpotential, k- dimensional Catalan numbers, and root polytopes.Ann. Inst. Henri Poincaré Comb. Phys. Interact. (2024) 35
work page 2024
-
[17]
F. Cachazo, N. Early, A. Guevara and S. Mizera:Scattering equations: from projective spaces to tropical Grassmannians, J. High Energy Phys. (2019), no. 6, 39
work page 2019
-
[18]
F. Cachazo, N. Early and Y. Zhang: Color-dressed generalized biadjoint scalar amplitudes: local planarity, arXiv:2212.11243
-
[19]
F. Cachazo, N. Early and Y. Zhang: Generalized color orderings: CEGM integrands and decoupling identities, arXiv:2304.07351
-
[20]
F. Cachazo, S. He and Y. Yuan:Scattering of massless particles: scalars, gluons and gravitons, J. High Energy Phys. (2014) 33
work page 2014
-
[21]
F. Cachazo, B. Umbert and Y. Zhang: Singular solutions in soft limits , J. High En- ergy Phys. (2020), no 5, 148
work page 2020
-
[22]
F. Catanese, S. Hoşten, A. Khetan and B. Sturmfels:The maximum likelihood degree, Amer. J. Math. 128 (2006) 671–697
work page 2006
-
[23]
E. Colombo, B. van Geemen and E. Looijenga:Del Pezzo moduli via root systems, Algebra, arithmetic, and geometry, vol. I, 291–337, Progr. Math., 269, Birkhäuser, Boston, 2009
work page 2009
-
[24]
Devadoss: Combinatorial equivalence of real moduli spaces, Notices Amer
S. Devadoss: Combinatorial equivalence of real moduli spaces, Notices Amer. Math. Soc.51 (2004) 620–628
work page 2004
-
[25]
P. Hacking, S. Keel and J. Tevelev:Stable pair, tropical, and log canonical compactifications of moduli spaces of del Pezzo surfaces, Invent. Math.178 (2009) 173–227
work page 2009
-
[26]
J. Hauenstein and S. Sherman:Using monodromy to statistically estimate the number of so- lutions, 2nd IMA Conference on Mathematics of Robotics, 37–46, Springer Proceedings in Advanced Robotics, vol 21, 2021
work page 2021
-
[27]
S. He, Z. Li, P. Raman and C. Zhang:Stringy canonical forms and binary geometries from as- sociahedra, cyclohedra and generalized permutohedra, J. High Energy Phys. (2020), no 10, 054
work page 2020
-
[28]
Huh: The maximum likelihood degree of a very affine variety, Compos
J. Huh: The maximum likelihood degree of a very affine variety, Compos. Math. 149 (2013) 1245–1266
work page 2013
-
[29]
Z. Koba and H. Nielsen:Manifestly crossing invariant parametrization ofn meson amplitude, Nuclear Physics B12 (1969) 517–536
work page 1969
-
[30]
Lam: An invitation to positive geometries, arXiv:2208.05407
T. Lam: An invitation to positive geometries, arXiv:2208.05407
-
[31]
D. Maclagan and B. Sturmfels:Introduction to Tropical Geometry, Graduate Studies in Math- ematics, 161, American Mathematical Society, Providence, RI, 2015
work page 2015
-
[32]
E. Miller and B. Sturmfels:Combinatorial Commutative Algebra, Graduate Texts in Mathe- matics, 227, Springer-Verlag, New York, 2005
work page 2005
- [33]
-
[34]
Q.Ren, S.Sam, G.SchraderandB.Sturmfels: The universal Kummer threefold, Exp.Math. 22 (2013) 327–362
work page 2013
-
[35]
Q. Ren, S. Sam and B. Sturmfels: Tropicalization of classical moduli spaces, Math. Com- put. Sci. 8 (2014) 119–145
work page 2014
-
[36]
Q. Ren, K. Shaw and B. Sturmfels: Tropicalization of del Pezzo surfaces, Adv. Math. 300 (2016) 156–189
work page 2016
-
[37]
J. Sekiguchi: Geometry of 7 lines on the real projective plane and the root system of typeE7, S¯ urikaisekikenky¯ usho K¯ oky¯ uroku986 (1997) 1–8. 36
work page 1997
-
[38]
J. Sekiguchi: Configurations of seven lines on the real projective plane and the root system of type E7, J. Math. Soc. Japan51 (1999) 987–1013
work page 1999
-
[39]
J. Sekiguchi and M. Yoshida:W (E6)-action on the configuration space of six lines on the real projective plane, Kyushu J. Math.51 (1997) 297–354
work page 1997
-
[40]
D. Speyer and B. Sturmfels:The tropical Grassmannian, Adv. Geom.4 (2004) 389–411
work page 2004
-
[41]
B. Sturmfels and S. Telen:Likelihood equations and scattering amplitudes, Algebr. Stat. 12 (2021) 167–186. Authors’ addresses: Nick Early, Institute for Advanced Study, Princeton earlnick@ias.edu Alheydis Geiger, MPI-MiS Leipzig Alheydis.Geiger@mis.mpg.de Marta Panizzut, UiT marta.panizzut@uit.no Bernd Sturmfels, MPI-MiS Leipzig bernd@mis.mpg.de Claudia H...
work page 2021
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.