English

Canonical forms of polytopes from adjoints

Combinatorics 2025-04-11 v1 High Energy Physics - Theory Algebraic Geometry

Abstract

Projectivizations of pointed polyhedral cones CC are positive geometries in the sense of Arkani-Hamed, Bai, and Lam. Their canonical forms look like ΩC(x)=A(x)B(x)dx, \Omega_C(x)=\frac{A(x)}{B(x)} dx, with A,BA,B polynomials. The denominator B(x)B(x) is just the product of the linear equations defining the facets of CC. We will see that the numerator A(x)A(x) is given by the adjoint polynomial of the dual cone CC^{\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 CC.

Keywords

Cite

@article{arxiv.2504.07272,
  title  = {Canonical forms of polytopes from adjoints},
  author = {Christian Gaetz},
  journal= {arXiv preprint arXiv:2504.07272},
  year   = {2025}
}

Comments

These are lightly edited notes from a lecture given in February 2020, posted here by request, for ease of citation

R2 v1 2026-06-28T22:52:55.278Z