Projective geometry of Wachspress coordinates

DOI10.1007/S10208-019-09441-ZzbMATH Open1451.14131arXiv1904.02123OpenAlexW2984460359MaRDI QIDQ2216249FDOQ2216249

Authors: Kathlén Kohn, Kristian Ranestad 

Publication date: 15 December 2020

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

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.

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

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

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)

Cites Work

• Segre classes of monomial schemes
• Title not available (Why is that?)
• A rational finite element basis
• Generalized barycentric coordinates and applications
• Barycentric coordinates for polytopes
• Barycentric coordinates for convex polytopes
• The adjunction theory of complex projective varieties
• Segre classes as integrals over polytopes
• Polygonal spline spaces and the numerical solution of the Poisson equation
• Linear precision for parametric patches
• Geometry of Wachspress surfaces

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

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)