Arithmetic Fujita approximation over adelic curves

기술 요약: 아델릭 곡선 위의 산술적 후지타 근사 (Arithmetic Fujita Approximation over Adelic Curves)

문제 정의
본 논문은 아델릭 곡환(adelic curves) 상의 아라켈로프 기하학(Arakelov geometry) 프레임워크로 후지타 근사 정리(Fujita's approximation theorem)를 확장하는 문제를 다룬다. 고전적 대수 기하학에서 후지타의 정리는 큰 선다발(big line bundle)이 유리 변형(birational modification)을 거친 후, 암플(ample) 선다발과 유효(effective) 선다발의 텐서 곱에 의해 임의로 가깝게 근사될 수 있음을 단언한다. 수체(number field) 상의 산술적 설정에서 이 추측은 이전에 첸(Chen)과 위안(Yuan)에 의해 서로 다른 방법(플루리-서브하모닉 포락선 및 $\mathbb{R}$-필트레이션)을 사용하여 입증된 바 있다.

그러나 수체, 함수체 및 기타 아델릭 구조를 가진 기저를 통합하기 위해 첸과 모리와키(Chen and Moriwaki)가 개발한 프레임워크인 아델릭 곡선으로의 일반화는 상당한 난제를 제시한다. 구체적으로, 수체의 경우에서 연속적인 최솟값(successive minima)의 사용을 용이하게 하는 "민코프스키 성질(Minkowskian property)"이 일반적인 아델릭 곡선에는 결여되어 있다. 또한, 아델릭 구조의 복잡성(예: 비이산적 $\sigma$-대수)으로 인해 측정 가능성(measurability) 및 적분 가능성(integrability) 문제가 발생한다. 본 논문은 일반적인 아델릭 곡선 환경에서, 단순히 점근적 기울(asymptotic slopes)을 포함하는 "상대적" 버전을 넘어 $\mathbb{R}$-선다발에 대해 완전한 산술적 후지타 근사가 성립하는지에 관한 첸과 모리와키의 추측을 해결하는 것을 목표로 한다.

방법론
저자는 $\mathbb{R}$-필트레이션, 하더-나라심한(Harder-Narasimhan) 필트레이션, 그리고 자명한 값(trivially valued)을 갖는 체 위에서의 등급 선형 계열(graded linear series) 구축을 결합한 다단계 전략을 채택한다.

1. 프레임워크 및 가정: 본 연구는 기저 체 $K$가 완전(perfect) 체이고, 아델릭 곡선 $S$가 특정 기술적 조건을 만족한다는 가정하에 수행된다: 즉, $\sigma$-대수 $\mathcal{A}$가 이산적이거나, 모든 $w \in \Omega$에 대해 $K$가 $K_w$ 내에서 조밀한 가산 부분체를 포함해야 한다. 이러한 조건들은 부분 공간 노름(subspace norms)과 몫 노름(quotient norms)이 측정 가능하고 적분 가능하도록 보장하여, 아델릭 벡터 번들의 구축 과정에서 발생하는 장애물을 방지한다.
2. 하더-나라심한 필트레이션 및 $\mathbb{R}$-필트레이션: 본 논문은 $\mathbb{R}$-필트레이션을 통해 공식화된 아델릭 벡터 번들의 하더-나라심한 필트레이션을 활용한다. 이를 통해 최대 및 최소 점근적 기울($\hat{\mu}^{\text{asy}}_{\max}$ 및 $\hat{\mu}^{\text{asy}}_{\min}$)과 같은 점근적 불변량을 정의할 수 있다.
3. 자명한 값을 갖는 체로의 전이: 원래의 $S$ 상의 계열로부터 자명한 값을 갖는 체($S_0$) 상의 등급 선형 계열을 구축하는 것이 핵심 기술이다. 저자는 전역 단면(global sections) $H^0(X, L^{\otimes n})$에 하더-나라심한 필트레이션을 적용함으로써 스펙트럼 노름(spectral norm)을 정의한다. 이는 원래의 계열을 $S_0$ 상의 "필트레이션 가능한 근사 등급 선형 계열(filtrated approximable graded linear series)"로 변환한다.
4. 등급 선형 계열의 근사: 저자는 산술적으로 큰 선다 bundle에 대하여, 그와 관련된 $S_0$ 상의 등급 선형 계열이 근사 가능함을 증명한다. 이는 임의의 $\lambda < \hat{\mu}^{\text{asy}}_{\max}(L)$에 대하여, 스펙트럼 노름이 $e^{-D\lambda}$에 의해 유계인 단면들로 정의된 부분 계열이 암플한 디바이저(ample divisor)를 포함함을 보이는 과정을 포함한다. 이 단계는 아델릭 설정에 맞게 조정된 기하학적 코다이라 분해(Kodaira decomposition) 논증에 의존하며, 일반적인 아델릭 곡선에서 실패하는(예제 4.4에서 입증됨) 직접적인 산술적 코다이라 분해의 적용을 피한다.
5. $\mathbb{Q}$ 및 $\mathbb{R}$-선다 bundle로의 확장:
   • $\mathbb{Q}$-선다 bundle의 경우, 정수(integer) 사례를 스케일링함으로써 결과가 직접적으로 도출된다.
   • $\mathbb{R}$-선다 bundle의 경우, 저자는 연속성 논증을 사용한다. 산술적 부피 함수는 연속적이므로, 산술적으로 큰 $\mathbb{R}$-선다 bundle은 비제로(non-zero) 작은 단면을 갖는 산술적으로 큰 $\mathbb{Q}$-선다 bundle에 의해 근사될 수 있다.

주요 기여 및 결과
주요 결과는 **정리 1.1 (정리 5.5)**이며, 이는 적절한(proper) 아델릭 곡선 위의 산술적으로 큰 $\mathbb{R}$-선다 bundle에 대한 산술적 후지타 근사를 확립한다.

• 정리 진술: $K$가 측정 가능성 조건을 만족하는 완전 체인 적절한 아델릭 곡선 $S$가 주어져 있다고 하자. $X$를 사영 다양체라 하고 $L$을 산술적으로 큰 $\mathbb{R}$-선다 bundle이라 하자. 임의의 $\epsilon > 0$에 대하여, 충분히 큰 정수 $p$와 유리 변형 $v: X' \to X$가 존재하여 다음을 만족한다:
  $$v^*(L^{\otimes p}) = A \otimes M$$
  여기서:

  1. $A$는 산술적으로 암플한 선다 bundle이다.
  2. $M$은 비제로 작은 단면(모든 $w$에 대해 $\|s\|_{\sup, w} \leq 1$인 전역 단면 $s$)을 갖는 아델릭 $\mathbb{R}$-선다 bundle이다.
  3. 부피는 다음 근사 부등식을 만족한다:
     $$p^{-(\dim(X)+1)} \widehat{\text{vol}}(A) \geq \widehat{\text{vol}}(L) - \epsilon$$

• 일반화: 이 결과는 첸과 위안의 이전 연구(수체 사례를 다룸)를 일반화하며, 2021년 첸과 모리와키의 연구[11, Remark 9.2.7]에서 제기된 추측에 긍정적인 답변을 제공한다. 이는 "상대적 후지타 근사"(최대 기울만을 제어함)를 넘어, "유효한" 부분이 작은 단면의 존재성에 의해 제어되는 완전한 분해로 나아간다.

의의
본 논문은 일반적인 아델릭 곡선 환경에서 후지타 근사의 유효성에 관한 첸과 모리와키의 추측에 대해 결정적인 긍정적 응답을 제공한다고 주장한다. 그 의의는 다음과 같다:

1. 통합: 민코프스키 성질의 결여에도 불구하고, 수체, 함수체 및 기타 아델릭 기저를 포괄하는 통합된 프레임워크로 기초적인 산술 기하학의 정리를 확장하였다.
2. 기술적 해결: 아델릭 곡선에 대한 조건을 부과하고 자명한 값을 갖는 체 상에서의 스펙트럼 노름 구축을 활용함으로써, 측정 가능성 및 적분 가능성과 관련된 구체적인 장애물을 극복하였다.
3. 범위: 작은 단면과 $\mathbb{R}$-번들 사이의 가교를 구축함으로써 현대 산술 교차 이론에 필수적인 $\mathbb{R}$-번들을 성공적으로 다루었다.

저자는 이 결과가 기하학적 후지타 근사의 직접적인 아날로그라고 언급하며, 산술적으로 큰 번들이 효과적인 방향(작은 단면을 갖는 번들로 표현됨)을 따라 암플한 번들에 의해 근사될 수 있음을 명시함으로써, 아델릭 곡환 프레임워크 내에서 산술적 양의 개념(arithmetic positivity concepts)의 견고함을 확인하였다.