Volume polynomials

技术摘要：体积多项式

1. 问题陈述与背景
本文综述了体积多项式（volume polynomials）的理论，这是一类在凸几何、代数几何和组合数学中具有重要地位的显著对数凹多项式。其核心研究问题是实现问题（realization problem）：即确定哪些具有非负系数的齐次多项式可以被实现为特定几何或组合对象的体积多项式。

在凸几何中，闵可夫斯基定理（Minkowski's theorem）确立了闵可夫斯基和的体积随之呈多项式变化。该多项式的系数即为混合体积。本文研究了哪些此类多项式确实源自 $\mathbb{R}^d$ 中的实际凸体。在代数几何中，体积多项式通过射影簇上半正定除子的交数（intersection numbers）来定义。本文旨在刻画在这些语境下可实现的多项式集合，并理解它们与更广泛的洛伦兹多项式（Lorentzian polynomials）（由 Brändén 和 Huh 引入）之间的关系，后者满足极强的对数凹性性质。

2. 方法论与框架
本文综合运用了凸几何、代数几何和拟阵论（matroid theory）。关键方法论组成部分包括：

• 洛伦兹多项式： 本文利用洛伦兹多项式理论作为实现性的必要条件。如果一个多项式的系数为非负，且其偏导数满足特定的黑塞条件（最多只有一个正特征值），则称该多项式为洛伦兹多项式。
• M-凸性与广义置换多面体： 体积多项式的支撑集被证明是一个 M-凸集（M-convex set），这是离散凸分析中的一个概念，与拟阵和拟阵多面体的基相关。
• 实现空间： 本文分析了投影面积向量或同调类的“实现空间”，并刻画了此类空间何时非空。
• 线性算子与对偶性： 本文在微分算子作用于多项式环的框架内，引入了**协体积多项式（covolume polynomials）**作为体积多项式的对偶。研究了保持可实现的体积和协体积多项式集合的线性算子（如删除、收缩和极化）。
• 不等式： 分析高度依赖于基础不等式，包括用于混合体积的 Alexandrov–Fenchel 不等式以及用于射影簇上交数的 Khovanskii–Teissier 不等式。

3. 关键结果与贡献

3.1 投影体积的实现问题
本文对 $\mathbb{R}^4$ 中凸体投影面积的可实现性提供了完整的刻画。

• 定理 1.1 & 1.2： 一个由六个非负数组成的向量 $(p_{ij})$ 代表 $\mathbb{R}^4$ 中凸体的投影面积，当且仅当数值 $\sqrt{p_{12}p_{34}}, \sqrt{p_{13}p_{24}}, \sqrt{p_{14}p_{23}}$ 满足三角形不等式。该条件等价于 Grassmann 流形 $Gr(2,4)$ 在三角形超域（triangular hyperfield）上的 Plücker 关系式的有效性，或者等价于特定的对称矩阵最多只有一个正特征值。
• 高维情况： 本文针对 $\mathbb{R}^5$ 提出了猜想 1.6 和 1.7，建议投影体积矩阵的可实现性由特征值属性来刻画（对于到余维数为 2 的子空间的投影，最多有一个正特征值，且对于 2D 投影也有类似的条件）。脚注指出，虽然前向蕴含成立，但 $\mathbb{R}^5$ 的逆命题由于近期出现的针对朴素表述的反例，仍是一个开放问题。

3.2 代数实现与同调类
本文将这些问题扩展到射影情形，考虑 $(\mathbb{P}^1)^4$ 中不可约曲面的同调类。

• 定理 1.9： 一个非负有理数向量可以实现为同调类（在缩放意义下），当且仅当它满足与凸情形相同的三角形不等式。然而，本文指出由于整性以及定义方程的具体几何特性，代数情形存在额外的障碍（例如，类 $(1,1,1,1,1,3)$ 尽管满足三角形不等式，却无法实现）。
• 定理 1.10： 对于 $(\mathbb{P}^1)^5$，同调类的可实现性与相关对称矩阵最多有一个正特征值的条件相关联。

3.3 体积多项式的刻画

• 凸与洛伦兹： 本文确立了凸体的体积多项式集合是洛伦兹多项式的子集。对于 $d=2$（二次型）和 $n=2$（二元形式），这两个集合是重合的（Shephard 定理）。然而，对于 $d \ge 3$ 且 $n \ge 3$，这种包含关系是严格的。
• 反例： 本文给出了一个特定的三次多项式（示例 3.2），它是洛伦兹的，但不是凸体的体积多项式，该多项式源自反向 Khovanskii–Teissier 不等式。这为 Gurvits 关于强对数凹多项式的猜想提供了反例。
• 代数几何： 在域 $k$ 上可实现的体积多项式集合 $V_n^d(\mathbb{Q}, k)$ 被证明仅取决于 $k$ 的特征。本文证明了任何可实现体积多项式的子式（minor）也是可实现的。

3.4 协体积多项式与对偶性

• 定义： 协体积多项式定义为满足 $g(\partial) \circ x^{[\mu]}$ 为可实现体积多项式的多项式 $g(\partial)$。
• 刻画（定理 4.7）： 多项式 $g$ 是可实现的协体积多项式，当且仅当算子 $g(\partial)$ 将任何可实现的体积多项式映射为另一个可实现的体积多项式。
• 拟阵联系： 本文将这些多项式与**代数拟阵（algebraic matroids）**联系起来。命题 5.5 指出，一个拟阵多面体在 $k$ 上是代数的，当且仅当它是 $k$ 上可实现体积多项式的支撑集。这意味着代数拟阵类在取子式运算下是封闭的。

4. 重要性与主张
本文将体积多项式定位为连接对数凹性（洛伦兹多项式）的解析性质与混合体积及交数几何实现性的桥梁。

• 统一性： 它在洛伦兹多项式和 M-凸支撑集的共同框架下，统一了凸几何（投影面积）和代数几何（同调类）中的实现问题。
• 结构洞察： 通过确定体积多项式是洛伦兹多项式的子集，本文阐明了对数凹性作为几何实现充分条件的局限性。
• 新不等式： 体积多项式与协体积多项式的对偶性允许通过线性算子（例如作用在体积多项式上的 Schubert 多项式）导出关于混合体积和交数的新不等式。
• 开放问题： 本文强调了几个重要的开放问题，包括：
  • $\mathbb{R}^5$ 中实现性的完整刻画（猜想 1.6）。
  • 当 $d, n \ge 3$ 时，体积多项式集合是否依赖于域 $k$（猜想 3.8）。
  • 代数拟阵的对偶是否始终是代数的（问题 5.7）。
  • 解析体积多项式（在 Kähler 流形上）与代数体积多项式之间的关系。

作者指出，研究结果基于 2025 年夏季研究学院的讲座，旨在作为对该领域现有知识和研究方向的综述，而非全新的实验数据集合。这项工作依赖于并综合了以往文献（如 [HHM+], [BH20], [GHM+]）的研究成果，以提供一个连贯的理论图景。