Lower bound for the canonical on Abelian varieties over totally $p$-adic extensions

技術要約：全 $p$ 進拡大体上のアーベル多様体における標準高さの下界

問題設定
本論文は、数体上で定義されたアーベル多様体の非ねじれ点の標準的な（ネロン・テイト）高さの絶対下界を確立するという問題に取り組んでいる。特に、これらの点が無限代数拡大の中に存在する場合に焦点を当てている。中心となるのはボゴモロフ特性（Bogomolov property）であり、これは無限拡大 $K$ における非ねじれ点の集合が、高さに対して正の厳密な下界を持つことを主張するものである：
$$\liminf_{P \in A(K) \setminus A_{\text{tor}}(K)} \hat{h}(P) > 0.$$
この特性は、実数体（Zhang）、最大アーベル拡大（Baker–Silverman）、および（完全に退化している場合の）特定の全 $v$ 進体（Gubler）については既知であるが、高次元アーベル多様体の良Reductions（good reduction）における全 $p$ 進拡大体に対する一般的な下界は未解決の問題であった。具体的には、著者は、良Reductionsを持つアーベル多様体の全 $p$ 進点に関するボゴモロフ特性についての V. Dimitrov による問いに取り組んでいる。

手法
証明には、超越数論の技術、特に**補助関数法（auxiliary function method）と零推定（zero estimates）**の幾何学的な適応が用いられている。核心となる戦略は以下のステップである：

1. 単純な多様体への還元： ポアンカレの完全可約性定理を用いて、問題を $A$ が幾何学的に単純であり、$L$ が非常に豊富な（very ample）線束である場合に還元する。
2. 補助セクションの構成： 著者は、**シゲルの補題（Siegel's Lemma）**を用いて、グローバル切断の空間 $\Gamma(A \times A, M \otimes L)$（ここで $M = L \boxtimes L$）における非ゼロの補助セクション $F$ を構成する。このセクションは、アーベル多様体の原点において高次の $T_0$ で消滅するように設計されている。$F$ の係数は、高さが小さくなるように選択される。
3. 高さの推定とリウヴィルの不等式： 点 $P \in A(K)$ に対して、論文では $P$ およびその導関数における $F$ の値を分析する。もし $P$ が特定のノルム $q$ の多くの素座において単位元に還元されるならば、導関数の局所的な値は小さくなる。逆に、もし $P$ のグローバルな高さが小さいならば、リウヴィルの不等式はこれら局所的な値の積に対して下界を与える。
4. 零推定（フィリポンの定理）： 補助関数 $F$ が、高さの小さいあまりに多くの点で消滅することを防ぐために、著者は**フィリポンの零推定（Philippon's zero estimate）**を適用する。この定理は、ある部分多様体に沿って特定の次数で消滅するセクションの零点の数を制限する。決定的なのは、$A$ が単純であると仮定されているため、任意の固有の代数的部分群は自明であり、これにより零集合が有限かつ制御されたものになることである。
5. パラメータの選択： 証明には、セクションの次数 $L$、消滅次数 $T_0$、および最初の非消滅導関数の次数 $T_f$ という、繊細なパラメータの調整が含まれる。これらは、ある閾値以下の高さを持つ点の集合が無限であるという矛盾を導くために最適化される。

主要な結果
本論文は、以下の主要な定理を確立している：

• 定理 1.1（全 $p$ 進拡大体）： 有限個の素数の集合 $\mathcal{P}$ が存在し、$p \notin \mathcal{P}$ に対して $\psi_{p^f} > 0$ である漸近的に正な拡大 $K/\mathbb{Q}$ に対して、標準高さは以下を満たす：
  $$\liminf_{P \in A(K)} \hat{h}(P) \geq C(A, K) \frac{\psi_{p^f} \log(p^f)}{(p^f)^{2g}}.$$
  ここで、$\psi_q$ は拡大におけるノルム $q$ の素イデアルの密度を測るものである。

• 系 1.2（最大全 $p$ 進拡大）： 最大全 $p$ 進拡大 $\mathbb{Q}(p)$ について、ほとんどすべての素数 $p$ に対して、以下が成立する：
  $$\liminf_{P \in A(\mathbb{Q}(p))} \hat{h}(P) \geq C(A) \frac{\log p}{p^{2g}}.$$
  これは、良Reductionsのケースにおける $A(\mathbb{Q}(p))$ のボゴモロフ特性を裏付けるものである。

• 定理 1.3（一般的な漸近的に正な拡大）： 漸近的に正な一般的な無限拡大 $K/K$ に対して、下界は関連するすべての素数冪の和となる：
  $$\liminf_{P \in A(K)} \hat{h}(P) \geq C'(A, K) \sum_{q=p^k, p \notin \mathcal{P}} \psi_q \frac{\log q}{q^{2g}}.$$

意義と主張
本論文は、良Reductionsのケースにおけるアーベル多様体の全 $p$ 進点に対して、ボゴロフ特性を確立した最初の事例を提供すると主張している。以前の Gubler の結果は完全に退化したケースをカバーしており、Chambert-Loir の結果は良Reductionsのケースにおいてザリスキー稠密な開集合に対してのみ特性を確立していた。

著者は、この結果が以下の理由から重要であることを強調している：

1. V. Dimitrov によって提起された特定の問いに答えていること。
2. ボゴモロフ特性の理解を、非ガロア設定（漸近的に正な拡大）における高次元アーベル多様体（$g > 1$）へと拡張していること。
3. 拡大の局所的な振る舞い（$\psi_q$ を通じて）および多様体の次元に依存する、明示的な下界を提供し、下界におけるすべての配置からの寄与を組み合わせていること。

本研究は、Szpiro-Ullmo-Zhang の基礎的な等分布定理と、David および Hindry の補助関数技術に基づき、それらを全 $p$ 進体の特定の算術的制約に適応させたものである。