(Positive) Quadratic Determinantal Representations of Quartic Curves and the Robinson Polynomial

技術的要約：「四次曲線の正の二次行列式表現とロビンソン多項式」

問題提起
本論文は、実非負の同次多項式に対する「正の二次行列式表現（positive quadratic determinantal representations）」の存在について扱っている。具体的には、次数 $2d$ の同次多項式 $F \in \mathbb{R}[x_0, x_1, x_2]$ が与えられたとき、$F$ が、成分が同次二次多項式である対称 $d \times d$ 行列 $M$ の行列式として表現可能か、すなわち、すべての $a \in \mathbb{R}^3$ に対して $M(a)$ が半正定値となるような表現が可能かどうかを調査している。

このような表現の存在は非負性を意味するが、その逆は、$d=3$（6次多項式）の場合において長年の未解決問題となっている。BuckleyとŠivic [BŠ20] は、特定の非負の6次多項式であるロビンソン多項式 $R$ を反例として提示し、答えが否定的なものであるという予想を立てた。また、Quarez [Qua15] により、4次（quartics）においては反例が存在することが知られていたが、それらの反例の幾何学的な性質については完全には特徴付けられていなかった。

手法
著者らは、行列式表現の構造を分析するために、代数幾何学、層理論（sheaf theory）、および計算代数学を組み合わせて用いている。

1. 層論的枠組み: 本論文は、行列式表現と曲線 $X = V(F)$ 上の連接層（coherent sheaves）との間の対応関係を利用している。二次表現は、$X$ 上の特定のコホモロジー条件（特にピカール群における2-捩れ点に関連するもの）を満たす線束 $L$ に対応する。
2. 特異点の分析（ロビンソン多項式）: ロビンソン多項式について、著者らはその零集合 $X$ の特異性を分析している。彼らは、$X$ が10個の実特異点を持つこと、およびその正規化が実部分を持たない種数0の曲線であることを確立している。また、$\text{Pic}(X)$ を計算し、それが $(\mathbb{Z}/2\mathbb{Z})^{10}$ に同型な大きな2-捩れ部分群を含むことを示している。
3. 表現型の分類: $\text{Pic}(X)$ における1024個の2-捩れ点を明示的に計算することにより、著者らは「表現型（representing types）」（特定の次数パターンを持つ行列）を分類している。彼らは、行列式表現自体は存在するものの、純粋に二次形式の成分を持つ型の中には、正定値行列を与えるものが存在しないことを示している。
4. 滑らかな四次曲線の解析: 滑らかな正の三変量四次式（$d=2$）に対して、著者らはヤコビ多様体 $J(C)$ 上のテータ特性（theta characteristics）とシュタイナー複体（Steiner complexes）の理論を利用している。彼らは、二次表現を次数 $2d-2$ の接触曲線（円錐曲線）へと関連付け、Dixonのアルゴリズムの構成的な適応を用いる。
5. 実構造と実性条件: 著者らは、ヤコビアン上の「実（real）」な因子類と「強実（strongly real）」な因子類を区別している。滑らかな正の四次式に対して、必要なコホモロジー条件を満たし、二次表現を生成する強実2-捩れ点が存在することを証明している。さらに、接触円錐の関わる実零集合のトポロジカルな型を分析することで、得られる行列が正定値であることを証明している。

主要な貢献と結果

• 定理 1.1（ロビンソン多項式における非存在）: 著者らは、ロビンソン多項式 $R$ が正の二次行列式表現を持たないことを証明した。これにより、BuckleyとŠivicの予想を裏付けた。この証明は、そのような表現が存在する場合、特定の線束に対応する $\text{Pic}(X)$ 内の2-捩れ点が必要となるが、すべてのそのような束を網羅的に分析した結果、得られる行列がいずれも至る所で半正定値にはならないという事実に依拠している。
• 定理 1.2（滑らかな四次式における存在）: 著者らは、すべての滑らかな正の三変量四次式が、正の二次行列式表現を持つことを証明した。この結果は重要であり、既知の反例（Quarezによるもの）は必然的に特異な平面曲線を定義しなければならないことを示している。
• 構成的アルゴリズム: 本論文は、実線形行列式表現が与えられたときに、正の二次表現を生成するための構成的な手法（アルゴリズム 3.8 および定理 3.26）を提供している。これには、ビット接線行列の計算、特定のシュタイナー複体の特定、および基底変換の適用が含まれる。
• 表現型の分類: 本論文は、ロビンソン多項式の表現型に関する詳細な分類を提供しており、より広い意味での二次表現（混合次数を持つもの）は存在するものの、厳密な二次形式のものは正定値条件を満たさないことを示している。

意義と主張
本論文は、ロビンソン多項式に関する具体的な問いに対し、この特定の反例に対する正の二次表現の存在に関する決定的な否定的な回答を与えることで、問題を解決したと主張している。

一般論に関しては、本書は鋭い幾何学的境界を確立している。正の二次行列式表現の失敗は、曲線の特異性と本質的に結びついている。滑らかな正の三変量四次式のクラスについては、そのような表現が常に存在することを証明しており、これによりこの特定の次数における「良好な」振る舞いを特徴付けている。

著者らは、控えめな予想（予想 4.1）を提示し、次数 $2d$ の正の二次行列式表現を持つ非負形式の集合は、すべての非負形式の集合の中で（ユークリッド位相に関して）稠密であると述べている。彼らは、この集合が（平方和の摂動によって示されるように）開近傍を含むことに触れているが、より高次におけるこの集合の範囲は依然として未解決の問題であるとしている。本論文は、$d \ge 3$ または高次の特異な曲線に関する一般の場合を解決すると主張しているのではなく、四次式において表現が存在する条件と、特定の六次式において失敗する条件を明確に描き出している。