2025-11-10T03:04:09.017715

Computations and Equations for Segre-Grassmann hypersurfaces

Daleo, Hauenstein, Oeding
In 2013, Abo and Wan studied the analogue of Waring's problem for systems of skew-symmetric forms and identified several defective systems. Of particular interest is when a certain secant variety of a Segre-Grassmann variety is expected to fill the natural ambient space, but is actually a hypersurface. Algorithms implemented in Bertini are used to determine the degrees of several of these hypersurfaces, and representation-theoretic descriptions of their equations are given. We answer Problem 6.5 [Abo-Wan2013], and confirm their speculation that each member of an infinite family of hypersurfaces is minimally defined by a (known) determinantal equation. While led by numerical evidence, we provide non-numerical proofs for all of our results.
academic

Computations and Equations for Segre-Grassmann hypersurfaces

基本信息

  • 论文ID: 1408.2105
  • 标题: Computations and Equations for Segre-Grassmann hypersurfaces
  • 作者: Noah S. Daleo, Jonathan D. Hauenstein, Luke Oeding
  • 分类: math.AG (代数几何)
  • 发表时间: 2015年8月19日
  • 论文链接: https://arxiv.org/abs/1408.2105

摘要

In 2013, Abo and Wan studied the analogue of Waring's problem for systems of skew-symmetric forms and identified several defective systems. Of particular interest is when a certain secant variety of a Segre-Grassmann variety is expected to fill the natural ambient space, but is actually a hypersurface. Algorithms implemented in Bertini are used to determine the degrees of several of these hypersurfaces, and representation-theoretic descriptions of their equations are given. We answer Problem 6.5 Abo-Wan2013, and confirm their speculation that each member of an infinite family of hypersurfaces is minimally defined by a (known) determinantal equation. While led by numerical evidence, we provide non-numerical proofs for all of our results.

研究背景与动机

  1. 核心问题: 研究Segre-Grassmann簇的割线簇(secant varieties)何时是超曲面，以及找到这些超曲面的定义方程。这与反对称形式系统的Waring问题类似物相关。
  2. 问题重要性:
    • 割线簇在代数几何中是经典主题，在几何复杂性理论和信号处理等领域有广泛应用
    • X-秩和X-边界秩为张量和相关代数簇提供了有用的视角
    • 描述σᵣ(X)的定义方程可以轻松判断任意给定点的X-边界秩
  3. 现有工作局限性:
    • Abo和Wan在2013年识别了几个缺陷系统，但留下了一些开放问题
    • 特别是Problem 6.5未得到解决，关于无穷族超曲面的猜测需要证实
  4. 研究动机:
    • 结合数值代数几何和表示论工具来解决这些问题
    • 虽然部分反对称张量的研究相对较少，但一种对称类的边界秩方程查找方法通常会为另一种方法提供信息

核心贡献

  1. 解决了Abo-Wan的Problem 6.5: 证明了σ₅(Seg(P²×G(2,5)))超曲面的素理想由单个6次多项式生成
  2. 确认了Abo-Wan的猜测: 证明了无穷族超曲面σ₃ℓ₊₂(Seg(P²×G(1,4ℓ+2)))中每个成员都由已知的行列式方程最小定义
  3. 计算了多个超曲面的次数: 使用Bertini算法确定了几个超曲面的精确次数
  4. 提供了非数值证明: 虽然由数值证据引导，但为所有结果提供了严格的代数证明
  5. 展示了跨学科方法的威力: 成功结合了数值代数几何和表示论工具

方法详解

任务定义

研究当Segre-Grassmann簇Seg(Pᵐ×G(k,n))的s-割线簇σₛ(Seg(Pᵐ×G(k,n)))是超曲面时，找到其定义方程并证明不可约性。

核心方法架构

1. 数值代数几何方法

使用Bertini软件实现的算法来计算超曲面的次数：

超曲面次数计算算法:

  • 对于不可约超曲面H⊂Pⁿ，deg H = |H∩L|，其中L是一般直线
  • 使用随机单调循环(random monodromy loops)生成witness点集
  • 应用trace test验证完整性：坐标∑w∈W' pw(t)的每个坐标都是t的线性函数

2. 表示论方法

使用Young对称化子构造不变多项式：

Young对称化子算法:

  • 从分割(2,2,2)和(3,3,3,3,3,3)开始
  • 寻找Young表格的填充使得相关Young对称化子产生非零像
  • 通过矩阵行列式的乘积构造多项式
  • 使用收缩操作替换变量

3. 外平坦化构造

对于无穷族情况，使用Ottaviani类型的外平坦化：

  • 对张量T∈V⊗∧²W构造线性映射φₜ: V⊗W* → V*⊗W
  • 该映射在W中反对称，在V中也反对称
  • det φₜ在相应的割线簇上消失

