[論文レビュー] 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

ひとこと要約

本稿は、非線形代数的境界をもつ多面体の一般化である平面および3次元のポリポールの基礎的な代数幾何的枠組みを確立する。境界の共役超曲面と標準微分形式を研究することで、凸多角形の共役曲線が交差しない非特異な三次曲線であることを証明し、ワッハスプロスの予想の重要なケースを確認するとともに、共役写像が有限であるすべての平面ポリポールを同定し、正の幾何学および代数的統計と関連付ける。

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.

研究の動機と目的

• 複素および実代数幾何学におけるポリポールを、非線形代数的境界をもつ多面体の一般化として新たな幾何的対象として確立すること。
• ポリポールに関連する共役超曲面の存在、一意性、および実トポロジーを、特に平面および3次元空間で調査すること。
• 陽的な幾何学で導入された標準微分形式の分子と、平面ポリポールの共役曲線を関連付けること。
• 正則な平面ポリポールの内部と交差しない共役曲線に関するワッハスプロスの予想のケースを解消すること。
• ポリポールからその共役への有理写像が有限であるすべてのタイプの平面ポリポールを同定し、代数的統計および尤度方程式との関係を探索すること。

提案手法

• 境界曲線が有理関数で与えられる有理ポリポールを、R² もしくは R³ 内の有理境界をもつ有界な半代数的集合として定義し、多面体を一般化する。
• 特異点および境界成分の「外部」交点を通る最小次数の曲線として共役曲線を構成する。
• 留数理論およびグローバル留数公式を用いて、共役曲線と陽的な幾何学における標準微分形式の分子を関連付ける。
• 留数、押し出し、トレーステストなどの代数幾何学的道具を用いて、標準形式および尤度方程式を分析する。
• 計算代数幾何学および記号計算（例：Juliaパッケージを用いて）を用いて、円錐曲線の配置およびそれらの共役を研究する。
• トポロジーおよび実代数幾何学的手法を用いて、特に凸多角形および3つの円錐曲線の配置に対して、共役曲線の実トポロジーを分析する。

実験結果

リサーチクエスチョン

• RQ1 平面ポリポールが一意な共役曲線をもつ条件は何か？ また、共役写像が有限である条件は何か？
• RQ2 ワッハスプロスの予想が示すように、正則な平面ポリポールの共役曲線は内部と交差しないのか？
• RQ3 陽的な幾何学の標準微分形式は、共役超曲面を用いてどのように表現できるか？
• RQ4 凸多角形の共役曲線の実トポロジーは何か？ また、辺の数に応じてどのように変化するか？
• RQ5 どの実n次元ポリポールが、境界上に極をもち、共役超曲面上に零点をもつ標準微分形式をもつか？

主な発見

• 凸多角形の共役曲線は、内部と交差しない非特異な三次曲線である。これはワッハスプロスの予想の重要なケースを確認するものである。
• すべての凸多角形について、共役曲線の実トポロジーは完全に特徴づけられている：それは実射影平面における単一の閉曲線（1つの連結成分）からなる。
• 共役写像が有限であるすべての平面ポリポールは完全に分類されている。これには、(1,3,1,3)-ポリポールや特定の境界配置をもつ七角形が含まれる。
• 準正則な有理ポリポールの標準微分形式は、より単純なポリポールへの分解に関して加法的であることが示され、陽的な幾何学の構造を支持する。
• 陽的な幾何学の同型写像における標準形式の押し出しはトレーステストを満たすことが示され、そのグローバル有効性に関する予想は未解決のまま残っている。
• 3つの円錐曲線がポリポールを形成する場合、その共役は三次曲線であり、その特異点は、3つの円錐曲線が共通の点を共有する、または9重交点の残余点で互いに接する場合にのみ生じる。