Ribet Points, geometric divisibility sequence and order of reductions on semiabelian varieties

技術的要約：リベット点、幾何学的除数列、および準アーベル多様体における簡約の位数

問題設定
本論文は、次元が2以上の既約可換代数群に付随する、ザリスキー稠密な点に関する幾何学的除数列の挙動に関する長年の未解決問題に取り組んでいる。具体的には、シルバーマンの予想 1.2 を調査している。この予想は、生成ファイバー $G_{\mathbb{Q}}$ が、非単能部分を持たない次元 $\ge 2$ の既約可換代数群である群スキーム $G/\mathbb{Z}$ と、ザリスキー稠密な巡回軌道を持つ点 $P \in G(\mathbb{Z})$ に対して、$D_{nP} = D_P$（ここで $D_P$ は分母イデアル）が無限個の正の整数 $n$ に対して成立することを提唱している。

この予想は、シルバーマン–チェオン–ハーンの定理（定理 1.1）と論理的な緊張関係にある。同定理は、楕円曲線（次元1）において、十分に大きなすべての整数 $n$ が、ある素数の正確な簡約の位数として現れることを確立している。次元1の場合の状況は完結しているが、高次元、特に準アーベル多様体における挙動は未知であった。本論文は、高次元の準アーベル多様体に対してシルバーマン–チェオン–ハーンの定理の類似性が成立するか、あるいは予測される正確な再帰が起こるのかを判断することを目的としている。

手法
著者は、数体上の幾何学的に非分裂な準アーベル多様体において、幾何学的除数列が初期値に無限回回帰する、無条件の例を構成する。その手法は、アーベル多様体と乗法的群 $\mathbb{G}_m$ の拡大における**リベット点（Ribet points）**の算術的性質に依拠している。

1. 幾何学的設定： 本論文では、点 $q \in A^\vee(K)$ によって表される拡大 $1 \to \mathbb{G}_m \to G_q \to A \to 0$ によって定義される準アーベル多様体 $G_q$ を考える。
2. リベット切断： 正規化されたポアンカレ・ビエクステンションを利用して、準同型 $\beta: A^\vee \to A$ に関連付けられたリベット点 $R_\beta(q) \in G_q(K)$ を定義する。反対称部分 $\delta = \beta - \hat{\beta}$ が決定的な役割を果たす。
3. 捩角による平行移動： コアとなる構成は、固定された捩角点 $t$ によるリベット点の平行移動である：$P = R_\beta(q) + \iota(t)$。
4. 算術的増幅： 重要な技術的補題（補題 3.3）は、もしリベット点の位数がその射影の位数によって二次的に抑えられているならば（これはヴェイユ・ペアリングから導かれる性質である）、捩角点による平行移動が、結果として得られる点の位数に対して特定の除法条件を強制することを示している。
5. 局所から大域への議論： 有限群の増幅とネロンモデル上の分母イデアルの性質を組み合わせることで、特定の整数 $N_{\delta, t}$ に対して、ほとんどすべての素点 $v$ において簡約の位数 $d_v(P)$ が $N_{\delta, t}$ で割り切れることを証明する。
6. 降下： $\mathbb{Q}$ 上の例を得るために、本論文は二次降下の手法（定理 4.3）を用いる。これは、必要な反対称端点が存在する二次体 $L$ 上で拡大を構成し、端点に対するガロア作用をノルム1トーラスの符号表現とペアリングすることによって、拡大とその点を $\mathbb{Q}$ へ降下させるものである。

主要な貢献と結果

