Polynomials of minimal border rank

技術要約：最小境界ランクを持つ多項式

問題提起
本論文は、$n$ 変数、次数 $d$ の最小境界ランクを持つ斉次多項式の分類について扱う。多項式 $f$ のワリング・ランク（Waring rank）とは、$f$ を線形形式の $d$ 乗の和として表す際の最小の数 $r$ である。境界ランク（border rank）は $\text{brk}(f)$ と表記され、多項式 $f$ がワリング・ランク $r$ の多項式の集合のザリスキー閉包に含まれる最小の $r$ である。多項式は、座標の線形変換によって $n$ より少ない変数で表現できない場合、「簡潔（concise）」であると言われる。簡潔な多項式は少なくとも $n$ 以上の境界ランクを持つため、この下限値を達成するものは「最小境界ランク」を持つと言われる。

$n \leq 5$ における最小境界ランク多項式は、Landsberg と Teitler [LT10] によって以前に分類されているが、著者らはこの分類に不正確さが含まれていると指摘している。さらに、$n \geq 6$ および特定の低次数（$d < n-1$）の場合の挙動は、未完了であるか不明確なままであった。本論文の目的は、$d \geq n-1$ という条件下での $n \leq 7$（および $n=8, 9$ の一部）に対する、修正および拡張された分類を提供することである。

手法
著者らは、最小境界ランク多項式と特定の代数的構造、具体的には**平滑可能なゲーレンシュタイン代数（smoothable Gorenstein algebras）**との間の対応関係を確立する。その手法は、以下の3つの主要な理論的柱に基づいている。

1. 境界ランクと平滑可能ランク： [BB14] に基づき、著者らは、$d \geq r-1$ のとき、多項式が境界ランク $r$ を持つことは、それが Veronese 多項式多様体に埋め込まれた次数 $r$ の平滑可能なスキームの線形スパンに含まれることと同値であるという事実を利用する。
2. カクタス・アポラリティ（Cactus Apolarity）とゲーレンシュタイン代数： 定理 3.11（[JJ26] のカクタス・アポラリティ・レマの対称版）は、簡潔なテンソルの中で最小の平滑可能ランクを持つものは、まさにゲーレンシュタイン代数の評価テンソルである。具体的には、簡潔なテンソル $f \in S^d V$ が対称境界ランク $n$（ここで $\dim V = n$）を持つための必要十分条件は、$f$ が平滑可能な $n$ 次元ゲーレンシュタイン代数 $A$ の評価テンソル $\mu^{(d-1)}_A$ と同値であることである。
3. 重心（Centroids）と代数の復元： 非同型な代数と非同値な多項式の間の一対一の対応を保証するために、著者らはテンソルの**重心（centroid）**という概念を用いる。命題 3.13 は、代数 $A$ の乗法テンソルの重心は $A$ 自体と同型であることを示している。これにより、多項式から代数を復元することが可能となる。

著者らは、Casnati [Cas10] による次元 7 までの有限次元代数の分類を活用している。また、局所ゲーレンシュタイン代数から反復乗法テンソル（評価テンソル）を計算するためのアルゴリズム（Algorithm 4.3）を開発した。このアルゴリズムは Macaulay2 で実装されている。

主な貢献と結果

• $n \leq 7$ の分類： 最小境界ランク多項式と平滑可能なゲーレンシュタイン代数との間の対応関係と [Cas10] の分類を組み合わせることで、著者らは $d \geq \max\{3, n-1\}$ における $n \leq 7$ 変数のすべての最小境界ランク多項式を分類した。結果は、ゲーレンシュタイン代数のイデアルと対応する多項式の形式を列挙した表 1 に示されている。
• 先行研究の修正： 著者らは、重心ベースの検証アルゴリズムを [LT10, Theorem 10.4]（$n=4$ の場合）の分類に適用した。そして、そこに記載されている2つの多項式が必要な条件を満たしていない（具体的には、重心次元テストに失敗しているか、あるいは簡潔ではない）ことを示し、既存の文献を修正した。
• $n \geq 8$ における無限族： 本論文は、$n \geq 8$ の場合、非同型な平滑可能なゲーレンシュタイン代数が無限に存在することを確立している。したがって、任意の $n \geq 8$ および $d \geq 3$ に対して、非同値な最小境界ランク多項式が無数に存在する。著者らは、平面三次曲線のアポラー代数から導出された、8 変数におけるこのような無限族の具体的な例を提示している（Example 4.10）。
• アルゴリズムによる検証： 本論文は、与えられた簡潔な多項式が最小境界ランクを持つかどうかを検証するための実用的なアルゴリズム（Proposition 4.13）を提供している。このテストは、多項式が 1-generic であるか（非零のヘッセ行列を介して）を確認し、その重心の次元が $n$ 以上であることを確認する。
• 低次数の扱い： 著者らは、$d < n-1$ の場合（例：$S^3 \mathbb{C}^5$）、平滑可能な代数との対応関係が崩れる（境界ランクと平滑可能ランクが異なる可能性がある）ことに注意を向けている。彼らは、これらの領域において追加の最小境界ランク多項式が存在することを特定しており（例：Remark 4.7 の特定の場合）、これらの残りのケースの完全な分類は今後の課題として残している。

意義と主張
本論文は、幾何学的な問題をゲーレンシュタイン代数の代数的分類へと還元することにより、$n \leq 7$（平滑可能ランクと境界ランクが乖離する特定の低次数ケースを除いて）の最小境界ランク多項式の分類を解決したと主張している。

著者らは、彼らのアプローチが Landsland と Teitler [LT10] の画期的な研究における不正確さを修正し、分類を $n=6$ および $n=7$ まで拡張したことを強調している。さらに、次元のカウントに関する直感に反する結果についても強調している。固定された $n$ と $d$ に対して最小境界ランク多項式は有限個であると予想されがちだが、$n \geq 8$ におけるゲーレンシュタイン代数の無限族の存在は、無数の非同値な最小境界ランク多項式が存在することを意味している。

本研究は、ゲーレンシュタイン代数から評価テンソルを計算し、特定の多項式の最小境界ランクを検証する計算を実装する Macaulay2 コードを含む補足資料によって支持されている。著者らは、$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$）の分類は将来の研究のために残されていることを明記している。