Projective geometry of Wachspress coordinates

DOI10.1007/S10208-019-09441-ZMaRDI QIDQ2216249zbMATH OpenOpenAlexFDO

Authors Kathlén Kohn, Kristian Ranestad

Publication date 15 December 2020

Published in Foundations of Computational Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1904.02123

zbMATH Keywords

barycentric coordinatespolytopeshyperplane arrangementsuniform probability distributionsadjoint hypersurfacesSegre classes of monomial schemesWachspress varieties

Mathematics Subject Classification ID

Three-dimensional polytopes (52B10) (n)-dimensional polytopes (52B11) Arrangements of points, flats, hyperplanes (aspects of discrete geometry) (52C35) Hypersurfaces and algebraic geometry (14J70) Configurations and arrangements of linear subspaces (14N20) Adjunction problems (14N30)

Abstract: We show that there is a unique hypersurface of minimal degree passing through the non-faces of a polytope which is defined by a simple hyperplane arrangement. This generalizes the construction of the adjoint curve of a polygon by Wachspress in 1975. The defining polynomial of our adjoint hypersurface is the adjoint polynomial introduced by Warren in 1996. This is a key ingredient for the definition of Wachspress coordinates, which are barycentric coordinates on an arbitrary convex polytope. The adjoint polynomial also appears both in algebraic statistics, when studying the moments of uniform probability distributions on polytopes, and in intersection theory, when computing Segre classes of monomial schemes. We describe the Wachspress map, the rational map defined by the Wachspress coordinates, and the Wachspress variety, the image of this map. The inverse of the Wachspress map is the projection from the linear span of the image of the adjoint hypersurface. To relate adjoints of polytopes to classical adjoints of divisors in algebraic geometry, we study irreducible hypersurfaces that have the same degree and multiplicity along the non-faces of a polytope as its defining hyperplane arrangement. We list all finitely many combinatorial types of polytopes in dimensions two and three for which such irreducible hypersurfaces exist. In the case of polygons, the general such curves< are elliptic. In the three-dimensional case, the general such surfaces are either K3 or elliptic.

Recommendations

• Geometry of Wachspress surfaces
• Barycentric coordinates for convex polytopes
• A general construction of barycentric coordinates over convex polygons
• Gradient bounds for Wachspress coordinates on polytopes
• On the injectivity of Wachspress and mean value mappings between convex polygons

Cites work

• scientific article; zbMATH DE number 3572315 (Why is no real title available?)
• A rational finite element basis
• Barycentric coordinates for convex polytopes
• Barycentric coordinates for polytopes
• Generalized barycentric coordinates and applications
• Geometry of Wachspress surfaces
• Linear precision for parametric patches
• Polygonal spline spaces and the numerical solution of the Poisson equation
• Segre classes as integrals over polytopes
• Segre classes of monomial schemes
• The adjunction theory of complex projective varieties

Cited in

(9)

• Interpolants for degree-\(n\) approximation over convex polygons
• Geometry of Wachspress surfaces
• Moment varieties of measures on polytopes
• Perturbative unitarity and the wavefunction of the universe
• Lorentzian polynomials, Segre classes, and adjoint polynomials of convex polyhedral cones
• A cluster of results on amplituhedron tiles
• WCG spaces and their subspaces grasped by projectional skeletons
• Likelihood equations and scattering amplitudes
• Gradient bounds for Wachspress coordinates on polytopes

Describes a project that uses

Uses Software

• Macaulay2

This page was built for publication: Projective geometry of Wachspress coordinates

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2216249)