技术创新点

  1. 数值与符号方法结合: 首先用数值方法确定次数，再用代数方法构造精确方程
  2. ⊠积的使用: 区别于通常的Kronecker积⊗，使用⊠积避免了det(P⊗Q) = det(P)ⁿdet(Q)ᵐ的限制
  3. 不可约性的归纳证明: 通过主子式分解和归纳法证明大尺寸情况下行列式的不可约性

实验设置

计算环境

  • 使用AMD Opteron 6376处理器(2.3 GHz核心)
  • 单核和多核并行计算

具体案例

研究以下具体超曲面：

  1. σ₅(Seg(P²×G(2,5))) ⊂ P⁵⁹
  2. σ₅(Seg(P²×G(1,6))) ⊂ P⁶²
  3. σ₈(Seg(P²×G(1,10))) ⊂ P¹⁶⁴
  4. σ₁₁(Seg(P²×G(1,14))) ⊂ P³¹⁴

验证方法

  • 对于小尺寸情况：直接在Macaulay2中计算并使用factor命令
  • 对于中等尺寸：将变量特化到随机直线并检查因式分解
  • 对于大尺寸：使用归纳证明

实验结果

主要计算结果

Computation 3.1的数值结果：

  1. σ₅(Seg(P²×G(2,5))) ⊂ P⁵⁹ 的次数为6
  2. σ₅(Seg(P²×G(1,6))) ⊂ P⁶² 的次数为21
  3. σ₈(Seg(P²×G(1,10))) ⊂ P¹⁶⁴ 的次数为33
  4. σ₁₁(Seg(P²×G(1,14))) ⊂ P³¹⁴ 的次数为45

计算效率

  • 第一个案例：6次随机单调循环，50秒计算时间
  • 后三个案例：分别需要13、12、13次循环，计算时间为2.5分钟、32分钟、5.5小时

理论结果

Theorem 4.1: σ₅(P²×G(2,5))超曲面的素理想由特定Young对称化子构造的单个6次多项式生成，该多项式有10080个单项式。

Theorem 5.3: 对于ℓ≥1，超曲面σ₃ℓ₊₂(Seg(P²×G(1,4ℓ+2)))的素理想由3(4ℓ+3)×3(4ℓ+3)矩阵φₜ的行列式生成。

Theorem 6.1: 关于通用矩阵张量积行列式的不可约性：

  • s=1,2时：det(P⊠Q)=0
  • s=3时：det(P⊠Q)因式分解为三次多项式的立方
  • s=4时：det(P⊠Q)因式分解为六次多项式的平方
  • s≥5时：det(P⊠Q)不可约

相关工作

  1. 经典背景: Alexander-Hirschowitz定理解决了Veronese嵌入的情况
  2. Segre嵌入: 相关问题在笛卡尔积的情况下被研究，但尚未完全解决
  3. 反对称版本: 在反对称情况下的相关研究，部分案例已解决
  4. 方程查找: Ottaviani对对称张量的方法启发了非对称张量的新构造

结论与讨论

主要结论

  1. 成功解决了Abo-Wan的Problem 6.5
  2. 确认了关于无穷族超曲面的猜测
  3. 证明了数值代数几何与表示论结合的有效性

局限性

  1. 对于σ₅(Seg(P²×G(2,5)))的方程，未找到类似Ottaviani度数15方程的行列式表达
  2. 部分反对称张量的研究仍不如完全对称和非对称情况充分

未来方向

  1. 寻找更多超曲面的行列式表达
  2. 研究与Segre-Grassmann簇对偶的可能联系
  3. 将方法应用到其他对称类的问题

深度评价

优点

  1. 方法创新: 成功结合数值计算和符号计算，先用数值方法指导，再给出严格证明
  2. 理论深度: 涉及表示论、Young对称化子、不变量理论等深层数学工具
  3. 计算实用性: 提供了具体可执行的算法和软件实现
  4. 完整性: 不仅给出数值证据，还提供了完整的代数证明

不足

  1. 计算复杂度: 对于大尺寸问题，计算时间增长很快
  2. 特殊情况: 某些小尺寸情况需要特殊处理，缺乏统一性
  3. 几何直观: 缺乏对这些超曲面几何意义的直观解释

影响力

  1. 学术价值: 解决了该领域的重要开放问题
  2. 方法论贡献: 展示了跨学科方法的威力，可能启发其他问题的解决
  3. 计算工具: 提供的算法和实现对相关研究有实用价值

适用场景

  1. 代数几何中的割线簇研究
  2. 张量分解和秩问题
  3. 几何复杂性理论
  4. 需要结合数值和符号计算的代数问题

参考文献

论文引用了46篇相关文献，主要包括：

  • Alexander-Hirschowitz关于Veronese嵌入的经典工作
  • Abo和Wan关于反对称形式Waring问题的研究
  • Ottaviani关于不变量和超行列式的工作
  • 数值代数几何的相关算法和软件