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

Toward a salmon conjecture

基本信息

论文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和Manivel提供的论证(其证明由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-Manivel的继承原理，将 $\sigma_4(\mathbb{P}^2 \times \mathbb{P}^2 \times \mathbb{P}^3)$ 的方程扩展到更高维情况。

技术创新点

1. 数值代数几何方法

首次使用Bertini软件包的数值方法来验证代数几何中的理论猜想，展示了计算方法在纯数学研究中的威力。

2. 多项式构造算法

提供了从Young图填充构造Schur模中多项式的具体算法：

构造最高权向量
应用Young对称化子
重排序同构映射
对称化得到齐次多项式

3. 几何论证与数值验证结合

将经典的几何论证与现代数值计算相结合，为理论猜想提供强有力的数值证据。

实验设置

计算环境

硬件: 8个处理器(两个2.66 GHz四核Xeon 5410s)
软件: Bertini数值代数几何软件包
计算时间: 约2周
精度控制: 跟踪和最终容差设为 $10^{-10}$ 或更小

关键计算

计算4.1: 验证 $M_6$ 的零点集恰好有两个不可约分量：

维数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}$