On complete intersection projective closures of monomial curves

技術要約：単項式曲線における射影閉包の完全交差性

問題設定
本論文は、アフィン単項式曲線の射影閉包が完全交差（complete intersection）となる条件を調査するものである。アフィン単項式曲線に関する完全交差性は十分に確立されているが、その射影閉包の振る舞いは十分に理解されていない。中心的な困難は、アフィン曲線の定義となるトーリックイデアルの同次化が、生成元の最小数を増加させ、定義方程式の構造を変化させる可能性がある点にある。したがって、アフィン単項式曲線が完全交差であることは、その射影閉包がこの性質を共有するための必要条件ではあるが、十分条件ではない。本論文は、4次元アフィン空間（$n=4$）における単項式曲線を標的とし、それらの射影閉包がいつ完全交差となり、いつ算術的コーエン・マコーレー（arithmetically Cohen–Macaulay; ACM）となるかについて、完全かつ明示的な特徴付けを行うことを目的としている。

手法
分析は、$\mathbb{A}^4$における単項式曲線 $C(\mathbf{a})$ のアフィン・トーリックイデアル $I(\mathbf{a})$ の最小二項生成集合の構造的分類に基づいている。著者は、次数逆辞書式順序（degree reverse lexicographic order）とグレブナー基底の手法を用いて、同次化されたイデアル $I_h(\mathbf{a})$ を分析する。

主な手法の手順は以下の通りである：

1. 構造的分類： 定理2.3を活用し、$I(\mathbf{a})$ の最小生成集合を、整数 $c_i$（$c_i a_i \in \sum_{j \neq i} \mathbb{N}a_j$ を満たす最小の正の整数）の関係に基づく3つの異なるケースに分類する。
2. グレブナー基底分析： 各構造的ケースにおいて、特定の二項式の集合を構築し、それらが $I(\mathbf{a})$ のグレブナー基底であるか、さらには $I_h(\mathbf{a})$ のグレブナー基底であるかを確認する。
3. 初期単項式分析： ブッフベルガーのアルゴリズム（Buchberger's criterion）と初期単項式の性質を適用する。具体的には、生成集合の初期単項式が互いに素である場合、その集合はグレブナー基底を形成するという事実を利用する。
4. 算術的コーエン・マコーレー（ACM）の特徴付け： 既存の文献（具体的には [6, Theorem 2.2]）から、ACM特性と初期単項式が特定の変数（順序に応じて $x_4$ または $x_1$）によって割り切れないこととの関連性を利用する。

主要な貢献と結果

本論文は、アフィン・イデアルの3つの構造的ケースごとに、射影閉包 $C(\mathbf{a}) \subset \mathbb{P}^4$ が完全交差である、および／または算術的コーエン・マレーであるための必要十分条件を提示している。

• ケース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$ に関する明示的な不等式を提供している。
  • 系： 系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は、射影閉包が算術的コーエン・マレーであるが、同次トーリックイデアルは完全交差ではなく、任意の数の最小生成元（$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は、明示的な基準を導出している。これらの条件は多くの場合、係数の和に関する制約の下での、数列 $\mathbf{a}$ への $c_3 a_3$ および $c_4 a_4$ の特定の分解の存在に関わる。
  • サブケース： 結果は、$a_1$ が最大要素である場合、$a_3$ が最大である場合、$a_4$ が最大である場合を区別し、さらに $c_3, b_1, b_2$ と $c_4, d_1, d_2, d_3$ の関係に基づいて細分化している。

意義と主張

本論文は、4次元アフィン空間における完全交差・アフィン単項式曲線の射影閉包の完全交差特性について、最初で完全かつ明示的な特徴付けを提供することを主張している。先行研究（例：[1], [2]）は、特定の族や単体（simplicial）の場合のみを扱っており、一般的な分類には空白を残していた。

著者は、詳細な生成元分析とグレブナー基底の手法を組み合わせることで、同次化によって誘発される構造的変化を解決していることを強調している。重要な知見は、射影閉包が算術的コーエン・マレーであるが完全交差にはならない一族を構成したことであり、これは射影的な設定におけるこれら2つの代数的性質の独立性を浮き彫りにしている。

本論文は、ケース1において算術的コーエン・マレー特性の完全な特徴付けが達成され、ケース2において部分的に達成されている一方で、ケース2およびケース3の完全な特徴付けは依然として未解決の問題であることを認めている。結果は、アフィン・トーリックイデアルの最小二項生成元を用いて表現された明示的な基準として提示されており、これらの曲線の幾何学的および代数的特性を決定するための具体的なツールを提供している。