Equidistribution for semiabelian varieties over number fields

기술 요약: 수체 위 준아벨 다양체의 등분포성(Equidistribution)

문제 제기
본 논문은 준아벨 다양체 위의 작은 점들의 등분포성과 고전적인 보고모프 추측(Bogomolov conjecture) 사이의 간극을 다룬다. 특히 이 문제는 유안-장(Yuan–Zhang)의 등분포 정리에서 요구되는 '준정형적(quasi-canonical)'이지 않은 메트릭이 정의된 설정에서의 문제를 해결하고자 한다. 유안과 장은 준투영 다양체 상의 준정형 아델릭 선다발에 대한 등분포성을 확립하였으며, 퀴네(Kühne)는 정형적 세미아벨 메트릭(canonical semiabelian metrics)에 대한 등분포성을 증명하였다. 그러나 토릭 메트릭(toric metrics)에 의해 지배되며 반양의(semipositive), 단일 임계적(monocritical), 그리고 산술적으로 T-유효한(arithmetically T-effective) 경우와 같이 특정 범주의 메트릭들은 이러한 정리들의 직접적인 범위 밖에 남아 있었다.

핵심 질문은 이러한 더 일반적인 토릭 메트릭들에 대해서도 일반적 등분포성(generic equidistribution)과 보고모프 성질(즉, 특수하지 않은 부분다양체가 임의로 작은 높이를 가진 점들을 자리스키 조밀하게 포함할 수 없다는 성질)이 성립하는가 하는 것이다. 난점은 이러한 메트릭들의 경우, 전역적 높이가 본질적 최솟값보다 엄격히 작게 나타날 수 있다는 것($h_L(G) < \mu^{\text{ess}}_L(G)$), 즉 유안-장의 프레임워크를 직접 적용하기 어렵다는 데 있다.

방법론
저자 웨이 슈에(Wei Xue)는 퀴네의 논증 속에 있는 점근적 추정치들을 분리하여 이를 "명시적 압축 경로(explicit compression paths)"를 통해 재해석하는 증명 전략을 개발한다. 방법론은 다음 네 가지 단계로 진행된다:

1. 국소 국소화 및 아델릭 구성: 저자는 퀴네의 아르키메데스 국소 국소화를 모든 수체의 대수적 자리(place)로 확장한다. 레이노-보슈-뤼트케봄메르트(Raynaud–Bosch–Lütkebohmert)의 아벨 다양체 균등화와 p-진 테타 함수를 사용하여, 저자는 홀로그래픽 디바이저 $D$와 연관된 세미아벨 컴팩티피케이션 $\overline{G}$ 상의 아델릭 선다발 $\mathcal{G}(D)$를 구축한다. 이 구성은 모든 자리에서의 국소 국소화와 호환되도록 하여, 세미아벨 다양체 상의 높이와 토릭 부분상의 절대 최솟값 사이의 정밀한 비교를 가능하게 한다.

2. 정형 메트릭 케이스: 먼저 정형 메트릭 사례에 대한 등분포성을 확립한다. 보조 $n$-나눗셈 타워(n-division tower)를 구축하고 퀴네의 점근적 추정치를 임의의 양의 토릭 디바이저로 확장함으로써, 저자는 일반적인 작은 시퀀스가 정형 측도를 따라 등분포함을 증명한다. 이는 피카르-제로 평행 이동 항(Picard-zero translation terms)을 경계짓고 "정형 하한(canonical lower bound)"으로서의 높이를 확립하는 과정을 포함한다.

3. 준정형 압축: 반드시 정형적이지는 않으나 준정형인 메트릭의 경우, 저자는 "명시적 압축 경로"를 도입한다. 메트릭은 그 결정적 열대 중심(critical tropical center)에 의해 규정되는 준정형 모델을 향해 압축된다. 저자는 명시적인 압축 파라미터 $m(n)$을 구축하며, 이러한 경로를 따라 하한, 측도 추정 및 산술 부피 비교가 균등하게 유지됨을 증명한다. 이 단계는 효과적으로 표준 $(\mathbb{P}^1)^t$ 컴팩티피케이션으로부터 임의의 노멀 프로퍼 토릭 컴팩티피케이션 $X_\Sigma$로 퀴네의 하르 슬라이스(Haar-slice) 및 차이 모폴리즘(difference-morphism) 논법을 운송(transport)한다.

