Local statistics and average rank of genus $g$ hyperelliptic curves with a Weierstrass point

広大な、宇宙的な庭園を想像してみてください。そこには何百万種類もの異なる植物、**超楕円曲線（hyperelliptic curves）**が咲き誇っています。これらは普通の庭の花ではありません。特定の数学的なレシピによって定義される、複雑で多次元的な形をしたものです。中には「ヴェイエルシュトラス点（Weierstrass point）」という特別なものを持つ植物もあります。これは、構造全体を固定する、ユニークで光り輝く種のようなものだと考えてください。

数学者のクンヨン・ジョン（Keunyoung Jeong）とジュニョン・パーク（Junyeong Park）は、この庭園の人口調査を行うことにしました。彼らは二つの大きな問いに答えようとしました。第一に、もしあなたがこれらの植物をランダムに一つ選んだとき、特定の場所をズームアップして見たときに、その植物が「完璧な（滑らかで健康な）」状態である確率はどのくらいか？ 第二に、平均して、これらの植物はどれほど「ねじれて（twisted）」いるのか、あるいは複雑なのか？

健康診断：良質な還元 vs 悪質な還元

最初の問いを理解するために、あなたが庭園の特定の場所における土壌の質をチェックしている植物学者であると想像してください。この曲線の世界において、「土壌」とは素数（これを $p$ と呼びましょう）のことです。研究者たちは、もし土壌が十分に豊かであれば（具体的には、素数が $2g + 1$、ここで $g$ は曲線の「種数（genus）」または複雑さであるよりも大きい場合）、植物の健康状態を驚くほど正確に予測できることを発見しました。

彼らは、ほとんどの植物が非常に頑健であることを発見しました。もしあなたがヴェイエルシュトラス点を持つランダムな曲線を選んだなら、その植物が「良還元（good reduction）」の状態にある確率は非常に高く、具体的には $1 - \frac{1}{q}$ （ここで $q$ は土壌の剰余体のサイズ）という確率になります。これは、その素数のレンズを通して見たときに、植物が滑らかなまま保たれ、崩壊しないことを意味します。

しかし、時には土壌が原因で、植物に「結び目（knot）」や「特異点（singularity）」が生じることもあります。彼らは、これらの結び目を、ロープの結び目が単純なループであったり、きついひねりであったり、あるいはぐちゃぐちゃなもつれであったりするのと同様に、3つのタイプに分類しています。

1. アーベル型ランク ($a$): 植物はほぼ無傷のままですが、わずかにその「トーリック（toric）」または「ユニポテント（unipotent）」な柔軟性を失います。
2. トーリック型ランク ($t$): 植物が特定の種類のループを発達させます（より単純な曲線における乗法的簡約のようなものです）。
3. ユニポテント型ランク ($u$): 植物がぐちゃぐちゃなもつれになります（加法的簡約のようなものです）。

著者たちは、これらの異なる結果が生じる正確な確率を計算しました。例えば、植物が「トーリック」な結び目（特定の種類のループ）を持つ確率は、およそ $\frac{q-1}{q+1} \times \frac{1}{q^{2g}}$ です。彼らはさらに、種数2の曲線における「タコド（tacnode）」（非常に特定の二重点の結び目）を持つ確率が $\frac{q-1}{q^4(1-q^{-20})}$ であるといった、より複雑なシナリオにおける確率についても算出しました。

彼らが否定したもの: この論文は、これらの確率はヴェイエルシュトラス点を持つ曲線に対するものであることを非常に慎重に述べています。彼らは、もし「加法的簡約（additive reduction）」（ぐちゃぐちゃなもつれ）の公式を最も単純なケース（種数1、つまり楕円曲線）に適用しようとすると、数学が破綻することを明示しています。なぜなら、その「簡約写像（reduction map）」が、他のものとは異なる奇妙で例外的な場所に到達してしまうからです。したがって、彼らの一般的な公式は、調整なしではその一つの小さなケースには適用できません。

ねじれ：平均解析的ランク

彼らの冒険の第二部は、これらの植物の「ねじれ具合」を測定することです。数学において、これは**解析的ランク（analytic rank）**と呼ばれます。これは、植物の構造の中にどれだけの独立したループやサイクルが存在するかを示すスコアのようなものです。スコアが高いほど、より複雑で、ねじれた植物であることを意味します。

著者たちは次のように問いかけました。「もし私たちがこの曲線の『庭園全体』を見渡したとしたら、平均的なねじれのスコアはどうなるだろうか？」

この答えを得るために、彼らはいくつかの大きな仮定を置く必要がありました。彼らは、二つの有名な、未解決ではあるものの（広く信じられている）数学的アイデア、すなわち**ハッセ・ヴェイエルシュトラス予想（Hasse–Weil conjecture）と一般化リーマン予想（Generalized Riemann Hypothesis）**を仮定しました。これらは、数学を成立させるために、並行世界における物理法則が正しいと仮定するようなものです。

これらの仮定の下で、彼らは厳密な上限を証明しました。彼らは、数体 $K$（次数 $D$ を持つ）におけるこれらの曲線の平均解析的ランクは、以下の値によって上から抑えられることを証明しました。

$$\frac{1}{2} + \frac{3g(2g+1)D}{2}$$

これは具体的な、証明された天井（上限）です。これは、どれほど多くの曲線をピックアップしたとしても、平均的なねじれはこの数値を超えることはできないということを意味します。

彼らはどの程度確信しているのか？
論文は、この上限については非常に自信を持っています。彼らは単に推測したのではなく、明示的な公式を導き出しました。しかし、これはあくまで「上限」であり、正確な平均値ではないことを彼らは認めています。彼らは、「カッツ・サーナックの哲学（Katz–Sarnak philosophy）」（この分野における指針となる原理）に基づき、真の平均は正確に $\frac{1}{2}$ になると期待していると述べています。しかし、彼らの論文が証明したのは、それが上記の式「以下である」ということだけです。

また、彼らは、ボルガヴァ（Bhargava）やグロス（Gross）といった他の数学者が、有理数（$\mathbb{Q}$）上の曲線に対して $\frac{3}{2}$ というよりタイトな境界を見出したことにも触れています。ジョンとパークの結果が特別なのは、それが有理数だけでなく、あらゆる数体に対して機能するという点にあります。

結論

ジョンとパークは、これらの複雑な曲線の統計的な景観を描き出しました。彼らは以下のことを示しました。

1. ほとんどは健康的である: これらの曲線の大部分は、大きな素数のレンズを通して見たとき、滑らかな状態を保ちます。
2. 結び目は予測可能である: もし結び目が生じたとしても、それぞれのタイプの結び目が起こる確率は正確に分かっています。
3. ねじれには限界がある: 標準的な数学的仮定の下では、これらの曲線の平均的な複雑さは、曲線の種数とそれが存在する体（field）に依存する特定の数値によって抑えられます。

彼らは、真の平均（彼らが0.5であると疑っているもの）という謎を解いたわけではありませんが、それがあまりにも制御不能にならないように、非常に頑丈な柵を築き、その範囲を証明したのです。