Equidistribution for quasi-projective varieties over function fields

기술 요약: 함수체 위 준-사영 다양체에 대한 등분포성 (Equidistribution for Quasi-Projective Varieties over Function Fields)

문제 정의
본 논문은 고차원 기저(base)를 갖는 함수체 위의 준-사영 다양체에서 작은 점(small points)과 부분다양체의 등분포성 문제를 다룬다. 등분포성 정리는 수체(number fields) 및 곡선(dimension 1)의 함수체 위의 사영 다양체에 대해서는 잘 확립되어 있으나, 고차원 함수체 위의 준-사영 다양체로 이 결과를 확장하는 데에는 상당한 어려움이 따른다. 구체적으로, 저자들은 함수체 사례에서 compactified relatively nef metrized line bundle에 대한 [YZ26, Conjecture 5.4.1]을 확인하고자 한다. 나아가, nef 설정 이상의 새로운 도구가 필요한 arithmetically big line bundle에 대한 등분포성 확립을 목표로 한다.

방법론
핵심적인 방법론적 혁신은 Chen과 Moriwaki [CM20, CM21]가 정의한 adelic curve의 틀 안에서, Gubler [Gub08]에 의해 독창적으로 개발된 "generic curve" 기법을 적용하고 정교화하는 것이다.

1. 곡선으로의 축소 (Reduction to Curves): 차원이 $\delta \geq 2$인 기저 다양체 $T$에 대하여, 저자들은 $T$ 상의 ample class와 연관된 "generic curve" $T_c$를 구성한다. 이 구성은 adelic curve의 피복(covering) $S_c \to S$를 유도하며, 여기서 $S$는 원래의 함수체 $K = k(T)$에 대응하고 $S_c$는 generic curve의 함수체 $K_c$에 대응한다.
2. 교차수 불변성 (Invariance of Intersection Numbers): 결정적인 기술적 단계는 산술 교차수(arithmetic intersection numbers)와 기하학적 차수(geometric degrees)가 generic curve로의 pull-back 하에서도 불변임을 증명하는 것이다. 이를 통해 고차원 기저 사례를 1차원 기저(즉, $T_c$의 차원이 1인 경우) 사례로 축소할 수 있다.
3. Compactified Metrized Line Bundles: 저자들은 준-사영 다양체 상의 compactified $S$-metrized YZ-line bundle 이론을 활용한다. 이들은 limit과 boundary topology를 통해 projective 사례로부터 정의를 확장하여, relatively nef 및 big line bundle에 대한 산술 교차수와 height function을 정의한다.
4. Fujita Approximation: nef가 아닌 big line bundle의 경우를 위해, 저자들은 표수 0인 함수체 상에서의 Fujita approximation 정리를 확립한다. 이를 통해 big line bundle을 nef인 것들로 근사할 수 있으며, 양의 교차 곱(positive intersection products)을 통해 내재적인 등분포 측도를 정의할 수 있다.

주요 기여 및 결과

• 정리 A (Relatively Nef Case): 저자들은 metrized line bundle $L$이 relatively nef라고 가정할 때, 고차원 기저를 갖는 함수체 위의 준-사영 다양체 상의 작은 점들에 대한 등분포성 정리를 증명한다.

  • 결과: relatively nef line bundle $L$에 대해 작은 점들의 generic net $\{x_m\}$에 대하여, 이 점들의 Galois orbit은 측도 $c_1(L_v)^d$에 따라 Berkovich analytification $U^{an}_v$ 내에서 등분포한다.
  • 의의: 이는 [YZ26, Conjecture 5.4.1]을 함수체 사례에 대해 확인한 것이며, 수체나 곡수의 함수체로 제한되었던 기존의 결과들을 확장한 것이다.

• 정리 B (Generic Curve Covering): 본 논문은 generic curve 구성을 adelic curve의 피복으로 엄밀하게 공식화한다. 이 피복이 산술 교차수의 구조를 보존하며, 등분포성 결과를 곡수의 사례로부터 고차원 기저의 사례로 전달할 수 있음을 보여준다.

• 정리 C (Big Case): 저자들은 (표수 0을 가정할 때) arithmetically big line bundle에 대한 등분포성 정리를 확립한다.

  • 결과: big line bundle $L$에 대해 작은 점들의 generic net에 대하여, 이 점들은 양의 교차 곱 $\langle L^d \rangle \cdot O_U(f_v)$를 통해 정의된 측도에 따라 등분포한다.
  • 의의: 이는 positive intersection product를 사용하여 측도를 내재적으로 정의함으로써 nef cone 너머로 이론을 확장한다. 저자들은 내재적 정의를 위해서는 표수 0이 필요하지만, push-forward를 통해 임의의 표수에서도 측도를 정의할 수 있으며 등분포 결과 또한 유효함을 언급한다.

• 부분다양체 등분포성 (Subvariety Equidistribution): 본 논문은 또한 relatively nef 사례에서 작은 부분다양체의 등분포성 정리(Theorem 5.3.3)를 증명하여, 점(pointwise)에 대한 결과를 고차원 부분다양체로 일반화한다.

의의 및 주장
본 논문은 이전 연구들이 사영 다양체나 1차원 기저로 제한되었던 공백을 메우며, 고차원 기저를 갖는 함수체 위의 준-사영 다양체에 대한 등분포성 문제를 해결한다고 주장한다. 이 맥맥락에서 Yuan과 Zhang [YZ26]의 Conjecture 5.4.1을 확인함으로써, 저자들은 다양한 유형의 체(수체 및 함수체)와 기하학적 설정(사영 및 준-사영)에 걸쳐 작은 점에 관한 이론을 통합한다.

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

1. 일반화: 사영 다양체에서 준-사영 다양체로, 그리고 곡수 기저에서 고차원 기저로의 확장.
2. 방법론적 통합: 고차원 기저를 다루기 위해 adelic curve의 언어로 generic curve 기법을 성공적으로 적응시킴.
3. Big Bundles로의 확장: non-nef line bundle이 포함된 응용 분야에 필수적인 positive intersection product를 사용하여 'big' 사례를 위한 프레임워크를 제공함.

저자들은 고차원 기저를 곡선으로 축소하기 위해 generic curve 기법에 의존하며, big case를 위해 Fujita approximation 정리가 필수적인 구성 요소임을 명시적으로 밝히고 있다. 저자들은 "big" 가정이 없는 임의의 non-nef bundle에 대해 등분포성 문제를 해결하거나, 특정 push-forward 예외 조항 없이 양의 표수로 Fujita approximation을 확장한다고 주장하지 않는다. 결과들은 기존 추측의 확인이자 함수체 상의 Arakelov 이론의 자연스러운 확장으로 제시된다.