Some Taylor varieties with null Hessian

技术摘要：具有零黑塞矩阵的某些泰勒簇

问题陈述
本文探讨了具有恒为零的黑塞行列式（$h_f \equiv 0$）的超曲面 $X = V(f) \subset \mathbb{P}^N$ 的分类问题。经典地，此类超曲面的特征是偏导数代数相关，这意味着高斯映射的秩非最大，且该簇是“切向退化”或“可展”的。虽然已知锥面具有此性质，但在 $N \geq 3$ 维空间中非锥面且黑塞矩阵为零的超曲面分类，是 P. Gordon 和 M. Noether 发起的一个经典问题。作者聚焦于一类特定的代数簇，即由 Conca、Naldi、Ottaviani 和 Sturmfels [CNOS23] 近期引入的泰勒簇（$T^n_{d,e,m}$）。这些簇源于 $n$ 个变量的有理函数的泰勒展开。先前的工作已确立，当 $m = d+1$ 时，泰勒簇具有零黑塞矩阵。本文的核心问题是研究 $m = d+2$ 的情况（特别是针对 $n=2$），以确定这些簇是否也能产生具有恒为零黑塞矩阵的非缺陷超曲面的新实例。

方法论
作者采用代数几何与线性代数技术的结合，核心在于与泰勒簇相关的帕德矩阵（Padé matrix）。

1. 泰勒簇与帕德矩阵：泰勒簇 $T^n_{d,e,m}$ 定义为映射 $\psi$ 的像的射影闭包，该映射将多项式对 $(P, Q)$ 映射到 $P/Q$ 的泰勒展开系数（直至 $m$ 阶）。该簇通过帕德矩阵 $P_T$ 的极大子式消失来描述。当 $T^n_{d,e,m}$ 是非缺陷超曲面时，其定义方程由 $f = \det(P_T)$ 给出。
2. 列运算与不变性：为了分析 $f$ 的黑塞矩阵，作者在帕德矩阵 $P_T$ 上引入了一组特定的初等列运算。他们利用辅助变量 $\lambda$，将块 $C_j$（对于 $j > d-e+2$）中的列替换为来自特定参考块 $C_{d-e+2}$ 的列的线性组合。
3. 微分与核分析：根据引理 4.2，这些运算保持行列式（即 $f$）不变。由于 $f$ 独立于辅助变量 $\lambda$，$f$ 关于 $\lambda$ 的偏导数必须为零。这一条件导出了一个涉及 $f$ 关于系数 $c_\gamma$ 的偏导数的线性方程组。
4. 汉克尔矩阵构造：这些线性关系被组织成一个汉克尔矩阵 $M$。作者证明了 $f$ 的偏导数向量位于 $M$ 的核中。通过分析 $M$ 的维数和变量数量，他们证明了 $M$ 的秩严格小于偏导数空间的维数。

主要贡献与结果

• 主要定理（定理 1.1）：作者证明，对于 $n=2$，泰勒簇 $T^2_{d,e,d+2}$（前提它是非缺陷超曲面）具有恒为零的黑塞矩阵（$h_f \equiv 0$）。
• 具体案例分析：本文详细分析了最小的非平凡例子 $T^2_{5,4,7}$（其中 $d=5, e=4, m=7$）。他们显式地构造了该情况下的 $15 \times 15$ 帕德矩阵，并证明了相关偏导数线性系统存在非平凡核，从而在不计算完整黑塞行列式的情况下证实了黑塞矩阵的消失。
• 一般性证明：第 4 节将用于具体案例的方法推广，以在非缺陷假设下证明任意 $d$ 和 $e$ 的结果。该证明依赖于表明极化映射（即 $f$ 的梯度）的像包含在一个由矩阵 $M$ 的极大子式消失所定义的真线性子空间中。
• 计算验证：作者提供了 Macaulay2 代码（第 5 节），用于构造帕德矩阵并验证特定参数选择下行列式的非奇异性，从而确保这些簇确实是超曲面。

意义与主张
本文声称提供了新的实例，即非缺陷且黑塞矩阵恒为零的非锥面超曲面。具体而言，它将 [CNOS23] 的已知结果（涵盖 $m=d+1$ 的情况）扩展到了双变量情况下的 $m=d+2$ 情形。

作者将他们的工作置于零黑塞超曲面分类的历史背景中，指出虽然存在 Perazzo 三次曲面和其他例子，但发现新的族具有重要意义。论文明确指出，这些泰勒簇提供了“具有零黑塞矩阵的簇的新来源”。其意义在于所使用的代数机制：作者证明了 $m=d+2$ 时帕德矩阵的特定结构本质上迫使定义多项式的偏导数之间产生代数相关性，从而保证了退化的高斯映射。本文并未声称解决所有维度或参数的完整分类问题，而是将其范围限制在证明该特定泰勒簇族具有零黑塞矩阵这一性质上。