arXiv++ Combinatorics

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.

We define the dual lattice function of a rational polytope $P$ via the discrete Laplace transform of the exponential of its support function. This definition is a discrete analogue of the dual volume function of a polytope that the authors studied in previous work. We show that the dual lattice function is valuative, and by multiplying with the torus form, it becomes the canonical form of the exponential polytope $\mathrm{exp}(P)$ as a positive geometry. This result suggests the study of the class of toric polytopes, which are certain semialgebraic subsets of projective toric varieties. Our work is a first step towards discretization of positive geometries in the simplest case of polytopes.

We present a study of cubic surfaces from the novel perspective of positive geometry. Our positive geometries have dimension two (the surface minus its 27 lines), dimension three (its complement in 3-space), and dimension four (the moduli space). In each case we explore the positive arrangement, its combinatorial rank, and the canonical forms.

We study two closely related objects associated with plane domains bounded by rational algebraic arcs: canonical forms in the sense of positive geometry and normalized moment-generating functions, or Fantappie transforms. For polygons these objects are related by polarity: the normalized Fantappie transform of a polygon is the canonical form of the polar polygon. For genuinely curved polypols the same dual-geometric mechanism survives, but the transform is no longer a rational logarithmic canonical form; rather, it is a holonomic, generally branched period whose singularities are controlled by vertex hyperplanes and by the projective dual curves of the nonlinear boundary components. We give explicit examples, including sectors and half-disks, and explain how harmonic moment generating functions arise as one-dimensional restrictions of the same Fantappi`e transform.

The ABCT variety $V(3,n)$ is the image closure of the rational Veronese map from the Grassmannian $\operatorname{Gr}(2,n)$ to the Grassmannian $\operatorname{Gr}(3,n)$. It was studied by Arkani-Hamed--Bourjaily--Cachazo--Trnka in the context of tree-level scattering amplitudes arising in planar $\mathcal N=4$ supersymmetric Yang-Mills theory and Witten's twistor string theory. From this perspective, $V(3,n)$ is conjectured to be a positive geometry by Lam. In this paper, we study the combinatorial and algebraic geometry aspects of $V(3,n)$ and its subvarieties induced by iteratively taking analytic boundaries of the totally nonnegative part. We interpret these subvarieties as point configurations on $\mathbb{P}^2$ by the Gelfand-MacPherson correspondence. We construct a top-degree meromorphic form on $V(3,n)$ and show that it is a positive geometry, proving Lam's conjecture.

We construct affine charts of a smooth projective toric variety which contain its nonnegative points, and which admit a closed embedding into the total coordinate space of Cox's quotient construction. We show that such positive charts arise from smooth subcones of the nef cone. To each positive chart we associate an algebraic moment map, the fibers of which are the critical points of a monomial function in Cox coordinates. This work provides a toric framework for the theory of $u$-equations in positive geometry.

We study the relative homology group of an affine hyperplane arrangement and its Poincaré dual, the cohomology at finite distance of the complement. We give an Orlik--Solomon-type description of the latter, and identify it with the vector space of logarithmic forms having vanishing residues at infinity. To this end, we introduce a partial version of wonderful compactifications, which could be relevant in other contexts where blow-ups only occur at infinity. Finally, we show that the cohomology at finite distance coincides with the vector space of canonical forms in the sense of positive geometry.

On-shell diagrams are gauge invariant quantities which play an important role in the description of scattering amplitudes. Based on the principles of generalized unitarity, they are given by products of elementary three-point amplitudes where the kinematics of internal on-shell legs are determined by cut conditions. In the ${\cal N}=4$ Super Yang-Mills (SYM) theory, the dual formulation for on-shell diagrams produces the same quantities as canonical forms on the Grassmannian $G(k,n)$. Most of the work in this direction has been devoted to the planar diagrams, which dominate in the large $N$ limit of gauge theories. On the mathematical side, planar on-shell diagrams correspond to cells of the positive Grassmannian $G_+(k,n)$ which have been very extensively studied in the literature in the past 20 years. In this paper, we focus on the non-planar on-shell diagrams which are relevant at finite $N$. In particular, we use the triplet formulation of Maximal-Helicity-Violating (MHV) on-shell diagrams to obtain certain regions in the Grassmannian $G(2,n)$. These regions are unions of positive Grassmannians with different orderings (referred to as oriented regions). We explore the features of these unions, and show that they are pseudo-positive geometries, in contrast to positive geometry of a single oriented region. For all non-planar diagrams which are \emph{internally planar} there always exists a strongly connected geometry, and for those that are \emph{irreducible}, there exists a geometry with no spurious facets. We also prove that the already known identity moves, square and sphere moves, form the complete set of identity moves for all MHV on-shell diagrams.

We study the geometric and algebraic structure of Vandermonde cells, defined as images of the standard probability simplex under the Vandermonde map given by consecutive power sum polynomials. Motivated by their combinatorial equivalence to cyclic polytopes, which are well-known examples of positive geometries and tree amplituhedra, we investigate whether Vandermonde cells admit the structure of positive geometries. We derive explicit parametrizations and algebraic equations for their boundary components, extending known results from the planar case to arbitrary dimensions. By introducing a mild generalization of the notion of positive geometry, allowing singularities within boundary interiors, we show that planar Vandermonde cells naturally fit into this extended framework. Furthermore, we study Vandermonde cells in the setting of Brown-Dupont's mixed Hodge theory formulation of positive geometries, and show that they form a genus zero pair. These results provide a new algebraic and geometric understanding of Vandermonde cells, establishing them as promising examples within the emerging theory of positive geometries.

Recent breakthroughs in the study of scattering amplitudes have uncovered profound and unexpected connections with combinatorial geometry. These connections range from classical structures -- such as polytopes, matroids, and Grassmannians -- to more modern developments including positroid varieties and the amplituhedron. Together they point toward the unifying framework of positive geometry, in which geometric domains canonically determine analytic functions governing scattering processes. This survey traces the emergence of positive geometry from the physics of amplitudes, building towards recent progress on amplitudes for matroids.

These are lecture notes supporting a minicourse taught at the Summer School in Total Positivity and Quantum Field Theory at CMSA Harvard in June 2025. We give an introduction to positive geometries and their canonical forms. We present the original definition by Arkani-Hamed, Bai and Lam, and a more recent definition suggested by work of Brown and Dupont. We compute canonical forms of convex polytopes and of quasi-regular polypols, which are nonlinear generalizations of polygons in the plane. The text is a collection of known results. It contains many examples and a list of exercises.

Projectivizations of pointed polyhedral cones $C$ are positive geometries in the sense of Arkani-Hamed, Bai, and Lam. Their canonical forms look like $$ Ω_C(x)=\frac{A(x)}{B(x)} dx, $$ with $A,B$ polynomials. The denominator $B(x)$ is just the product of the linear equations defining the facets of $C$. We will see that the numerator $A(x)$ is given by the adjoint polynomial of the dual cone $C^{\vee}$. The adjoint was originally defined by Warren, who used it to construct barycentric coordinates in general polytopes. Confirming the intuition that the job of the numerator is to cancel unwanted poles outside the polytope, we will see that the adjoint is the unique polynomial of minimal degree whose hypersurface contains the residual arrangement of non-face intersections of supporting hyperplanes of $C$.

In this article we study adjoint hypersurfaces of geometric objects obtained by intersecting simple polytopes with few facets in $\mathbb{P}^5$ with the Grassmannian $\mathrm{Gr}(2,4)$. These generalize the positive Grassmannian, which is the intersection of $\mathrm{Gr}(2,4)$ with the simplex. We show that if the resulting object has five facets, it is a positive geometry and the adjoint hypersurface is unique. For the case of six facets we show that the adjoint hypersurface is not necessarily unique and give an upper bound on the dimension of the family of adjoints. We illustrate our results with a range of examples. In particular, we show that even if the adjoint is not unique, a positive hexahedron can still be a positive geometry.

Positive geometries are semialgebraic sets equipped with a canonical differential form whose residues mirror the boundary structure of the geometry. Every full-dimensional projective polytope is a positive geometry. Motivated by the canonical forms of polytopes, we construct a canonical form for any tope of an oriented matroid, inside the Orlik--Solomon algebra of the underlying matroid. Using these canonical forms, we construct bases for the Orlik--Solomon algebra of a matroid, and for the Aomoto cohomology. These bases of canonical forms are a foundational input in the theory of matroid amplitudes introduced by the second author.

This article serves as an introduction to the special volume on Positive Geometry in the journal Le Matematiche. We attempt to answer the question in the title by describing the origins and objects of positive geometry at this early stage of its development. We discuss the problems addressed in the volume and report on the progress. We also list some open challenges.

The Plücker positive region $\mathrm{OGr}_+(k,2k)$ of the orthogonal Grassmannian emerged as the positive geometry behind the ABJM scattering amplitudes. In this paper we initiate the study of the positive orthogonal Grassmannian $\mathrm{OGr}_+(k,n)$ for general values of $k,n$. We determine the boundary structure of the quadric $\mathrm{OGr}_+(1,n)$ in $\mathbb{P}^{n-1}_{+}$ and show that it is a positive geometry. We show that $\mathrm{OGr}_+(k,2k+1)$ is isomorphic to $\mathrm{OGr}_+(k+1, 2k+2)$ and connect its combinatorial structure to matchings on $[2k+2]$. Finally, we show that in the case $n>2k+1$, the \emph{positroid cells} of $\mathrm{Gr}_+(k,n)$ do not induce a CW cell decomposition of $\mathrm{OGr}_+(k,n)$.

The cosmological polytope of a graph $G$ was recently introduced to give a geometric approach to the computation of wavefunctions for cosmological models with associated Feynman diagram $G$. Basic results in the theory of positive geometries dictate that this wavefunction may be computed as a sum of rational functions associated to the facets in a triangulation of the cosmological polytope. The normalized volume of the polytope then provides a complexity estimate for these computations. In this paper, we examine the (Ehrhart) $h^\ast$-polynomial of cosmological polytopes. We derive recursive formulas for computing the $h^\ast$-polynomial of disjoint unions and $1$-sums of graphs. The degree of the $h^\ast$-polynomial for any $G$ is computed and a characterization of palindromicity is given. Using these observations, a tight lower bound on the $h^\ast$-polynomial for any $G$ is identified and explicit formulas for the $h^\ast$-polynomials of multitrees and multicycles are derived. The results generalize the existing results on normalized volumes of cosmological polytopes. A tight upper bound and a combinatorial formula for the $h^\ast$-polynomial of any cosmological polytope are conjectured.

This thesis investigates geometric descriptions of scattering amplitudes, with a specific focus on scattering amplitudes in N=4 SYM and ABJM theory. The recent development of the field of positive geometries provides us with a suitable framework for this endeavour. In particular, we will give a detailed account of the amplituhedron, the momentum amplituhedron, and the ABJM momentum amplituhedron. Alongside these geometries, we will also discuss the ABHY associahedron, which encapsulates tree-level scattering amplitudes in bi-adjoint scalar theory. We provide a detailed introduction to these positive geometries, which includes a comprehensive discussion of their structure. For the momentum amplituhedron, ABJM momentum amplituhedron, and ABHY associahedron we give a full stratification of their boundaries, which equivalently elucidates the singularity structure of the tree-level scattering amplitudes. Notably, we show that the ABJM momentum amplituhedron has an Euler characteristic equal to one. Furthermore, we explore the interconnections between these, and other, positive geometries. These connections are in part obtained via push forwards through the scattering equations. We develop techniques to calculate these push forwards which circumvents the necessity to solve the scattering equations explicitly. Beyond tree-level, we illustrate how positive geometries can be used to describe loop integrands in planar N=4 SYM and ABJM. A new framework is established to investigate these loop geometries in the space of dual momenta. The construction relies solely on lightcones and their intersections, and the framework simultaneously encompasses the loop level structure of the amplituhedron, momentum amplituhedron, and the ABJM momentum amplituhedron. This further leads to compact general formulae for all one-loop integrands in N=4 SYM and ABJM.

The spinor-helicity formalism in particle physics gives rise to natural subvarieties in the product of two Grassmannians. These include two-step flag varieties for subspaces of complementary dimension. Taking Hadamard products leads to Mandelstam varieties. We study these varieties through the lens of combinatorics and commutative algebra, and we explore their tropicalization, positive geometry, and scattering correspondence.

These are lecture notes for five lectures given at MPI Leipzig in May 2024. We study the moduli space M_{0,n} of n distinct points on P^1 as a positive geometry and a binary geometry. We develop mathematical formalism to study Cachazo-He-Yuan's scattering equations and the associated scalar and Yang-Mills amplitudes. We discuss open superstring amplitudes and relations to tropical geometry.