Average root numbers in two isotrivial families of elliptic curves

技術的要約：2つの等質的（isotrivial）な楕円曲線族における平均ルート数

問題設定
本論文は、$\mathbb{Q}$ 上の2つの特定の等質的な楕円曲線族におけるルート数（$L$ 関数の関数方程式における符号）の統計的振る舞いを調査している。

1. $y^2 = x^3 + F(z, w)$ （ジェネリックな $j$ 不変量が $0$ の族）
2. $y^2 = x^3 + G(z, w)x$ （ジェネリックな $j$ 不変量が $1728$ の族）

ここで、$F$ および $G$ は整数係数を持つ同次二項形式である。本研究の主な目的は、原始的なペア $(m, n)$ 上、およびより広範には係数の高さによって順序付けられた多項式の上での、平均ルート数の存在とその値を決定することである。この問いは、ルート数とモルディル–ヴェイル（Mordell–Weil）階数のパリティを関連付けるパリティ予想によって動機付けられている。ルート数の変動を理解することは、階数の変動に関する証拠を提供し、特定の条件下では、関連する次数1のデル・ペッツォ曲面の有理点のザリスキー稠密性を確立することにつながる。

手法
著者は、解析的数論、代数幾何学、および篩法（sieve methods）を組み合わせて用いている。アプローチは、固定された二項形式の場合と、変化する多項式の場合の2つの領域に分けられる。

1. 固定された二項形式:

   • 局所解析: ルート数 $W(n)$ および $W^\star(n)$ は、素数 $p=2, 3$ および $p \ge 5$ における局所因子の積へと分解される。これらの局所的な符号の明示的な公式が導出され、先行文献（具体的には Várilly-Alvarado [62]）から修正されている。
   • 周期近似: ルート数関数は、全密度を持つ集合上で周期関数によって近似される。これには、平方篩（Greaves [27]）を用いて大きな素数の平方および固定された素因子の寄与を分離すること、および算術級数における値の分布を分析することが含まれる。
   • チェボタレフ密度: 平均が絶対値で1未満であることを証明するため（これは両方の符号が正の密度で存在することを意味する）、局所的な符号が異なる特定の剰余類を構成する。これは、二項形式の分解体のスプリッティング・フィールドへのチェボタレフ密度定理に依拠しており、これにより、形式が単純な根を持ち、かつ関連する二次体（例：$\mathbb{Q}(\sqrt{-3})$ または $\mathbb{Q}(i)$）が剰余体に包含されないような素数が存在することが保証される。

2. 変化する多項式（ほとんどすべてのケース）:

   • 転移原理: 固定された次数 $d \ge 2$ の多項式（係数の高さによって順序付けられたもの）の「ほとんどすべての」値に対して、算術級数からの推定値を転移させるために、定量的な転移原理（Browning–Sofos–Teräväinen [2]）を適応させる。
   • 例外集合: ルート数の特性、特に多項式の値が大きな素数の平方で割り切れることによる障害を扱うために、新しい変形版の転移定理を開発した。これにより、密度ゼロの例外的な多項式の集合が得られる。
   • 生成性: 解析は、多項式のガロア群が完全対称群 $S_d$ であり、かつ特定の二次体がスプリッティング・フィールドに含まれないような、生成的な係数ベクトルに焦点を当てている。

主要な貢献と結果

• 定理 1.1 (固定された形式): 非ゼロの同次二項形式 $F$ および $G$ に対して、原始的なペア $(m, n)$ 上の平均ルート数は存在する。

  • $y^2 = x^3 + F(m, n)$ の場合、指数 $e_i$ が3で割り切れないすべての既約因子 $f_i$ について $\deg f_i \le 6$ を満たすならば、平均は $1 \pm C_F/2$ である。もしある因子が $3 \nmid e_i$ かつ $\mathbb{Q}(\sqrt{-3}) \not\subset K_{f_i}$ を満たすならば、$|C_F| < 1$ となり、$+1$ と $-1$ の両方の符号が正の密度で現れる。
  • $y^2 = x^3 + G(m, n)x$ についても、奇数次数の指数と体 $\mathbb{Q}(i)$ に関して同様の結果が成り立つ。
  • これらの結果は、類似の研究で以前に必要とされていた「固定された素因数」の仮定を取り除くものである。

• 系 1.2 (ザリスキー稠密性): $j=0$ の楕円曲線に対するテイト・シャファレヴィッチ群の有限性を仮定すると、本論文は、剰余体条件を満たす可分な二項六次形式 $F$ に対して、関連するデル・ペッツォ曲面 $X_F$ 上の有理点がザリスキー稠密であることを導く。これは、正の割合のファイバーがルート数 $-1$ を持つことを示すことで達成され、パリティ定理を通じて正の階数を意味する。

• 定理 1.4 (ほとんどすべての多項式): 固定された次数 $d \ge 2$ のほとんどすべての多項式 $g_c(t)$（高さ $H$ によって順序付けられたもの）について、$1 \le n \le x$（ここで $x = H^{1/4d}$）におけるルート数の和 $\sum_{1 \le n \le x} W(g_c(n))$ および $W^\star(g_c(n))$ は以下を満たす：
  $$\sum_{1 \le n \le x} W(g_c(n)) = \kappa_c x + O(\theta^{-1/3}x)$$
  ここで $\kappa_c$ は、局所因子（2-進、3-進、およびオイラー積）によって決定される明示的な定数である。極めて重要なことに、生成的な多項式に対して $|\kappa_c| < 1$ であり、ルート数が一定ではないことを保証している。

• 新しい転移原理: ルート数の非消滅平均から生じる特定の誤差項を扱うために調整された、定量的な転移原理（定理 5.1）を導入する。

意義と主張
本論文は、原始的なペア上のこれらの等質的な族におけるルート数の最初の完全な極限分布を提供すると主張しており、これは、固定された素因数の仮定を用いた篩法に依存していた従来の成果を強化するものである。ルート数の平均が自然な幾何学的条件の下で絶対値として1よりも厳密に小さいことを確立することにより、本研究はこれらの族における階数の変動に関する強力な証拠を提示している。

さらに、これらの結果は、広範な次数1のデル・ペッツォ曲面に対するザリスキー稠密性の条件付き証明を提供し、従来の幾何学的および算術的な結果を拡張する。振動的な算術関数を扱うための重要な技術的ツールとして強調されている通り、多項式の値に関する転移原理の開発により、一様な結果を「ほとんどすべての」多項式に対して得ることが可能となっている。

著者は、剰余体条件（例：$\mathbb{Q}(\sqrt{-3}) \not\subset K_f$）は、手法から導かれた十分条件であり、必要条件とは主張していないが、符号の変動を強制するために用いられるチェボタレフの議論において不可欠であることを明記している。また、先行文献（Várilly-Alvarado [62]）に見られる明示的な局所ルート数の公式における軽微な誤りを修正している。