2025-11-14T03:46:11.111099

Toward a salmon conjecture

Bates, Oeding

By using a result from the numerical algebraic geometry package Bertini we show that (up to high numerical accuracy) a specific set of degree 6 and degree 9 polynomials cut out the secant variety $Ï_{4}(\mathbb{P}^{2}\times \mathbb{P} ^{2} \times \mathbb{P} ^{3})$. This, combined with an argument provided by Landsberg and Manivel (whose proof was corrected by Friedland), implies set-theoretic defining equations in degrees 5, 6 and 9 for a much larger set of secant varieties, including $Ï_{4}(\mathbb{P}^{3}\times \mathbb{P} ^{3} \times \mathbb{P} ^{3})$ which is of particular interest in light of the salmon prize offered by E. Allman for the ideal-theoretic defining equations.

academic

サーモン予想に向けて

基本情報

論文ID: 1009.6181
タイトル: Toward a salmon conjecture
著者: Daniel J. Bates, Luke Oeding
分類: math.AG (代数幾何)
発表日: 2011年2月2日 (arXivバージョン)
論文リンク: https://arxiv.org/abs/1009.6181

要約

数値代数幾何ソフトウェアパッケージBertiniの計算結果を用いることで、著者らは(高い数値精度下で)特定の6次および9次多項式の集合が割線多様体 $\sigma_4(\mathbb{P}^2 \times \mathbb{P}^2 \times \mathbb{P}^3)$ を定義することを証明した。LandsbergとManielが提供した論証(証明はFriedlandにより修正)と組み合わせることで、より広い範囲の割線多様体( $\sigma_4(\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3)$ を含む)に対して、5次、6次および9次の集合論的定義方程式が存在することが示唆される。これはE. Allmanが提起したイデアル論的定義方程式に関するサーモン賞に特別な意義を持つ。

研究背景と動機

核心問題

本論文が解決しようとする核心問題は、割線多様体 $\sigma_4(\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3)$ の定義イデアルを決定することであり、これはE. Allmanが2007年に提起した「サーモン賞」問題である。

重要性

理論的意義: 割線多様体は代数幾何における古典的研究対象であり、その定義方程式の決定はテンソルの境界秩の理解に重要な意義を持つ
応用価値: 系統発生学において、この割線多様体は進化の独立性モデルの混合モデルと関連している
普遍性: AllmanとRhodesは、この小さな進化木の多項式不変量を見つけることが、任意の二値進化木の統計モデルのすべての多項式不変量を提供することを証明した

既存方法の限界

Friedlandは最近、5次、9次および16次多項式の集合が $\sigma_4(\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3)$ を集合論的に定義することを証明したが、より高い次数の方程式を使用した
イデアル論的バージョンの問題は未解決のままである
効果的なメンバーシップテスト方法が欠けている

核心的貢献

より低い次数の集合論的定義方程式を提供: $\sigma_4(\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3)$ が5次、6次および9次方程式により集合論的に定義されることを証明し、Friedlandの結果よりも低い次数を使用している
重要な予想を数値的に検証: Bertiniソフトウェアパッケージを用いて予想3.8を検証した。すなわち、6次方程式の零点集合が正確に目標割線多様体と特定の部分空間多様体の和集合であることを確認した
具体的な多項式基を構成: 関連するSchur加群の具体的な多項式基の構成方法を提供した
イデアル論的バージョンの予想を提起: 計算結果に基づいて「サーモン予想」を提起し、イデアル論的バージョンも成立することを主張している

方法の詳細

タスク定義

割線多様体 $\sigma_4(\mathbb{P}^a \times \mathbb{P}^b \times \mathbb{P}^c)$ の集合論的および理想論的定義方程式を決定すること。特に $a=b=c=3$ の場合を対象とする。

核心的方法アーキテクチャ

1. 表現論的方法

