The Segre Determinant

技术摘要：塞格行列式

问题陈述
本文探讨的问题是刻画 $r = k\ell$ 个点位于射影空间乘积 $\mathbb{P}(V) \times \mathbb{P}(W)$（其中 $\dim V = k$ 且 $\dim W = \ell$）中塞格嵌入的超平面截面上的条件。该条件由一个称为塞格行列式（记为 $\text{Seg}_{k,\ell}$）的多项式编码。虽然经典行列式（$k=1$）已被充分理解，但本文旨在将此概念推广至高维，具体研究该多项式在不变量理论中的结构、通过 Chow-Lam 形式给出的几何解释，及其在代数视觉和格拉斯曼商中的应用。

方法论
作者结合了不变量理论、代数几何和计算线性代数：

1. 不变量理论：将塞格行列式分析为坐标环张量积 $C[a_{ij}] \otimes C[b_{ij}]$ 中的元素。本文利用不变量理论第一基本定理，将行列式表示为矩阵 $A$ 和 $B$ 的最大子式（括号）的形式。
2. 表示论：行列式双次数的证明依赖于引理 2.3，该引理将群乘积的不变量与其不变量的张量积联系起来。利用“整理算法”和半标准杨表理论，计算行列式展开为标准基的显式形式。
3. 几何解释：本文将塞格行列式与Chow-Lam 形式联系起来，后者是文献 [14] 中引入的经典 Chow 形式的推广。这涉及研究格拉斯曼流形 $\text{Gr}(k, n)$ 中环轨道的 Chow-Lam 轨迹。
4. 代数视觉：在计算机视觉背景下，本文将塞格行列式视为 $\mathbb{P}^2$ 中两个点构型是 $\mathbb{P}^3$ 中某个公共构型的线性投影的必要条件。
5. 系数簇：本文定义了“塞格系数簇”，用于研究从格拉斯曼流形中的点到塞格行列式多项式系数的映射。

主要贡献与结果

• 计算与结构：

  • 本文证明了塞格行列式 $\text{Seg}_{k,\ell}$ 是括号 $[I]$（$A$ 的子式）和 $\langle J \rangle$（$B$ 的子式）中次数为 $(\ell, k)$ 的多项式（命题 2.2）。
  • 提供了特定情况的显式展开，包括 $\text{Seg}_{2,2}$（例 1.1）、$\text{Seg}_{2,4}$（例 2.5）和 $\text{Seg}_{3,3}$（公式 10）。与代数视觉相关的 $\text{Seg}_{3,3}$ 情况被表示为标准基中 110 项的多项式，回答了 Rekha Thomas 关于 $SL_3$-不变量的问题。
  • 概述了一种计算策略，利用块拉普拉斯展开和标准单项式系数的线性代数，这比格罗布纳基消元法更高效。

• 几何解释（Chow-Lam 形式）：

  • 定理 1.2 / 定理 5.2：核心几何结果表明，对于 $\text{Gr}(k, n)$ 中的泛点 $A$（其中 $n=k\ell$），环轨道闭包 $T_A$ 在 $\text{Gr}(n-\ell, n)$ 上原始普吕克坐标中的 Chow-Lam 形式恰好是塞格行列式 $\text{Seg}_{k,\ell}(A, B)$。
  • 本文建立了 Chow-Lam 形式整除塞格行列式的事实（引理 5.3），并通过利用 Klyachko 公式计算均匀拟阵的 Chow-Lam 次数，证明了泛点处的等式成立（命题 5.5）。

• 代数视觉应用：

  • 本文将 $\text{Seg}_{3,3}$ 应用于从两个二维视图重建三维点构型的问题。它确立了 $\mathbb{P}^2$ 中两个包含九个有序点的构型要成为 $\mathbb{P}^3$ 中某个公共集合的投影，$9 \times 9$ 塞格矩阵必须具有核（即行列式必须为零）。
  • 定理 3.2 为 $k^2-1$ 个点提供了必要条件：如果它们是某个公共构型的投影，则基本矩阵（由塞格矩阵的核导出）的秩必须至多为二。

• 塞格系数簇与唯一性：

  • 本文将塞格系数簇定义为当 $A$ 变化时塞格行列式的参数空间。
  • 定理 6.2：证明了塞格多项式系数的线性张量包含了所有形如 $[I_1]\cdots[I_\ell]$ 的单项式，其中索引的并集覆盖 $[k\ell]$。
  • 推论 6.3：对于 $k=2$，塞格系数簇同构于 GIT 商 $(\mathbb{P}^1)^{2\ell} // SL(2)$，这意味着行列式唯一确定了 $\text{Gr}(2, n)$ 中泛点的环轨道闭包。
  • 局限性：本文指出这种唯一性在 $k=3$ 时失效。例 6.4 展示了 $\text{Gr}(3, 6)$ 中两个不同的环轨道闭包产生相同的塞格行列式，表明对于 $k \ge 3$，Chow-Lam 形式并不总能唯一恢复该簇。

意义
本文将塞格行列式定位为一个统一对象，连接了经典不变量理论、格拉斯曼流形的几何以及计算机视觉中的实际问题。其主要意义在于：

1. 推广：将经典行列式推广到塞格情形，并为这些高次多项式提供显式计算公式。
2. 几何识别：将塞格行列式识别为泛环轨道的 Chow-Lam 形式，从而将行列式的组合学与轨道闭包的几何联系起来。
3. 视觉理论：为多视图几何中的公共恢复问题提供了一个具体的、基于不变量理论的条件（塞格行列式的消失），特别解决了 $\mathbb{P}^2$ 中 $k=3$ 的情形。
4. 商几何：刻画了从格拉斯曼流形到多项式系数映射的像，表明它恢复了 $k=2$ 时的已知 GIT 商，同时突出了更高 $k$ 值下的复杂性和非单射性。

该工作在唯一性方面的主张较为谨慎，明确承认虽然塞格行列式唯一确定了 $k=2$ 时的环轨道闭包，但这一性质在 $k=3$ 时不成立，从而将一般情形留给未来的研究。