Numerical characterizations for integral dependence of graded modules

技術的概要：標準付値加群の積分従属の数値的特徴付け

問題提起
本論文の主要な目的は、体 $k$ 上の標準付値ノーター整域 $A$ 上で定義された任意の付値加群の積分従属を検出するための新しい数値基準を確立することである。積分従属の数値不変量による特徴付けは、Rees によってイデアルに対して先駆的に行われ、その後、著者らの先行研究 [5, 6] において付値設定におけるイデアルへと拡張された。しかし、本論文は、ランク $e$ の有限生成でねじれのない $N$ 付値 $A$-加群 $M$ という、より複雑なケースを取り扱う。著者らは、特定の密度関数を構成し、それらを用いて、付値部分加群 $N \subseteq M$ が $M$ の縮小（reduction）であるための必要十分条件を導き出すことを目指している。

手法と設定
本論文は、体 $k$ 上の次元 $d \ge 2$ の標準付値整域 $A = \bigoplus_{m \ge 0} A_m$ の枠組み内で進行する。加群 $M$ は、ランク $e$ の有限生成でねじれのない $A$-加群である。Rees 代数 $A[Mt]$を定義するために、著者らは有限ランクの自由付値$A$-加群$F$への付値埋め込み$M \hookrightarrow F$ を固定する。Rees 代数は、対称代数写像の像として定義される：$A[Mt] = \bigoplus_{n \ge 0} M_n t^n \subseteq \text{Sym}_A(F)$。

核心的な手法には、$M$、その飽和、およびそれらの間の商の付値成分の長さの漸近的挙動から導かれる 3 つの異なる密度関数の構成と解析が含まれる。著者らは、生成元が双次数 $(d_i, 1)$ を持ち、$A$ の元が双次数 $(1, 0)$ を持つ Rees 代数 $A[Mt]$ 上の自然な双次数構造を利用する。

用いられる主要な技術的ツールは以下の通りである：

1. 長さの漸近解析：著者らは、双次数多項式環の商としての Rees 代数の構造を利用し、$n \to \infty$ における長さ関数 $\ell_k((M_n)_m)$ を解析する。
2. 準多項式と円錐：[5] の結果に基づき、著者らは長さ関数の定義域を、$M$ の生成元の次数によって生成される円錐 $C_j$ に分割する。これらの円錐内において、長さ関数は準多項式として振る舞い、最終的には多項式に安定化することが示される。
3. 飽和と $\epsilon$-関数：著者らは $M_n$ の飽和を $\widetilde{M}_n = (M_n :_F \mathfrak{m}^\infty)$ として定義する。飽和された加群と進的（元の）加群との差を測定するために、$\epsilon$-密度関数を導入する。
4. 幾何学的解釈：証明は、射影多様体上の除子の体積関数（特に $B$ を Rees 代数とする $X = \text{Proj}_V B$）および漸近的リーマン・ロッホ定理を活用し、密度関数の連続性と多項式性を確立する。
5. 対角部分代数：積分従属の基準を扱うために、著者らは $(c, 1)$-対角部分代数 $A[Mt]_{\Delta(c,1)}$ と、$S = A[y]$ におけるその拡張 $S[Mt]_{\Delta(c,1)}$ を考察し、それらの重複度を密度関数に関連付ける。

主要な貢献と結果

1. 密度関数の構成：

   • 進的密度関数 ($f_M$)：$f_M(x) = \lim_{n \to \infty} \frac{\ell_k((M_n)_{\lfloor xn \rfloor})}{n^{d+e-2}/(d+e-1)!}$ として定義される。定理 3.2 は、$f_M$ が well-defined であり、$x=d_1$（生成元の最小次数）を除いて至る所で連続な、区分的に多項式な関数であることを確立する。これは $[d_1, \infty)$ 上で支を持つ。
   • 飽和密度関数 ($\tilde{f}_M$)：$\tilde{f}_M(x) = \lim_{n \to \infty} \frac{\ell_k((\widetilde{M}_n)_{\lfloor xn \rfloor})}{n^{d+e-2}/(d+e-1)!}$ として定義される。定理 4.3 は、ある定数 $c_0$ に対して、これが $[-c_0, \infty)$ 上で支を持つ連続関数であることを証明する。重要なのは、$x \ge d_M$ に対して $\tilde{f}_M(x)$ は $f_M(x)$ と一致し、Rees 代数の混合重複度を含む多項式で与えられることである。
   • $\epsilon$-密度関数 ($f_\epsilon(M)$)：差 $f_\epsilon(M)(x) = \tilde{f}_M(x) - f_M(x)$ として定義される。定理 5.2 は、この関数が $[-c_0, d_M]$ 上でコンパクトな支を持ち、$\mathbb{R} \setminus \{d_1\}$ 上で連続であることを示す。この関数の積分 $\epsilon(M)$ は極限として存在することが示され、加群とその飽和との間の「欠損」を測定する数値不変量を提供する。

2. 積分従属の数値的基準：
   本論文は、ランク $N = \text{rank } M = e$ を持つ付値部分加群 $N \subseteq M$ が $M$ の縮小であるための同値な条件のセットを提供する定理 6.6 で結実する。以下の主張は同値である：

   • $N$ は $M$ の縮小である。
   • 進的密度関数と飽和密度関数が一致する：$f_M \equiv f_N$ かつ $\tilde{f}_M \equiv \tilde{f}_N$。
   • $\epsilon$-不変量が等しく（$\epsilon(M) = \epsilon(N)$）、ある $c > d_{N,M}$ に対して $(c, 1)$-対角部分代数の重複度が等しい。
   • Rees 代数 $S[Mt]$と$S[Nt]$の混合重複度がすべての$0 \le i \le d$ に対して一致する。

意義と主張
本論文は、積分従属の数値的特徴付けを、イデアルの領域（[5] および [6] で扱われたもの）から、より一般的な付値加群の文脈へと拡張することを主張している。著者らは、この拡張が自明ではないことに言及している。なぜなら、$A^n = A$ となるイデアルの場合とは異なり、自由加群の成分 $F^n$ は $n$ によって変化し、$F^n$ の不変量は一定ではないからである。

この研究の意義は以下の点にある：

• 一般化：漸近的不変量を用いて加群における積分従属を検出するための統一的な枠組みの提供。
• 新しい不変量：$\epsilon$-密度関数と関連する不変量 $\epsilon(M)$ を、付値文脈における加群とその飽和との差を測定するツールとして導入すること。
• 厳密な極限：局所設定における先行研究 [3, 20] を補完するものとして、これらの密度関数および $\epsilon$-不変量の極限の存在を付値設定において確立すること。
• 計算可能な基準：縮小に対して必要十分である、対角部分代数の重複度や混合重複度を含む具体的で検証可能な数値的基準を提供すること。これらは、可換環論および特異点理論におけるアルゴリズム的応用に不可欠である。

著者らは謙虚なトーンを維持し、結果をイデアルに対する既存の理論を加群へ拡張したものとして位置付け、イデアルと加群の間の構造的相違を克服するために、イデアルの冪に対する線形正則性 bound のような、類似だが適応された戦略を用いている。