Real-rootedness of the Poincaré polynomials of $\overline{\mathcal M}_{0,n}$: an AI-assisted proof

技术摘要：$\mathcal{M}_{0,n}$ 庞加莱多项式的实根性

问题陈述
本文探讨了 Aluffi–Chen–Marcolli 关于稳定 $n$ 点有理曲线的 Deligne–Mumford 模空间 $\mathcal{M}_{0,n}$ 拓扑性质的猜想。研究的核心对象是庞加莱多项式 $P_n(t) = \sum_{i=0}^{n-3} b_{n,i} t^i$，其中 $b_{n,i} = \dim H^{2i}(\mathcal{M}_{0,n}; \mathbb{Q})$ 为贝蒂数。尽管这些系数的单峰性和对数凹性已知或已被猜想，但更强的实根性性质（即 $P_n(t)$ 的所有根均为实数）此前尚未得到证明。作者旨在证明：对于每个 $n \geq 3$，$P_n(t)$ 仅具有实根；具体而言，当 $n \geq 4$ 时，它具有 $n-3$ 个简单的负根。

方法论
证明并未直接沿用 Keel、Manin 和 Getzler 导出的关于 $P_n(t)$ 的标准单变量递推关系：
$$P_n(t) = (1+t)P_{n-1}(t) + t \sum_{j=3}^{n-2} \binom{n-2}{j-1} P_j(t) P_{n+1-j}(t).$$
相反，作者引入了一个双变量形变 $F_m(y, t)$，其递归定义如下：
$$F_{m+1}(y, t) = (my - m + 1)F_m(y, t) + y(y + t - 1)\partial_y F_m(y, t),$$
初始条件为 $F_1(y, t) = 1$。该形变的构造使得原多项式可通过切片恢复，即 $F_m(1, t) = P_{m+1}(t)$。

论证的核心在于分析固定参数 $t < 0$ 时，$F_m(y, t)$ 作为 $y$ 的多项式的根。作者确立了以下结论：

1. Sturm 结构：对于固定的 $t < 0$，$F_m(y, t)$ 在区间 $(0, 1-t)$ 内的根是简单的且可排序。通过引入正权重函数 $w_m(y)$，递推关系被转化为导数恒等式：
   $$\frac{d}{dy} \left( w_m(y) F_m(y, t) \right) = - \frac{w_m(y)}{y(1-t-y)} F_{m+1}(y, t).$$
   这使得可以应用罗尔定理来证明 $F_{m+1}$ 的根在区间 $(0, 1-t)$ 内与 $F_m$ 的根相互交错。
2. 根分支分析：作者追踪了正根 $r_i(t)$ 的连续分支随 $t$ 从 $0^-$ 变化至 $-\infty$ 的情况。
   • 当 $t \to 0^-$ 时，所有正根均位于 $y=1$ 下方。
   • 当 $t \to -\infty$ 时，所有正根均趋向于 $+\infty$（位于 $y=1$ 上方）。
   • 由连续性可知，这 $n-3$ 个正根分支中的每一个必须至少穿过切片 $y=1$ 一次。
3. 次数计数：由于 $P_n(t)$ 的次数为 $n-3$，且恰好有 $n-3$ 个分支穿过 $y=1$，因此每个分支恰好穿过一次。这些穿越点精确对应于 $P_n(t)$ 的根。
4. 交错性：分支的排序 $r_1(t) < r_2(t) < \dots$ 意味着穿越时间（即 $P_n$ 的根）与 $P_{n+1}$ 的根相互交错，从而确立了严格的交错性。

主要贡献与结果

• 定理 1.1：证明了对于每个 $n \geq 3$，庞加莱多项式 $P_n(t)$ 仅具有实根。对于 $n \geq 4$，这些是位于 $(-\infty, 0)$ 内的 $n-3$ 个单根。
• 定理 1.2（严格交错）：确立了 $P_n(t)$ 与 $P_{n+1}(t)$ 的根严格交错。
• 推论 1.3：作为实根性和牛顿不等式的推论，贝蒂数序列 $\{b_{n,i}\}$ 是超对数凹的。
• 推广至 Fulton–MacPherson 空间：作者将相同的形变策略应用于 Fulton–MacPherson 紧化 $\mathbb{P}^1[n]$ 的庞加莱多项式，证明了其实根性和超对数凹性（定理 5.1，推论 5.2）。
• AI 辅助工作流：该证明是利用名为"Co-Mathematician"的代理 AI 系统的迭代工作流开发的。人类作者提出问题、评估合理性、识别缺口（例如需要证明端点行为并去除单调性的启发式假设），并构建了最终的严格证明。AI 的主要贡献在于发现了特定的双变量形变 $F_m(y, t)$，以及将递推关系提升为 Sturm 型问题的结构洞察。

意义
本文声称，引入双变量形变 $F_m(y, t)$ 是论证的“核心”，它揭示了原始单变量递推关系中不可见的隐藏交错结构。该形变将非线性卷积递推转化为一个单参数族，使得可以通过 Sturm–罗尔论证来控制实零点的移动。

该结果的意义体现在两个方面：

1. 结构洞察：它解决了 Aluffi–Chen–Marcolli 猜想，确认了 $\mathcal{M}_{0,n}$ 的拓扑由仅具有实根的多项式序列所支配，这意味着贝蒂数具有强组合性质（超对数凹性）。
2. 方法论示范：本文作为 AI 辅助数学研究的案例研究，展示了 AI 系统能够识别非平凡的结构形变和证明中的“缺口”，充当“共同数学家”的角色，将启发式论证迭代地 refine 为严格定理。作者强调，AI 的作用不仅仅是符号操作，而是识别出引导人类验证过程的“真正的新思想”（即该形变）。

本文并未提出超出数学结果本身的新实验应用或未来影响，并指出虽然贝蒂序列渐近地是 3-超对数凹的，但它不是 4-超对数凹的，这表明零点位置存在特定的模式，值得进一步研究。