[论文解读] The Alexandrov-Fenchel type inequalities, revisited

Ping Li|arXiv (Cornell University)|Oct 2, 2017

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

一句话总结

本文对凸几何、矩阵理论和复代数几何中的亚历山德罗夫-芬克尔斯坦型不等式进行了全面的比较分析，完整刻画了紧致凯勒流形上拟正与大类的交数等号成立的条件。文章提出了混合判别式不等式的复赫米特版本，并建立了满足AF型条件的双线性型的一般行列式不等式，通过霍奇理论与上同调正性所根植的共同结构原理，统一了不同数学领域。

ABSTRACT

Various Alexandrov-Fenchel type inequalities have appeared and played important roles in convex geometry, matrix theory and complex algebraic geometry. It has been noticed for some time that they share some striking analogies and have intimate relationships. The purpose of this article is to shed new light on this by comparatively investigating them in several aspects. \emph{The principal result} in this article is a complete solution to the equality characterization problem of various Alexandrov-Fenchel type inequalities for intersection numbers of nef and big classes on compact Kähler manifolds, extending some earlier related results. In addition to this central result, we also give a geometric proof of the complex version of the Alexandrov-Fenchel inequality for mixed discriminants and a determinantal generalization of various Alexandrov-Fenchel type inequalities.

研究动机与目标

• 在凸几何、矩阵理论和复代数几何之间统一并比较亚历山德罗夫-芬克尔斯坦型不等式。
• 解决紧致凯勒流形上拟正与大类交数等号成立条件的长期悬而未决问题。
• 提供复赫米特版本混合判别式不等式的全新、详尽证明，该结果此前在一般情形下尚未完整记录于文献。
• 将AF型不等式推广至欧氏空间中闭锥上抽象双线性函数的行列式形式。
• 建立一个几何框架，将霍奇-罗杰斯关系、混合霍奇指标定理与交论理论中出现的对数凹序列联系起来。

提出的方法

• 利用混合霍奇-罗杰斯双线性关系与混合霍奇指标定理，在紧致凯勒流形上推导不等式。
• 将代数几何背景下的AF型不等式（来自[Li16]）应用于新证明复赫米特混合判别式不等式。
• 引入一个关于满足AF型不等式的闭锥上双线性函数的一般行列式不等式（定理3.5），其参数为正整数 $ r $。
• 通过上同调类的归纳法证明主要等号刻画结果（定理3.9），依赖于 $(n-1,n-1)$-类的成比例性。
• 利用上同调正性和拟正与大类的结构，通过楔积的零化分析等号条件。
• 应用霍奇指标定理与凯勒类性质，将问题约化为上同调成比例条件。

实验结果

研究问题

• RQ1 在紧致凯勒流形上，涉及拟正与大类交数的亚历山德罗夫-芬克尔斯坦型不等式的精确等号条件是什么？
• RQ2 鉴于该复赫米特版本的混合判别式不等式在文献中尚无完整记录，如何严谨推导并证明其成立？
• RQ3 AF型不等式能否推广至满足所需正性和凹性条件的抽象双线性函数的行列式形式？
• RQ4 混合体积、混合判别式与凯勒交数不等式的等号情形之间存在何种关系？
• RQ5 霍奇理论原则在多大程度上统一了这些看似迥异的数学领域中的等号刻画？

主要发现

• 本文完整解决了涉及紧致凯勒流形上拟正与大类的亚历山德罗夫-芬克尔斯坦型不等式等号刻画问题，拓展了Bouchot、Favre、Jonsson与Fu、Xiao的先前结果。
• 建立了并详尽证明了混合判别式不等式的复赫米特版本，填补了文献中尽管专家已知但尚未完整记录的空白。
• 证明了闭锥上双线性函数的一般行列式不等式（定理3.5），当 $ r=1 $ 时恢复原始AF不等式，而 $ r=2 $ 对主要等号结果至关重要。
• 在 $ m=2 $ 的情形下，等号成立当且仅当两个 $(n-1,n-1)$-类 $ \gamma_1 \wedge \gamma_3 \wedge \cdots \wedge \gamma_n $ 与 $ \gamma_2 \wedge \gamma_3 \wedge \cdots \wedge \gamma_n $ 在 $ H^{n-1,n-1}(M;\mathbb{R}) $ 中成比例，前提为类为拟正与大类。
• 对于一般 $ m $-重不等式（定理7.1），等号成立当且仅当通过剔除前 $ m $ 个类中任意一个所形成的全部相关 $(n-1,n-1)$-上同调类彼此成比例。
• 主要结果的证明依赖于归纳论证：假设在 $ m-1 $ 情形下等号成立，可推出 $ m $ 情形下的成比例性，最终归结为上同调的零化与成比例性。