Complexity of the Zero Set of a Matrix Schubert Ideal

技术摘要：矩阵 Schubert 理想零集的复杂性

问题陈述
本文研究了 $T$-簇框架下特定子簇的组合复杂性。$T$-簇是指配备了代数环面 $T$ 作用的正规簇。此类簇的复杂性定义为其维数与最大 $T$-轨道维数之差（等价于 $\dim(X) - \dim(\sigma)$，其中 $\sigma$ 为权锥）。较低的复杂性意味着该簇更易于通过组合方法处理；例如，复杂性 0 对应于环面簇。

作者聚焦于由 Fulton 引入的矩阵 Schubert 簇 $X_w$，这是由排列 $w \in S_n$ 决定的子矩阵的秩条件所定义的 $n \times n$ 矩阵的仿射簇。虽然 $X_w$ 带有自然的 $T \times T$ 作用（其中 $T \simeq (\mathbb{C}^*)^n$），但其复杂性常被一个大的仿射因子 $\mathbb{C}^k$ 所平凡化。为解决这一问题，作者研究了簇的“本质”部分，记为 $Y_w$，其定义基于分解 $X_w \cong Y_w \times \mathbb{C}^k$，其中 $k$ 取最大值。$Y_w$ 的定义理想与 $X_w$ 的定义理想一致。

核心问题在于刻画对于固定的 $n \geq 4$，可以作为 $Y_w$ 复杂性出现的非负整数集合。先前的工作已确立复杂性 1 是不可能的，且当 $n$ 遍历 4 的倍数时，可实现复杂性的集合仅排除 1。本文将范围限制在固定的对称群 $S_n$ 上，以确定可实现复杂性的精确范围。

方法论
作者结合了代数几何、组合学和图论的方法：

1. 几何分解：他们将 $Y_w$ 定义为 $X_w$ 在由不在“西北图”$NW(w)$中的条目所张成的线性子空间上的投影。$Y_w$的维数由$|L'(w)|$给出，其中$L'(w)$ 是源自排列的 Rothe 图 $D(w)$ 的特定斜图。
2. 环面作用与权锥：$Y_w$ 在 $T \times T$ 作用下的复杂性 $d_w$ 使用以下公式计算：
   $$d_w = \dim(Y_w) - \dim(\sigma_w)$$
   其中 $\sigma_w$ 是与该作用相关的权锥。
3. 图论转化：权锥 $\sigma_w$ 被识别为有向二分图 $G_w$ 的边锥。$G_w$ 的顶点对应于图 $L(w)$ 的非空行和列，边对应于 $L(w)$ 中的条目。
4. 复杂性公式：利用边锥的维数公式，复杂性表达为：
   $$d_w = |L'(w)| - |V(G_w)| + |C(G_w)|$$
   其中 $|V(G_w)|$ 是顶点数，$|C(G_w)|$ 是连通分量数。这进一步利用底层无向图的圈秩 $\nu(G_w)$ 细化为：
   $$d_w = \nu(G_w) + |\text{dom}(w)| - |D(w)|$$
   其中 $\text{dom}(w)$ 是 Rothe 图的“主导部分”。
5. 构造性证明：为了确立可实现复杂性的范围，作者利用了关于修改 Rothe 图的引理。具体而言，他们展示了如何将排列图的一个区域替换为较小排列的图，从而影响复杂性，使他们能够构造具有特定复杂性值的排列。

主要贡献与结果

• 最大复杂性：本文确定了 $w \in S_n$（对于 $n \geq 4$）的 $Y_w$ 的最大可能复杂性。

  • 定理 4.2：最大复杂性为 $(n-1)(n-3)$。
  • 唯一性：该最大值由排列 $s_{n-1} = [1, \dots, n-2, n, n-1]$ 唯一实现。该排列关联的图 $G_w$ 同构于完全二分图 $K_{n-1, n-1}$。

• 可实现复杂性值：本文刻画了对于固定的 $n$，可以作为某个 $Y_w$ 的复杂性实现的所有整数 $d$ 的集合。

  • 定理 4.8：对于固定的 $n \geq 4$，可实现复杂性的集合为 $\{0, 2, 3, \dots, (n-1)(n-3)\}$。
  • 排除 1：本文确认对于任何 $w \in S_n$，复杂性 1 永远不可实现（依赖于 Escobar–Mészáros 以及 Donten-Bury–Escobar–Portakal 的先前结果）。
  • 填补空缺：作者证明了 0 到最大值之间的每个整数（排除 1）都是可实现的。他们通过明确展示排列 $12534$，处理了$n=5$ 时复杂性为 4 的特例（该情况未被其一般区间构造所覆盖）。

意义
本文对固定对称群 $S_n$ 内的矩阵 Schubert 簇（具体为其本质部分 $Y_w$）的复杂性谱进行了完整分类。通过确立复杂性可以取从 0 到理论最大值 $(n-1)(n-3)$ 之间的任何整数值（唯一例外是 1），作者澄清了这些簇的组合景观。这一结果完善了先前的知识，后者仅限于 $n$ 遍历 4 的倍数的情况。该工作将行列式簇的几何性质与二分图的结构性质（特别是圈秩和边锥）联系起来，为分析矩阵 Schubert 簇的 $T$-簇结构提供了精确的组合工具。