Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
This paper proves the fence conjecture for convex projective polygons, establishing that for polygons with at least five vertices, every zero of the Pick differential is located within a specific interior region formed by cutting off triangles at consecutive vertex triples. The authors provide a stronger estimate for arbitrary properly convex domains, demonstrating that the region contains a closed disk of radius \(2^{-1/4}\) and its closure lies within an open disk of radius \(2^{1/4}\), except for the case of a rotated square. The proof employs a comparison of the canonical Monge-Ampère potential with that of a normalized square, utilizing a planar separation argument to establish the optimal bounds for these domains.
Every zero of the Pick differential in convex projective polygons is confined to a precisely defined interior region, revealing deeper geometric properties of these structures.
We prove the fence conjecture of Dumas and Wolf: for a convex projective polygon with at least five vertices, every zero of the Pick differential lies in the interior of the region obtained by cutting off the triangles at consecutive triples of vertices. The proof gives a stronger estimate for arbitrary properly convex domains. In affine-sphere coordinates normalized at a Pick zero, the domain contains the closed disk of radius $2^{-1/4}$ and its closure lies in the open disk of radius $2^{1/4}$, unless it is a rotated square. The proof compares the canonical Monge-Ampère potential of the domain with that of a normalized square. Their third-order contact gives alternating local sign sectors. A planar separation argument and the maximum principle show that the negative sectors belong to four distinct components, each meeting a different side of the square. Rotation gives the inner disk bound, and conormal duality gives the outer bound. Both constants are optimal for the class of properly convex domains normalized at a Pick zero. The argument requires neither boundary smoothness nor any restriction on the multiplicity of the Pick zero.