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]$，作者固定了一个分次嵌入$M \hookrightarrow F$，其中$F$是一个有限秩的自由分次$A$-模。Rees 代数定义为对称代数映射的像：$A[Mt] = \bigoplus_{n \ge 0} M_n t^n \subseteq \text{Sym}_A(F)$。

核心方法论涉及构造并分析三个不同的密度函数，这些函数源于 $M$ 的分次分量长度、其饱和以及它们之间商量的渐近行为。作者利用了 Rees 代数 $A[Mt]$上的自然双分次结构，其中生成元具有双次数$(d_i, 1)$，而$A$中的元素具有双次数$(1, 0)$。

所采用的关键技术工具包括：

1. 长度的渐近分析：作者利用 Rees 代数作为双分次多项式环商的结构，分析了长度函数 $\ell_k((M_n)_m)$ 当 $n \to \infty$ 时的行为。
2. 拟多项式与锥：借鉴 [5] 中的结果，作者将长度函数的定义域划分为由 $M$ 的生成元次数生成的锥 $C_j$。在这些锥内，长度函数表现为拟多项式，并最终稳定为多项式。
3. 饱和与 $\epsilon$-函数：作者定义 $M_n$ 的饱和为 $\widetilde{M}_n = (M_n :_F \mathfrak{m}^\infty)$。他们引入了 $\epsilon$-密度函数来衡量饱和模与进位（原始）模之间的差异。
4. 几何解释：证明利用了射影簇上除子的体积函数（具体为 $X = \text{Proj}_V B$，其中 $B$ 是 Rees 代数）以及渐近 Riemann-Roch 定理，以确立密度函数的连续性和多项式性质。
5. 对角子代数：为了处理整依赖性判据，作者考虑 $(c, 1)$-对角子代数 $A[Mt]_{\Delta(c,1)}$ 及其扩张 $S[Mt]_{\Delta(c,1)}$（其中 $S = A[y]$），并将它们的重数与密度函数联系起来。

主要贡献与结果

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$ 是一个良定义的、分段多项式函数，除可能在 $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, \infty)$（其中 $c_0$ 为某常数）。关键在于，对于 $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. 整依赖性的数值判据：
   本文以定理 6.6 为高潮，该定理为分次子模 $N \subseteq M$（满足 $\text{rank } N = \text{rank } M = e$）成为 $M$ 的约化提供了一组等价条件。以下陈述等价：

   • $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)$，作为在分次背景下衡量模与其饱和之间差异的工具。
• 严格的极限：在分次设定下确立了这些密度函数及 $\epsilon$-不变量极限的存在性，补充了局部设定下的先前结果 [3, 20]。
• 计算判据：提供了具体、可检验的数值判据（涉及对角子代数的重数和混合重数），这些判据是约化的充要条件，对于交换代数和奇点理论中的算法应用至关重要。

作者保持了谦逊的语气，将结果表述为将现有理想理论扩展至模的领域，利用相似但经过调整的策略（例如模幂次的线性正则性界）来克服理想与模之间的结构差异。