[论文解读] Points of Small Height on Semiabelian Varieties

Lars Kühne|arXiv (Cornell University)|Aug 2, 2018

Algebraic Geometry and Number Theory被引用 2

一句话总结

本文證明了數體上一般半阿貝爾簇的等分布猜想與波戈莫洛夫猜想，克服了典型高度為負（除非簇近乎分裂）所造成的障礙。作者發展了一種源自 Szpiro-Ullmo-Zhang 的漸近等分布技術，並運用度量線叢上的典型度量，建立歸一化點質量弱收斂至典型測度，從而提供了一個自包含的、在一般情況下完整成立的強等分布猜想的證明。

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.

研究动机与目标

• 建立數體上一般半阿貝爾簇的等分布猜想，推廣至先前僅知的近乎分裂簇的情況。
• 解決長期存在的障礙：典型高度僅在簇近乎分裂時非負，此一性質排除了一般情況下 Yuan 的等分布定理的適用。
• 在半阿貝爾簇的一般設定下，提供波戈莫洛夫猜想的新、自包含的證明。
• 透過在該背景下建立等分布與波戈莫洛夫猜想的等價性，證明強等分布猜想。
• 發展一個典型高度函數及其在度量線叢上的典型度量，使半阿貝爾簇的解析空間上典型測度的定義成為可能。

提出的方法

• 透過半阿貝爾簇的緊化與線叢 L = MG ⊗ π∗N，引入典型高度函數 bhL(x)，其中 MG 與邊界除子相關，N 為阿貝爾商簇 A 上的充分正對稱線叢。
• 使用 Szpiro、Ullmo 與 Zhang 的等分布技術之漸近改寫，避免依賴在負高度情況下失效的 Yuan 定理。
• 針對每個位置 ν，構造 ν-度量線叢 Lν = (L, ∥·∥ν)，進而導出解析空間 GanCν 上的典型測度 c1(Lν)∧g+t。
• 運用局部勢函數與 Chern-Levine-Nirenberg 不等式，以控制電流的 Monge-Ampère 積，並顯示在關鍵極限過程中收斂至零。
• 應用涉及 n 與 k 的雙重極限過程，以定義並控制局部高度配對 λbD1,…,bDd′+1(Z)，確保其與輔助選擇無關。
• 使用 Bedford-Taylor 理論在非正電流上的改良版本，並透過截面的對數範數之均勻界，證明極限的收斂性。

实验结果

研究问题

• RQ1 能否在典型高度為負的情況下（如非近乎分裂的簇），證明一般半阿貝爾簇的等分布猜想？
• RQ2 波戈莫洛夫猜想是否對數體上半阿貝爾簇的所有幾何不可約子簇均成立？
• RQ3 在一般設定下，能否將強等分布猜想視為等分布與波戈莫洛夫猜想的推論？
• RQ4 如何定義並控制非阿基米德與阿基米德位置 ν 的解析空間 GanCν 上的典型測度 c1(Lν)∧g+t？
• RQ5 在典型高度為負的情況下，標準等分布定理失效時，應採用何種正確的漸近框架？

主要发现

• 所有數體上半阿貝爾簇的等分布猜想成立，其小點的歸一化點質量弱收斂至典型測度 c1(Lν)∧g+t / degL(G)。
• 波戈莫洛夫猜想在半阿貝爾簇的完整一般性下獲證，顯示小點非 Zariski 稠密，除非子簇是某連通子群的扭轉平移。
• 強等分布猜想作為等分布與波戈莫洛夫猜想的推論而成立，完整表徵了小點序列的性質。
• 典型高度 bhL(x) 透過 Tate 的極限論證，以 MG 與 π∗N 的 Weil 高度定義，且與 adelically 度量線叢 eL 相關的 Néron-Tate 高度一致。
• 測度 c1(Lν)∧g+t 被證明為阿基米德 ν 時在最大緊子群上的哈爾測度，其結構透過典型度量與全純次調和勢函數描述。
• 高度配對中的極限過程被證明與度量與截面的輔助選擇無關，確保局部高度配對的一致性與良定義性。