[论文解读] Positivity of valuations on convex bodies and invariant valuations by linear actions

Nguyen-Bac Dang, Jian Xiao|arXiv (Cornell University)|Sep 25, 2017

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

一句话总结

本论文通过最优传输导出的几何不等式，建立了一种基于范数的卷积算子在凸体上连续平移不变泛函上的新扩展，实现了对闵可夫斯基存在性定理变体的证明，并推广了复动力系统中线性作用与特征子空间的结果。关键贡献在于提出了一种不依赖波前理论的方法，通过巴拿赫空间完备化将卷积算子扩展至非光滑泛函。

ABSTRACT

In this paper, we endow the space of continuous translation invariant valuation on convex sets generated by mixed volumes coupled with a suitable Radon measure on tuples of convex bodies with two appropriate norms. This enables us to construct a continuous extension of the convolution operator on smooth valuations to non-smooth valuations, which are in the completion of the spaces of valuations with respect to these norms. The novelty of our approach lies in the fact that our proof does not rely on the general theory of wave fronts, but on geometric inequalities deduced from optimal transport methods. We apply this result to prove a variant of Minkowski's existence theorem, and generalize a theorem of Favre-Wulcan and Lin in complex dynamics over toric varieties by studying the linear actions on the Banach spaces of valuations and by studying their corresponding eigenspaces.

研究动机与目标

• 将卷积算子从光滑泛函扩展至非光滑、连续平移不变的凸体泛函。
• 通过泛函空间的新范数完备化，建立混合体积的闵可夫斯基存在性定理变体。
• 通过分析泛函空间上的线性作用及其不变特征子空间，推广法布雷-武尔坎与林在复动力系统中的结果。
• 构建一个研究线性作用下泛函正性和不变性的框架，无需依赖波前理论。
• 利用几何不等式刻画$\pi$-正泛函锥在范数拓扑下的闭包。

提出的方法

• 在由混合体积和拉东测度生成的泛函空间上引入两个范数$||\cdot||_{\mathcal{P}}$与$||\cdot||_{\mathcal{C}}$。
• 通过构造巴拿赫空间完备化$\mathcal{V}^{\mathcal{P}}$与$\mathcal{V}^{\mathcal{C}}$，将卷积算子扩展至非光滑泛函。
• 利用最优传输理论导出的质量传输估计建立几何不等式，以替代波前分析。
• 证明$\mathcal{P}$-正泛函锥$\mathcal{P}_{n-1}$的弱闭包与范数闭包重合，使用迪斯坎特不等式与序列紧致性。
• 通过研究谱性质与特征子空间，分析$\mathrm{GL}(E)$在泛函空间上的作用，尤其关注动力度数。
• 应用霍奇理论与双线性型论证，证明在复动力系统背景下不变类的极值性与唯一性。

实验结果

研究问题

• RQ1 卷积算子能否在不使用波前理论的前提下，连续地从光滑泛函扩展至非光滑、连续平移不变泛函？
• RQ2 $\mathcal{P}$-正泛函锥在范数拓扑下的闭包结构是什么？其与混合体积有何关系？
• RQ3 如何利用泛函空间的新范数完备化证明闵可夫斯基存在性定理的变体？
• RQ4 凸体上线性作用的动力度数与相应泛函空间上线性算子的特征值之间有何关系？
• RQ5 在何种条件下，toric代数簇伪有效锥中的不变类是极值或唯一的？

主要发现

• 卷积算子可通过最优传输不等式而非波前分析，连续地扩展至范数$||\cdot||_{\mathcal{P}}$下的泛函空间完备化$\mathcal{V}^{\mathcal{P}}$。
• $\mathcal{P}$-正泛函锥$\mathcal{P}_{n-1}$的弱闭包与范数闭包重合，意味着所有$\mathcal{P}_{n-1}$-值序列的弱极限仍属于$\mathcal{P}_{n-1}$。
• 证明了闵可夫斯基存在性定理的变体，表明在完备化空间$\mathcal{V}^{\mathcal{P}}$中，混合体积方程的解存在且紧致。
• 对于泛函空间上的线性作用，诱导算子的谱半径与该作用的动力度数相关。
• 在toric代数簇的复动力系统中，若$d_1^2 > d_2$，则伪有效锥中的不变$(1,1)$-类在缩放意义下唯一，且位于极射线上。
• 两个不变类$\Theta_1, \Theta_2 \in \overline{\mathcal{P}}_1$在与$\omega^{n-2}$收缩时乘积为零，表明交形式退化，进而通过霍奇-罗宾逊关系推出极值性与唯一性。