[论文解读] Equidistribution of small subvarieties of an abelian variety

Matthew Baker, Su-Ion Ih|ArXiv.org|Apr 21, 2004

Algebraic Geometry and Number Theory参考文献 5被引用 5

一句话总结

本文建立了数域上阿贝尔簇中较小的严格子簇的一般等分布定理，将Szpiro-Ullmo-Zhang的等分布定理从点推广到更高维子簇。利用典范高度与Arakelov几何，证明了当此类子簇的典范高度趋于零时，其在阿贝尔簇复点上的归一化哈尔测度下趋于等分布。

ABSTRACT

We prove an equidistribution result for small subvarieties of an abelian variety which generalizes the Szpiro-Ullmo-Zhang theorem on equidistribution of small points.

研究动机与目标

• 将Szpiro-Ullmo-Zhang的等分布定理从较小的点推广到阿贝尔簇中更高维的小型子簇。
• 通过算术交点理论与赫米特线丛，建立子簇的典范高度理论。
• 证明小的、严格的子簇序列在阿贝尔簇复点上的归一化哈尔测度下趋于等分布。
• 通过等分布性质，解决子簇的Bogomolov猜想的高维类比。
• 证明等分布性质在严格性条件下成立，从而避免在真扭子簇上集中。

提出的方法

• 通过数域整数环上阿贝尔簇模型的算术交点理论，定义子簇的高度。
• 构造一系列模型与具有立方度量的赫米特线丛，将典范高度 $\hat{h}_L(Y)$ 定义为算术交点数的极限。
• 引入“严格”子簇序列的概念，即不存在子序列位于真扭子簇中。
• 利用广义Bogomolov猜想（Zhang）证明：若非扭子簇中存在小的通用子簇，则其不能在该子簇中稠密，除非该子簇本身是扭的。
• 通过光滑函数逼近实现测度的弱收敛，并利用小点的等分布性质，推导出测度 $\mu_n$ 收敛于哈尔测度 $\mu$。
• 通过反证法与极限论证证明等分布性，利用 $\mu_n$ 的极限必等于哈尔测度 $\mu$ 的事实。

实验结果

研究问题

• RQ1 阿贝尔簇中小点的等分布性质能否推广到更高维子簇？
• RQ2 何种条件可确保小子簇序列在哈尔测度下趋于等分布？
• RQ3 子簇的典范高度如何与其等分布行为相关？
• RQ4 是否存在Bogomolov猜想的高维类比，以防止小子簇在非扭子簇中稠密？
• RQ5 在何种条件下小子簇序列无法等分布，此类障碍如何被排除？

主要发现

• 子簇 $Y$ 的典范高度 $\hat{h}_L(Y)$ 定义为涉及具有立方度量的赫米特线丛的算术交点数的极限。
• 若子簇序列是小的且严格的，则其在 $A(\mathbb{C})$ 上的归一化哈尔测度 $\mu$ 下趋于等分布。
• 等分布结果对 $A(\mathbb{C})$ 上所有连续函数 $f$ 一致成立，满足 $\int f \, d\mu_n \to \int f \, d\mu$。
• 严格性条件确保无子序列位于真扭子簇中，这对于避免在低维环面上集中至关重要。
• 证明依赖于广义Bogomolov猜想（Zhang），以证明在非扭子簇中，小的通用子簇不能稠密，除非该子簇本身是扭的。
• 小点的等分布性质（Szpiro-Ullmo-Zhang）作为关键工具被引入，通过逼近与极限论证推广至子簇。