Numerical characterizations for integral dependence of graded modules

기술적 요약: 등급 모듈의 적분 의존성에 대한 수치적 특성화

문제 제기
본 연구의 주요 목적은 $k$ 위의 표준 등급 노터 영역 $A$ 위에 정의된 임의의 등급 모듈에 대한 적분 의존성을 탐지하는 새로운 수치적 기준을 확립하는 것이다. 적분 의존성의 수치적 불변량을 통한 특성화는 리스 (Rees) 에 의해 아이디얼에 대해 선구적으로 연구되었으며, 이후 저자들의 이전 연구 [5, 6] 에서 등급 환경의 아이디얼로 확장되었다. 본 논문은 랭크 $e$ 를 갖는 유한 생성 비퇴화 (torsion-free) $N$-등급 $A$-모듈 $M$ 의 더 복잡한 경우를 다룬다. 저자들은 구체적인 밀도 함수를 구성하고 이를 활용하여 등급 부분 모듈 $N \subseteq M$ 이 $M$ 의 축소 (reduction) 가 되기 위한 필요충분조건을 유도하고자 한다.

방법론 및 설정
본 논문은 $k$ 위의 차원 $d \ge 2$ 인 표준 등급 영역 $A = \bigoplus_{m \ge 0} A_m$ 의 틀 내에서 운영된다. 모듈 $M$ 은 랭크 $e$ 인 유한 생성 비퇴화 $A$-모듈이다. 리스 대수 $A[Mt]$를 정의하기 위해 저자들은 유한 랭크를 갖는 자유 등급$A$-모듈$F$로의 등급 포함 사상$M \hookrightarrow F$를 고정한다. 리스 대수는 대칭 대수 사상의 이미지로 정의된다:$A[Mt] = \bigoplus_{n \ge 0} M_n t^n \subseteq \text{Sym}_A(F)$.

핵심 방법론은 $M$, 그 포화 (saturation), 그리고 이들 간의 몫에 대한 등급 성분의 길이의 점근적 행동에서 유도된 세 가지 서로 다른 밀도 함수의 구성과 분석을 포함한다. 저자들은 생성자들이 이중 차수 $(d_i, 1)$ 을 가지고 $A$ 의 원소들이 이중 차수 $(1, 0)$ 을 갖는 리스 대수 $A[Mt]$ 위의 자연스러운 이중 등급을 활용한다.

주요 기술적 도구는 다음과 같다:

1. 길이의 점근적 분석: 저자들은 리스 대수가 이중 등급 다항식 링의 몫이라는 구조를 활용하여 $n \to \infty$ 일 때 길이 함수 $\ell_k((M_n)_m)$ 를 분석한다.
2. 준다항식과 원뿔: [5] 의 결과에 기반하여, 저자들은 길이 함수의 정의역을 $M$ 의 생성자들의 차수에 의해 생성된 원뿔 $C_j$ 로 분할한다. 이러한 원뿔 내에서 길이 함수는 준다항식 (quasi-polynomial) 으로 행동하며, 결국 다항식으로 수렴함이 보인다.
3. 포화와 $\epsilon$-함수: 저자들은 $M_n$ 의 포화를 $\widetilde{M}_n = (M_n :_F \mathfrak{m}^\infty)$ 로 정의한다. 포화된 모듈과 아딕 (원래) 모듈 사이의 차이를 측정하기 위해 $\epsilon$-밀도 함수를 도입한다.
4. 기하학적 해석: 증명들은 리스 대수 $B$ 에 대해 $X = \text{Proj}_V B$ 인 사영 다양체 위의 약수 (divisors) 에 대한 부피 함수와 점근적 리만 - 로흐 정리를 활용하여 밀도 함수의 연속성과 다항식 성질을 확립한다.
5. 대각선 부분 대수: 적분 의존성 기준을 처리하기 위해 저자들은 $(c, 1)$-대각선 부분 대수 $A[Mt]_{\Delta(c,1)}$ 와 $S = A[y]$ 일 때의 확장 $S[Mt]_{\Delta(c,1)}$ 을 고려하며, 이들의 중복도 (multiplicities) 를 밀도 함수와 연관시킨다.

주요 기여 및 결과

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$ 에 대해 $[-c_0, \infty)$ 에서 지지되는 연속 함수임을 증명한다. 중요하게도, $x \ge d_M$ 인 경우 $\tilde{f}_M(x)$ 는 $f_M(x)$ 와 일치하며 리스 대수의 혼합 중복도를 포함하는 다항식으로 주어진다.
   • $\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{랭크 } M = e$ 인 등급 부분 모듈 $N \subseteq M$ 이 $M$ 의 축소 (reduction) 가 되기 위한 동치 조건 집합을 제공하는 정리 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)$-대각선 부분 대수의 중복도가 같다.
   • 모든 $0 \le i \le d$ 에 대해 리스 대수 $S[Mt]$와$S[Nt]$ 의 혼합 중복도가 일치한다.

의의 및 주장
본 논문은 [5] 와 [6] 에서 다룬 등급 아이디얼의 영역에서 더 일반적인 등급 모듈의 맥락으로 적분 의존성의 수치적 특성화를 확장한다고 주장한다. 저자들은 이 확장이 비자명하다고 지적하는데, 아이디얼의 경우 $A^n = A$ 인 것과 달리 자유 모듈의 성분 $F^n$ 은 $n$ 에 따라 변하며 $F^n$ 의 불변량은 상수가 아니기 때문이다.

본 연구의 의의는 다음과 같다:

• 일반화: 점근적 불변량을 사용하여 모듈에서의 적분 의존성을 탐지하는 통합된 틀을 제공한다.
• 새로운 불변량: 등급 맥락에서 모듈과 그 포화 사이의 차이를 측정하는 도구로서 $\epsilon$-밀도 함수와 관련된 불변량 $\epsilon(M)$ 을 도입한다.
• 엄격한 극한: 국소 환경 [3, 20] 의 이전 결과를 보완하여 등급 설정에서 이러한 밀도 함수와 $\epsilon$-불변량의 극한 존재성을 확립한다.
• 계산적 기준: 교환 대수와 특이점 이론의 알고리즘적 응용에 필수적인 축소 (reduction) 에 대한 필요충분조건인 구체적이고 검증 가능한 수치적 기준 (대각선 부분 대수의 중복도와 혼합 중복도를 포함) 을 제공한다.

저자들은 겸손한 어조를 유지하며, 결과를 아이디얼에 대한 기존 이론을 모듈로 확장한 것으로 framing 하고, 아이디얼과 모듈 간의 구조적 차이를 극복하기 위해 선형 정칙성 경계와 같은 유사하지만 적응된 전략을 활용했다고 서술한다.