[论文解读] Adjoints and Canonical Forms of Polypols

Kathlén Kohn, Ragni Piene+6 more|arXiv (Cornell University)|Aug 26, 2021

Point processes and geometric inequalities被引用 4

一句话总结

本文通过研究其伴随超曲面和典范微分形式，为平面和三维多边形——具有非线性代数边界的一般化多面体——建立了基础性的代数几何框架。证明了凸多边形的伴随曲线是一条不与多边形内部相交的非奇异三次曲线，从而确认了瓦克斯普雷斯猜想的关键情形，并对所有伴随映射为有限的平面多边形进行了特征刻画，将其与正几何及代数统计联系起来。

ABSTRACT

Polypols are natural generalizations of polytopes, with boundaries given by nonlinear algebraic hypersurfaces. We describe polypols in the plane and in 3-space that admit a unique adjoint hypersurface and study them from an algebro-geometric perspective. We relate planar polypols to positive geometries introduced originally in particle physics, and identify the adjoint curve of a planar polypol with the numerator of the canonical differential form associated with the positive geometry. We settle several cases of a conjecture by Wachspress claiming that the adjoint curve of a regular planar polypol does not intersect its interior. In particular, we provide a complete characterization of the real topology of the adjoint curve for arbitrary convex polygons. Finally, we determine all types of planar polypols such that the rational map sending a polypol to its adjoint is finite, and explore connections of our topic with algebraic statistics.

研究动机与目标

• 在复数与实代数几何中建立多边形作为一类新的几何对象，推广具有非线性代数边界的多面体。
• 研究与多边形相关的伴随超曲面的存在性、唯一性及其在平面和三维空间中的实拓扑。
• 将平面多边形的伴随曲线与正几何中引入的典范微分形式的分子联系起来，该形式源自粒子物理学。
• 解决瓦克斯普雷斯关于伴随曲线不与正则平面多边形内部相交的猜想的若干情形。
• 对所有伴随映射为有限的平面多边形进行完全分类，并探讨其与代数统计及似然方程的联系。

提出的方法

• 将有理多边形定义为 R² 或 R³ 中具有有理边界曲线的有界半代数集，推广多面体概念。
• 将伴随曲线构造为通过奇点和边界分量的‘外部’交点的最小次数曲线。
• 通过留数理论与整体留数公式，将伴随曲线与正几何中典范微分形式的分子联系起来。
• 运用代数几何工具（如留数、上推和迹测试）分析典范形式与似然方程。
• 应用计算代数几何与符号计算（例如通过 Julia 包）研究圆锥曲线及其伴随曲线的构型。
• 采用拓扑与实代数几何技术分析伴随曲线的实拓扑，特别是凸多边形与三圆锥构型的情形。

实验结果

研究问题

• RQ1 在何种条件下，平面多边形会存在唯一的伴随曲线，且伴随映射为有限？
• RQ2 正则平面多边形的伴随曲线是否如瓦克斯普雷斯所猜想的那样不与其中心相交？
• RQ3 正几何的典范微分形式如何用伴随超曲面表示？
• RQ4 凸多边形的伴随曲线的实拓扑是怎样的？其随边数变化的规律如何？
• RQ5 哪些实 n 维多边形会具有在边界上有极点、在伴随超曲面上有零点的典范微分形式？

主要发现

• 凸多边形的伴随曲线是一条不与多边形内部相交的非奇异三次曲线，从而确认了瓦克斯普雷斯猜想的关键情形。
• 对于所有凸多边形，其伴随曲线的实拓扑被完全刻画：在实射影平面上仅由一个卵形（一个连通分支）构成。
• 所有伴随映射为有限的平面多边形已被完全分类；其中包括 (1,3,1,3)-多边形和特定边界排列的七边形等特定构型。
• 证明了拟正则有理多边形的典范微分形式在其分解为更简单多边形时具有可加性，支持了正几何的结构。
• 证明了正几何之间态射下的典范形式的上推满足迹测试，其全局有效性猜想仍待证明。
• 当三个圆锥构成一个多边形时，其伴随曲线为三次曲线，且其奇点仅在三个圆锥共享一个公共点，或在九重交点中的一个剩余点处两两相切时出现。