• 無条件の例： 本論文は、幾何学的除数列が無限に初期値に戻る、数体上の幾何学的に非分裂な準アーベル多様体の最初の無条件の例を提供する。
• 定理 1.4（一般的構成）： 正の次元を持つアーベル多様体 $A$、$\delta = \beta - \hat{\beta}$ がイソジェニーである準同型 $\beta$、および捩角点 $t$ に対して、点 $P = R_\beta(q) + \iota(t)$ は、ほとんどすべての素点 $v$ において簡約の位数 $d_v(P)$ が $N_{\delta, t}$ で割り切れるという性質を持つ。したがって、平方フリーな整数 $Q$ が $N_{\delta, t}$ の根基で割り切れるとき、$(n, Q) = 1$ ならば、分母イデアルは $\mathfrak{d}_{\mathbb{N}}(nP) = \mathfrak{d}_{\mathbb{N}}(P)$ を満たす。
• 定理 1.5（$\mathbb{Q}$ 上の曲面）： 著者は、楕円曲線 $E: y^2 = x^3 - 2$ とノルム1トーラス $R^1_{L/\mathbb{Q}}\mathbb{G}_m$ （ここで $L=\mathbb{Q}(\sqrt{-3})$）の拡大である、幾何学的に非分裂な準アーベル曲面 $G_{surf}/\mathbb{Q}$ と、ザリスキー稠密な巡回軌道を持つ点 $P_{surf} \in G_{surf}(\mathbb{Q})$ を明示的に構成する。この点に対して、最終的な簡約因子は $U(P_{surf}) = 2$ である。これは、固定された整数と互いに素であるすべての $n$ に対して、$D_{nP_{surf}} = D_{P_{surf}}$ であることを意味する。
• 定理 4.9（$\mathbb{Q}$ 上の三次元多様体）： 楕円曲線 $E: y^2 + y = x^3 + x^2 - 2x$ （連結子 389）を用いた、$\mathbb{Q}$ 上の幾何学的に非分裂な準アーベル三次元多様体が構成されている。得られる点 $P$ は $D_P = 1$ かつ $U(P) = 2$ を満たし、これにより、ある固定された整数と互いに素な指数については、分母イデアルが $D_{nP} = D_P$ となることが確認される。
• 次元の一般性： 定理 4.16 は、スプリット・トーラスとの直積を取ることにより、これらの結果をすべての次元 $d \ge 2$ の $\mathbb{Q}$ 上へと拡張し、この現象が低次元に限定されないことを示している。
• 密度結果： $D_{nP} = D_P$ となる指数の集合の自然密度の下限は少なくとも $1 - 1/N_{\delta, t}$ である。逆に、正確な簡約の位数（原始因子指数）の集合の上限は、高々 $1/N_{\delta, t}$ である。

意義と主張
本論文は、準アーベル多様体の範疇においてシルバーマン–チェオン–ハーンの定理の類似性が鋭く失敗することを示すと同時に、シルバーマンの予想 1.2 が成立する具体的な事例を構築している。具体的には：

1. 正確な位数の実現の失敗： 楕円曲線のケースとは異なり、準アーベル多様体上の稠密な点において、正確な簡約の位数の集合は疎（密度 $\le 1/N$）であり、多くの整数が正確な簡約の位数として現れない。
2. 特定の事例におけるシルバーマン予想の検証： 構成された点はシルバーマンの予想 1.2 の条件を満たしており、「正確な回帰」の現象（$D_{nP} = D_P$）が無限に、しかも正の密度を持つ指数の集合に対して起こることを証明している。本論文は、数体上の全般的な性質に関する予想は依然として未解決であるが、これらの例が幾何学的に非分裂な準アーベル多様体に対する最初の無条件の検証を提供していると述べている。
3. リベット点の役割： リベット切断（特にその捩角移動版）が、すべての大きな $n$ に対して原始因子が存在することへの障害として機能することが強調されている。これは、スプリット準アーベル多様体（アーベル多様体とトーラスの直積）において、ペルッカの定理が軌道の閉包の成分数がユニバーサルな因子（接続された稠密な点の場合は1）を決定することを示唆している状況とは対照的である。
4. 幾何学的非分裂性： この現象は、幾何学的に非分裂な拡大に本質的に結びついている。本論文は、スプリットな直積の場合、軌道の閉包の成分数がほぼすべての簡約の位数を割り切る最大整数となり、接続された稠密な点の場合でも、これが1になるため、このような「欠落した位数」の集合を構成できないことを指摘している。非分裂な拡大の性質と、リベット点の特定の算術が組み合わさることで、たとえ軌道の閉包が接続されていても、最終的な簡約因子 $U(P)$ が 1 より大きい値（例：$U(P)=2$）をとることが可能になる。

本論文は、「欠落したデータ」（簡約の位数のユニバーサルな因子）は、拡大類、ビエクステンションのリフト、および捩角平行移動によって運ばれる、真に混合されたものであると結論付けており、そのような挙動は純粋なアーベル多様体やスプリット直積には存在しない。