Segre classes and integral dependence

技術的要約：セグレ類と整的依存性

問題の所在
本論文は、閉部分スキームのセグレ類と、その定義イデアル層の整的依存性（integral dependence）との関係を扱っている。セグレ類の双有理不変性から、セグレ類 $s(Z, X)$ はイデアル層 $\mathcal{I}_Z$ の整閉にのみ依存することは既知の結果であるが、その逆方向の命題が一般的な判定基準として確立されていなかった。具体的には、著者は、二つの部分スキーム $W \subseteq Z$ に対してセグレ類（またはその数値的不変量）が等しいことが、イデアル層 $\mathcal{I}_W$ が $\mathcal{I}_Z$ 上に整的であることを意味するかどうかを調査している。この問題は、局所環における $\mathfrak{m}$ 冪零イデアルの古典的なケースを超えて、任意のイデアルに対する整的依存性を特徴付ける数値的判定基準を求める、Reesによって開始されたより広範な研究プログラムに関連している。

手法
手法は、Fulton–MacPhersonおよびStückrad–Vogelによって開発された交差理論の枠組みに基づいている。中核となる技術的ツールは、セグレ類とVogelサイクルとの間の精密な対応関係を確立するvan Gastelの基本定理である。

1. Vogelサイクルと極サイクル（Polar cycles）： 著者は、大域的切断の生成的線形結合を用いた交差アルゴリズムを利用して、Vogelサイクル（$\nu$）および極サイクル（$\beta$）を構成する。これらのサイクルは、ブローアップされた基本スキーム上、あるいは基本スキーム自体上に定義される。
2. van Gastelの公式： 証明では、ラインバンドル $L$ を介してセグレ類 $s_i(Z, X)$ とVogelサイクル $\nu_i(\sigma, X)$ を結びつける明示的な公式を利用する。これにより、セグレ類に関する条件を、Vogelサイクルおよび極サイクルの次数の条件へと翻訳することが可能になる。
3. ブローアップ公式： 著者は、ねじれたブローアップ $B_L = \text{Proj}_X(\bigoplus \mathcal{I}^n \otimes L^{\otimes n})$ 上の交差積の押し出しとして、極サイクルを表現するブローアップ公式を導出する。
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})$ の比較が含まれる。この議論は、Buchbaum–Rim多項式に関するKleimanとThorupの結果に基づき、整的依存性が成立しない場合に特定のコホモロジー群が非消滅することを利用している。

主要な貢献と結果

• 定理A (Theorem 4.3): 主要な結果は、アンプルなラインバンドル $L$ の存在を仮定したとき、体 $k$ 上の等次元射影スキーム $X$ における整的依存性の判定基準を確立している。二つの閉部分スキーム $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))$ である。

  本論文は、セグレ類の等価性とそれらの $L$-次数の一致（条件 (b) $\Leftrightarrow$ (c)）の間の同値性が、独立した関心事であることを記している。著者は、$L$ のアンプル性は不可欠であることを強調しており、例4.7は、$L$ が単にbigかつnefである場合には結論が成立しないことを示している。

• 系B (Corollary 5.2): 応用として、本論文はAluffiのセグレ・ゼータ関数 $\zeta_I(t)$ が、多項式環における斉次イデアルの整的依存性の判定基準を提供することを証明している。具体的には、斉次イデアル $I \subseteq J \subset R = k[x_0, \dots, x_n]$ について、$J$ が $I$ 上に整的であるための必要十分条件は $\zeta_I(t) = \zeta_J(t)$ である。これは、セグレ・ゼータ関数の有用性を、双有理不変量を符号化することから、次数付きの設定における整的依存性の完全なテストへと拡張するものである。

意義と主張
本論文は、Rees、Teissier、およびその他の者によって確立された局所的な判定基準（例えば「整的依存性の特殊化の原理」など）とは異なる、大域的かつ数値的な整的依存性の判定基準を提供すると主張している。セグレ類（およびその数値的な次数）が射影的な設定におけるイデアル層の整閉を完全に決定することを示すことで、本研究は、交差理論と整的依存性の代数的理論の間の溝を埋めるものである。

著者は、この結果を、セグレ類が双有理不変であるというよく知られた事実に対する「逆」として位置づけている。不変性は、その類が整閉に依存することを意味するが、本論文は、その類が整閉を「決定する」ことを証明している。その手法は、セグレ類をVogelサイクルおよび極サイクルと統一し、アンプルなラインバンドルを介した正値性の結果がいかにして整的依存性のような代数的性質を検出するために適用できるかについて、新たな視点を提供している。本論文は、新しい実験的な応用を提案するのではなく、可換代数学および代数幾何学におけるセグレ・ゼータ関数と数値的不変量の使用に関する理論的基礎を固めるものである。