[논문 리뷰] Adelic line bundles on quasi-projective varieties

Xinyi Yuan, Shou-Wu Zhang|arXiv (Cornell University)|2021. 05. 28.

Algebraic Geometry and Number Theory참고 문헌 72인용 수 9

한 줄 요약

이 논문은 유한 생성 체 위의 준사영 다양체로 아델릭 선다발 이론을 확장하여 교차 이론, 체적, 높이 및 등분포 정리들을 수립한다. 이는 이러한 체 위의 아벨 다양체에 대한 캐논리컬 Néron–Tate 높이를 정의하고, 보편 Hodge 지수 정리와 소점의 등분포를 증명하며, 수론기하학의 고전적 결과들을 일반화한다.

ABSTRACT

In this book, we establish a theory of adelic line bundles over quasi-projective varieties over finitely generated fields. Besides definitions of adelic line bundles, we consider their intersection theory, volume theory, and height theory, and apply these to study heights of algebraic points of quasi-projective varieties.

연구 동기 및 목표

• 수체 위의 사영 다양체에서 Zhang의 아델릭 선다발 이론을 유한 생성 체 위의 준사영 다양체로 일반화한다.
• 준사영 다양체 위의 아델릭 선다발에 대한 교차 이론과 체적 이론을 개발한다.
• 유한 생성 체 위의 아벨 다양체에 대한 캐논리컬 높이를 정의하고 Néron–Tate 높이를 확장한다.
• 수체 위의 준사영 다양체에서 소점에 대한 등분포 정리를 수립한다.
• 이 일반화된 설정에서 보편 Hodge 지수 정리를 증명한다. 이는 Faltings 및 Hriljac의 결과를 일반화한다.

제안 방법

• Berkovich 해석적 공간과 메트라이제이션된 선다발을 사용하여, 유한 생성 체 위의 준사영 다양체에 대한 아델릭 선다발을 도입한다.
• 아델릭 선다발에 대한 Deligne 쌍대를 구성하고, 그 양성과 함자성을 증명한다.
• Berkovich 해석화를 사용하여 아델릭 위수와 선다발을 해석적 공간 위의 메트라이제이션된 선다발로 해석한다.
• 제한된 해석적 공간 이론과 국소 메트릭을 적용하여 전역 교차 수를 정의한다.
• 높이 함수를 정의하기 위해 $X imes_S J$ 위에 보편 $ ceil$-선다발 $Q$를 구성하고, $[m]^*Q = mQ$를 만족시킨다.
• 높이 쌍대를 $ar{rak{h}}(M) = -rac{1}{2} ar{rak{h}}_{ar{ heta}}(M)$ 로 정의하고, 그 이차성과 정수성을 증명한다.

실험 결과

연구 질문

• RQ1 어떻게 아델릭 선다발을 유한 생성 체 위의 준사영 다양체에서 정의하고, 그 교차 이론을 개발할 수 있는가?
• RQ2 아벨 다양체 위의 Néron–Tate 높이를 유한 생성 기저 체의 경우로 확장할 수 있는가?
• RQ3 이 일반화된 설정에서 수체 위의 준사영 다양체에서 소점에 대한 등분포 정리가 성립하는가?
• RQ4 상대 Jacobian 위의 degree zero 선다발에 대한 높이 쌍대의 구조는 무엇인가?
• RQ5 고차원 기저 위의 아델릭 선다발에 대해 보편 Hodge 지수 정리를 수립할 수 있는가?

주요 결과

• 논문은 상대 Jacobian 위에 캐논리컬 아델릭 선다발 $ar{M}_0$를 구성하여 $ar{rak{h}}(M) = -rac{1}{2} ar{rak{h}}_{ar{ heta}}(M)$ 를 만족시키며, Néron–Tate 높이를 일반화한다.
• 높이 쌍대가 $ar{rak{h}}(M) = -rac{1}{2} ar{rak{h}}_{ar{ heta}}(M)$ 를 만족하고, $ar{rak{h}}$ 가 이차적이며 $ ceil ext{Pic}(S/k)_{ ceil, ext{nef}}$ 에 값이 있음을 증명한다.
• 전술한 $X imes_S J$ 위의 보편 선다발 $ar{Q}$ 는 $[2]^*ar{Q} = 2ar{Q}$ 를 만족하며, 그 pullback 을 통해 높이 쌍대를 유도한다.
• Hodge 지수 정리는 일반화된다: $p_{2*}ig anglear{Q},ar{Q}\big\rangle = -ar{ heta}$ in $ ceil ext{Pic}(J/k)_{ ceil}$.
• 소점에 대한 등분포 정리는 수체 위의 준사영 다양체에 대해 수립되었으며, Szpiro–Ullmo–Zhang 및 Yuan의 결과를 일반화한다.
• 높이 쌍대 $ar{rak{h}}$ 가 $ ext{Pic}^0(X/S)$ 에서 단사적이며, $ ceil ext{Pic}(S/k)_{ ceil, ext{nef}}$ 에 값이 있으며, $ar{rak{h}}(M) = -rac{1}{2} ar{rak{h}}_{ar{ heta}}(M)$ 를 만족함을 보였다.