On complete intersection projective closures of monomial curves

技术摘要：单项式曲线的完全交集射影闭包

问题陈述
本文研究了仿射单项式曲线的射影闭包何时为完全交集（complete intersection）的条件。虽然仿射单项式曲线的完全交集性质已得到充分研究，但其射影闭包的行为则尚不明确。核心难点在于，仿射曲线的定义托里德理想（toric ideal）的齐次化可能会增加最小生成元的数量并改变其定义方程的结构。因此，一个仿形单项式曲线是完全交集，是其射影闭包也具有该性质的必要但不充分条件。本文专门针对四维仿射空间（$n=4$）中的单项式曲线，旨在为何时其射影闭包是完全交集以及何时是算术 Cohen–Macaulay（ACM）提供完整且显式的刻画。

方法论
分析依赖于对四维空间中单项式曲线 $C(\mathbf{a})$ 的仿射托里德理想 $I(\mathbf{a})$ 的最小二项式生成集的结构分类。作者利用度逆字典序（degree reverse lexicographic order）和 Gröbner 基技术来分析齐次化理想 $I_h(\mathbf{a})$。

关键方法步骤包括：

1. 结构分类： 利用定理 2.3，根据整数 $c_i$（使得 $c_i a_i \in \sum_{j \neq i} \mathbb{N}a_j$ 的最小正整数）之间的关系，将 $I(\mathbf{a})$ 的最小生成集分为三种不同的情形。
2. Gröbner 基分析： 针对每种结构情形，本文构造特定的二项式集合，并验证它们是否构成 $I(\mathbf{a})$ 以及随后构成 $I_h(\mathbf{a})$ 的 Gröbner 基。
3. 初始单项式分析： 本文应用 Buchberger 判别法和初始单项式的性质。具体而言，利用了这样一个事实：如果一组生成元的初始单项式两两互素，则该集合构成 Gröbner 基。
4. 算术 Cohen–Macaulay (ACM) 刻画： 本文采用了现有文献（特别是 [6, 定理 2.2]）中的判别准则，这些准则将 ACM 性质与初始单项式不被特定变量（取决于排序，通常为 $x_4$ 或 $x_1$）整除联系起来。

主要贡献与结果

本文根据仿射理想的三种结构情形，提供了射影闭包 $C(\mathbf{a}) \subset \mathbb{P}^4$ 是完全交集和/或为算术 Cohen–Macaulay 的充要条件：

• 情形 1： 仿射理想由 $\{x_2^{c_2} - x_1^{c_1}, x_3^{c_3} - x_4^{c_4}, x_1^{d_1}x_2^{d_2} - x_3^{d_3}x_4^{d_4}\}$ 生成。

  • 完全交集： 定理 2.4 和 2.6 确立了当 $d_2=c_2, d_3=c_3$ 或 $d_2=0, d_3=c_3$ 时，$I_h(\mathbf{a})$ 是完全交集。
  • ACM 性质： 定理 2.7, 2.9, 2.10 和 2.12 提供了涉及指数 $c_i$ 和 $d_i$ 的显式不等式，这些不等式是曲线为算术 Cohen–Macaulay 的充要条件。
  • 推论： 推论 2.8 和 2.13 表明在特定子情形下，ACM 性质等价于完全交集性质。

• 情形 2： 仿射理想由 $\{x_2^{c_2} - x_1^{c_1}, x_3^{c_3} - x_1^{c_1}, x_4^{c_4} - x_1^{d_1}x_2^{d_2}x_3^{d_3}\}$ 生成。

  • 完全交集： 定理 3.1, 3.8 和 3.12 提供了基于指数相对大小（例如 $d_2=c_2$ 且 $d_3=c_3$）以及整数 $c_i a_i$ 分解性质的判别标准。
  • ACM 性质： 定理 3.3 和 3.6 在 $d_2 < c_2$ 或 $d_3 < c_3$ 的子情形下刻画了 ACM 性质。
  • 无穷族： 命题 3.11 构造了无穷多个单项式曲线族，其中射影闭包是算术 Cohen–Macaulay 的，但其齐次托里德理想并非完全交集，且拥有任意大的最小生成元数量（$2n+2$）。这明确展示了在射影设置下，ACM 性质并不意味着完全交集性质。

• 情形 3： 仿射理想由 $\{x_2^{c_2} - x_1^{c_1}, x_3^{c_3} - x_1^{b_1}x_2^{b_2}, x_4^{c_4} - x_1^{d_1}x_2^{d_2}x_3^{d_3}\}$ 生成。

  • 完全交集： 定理 4.1, 4.3, 4.5, 4.7, 4.11 和 4.13 推导出了显式判别标准。这些条件通常涉及将整数 $c_3 a_3$ 和 $c_4 a_4$ 分解为序列 $\mathbf{a}$ 的线性组合的存在性，并受限于系数之和的约束。
  • 子情形： 结果区分了 $a_1$ 为最大元素、$a_3$ 为最大或 $a_4$ 为最大等场景，并根据 $c_3, b_1, b_2$ 与 $c_4, d_1, d_2, d_3$ 之间的关系进一步细分。

意义与主张

本文声称提供了对四维仿射空间中完全交集仿射单项式曲线的射影闭包的完全且显式的完全交集性质刻画。以往的工作（例如 [1], [2]）仅处理了特定的族或单纯形情形，留下了通用的分类空白。

作者强调，该方法结合了详细的生成元分析与 Gröbner 基技术，以解决由齐次化引起的结构变化。一个重要的发现是，本文构造了一些射影闭包是算术 Cohen–Macaulay 但未能成为完全交集的族，从而突显了这两个代数性质在射影设置下的独立性。

本文承认，虽然在情形 1 中实现了对算术 Cohen–Macaulay 性质的完整刻画，并在情形 2 中实现了部分刻画，但情形 2 和情形 3 的完整刻画仍是一个开放性问题。研究结果以基于仿射托里德理想最小二项生成元的显式判别准则形式呈现，为确定这些曲线的几何与代数性质提供了具体的工具。