4. 단일 임계 축소: 마지막으로 단일 임계(monocritical) 케이스를 처리한다. 버고스 길(Burgos Gil), 필리폰(Philippon), 리베라-레테리에(Rivera-Letelier), 숨브라(Sombra)의 토릭 측도 이론(BGPS)을 사용하여, 단일 임계 메트릭이 루프 함수(roof function)의 안정 집합 내 원점을 고정하는 산술적 T-유효성에 기초하여 준정형 교체를 통해 준정형 메트릭으로 축소될 수 있음을 보여준다. 결과적으로 단일 임계 메트릭의 극한 측도는 결합된 준정형 메트릭의 측도와 일치함이 밝혀진다.

주요 기여 및 결과

• 일반적 등분포성 (정리 1.3): 본 논문은 $D$가 크고(big), T-유효하며, 반양의이고, 단일 임계이며, 산술적으로 T-유효한 토릭 메트릭 디바이저인 수체 위의 세미아벨 다양체 $G$에 대하여, 모든 일반적인 $L$-작은 시퀀스가 모든 자리 $v$에서 $v$-아딕 등분포를 만족함을 증명한다.
• 보고모프 정리 (정리 1.4): 본 논문은 이 특정 메트릭 클래스에 대해 보고모프 정리를 확립한다. 만약 폐부분다양체 $X \subseteq G$가 $\mu^{\text{ess}}_L(X) = \mu^{\text{ess}}_L(G)$를 만족하면, $X$는 특수 부분다양체(특수 점에 의한 대수적 부분군 의 평행이동)이다. 역으로, $G(K)$가 $L$-특수 점들을 포함한다면, $X$가 $L$-특수인 것은 $\mu^{\text{ess}}_L(X) = \mu^{\text{ess}}_L(G)$인 것과 동치이다.
• 퀴네 운송 어셈블리 (Kühne Transport Assembly): 중요한 기술적 기여로서 (제안 96)는 퀴네의 국소 국소화 분석, 차이 모폴리즘, 소박스 모순 논법을 임의의 토릭 컴팩티피케이션 및 준정형 메트릭에 엄밀하게 적응시키는 패키지이다. 이는 테타 인자 관례가 정확히 관리되는 한, 정형 케이스에서 사용된 푸시다운 동일식과 하르 슬라이스 묘사가 이러한 일반화 아래에서도 여전히 유효함을 입증한다.
• 엄격한 등분포성: 본 논문은 준정형 메트릭에 대한 엄격한 등분포 정리(정리 102)를 도출하며, 최소 특수 포괄 영역(minimal special envelopes) 상의 제한된 준정형 모델을 사용하여 순환 논증을 피하면서 보고모프 성질과 일반적 등분포 결과를 결합하여 엄격한 작은 시퀀스가 정형 확률 측도로 등분포함을 보인다.

의의 및 주장
본 논문은 유안-장의 준정형 범위를 넘어 퀴네의 정형 범위를 넘어서는 등분포 및 보고모프 정리의 외연을 확장한다고 주장한다. 이 공헌은 새로운 정형 정리의 증명이 아니라, 아니면 모든 반양의 토릭 메트릭에 대한 결과도 아니다. 대신, 연구는 단일 임계 및 산술적으로 T-유효한 토릭 메트릭이라는 구체적인 클래스를 목표로 삼는다.

그 의의는 정형, 준정형, 그리고 일반적인 토릭 메트릭 사이의 "비교 메커니즘"이 확립되었다는 점에 있다. 점근적 추정을 격리하고 이를 압축 경로를 통해 재해석함으로써, 저자는 강력한 퀴네의 국소 국소화 논법이 엄격히 준정형적이지 않은 메트릭에도 적용될 수 있도록 가교 역할을 수행한다. 논문은 보고모프 적용 맥락에서의 "일반 메트릭"이 현재의 범위를 벗어난 새로운 교체 또는 변형 정리가 필요한 것이 아닌, 통제된 이 클래스로 제한되어 있음이 명확하다.

이 작업은 트로픽 기하학(결정 벡터, 루프 함수), 산술 교차 이론(아델릭 선다발, 산술 부피), 그리고 해석적 균등화(레이노 확장, 테타 함수) 사이의 밀접한 상호작용에 크게 의존한다. 또한 BGPS의 단일 임계 기준과 세미아벨 높이 분해를 성공적으로 통합하여, 이 비자명한 특정 클래스의 메트릭에 대한 등분포 문제를 해결하였다.