[论文解读] On the theory of coconvex bodies

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

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

一句话总结

本文将凸几何中的基本结果——特别是 Aleksandrov–Fenchel 不等式与 Ehrhart 对偶性——推广至共凸体，后者作为凸锥内凸集的补集而出现。通过利用虚拟多面体及虚拟凸体群中的对偶性，作者建立了 Aleksandrov–Fenchel 不等式的共凸版本，证明其自然地源自经典凸情况，通过对偶空间中的代数关系与正交性条件实现。

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.

研究动机与目标

• 将凸几何中的经典结果——特别是 Aleksandrov–Fenchel 不等式与 Ehrhart 对偶性——推广至共凸设置。
• 通过将共凸体形式化为凸锥中凸集的补集，建立凸几何与奇点理论之间的概念性桥梁。
• 证明共凸集中诸如混合体积与整数点计数等不变量，实为全局凸几何不变量的表现形式。
• 表明共凸 Aleksandrov–Fenchel 不等式可通过虚拟多面体群中的代数对偶性与正交性条件，由经典凸情况推导而出。
• 形式化共凸几何与代数几何之间的类比，特别是在对偶性与交点理论方面的对应关系。

提出的方法

• 作者将共凸体定义为在闭凸锥内，排除锥顶点后，一个闭凸集的补集。
• 他们引入虚拟凸体群，并利用卷积运算 *，通过公式 $-\mathbb{I}_{A^{(i)}} = \mathbb{I}_{\Delta^{(i)}_{t_0}} * \mathbb{I}_{C_{t_0}}^{-1}$，将共凸集的指示函数与凸集的指示函数联系起来。
• 利用体积的可加性与混合体积的结构，通过正交性条件将共凸 Aleksandrov–Fenchel 不等式约化为经典凸情况，从而导出该不等式。
• 他们应用 Hodge 指数定理，并借鉴代数几何中的交点理论类比，以证明共凸设置下某些混合体积形式的非正性。
• 证明依赖于虚拟多面体 $-\mathbb{I}_{A^{(1)}}$ 与 $\mathbb{I}_{C_{t_0}}$ 正交，这意味着 $B(-\mathbb{I}_{A^{(1)}}, -\mathbb{I}_{A^{(1)}}) \leq 0$，从而推出共凸不等式。
• 他们形式化了共凸几何与 торic 代数簇之间的类比，其中子例外除子与非例外除子分别对应于共凸与锥相关对象。

实验结果

研究问题

• RQ1 鉴于共凸体在奇点理论与局部代数几何时的作用，经典 Aleksandrov–Fenchel 不等式能否推广至共凸体？
• RQ2 共凸集中混合体积与整数点计数与凸几何中的全局不变量有何关系？
• RQ3 共凸与凸不变量之间对偶性的代数结构是什么？如何通过虚拟多面体形式化这一结构？
• RQ4 是否存在几何或代数原因，使得共凸 Aleksandrov–Fenchel 形式继承了凸情况的符号性质？
• RQ5 能否使用相同的虚拟多面体与对偶性框架，将凸多面体的 Ehrhart 对偶性推广至共凸体？

主要发现

• 共凸 Aleksandrov–Fenchel 不等式成立，当满足正交性条件时，$d$ 个共凸体的混合体积为非正，与凸情况一致。
• 该不等式通过证明共凸形式等价于在虚拟多面体上计算的凸形式，由经典凸 Aleksandrov–Fenchel 不等式推导而出。
• 虚拟多面体 $-\mathbb{I}_{A^{(1)}}$ 与 $\mathbb{I}_{C_{t_0}}$ 正交，这意味着 $B(-\mathbb{I}_{A^{(1)}}, -\mathbb{I}_{A^{(1)}}) \leq 0$，从而证明了共凸不等式。
• 通过混合体积的对偶性与虚拟凸体群的结构，建立了共凸体的 Ehrhart 对偶性。
• 共凸体中的整数点数量及其体积受与凸几何中相同原理的支配，全局不变量在奇点理论中可约化为局部不变量。
• 与代数几何（特别是 toric 代数簇与除子类）的类比，为理解共凸不变量作为交点理论的产物提供了概念性框架。