Polynomials of minimal border rank

技术摘要：最小边界秩多项式

问题陈述
本文研究了在 $n$ 个变量、次数为 $d$ 的情形下，具有最小边界秩（minimal border rank）的齐次多项式的分类问题。一个多项式 $f$ 的 Waring 秩是表示 $f$ 为 $r$ 个线性形式的 $d$ 次幂之和所需的最小数量 $r$。边界秩（border rank）记作 $\text{brk}(f)$，是 $r$ 的最小值，其中 $f$ 位于由 Waring 秩为 $r$ 的多项式组成的集合的 Zariski 闭包内。一个多项式被称为“紧致的”（concise），如果它不能在经过线性坐标变换后用少于 $n$ 个变量来表达。由于紧致多项式的边界秩至少为 $n$，因此达到这一下界的多项式被称为具有“最小边界秩”。

虽然对于 $n \leq 5$ 的情况，Landsberg 和 Teitler [LT10] 已经对最小边界秩多项式进行了分类，但作者指出该分类存在误差。此外，对于 $n \geq 6$ 以及特定的低次数情况（$d < n-1$），这些多项式的行为仍不完整或尚不明确。本文旨在为 $d \geq n-1$ 条件下 $n \leq 7$（以及部分 $n=8, 9$）的情况提供修正且扩展的分类。

方法论
作者在最小边界秩多项式与特定代数结构——特别是可平滑 Gorenstein 代数（smoothable Gorenstein algebras）——之间建立了对应关系。该方法论依赖于三个关键的理论支柱：

1. 边界秩与可平滑秩（Border Rank and Smoothable Rank）： 基于 [BB14]，作者利用以下事实：当 $d \geq r-1$ 时，一个多项式的边界秩为 $r$，当且仅当它位于嵌入到 Veronese 簇中的次数为 $r$ 的可平滑方案（smoothable scheme）的线性跨度内。
2. 仙质极化（Cactus Apolarity）与 Gorenstein 代数： 定理 3.11（[JJ26] 中仙质极化引理的对称版本）指出，紧致张量中具有最小可平滑秩的张量恰好是 Gorenstein 代数的求值张量（evaluation tensors）。具体而言，一个紧致张量 $f \in S^d V$ 具有对称边界秩 $n$（其中 $\dim V = n$），当且仅当 $f$ 等价于一个 $n$ 维可平滑 Gorenstein 代数 $A$ 的求值张量 $\mu^{(d-1)}_A$。
3. 中心（Centroids）与代数恢复： 为了确保非同构代数与非等价多项式之间的一一对应关系，作者采用了张量中心的概念。命题 3.13 表明，对于 $d \geq 3$，一个代数 $A$ 的乘法张量的中心与 $A$ 本身是同构的。这使得从多项式中恢复代数成为可能。

作者利用了 Casnati [Cas10] 提供的最高至 7 维的有限维代数的分类。他们开发了一个算法（算法 4.3）来计算给定局部 Gorenstein 代数的迭代乘法张量（即求值张量）。该算法已在 Macaulay2 中实现。

主要贡献与结果

• $n \leq 7$ 的分类： 通过结合最小边界秩多项式与可平滑 Gorenstein 代数的对应关系，以及 [Cas10] 中的分类，作者对 $n \leq 7$ 且 $d \geq \max\{3, n-1\}$ 的所有最小边界秩多项式进行了分类。结果呈现在表 1 中，列出了 Gorenstein 代数的理想及其对应的多项式形式。
• 对前人工作的修正： 作者应用其基于中心（centroid-based）的验证算法对 [LT10, 定理 10.4] 中的分类（针对 $n=4$）进行了检查。他们证明了其中列出的两个多项式不满足必要条件（具体而言，它们未能通过中心维度测试，或者不是紧致的），从而修正了现有文献。
• $n \geq 8$ 的无穷族： 本文确立了对于 $n \geq 8$，存在无穷多个非同构的可平滑 Gorenstein 代数。因此，对于任何 $n \geq 8$ 且 $d \geq 3$，都存在无穷多个不等价的最小边界秩多项式。作者提供了一个源自平面三次曲线的极化代数的 8 变量无穷族多项式的显式实例（例 4.10）。
• 算法验证： 本文提供了一个实用的算法（命题 4.13）来验证一个给定的紧致多项式是否具有最小边界秩。该测试检查多项式是否为 1-生成（1-generic）（通过非零 Hessian 行列式判断），并检查其中心的维度是否至少为 $n$。
• 处理低次数情况： 作者指出，对于 $d < n-1$ 的情况（例如 $S^3 \mathbb{C}^5$），由于边界秩与可平滑秩可能不同，与可平滑代数的对应关系会失效。他们确定在这些区间内存在额外的最小边界秩多项式（例如备注 4.7 中的特定情况），并将这些剩余情况的完整分类留作未来工作。

意义与主张
本文声称通过将几何问题归约为 Gorenstein 代数的代数分类，解决了 $n \leq 7$ 的最小边界秩多项式的分类问题（除了特定的低次数情形，即可平滑秩与边界秩发生分歧的情况）。

作者强调，他们的方法修正了 Landsberg 和 Teitler [LT10] 奠基性工作中存在的错误，并将分类扩展到了 $n=6$ 和 $n=7$。此外，他们强调了一个关于维度计数的反直觉结果：虽然人们可能会预期对于固定的 $n$ 和 $d$，最小边界秩多项式的数量是有限的，但对于 $n \geq 8$ 的无穷多个 Gorenstein 代数的存在，意味着存在无穷多个不等价的最小边界秩多项式。

这项工作得到了包含 Macaulay2 代码的补充材料支持，该代码实现了从 Gorenstein 代数计算求值张量以及验证特定多项式的最小边界秩的功能。作者明确指出，对于剩余的 $d < n-1$ 的情况（具体为 $S^3 \mathbb{C}^5, S^3 \mathbb{C}^6, S^4 \mathbb{C}^6, S^3 \mathbb{C}^7, S^4 \mathbb{C}^7, S^5 \mathbb{C}^7$）的分类被留作未来的研究。