$GL(A) \times GL(B) \times GL(C)$ の対称性を利用して、斉次多項式空間を既約加群の直和に分解する： $S^d(A^* \otimes B^* \otimes C^*) = \bigoplus_{|\pi_1|=|\pi_2|=|\pi_3|=d} (S^{\pi_1}A^* \otimes S^{\pi_2}B^* \otimes S^{\pi_3}C^*)^{\oplus m_{\pi_1,\pi_2,\pi_3}}$

2. 重要な加群の同定

6次加群: $M_6 = S^{(2,2,2)}A^* \otimes S^{(2,2,2)}B^* \otimes S^{(3,1,1,1)}C^*$
5次加群: $M_5 = S^{(3,1,1)}A^* \otimes S^{(2,1,1,1)}B^* \otimes S^{(2,1,1,1)}C^* \oplus \cdots$
9次加群: $M_9 = S^{(3,3,3)}A^* \otimes S^{(3,3,3)}B^* \otimes S^{(3,3,3)}C^*$

3. 継承原理

Landsberg-Manielの継承原理を使用して、 $\sigma_4(\mathbb{P}^2 \times \mathbb{P}^2 \times \mathbb{P}^3)$ の方程式をより高次元の場合に拡張する。

技術的革新点

1. 数値代数幾何的方法

純粋数学の理論問題を検証するためにBertiniソフトウェアパッケージの数値的方法を初めて使用し、計算方法の純粋数学研究における有効性を示した。

2. 多項式構成アルゴリズム

Young図の充填からSchur加群内の多項式を構成する具体的なアルゴリズムを提供する：

最高ウェイトベクトルの構成
Young対称化子の適用
再順序付け同型写像
対称化による斉次多項式の取得

3. 幾何学的論証と数値検証の結合

古典的な幾何学的論証と現代的な数値計算を組み合わせ、理論的予想に強力な数値的証拠を提供する。

実験設定

計算環境

ハードウェア: 8プロセッサ(2つの2.66 GHz四核Xeon 5410s)
ソフトウェア: Bertini数値代数幾何ソフトウェアパッケージ
計算時間: 約2週間
精度制御: 追跡および最終許容差を $10^{-10}$ 以下に設定

重要な計算

計算4.1: $M_6$ の零点集合がちょうど2つの既約成分を持つことを検証：

次元31、次数345の成分( $\sigma_4(\mathbb{P}^2 \times \mathbb{P}^2 \times \mathbb{P}^3)$ に対応)
次元29、次数84の成分( $\text{Sub}_{3,3,3}$ に対応)

信頼性制御

適応的精度数値方法を使用
200,000以上のパスを追跡し、パス失敗または交差なし
単子群および跡テストプログラムでエラーなし
複数検証と誤差制御

実験結果

主要な結果

定理3.10: $a,b,c \geq 3$ に対して、高い数値精度下で、 $\sigma_4(\mathbb{P}^{a-1} \times \mathbb{P}^{b-1} \times \mathbb{P}^{c-1})$ の集合論的零点集合は以下の方程式により定義される：

Strassen交換条件( $M_5$ ): 1728個の5次方程式
$\sigma_4(\mathbb{P}^2 \times \mathbb{P}^2 \times \mathbb{P}^3)$ $σ_{4} (P^{2} \times P^{2} \times P^{3})$ から継承された方程式：
- $M_6$ : 1000個の6次方程式
- $M_9$ : 8000個の9次方程式
$\bigwedge^5$ を含む $S^5(A^* \otimes B^* \otimes C^*)$ 内の加群

数値検証結果

計算4.1は予想3.8を成功裏に検証し、以下を確認した： $V(S^{(2,2,2)}\mathbb{C}^3 \otimes S^{(2,2,2)}\mathbb{C}^3 \otimes S^{(3,1,1,1)}\mathbb{C}^4) = \sigma_4(\mathbb{P}^2 \times \mathbb{P}^2 \times \mathbb{P}^3) \cup \text{Sub}_{3,3,3}$