Segre classes and integral dependence

技术摘要：Segre 类与整依赖性

问题陈述
本文探讨了闭子方案的 Segre 类与其定义理想层之整依赖性（integral dependence）之间的关系。虽然 Segre 类的双有理不变性已表明 $s(Z, X)$ 仅取决于理想层 $\mathcal{I}_Z$ 的整闭包，这一结论是已知的，但其逆方向作为一种一般性判据尚未被建立。具体而言，作者研究了两个子方案 $W \subseteq Z$ 的 Segre 类相等（或其数值不变量相等）是否意味着理想层 $\mathcal{I}_W$ 关于 $\mathcal{I}_Z$ 是整依赖的。这一问题联系着由 Rees 发起的更广泛的研究计划，该计划旨在寻求能够刻画任意理想（而非仅限于局部环中 $\mathfrak{m}$-初理想）整依赖性的数值判据。

方法论
该方法论依赖于由 Fulton–MacPherson 和 Stückrad–Vogel 开发的相交理论框架。其核心技术工具是 van Gastel 的基本结果，该结果建立了 Segre 类与 Vogel 循环之间的精确对应关系。

1. Vogel 循环与极化循环（Polar Cycles）： 作者利用涉及全局截面之泛型线性组合的相交算法来构造 Vogel 循环 ($\nu$) 和极化循环 ($\beta$)。这些循环定义在环境方案的吹胀（blow-up）上或在环境方案本身上。
2. van Gastel 公式： 证明过程利用了将 Segre 类 $s_i(Z, X)$ 通过线丛 $L$ 关联到 Vogel 循环 $\nu_i(\sigma, X)$ 的显式公式。这使得将关于 Segre 类的条件转化为关于 Vogel 循环和极化循环次数（degree）的条件成为可能。
3. 吹胀公式： 本文推导出了极化循环的一个吹胀公式，将其表示为扭曲吹胀 $B_L = \text{Proj}_X(\bigoplus \mathcal{I}^n \otimes L^{\otimes n})$ 上相交积的推前（pushforward）。
4. 渐近分析： 为了证明逆方向（即相等的次数蕴含整依赖性），作者对 Rees 代数商的 Hilbert–Samuel 增长进行了渐近分析。这涉及比较全局截面 $h^0(X, \mathcal{I}_W^n \otimes L^{\otimes k})$ 与 $h^0(X, \mathcal{I}_Z^n \otimes L^{\otimes k})$ 的增长。该论证利用了若整依赖性失效则某些上同调群非零这一事实，并依赖于 Kleiman 和 Thorup 关于 Buchsbaum–Rim 多项式的研究结果。

主要贡献与结果

• 定理 A (定理 4.3)： 主要结果确立了一个在给定域 $k$ 的等维射影方案 $X$ 上整依赖性的判据，假设存在一个 Ample 线丛 $L$。对于两个闭子方案 $W \subseteq Z$，以下条件是等价的：

  • (a) $\mathcal{I}_W$ 关于 $\mathcal{I}_Z$ 是整依赖的。
  • (b') $s(Z, X) = s(W, X)$，视作在 Chow 群 $A_*(Z)$ 中。
  • (b) $s(Z, X) = s(W, X)$，视作在 $A_*(X)$ 中。
  • (c) 对于所有 $i \geq 0$，$\deg_L(s_i(Z, X)) = \deg_L(s_i(W, X))$。

  文中指出，Segre 类的相等与它们之 $L$-次数的相等之间的等价性（条件 (b) $\Leftrightarrow$ (c)）具有独立的研究价值。作者强调，$L$ 的 Ample 性是必不可少的；示例 4.7 表明，若 $L$ 仅为 Big and Nef，则结论失效。

• 推论 B (推论 5.2)： 作为应用，本文证明了 Aluffi 的 Segre Zeta 函数 $\zeta_I(t)$ 为多项式环中的齐次理想提供了整依赖性判据。具体而言，对于齐次理想 $I \subseteq J \subset R = k[x_0, \dots, x_n]$，$J$ 关于 $I$ 是整依赖的，当且仅当 $\zeta_I(t) = \zeta_J(t)$。这扩展了 Segre Zeta 函数的应用范围，使其从编码双有理不变量扩展到作为分次情形下整依赖性的完整测试工具。

意义与主张
本文声称提供了一个全局的、数值的整依赖性判据，这不同于此前由 Rees、Teissier 等人建立的局部判据（例如整依赖性的特殊化原理）。通过证明 Segre 类（及其数值次数）在射影情形下能完全确定理想层的整闭包，这项工作架起了相交理论与整依赖代数理论之间的桥梁。

作者将该结果定位为对已知事实（即 Segre 类是双有理不变量）的逆向证明。虽然不变性意味着该类取决于整闭包，但本文证明了该类可以确定整闭包。其方法论将 Segre 类与 Vogel 循环及极化循环统一起来，为如何利用正性结果（通过 Ample 线丛）来检测诸如整依赖性之类的代数性质提供了新的视角。本文并非提出新的实验应用，而是巩固了在交换代数和代数几何中使用 Segre Zeta 函数及数值不变量的理论基础。