Multigraded Regularity of the Complete Flag Variety

技术摘要：完全旗簇的多分次正则性

问题陈述
本文研究了完全旗簇 $Fl(\mathbb{C}^n)$ 在 Plücker 嵌入下的多分次正则性（multigraded regularity）的计算。虽然 Maclagan 和 Smith 引入了多分次正则性以推广到乘积射影空间的 Castelnuovo-Mumford 正则性，但针对特定簇族的显式计算仍然很少见。作者关注的是完全旗簇，这类簇具有丰富的组合结构，并且在通过 Plücker 嵌入到乘积射影空间 $\mathbb{P}^{\binom{n}{1}-1} \times \cdots \times \mathbb{P}^{\binom{n}{n-1}-1}$ 的过程中，具有自然的由多分次诱导的结构。核心问题是确定对于哪些多分次 $d \in \mathbb{Z}^{n-1}$，相干层 $\iota^*\mathcal{O}_{Fl(\mathbb{C}^n)}$ 是 $d$-正则的，其中 $\iota$ 表示 Plücker 嵌入。

方法论
本研究利用了组合数据与多分次交换代数之间的相互作用。主要的理论工具是 Borel-Weil-Bott 定理，它为完全旗簇上线丛的上同调提供了完整的组合描述。具体而言，作者利用 Bott 算法（及其逆计数变体）来确定上同调群 $H^i(F, \mathcal{O}_F(a))$ 的消失情况。

多分次正则性的定义要求对于所有 $i > 0$ 以及所有满足 $|c|=i$ 的 $c \in \mathbb{N}^{n-1}$，上同调群 $H^i(P, \mathcal{G}(d-c))$ 必须消失。作者证明了对于完全旗簇，定义理想 $S/I$ 的正则性与相关的相连层 $\iota^*\mathcal{O}_{Fl(\mathbb{C}^n)}$ 的正则性一致。

为了处理随着 $n$ 增大而增加的计算复杂度，本文开发了 $Fl(\mathbb{C}^n)$ 与 $Fl(\mathbb{C}^{n-1})$ 正则性区域之间的归纳关系。这些关系允许作者基于已计算出的 $Fl(\mathbb{C}^n)$ 的区域来推导出 $Fl(\mathbb{C}^{n+1})$ 正则性区域的内界和外界。对于较小的 $n$，作者使用 Macaulay2 软件进行了显式计算，通过源自 Bott 定理的逆计数准则验证了上同调消失条件。

主要贡献与结果

1. 归纳界限（定理 A 和 B）：
   论文证明了关于正则性传播的两个关键归纳命题：

   • 非正则性的传播： 如果多分次 $a$ 不在 $Fl(\mathbb{C}^n)$ 的正则区域内，那么对于任何整数 $b$，扩展次数 $(a, b)$ 和 $(b, a)$ 都不在 $Fl(\mathbb{C}^{n+1})$ 的正则区域内。这提供了一种建立外界的方法。
   • 正则性的传播： 如果 $a$ 在 $Fl(\mathbb{C}^n)$ 的正则区域内，那么 $(a, b)$ 和 $(b, a)$ 都在 $Fl(\mathbb{C}^{n+1})$ 的正则区域内，前提是 $b$ 足够大（具体为 $b \geq \dim(Fl(\mathbb{C}^{n+1}))$）。这提供了内界。

2. 低维 $n$ 的显式计算（定理 A）：
   作者提供了 $n \leq 6$ 时正则区域最小元素的完整描述：

   • $n=3$： 正则区域为 $\mathbb{N}^2$（最小元素为 $(0,0)$）。
   • $n=4$： 最小元素为 $(1,0,0), (0,1,0), (0,0,1)$。验证这些元素需要检查 83 个上同调条件。
   • $n=5$： 有 19 个最小元素。
   • $n=6$： 有 179 个最小元素。
     验证单个元素所需的上同调条件数量增长迅速（例如，$n=6$ 时需要 15,503 个条件），因此必须借助计算辅助。

3. 渐近行为（定理 C）：
   通过分析最小总次数 $m(n) = \min \{|d| : d \in \text{reg}(Fl(\mathbb{C}^n))\}$，作者建立了正则区域增长的界限：

   • 下界： 对于 $n \geq 7$，$m(n) \geq \frac{6}{5}n - 6$。
   • 上界： $m(n) \leq \frac{n^3 - n - 24}{6}$。
     这表明最小总次数的增长至少是 $n$ 的线性函数，至多是 $n$ 的三次函数。

4. 标准分次正则性：
   论文还计算了通过将 Plücker 像进行 Segre 嵌入到单个射影空间中时，该旗簇的标准分次正则性。结果显示正则性为 $d-1$，其中 $d = \dim(Fl(\mathbb{C}^n)) = \binom{n}{2}$。

意义与主张
本文声称提供了完全旗簇多分次正则性的第一个完整描述（针对一定范围内的 $n$），将其从纯粹的理论定义转向了显式的计算结果。文中强调了该问题的难度，指出验证条件的数量随 $n$ 的阶乘级增长。

其意义在于架起了组合代数几何与多分次交换代数之间的桥梁。通过利用完全旗簇的组合结构（特别是 Bruhat 序和 Borel-Weil-Bott 定理），作者展示了多分次正则性确实是被编码在组合数据中的，类似于 Castelnuovo-Mumford 正则性在 Grassmann 流形和 Schubert 簇中的编码方式。

作者对任意 $n$ 的一般情况保持了审慎的态度。虽然他们猜想 $m(n)$ 的增长是二次的（具体为当 $n \geq 4$ 时 $m(n) = \binom{n-2}{2}$），并且沿对角线 $(a, \dots, a)$ 的正则区域由 $a \geq \frac{n-3}{2}$ 决定，但这些仍是开放性问题。本文并非声称已解决了所有 $n$ 的问题，而是建立了一个归纳界限的框架，并为低维情况提供了具体的数据库，从而暗示了渐近行为。