[論文レビュー] On the theory of coconvex bodies

Askold Khovanskiĭ, Vladlen Timorin|arXiv (Cornell University)|Aug 8, 2013

Point processes and geometric inequalities参考文献 8被引用数 4

ひとこと要約

この論文は、凸幾何学の基本的結果—特にアレクサンドロフ–フェンヒェルの不等式とエーリヒャー・デュアルリティ—を、凸錐内における凸集合の補集合として生じる共凸体へと拡張する。バーチャルポリトープとバーチャル凸体の群におけるデュアルリティを用いることで、著者たちは共凸体版のアレクサンドロフ–フェンヒェルの不等式を確立し、それが古典的凸ケースからの代数的関係および双対空間における直交条件によって自然に生じることを示している。

ABSTRACT

If the complement of a closed convex set in a closed convex cone is bounded, then this complement minus the apex of the cone is called a coconvex set. Coconvex sets appear in singularity theory (they are closely related to Newton diagrams) and in commutative algebra. Such invariants of coconvex sets as volumes, mixed volumes, number of integer points, etc., play an important role. This paper aims at extending various results from the theory of convex bodies to the coconvex setting. These include the Aleksandrov-Fenchel inequality and the Ehrhart duality.

研究の動機と目的

• 古典的凸幾何学の結果—特にアレクサンドロフ–フェンヒェルの不等式とエーリヒャー・デュアルリティ—を共凸の設定へと一般化すること。
• 共凸体を凸錐内における凸集合の補集合として形式化することにより、凸幾何学と特異点論の間の概念的ブリッジを構築すること。
• 共凸集合における混合体積や整数点の個数といった不変量が、グローバルな凸幾何学的不変量の現れであることを示すこと。
• 共凸アレクサンドロフ–フェンヒェルの不等式が、バーチャルポリトープにおける代数的デュアルリティおよび直交条件を通じて古典的凸ケースから導かれることが示されること。
• 共凸幾何学と代数幾何学の間の類似性を形式化すること、特にデュアルリティおよび交線論の観点から。

提案手法

• 著者たちは、共凸体を、錐の頂点を除いた閉じた凸錐内における閉じた凸集合の補集合として定義する。
• バーチャル凸体の群を導入し、演算子*を用いて、共凸集合の指標関数と凸集合の指標関数との間の関係を式 $-\mathbb{I}_{A^{(i)}} = \mathbb{I}_{\Delta^{(i)}_{t_0}} * \mathbb{I}_{C_{t_0}}^{-1}$ で表す。
• 体積の加法性と混合体積の構造を用い、直交条件を通じて古典的凸ケースに還元することで、共凸アレクサンドロフ–フェンヒェルの不等式を導出する。
• 代数幾何学からの類似性として、ホッジ指数定理と交線論の類推を用い、共凸設定における特定の混合体積形式の非正性を正当化する。
• 証明は、バーチャルポリトープ $-\mathbb{I}_{A^{(1)}}$ が $\mathbb{I}_{C_{t_0}}$ に直交することに依拠しており、これにより $B(-\mathbb{I}_{A^{(1)}}, -\mathbb{I}_{A^{(1)}}) \leq 0$ が得られ、共凸不等式が証明される。
• 共凸幾何学とトーリック多様体との類似性を形式化し、部分例外的および非例外的除数がそれぞれ共凸的および錐関連対象に対応することを示す。

実験結果

リサーチクエスチョン

• RQ1 特異点論および局所代数幾何学における役割を鑑みれば、古典的アレクサンドロフ–フェンヒェルの不等式を共凸体へと拡張できるか。
• RQ2 共凸集合における混合体積や整数点の個数は、凸幾何学におけるグローバル不変量とどのように関係するか。
• RQ3 共凸と凸の不変量の間のデュアルリティを裏付ける代数的構造は何か。また、バーチャルポリトープを用いてどのように形式化できるか。
• RQ4 共凸アレクサンドロフ–フェンヒェル形式が、凸ケースの符号性をなぜ継承するのか、幾何的または代数的根拠はあるか。
• RQ5 バーチャルポリトープとデュアルリティの同一フレームワークを用いて、凸多面体におけるエーリヒャー・デュアルリティを共凸体へと一般化できるか。

主な発見

• 共凸アレクサンドロフ–フェンヒェルの不等式が成立し、$d$ 個の共凸体の混合体積が直交条件のもとで非正となる。これは凸ケースと一致する。
• 不等式は、共凸形式がバーチャルポリトープで評価された凸形式に等価であることを示すことにより、古典的凸アレクサンドロフ–フェンヒェル不等式から導出される。
• バーチャルポリトープ $-\mathbb{I}_{A^{(1)}}$ が $\mathbb{I}_{C_{t_0}}$ に直交することにより、$B(-\mathbb{I}_{A^{(1)}}, -\mathbb{I}_{A^{(1)}}) \leq 0$ が得られ、これにより共凸不等式が証明される。
• 共凸体におけるエーリヒャー・デュアルリティは、混合体積のデュアルリティおよびバーチャル凸体の群構造によって確立される。
• 共凸体における整数点の個数と体積が、凸幾何学と同一の原則に従うことが示され、特異点論におけるグローバル不変量が局所不変量に還元されることを示している。
• 代数幾何学—特にトーリック多様体と除数類—との類似性は、共凸不変量が交線論から生じることを概念的枠組みで理解する手がかりを提供する。