[논문 리뷰] Points of Small Height on Semiabelian Varieties

Lars Kühne|arXiv (Cornell University)|2018. 08. 02.

Algebraic Geometry and Number Theory인용 수 2

한 줄 요약

이 논문은 수체 위의 일반적인 준아벨 다양체에 대해 등분포 추측과 보고몰로프 추측을 증명하며, 다양체가 거의 분할되어 있지 않은 한 캐논컬 높이가 음수라는 장애를 극복한다. 수체 위의 준아벨 다양체에 대해 슈피로-울로-장의 기법을 비틀어 적용한 渐近 등분포 기법과 메트라이제이션된 선다발 위의 캐논컬 메트릭을 개발함으로써, 정규화된 점 질량이 캐논컬 측도로 약수렴한다는 것을 증명함으로써, 일반적인 상황에서 강력한 등분포 추측에 대한 자가 포함된 증명을 확립한다.

ABSTRACT

The Equidistribution Conjecture is proved for general semiabelian varieties over number fields. Previously, this conjecture was only known in the special case of almost split semiabelian varieties through work of Chambert-Loir. The general case has remained intractable so far because the height of a semiabelian variety is negative unless it is almost split. In fact, this places the conjecture outside the scope of Yuan's equidistribution theorem on algebraic dynamical systems. To overcome this, an asymptotic adaption of the equidistribution technique invented by Szpiro, Ullmo, and Zhang is used here. It also allows a new proof of the Bogomolov Conjecture and hence a self-contained proof of the Strong Equidistribution Conjecture in the same general setting.

연구 동기 및 목표

• 수체 위의 일반적인 준아벨 다양체에 대해 등분포 추측을 확립함으로써, 이전까지 알려진 거의 분할 다양체의 경우를 넘어서는 것.
• 캐논컬 높이가 다양체가 거의 분할이 아닐 경우 음수가 되기 때문에 발생하는 오랜 장애를 해결함으로써, 유안의 등분포 정리가 음수 높이의 경우에 실패함을 피함.
• 준아벨 다양체의 일반적 설정에서 보고몰로프 추측에 대한 새로운 자가 포함된 증명을 제공함.
• 등분포 추측과 보고몰로프 추측 간의 동치성을 증명함으로써, 이 맥락에서 강력한 등분포 추측을 확립함.
• 준아벨 다양체의 해석적 공간 위에서 캐논컬 측도를 정의할 수 있도록 하는 캐논컬 높이 함수와 메트라이제이션된 선다발 위의 관련 캐논컬 메트릭을 개발함.

제안 방법

• 준아벨 다양체의 컴팩티피케이션과 선다발 L = MG ⊗ π∗N을 사용하여 캐논컬 높이 함수 bhL(x)를 정의함. 여기서 MG는 경계 배경에 관련되고, N은 아벨 몫군 A 위의 앰플리 대칭 선다발임.
• 수체 위의 준아벨 다양체에 대해 슈피로, 울로, 장의 등분포 기법을 비틀어 적용한 渐近적 변형을 사용함으로써, 음수 높이의 경우에 실패하는 유후안의 정리에 의존하지 않음.
• 각 장소 ν에 대해 ν-메트라이제이션된 선다발 Lν = (L, ∥·∥ν)를 구성함으로써, 해석적 공간 GanCν 위의 캐논컬 측도 c1(Lν)∧g+t를 도출함.
• 국소적 포텐셜과 케른-레빈-니렌버그 부등식을 사용하여 커런트의 몽제-암페르 tích분을 유계함으로써, 핵심적인 극한 과정에서의 수렴을 보임.
• n과 k에 대한 이중 극한 과정을 적용하여 국소적 높이 쌍대화 λbD1,…,bDd′+1(Z)를 정의하고 제어함으로써, 보조 선택에 의존하지 않음을 보장함.
• 비음수 커런트에 대한 베드포드-테일러 이론의 정밀한 변형을 사용하고, 섹션의 로그 노름에 대한 균일한 유계성으로 극한의 수렴을 증명함.

실험 결과

연구 질문

• RQ1 캐논컬 높이가 음수인 거의 분할이 아닌 준아벨 다양체에 대해서도 등분포 추측을 일반적으로 증명할 수 있는가?
• RQ2 수체 위의 준아벨 다양체의 기하학적으로 기약인 부분다양체에 대해 보고몰로프 추측은 참인가?
• RQ3 등분포 추측과 보고몰로프 추측이 일반 설정에서 성립할 경우, 강력한 등분포 추측을 이끌어낼 수 있는가?
• RQ4 비아르키메데스적 및 아르키메데스적 장소 ν에 대해 해석적 공간 GanCν 위의 캐논컬 측도 c1(Lν)∧g+t를 어떻게 정의하고 제어할 수 있는가?
• RQ5 음수 캐논컬 높이가 존재할 경우 표준 등분포 정리의 실패를 다루기 위한 올바른 渐近적 프레임워크는 무엇인가?

주요 결과

• 모든 수체 위의 준아벨 다양체에 대해 등분포 추측이 성립하며, 소수점의 정규화된 점 질량이 캐논컬 측도 c1(Lν)∧g+t / degL(G)로 약수렴함.
• 준아벨 다양체에 대해 보고몰로프 추측이 전반적으로 증명되었으며, 소수점이 자리를 차지하지 않음은 부분다양체가 연결된 부분군의 토르션 이동이 아닐 경우에만 성립함을 보임.
• 등분포 추측과 보고몰로프 추측의 결과로서 강력한 등분포 추측이 성립함으로써, 소수점 수열의 완전한 특성화가 이루어짐.
• 캐논컬 높이 bhL(x)는 타이트의 극한 논증을 통해 MG와 π∗N의 웨일 높이를 사용하여 정의되며, 아델리카 메트라이제이션된 선다발 eL와 관련된 네론-타이트 높이와 일치함.
• 측도 c1(Lν)∧g+t가 아르키메데스적 ν에 대해 최대 컴팩트 부분군 위의 하르 측도임을 보이고, 캐논컬 메트릭과 펄리하모닉 포텐셜을 통해 그 구조를 기술함.
• 높이 쌍대화의 극한 과정이 보조 선택의 메트릭과 섹션에 의존하지 않음을 보였으며, 이는 국소적 높이 쌍대화의 일관성과 잘 정의됨을 보장함.