The existence of infinitely many cubic fields with class group of exact 2-rank 1

技術的要約：2次ランクが正確に1である無限個の3次体が存在することについて

問題提起
本論文は、3次体の類群の分布に関するコーエン・レンストラー・マルティネット・マレ（Cohen–Lenstra–Martinet–Malle）の予想における特定のケースを扱っている。この予想では、任意の素数 $p \neq 3$ および有限アーベル $p$ 群 $A$ に対して、類群の $p$ 部分 $\text{Cl}_K[p^\infty]$ が $A$ と同型であるような3次体 $K$ が無限に存在することが予測されているが、これは大部分において未証明のままである。具体的には、$p$-ランク $r_p \text{Cl}_K$（$p$ 部分における非自明な巡回因子数）がすべての値 $r = 0, 1, 2, \dots$ を無限回とるという予測のうち、$(p, r) = (2, 0)$ のケースのみがこれまで証明されていた。

本研究以前には、類群の2次ランクが「正確に」1である無限個の3次体の存在は未知であった。大きな2次ランクを持つ体を構成することは既知の研究領域であるが（ランク $\ge 6, 8, 11$ を示す結果がある）、「正確な」ランクを確立することは、大きなランクを生み出す特定の構造的条件が、意図せずにより高いランクをもたらさないことを保証しなければならないため、著しく困難である。

手法
著者らは、主定理に対して2つの異なる証明を提供している。両者とも先行研究（[SSS25b] および [BSS25]）に基づいているが、2次ランクの分布を分析するための戦略が異なっている。

1. アノマリー（異常性）アプローチ（[SSS25b] による）:

   • 戦略: このアプローチは、「単位元単元化された（unit-monogenised）」体（整数環が $\mathbb{Z}[\alpha]$ であり $\alpha$ が単元である体）という「薄い（thin）」3次体の族における「アノマリーな」類群の振る舞いを利用する。
   • 特定の族: 著者らは、多項式 $f(x) = x^3 + ax^2 + bx + 1$ で、$(a, b) \pmod 4 \in \{(4, 4), (1, 2), (2, 1)\}$ かつ $a, b > 0$ である部分族 $+B^2_{1,1}$ に焦点を当てる。
   • メカニズム: この族において、ほとんどすべてのメンバーで $|\text{Cl}[2]| \ge 2$ であることが証明されている。決定的なことに、著者らはこの族における $|\text{Cl}[2]|$ の平均値の上界を、3以下であることを示して確立している。
   • 技術的革新: この族は「薄い」ため、標準的な幾何学的数論の手法（ダベンポートの補題）は適用できない。代わりに、著者らは有効な動力学 [BO12] を用いて、この平均値3の上界を導出している。
   • 推論: 平均が3に抑えられ、最小の非自明な値が2であることから、正の割合の体において $|\text{Cl}[2]| = 2$（すなわち正確な2次ランク1に対応）となる。また、各3次体がこの多項式族において高々有限回しか現れないことを保証する補題も用いられている。

2. モーメント・アプローチ（[BSS25] による）:

   • 戦略: このアプローチは、全実単元化された3次体の族（$F_{1,+}$）における2次トーション部分群のサイズ $|\text{Cl}[2]|$ の第1および第2モーメントを利用する。
   • データ: 先行研究により、平均 $|\text{Cl}[2]|$ は $3/2$ であり、平均 $|\text{Cl}[2]|^2$ は3以下に抑えられることが確立されている。
   • 幾何学的議論: 著者らは、可能なモーメント・ベクトルの集合 $\{(2^n, 2^{2n}) : n \in \mathbb{N}\}$ の閉凸包を分析している。彼らは、観測されたモーメント・ベクトル $(3/2, \beta)$（ただし $\beta \le 3$）が、点 $(2, 4)$ を除外した集合の凸包の外側にあることを示している。
   • 推論: この幾何学的な不可能性は、$|\text{Cl}[2]| = 2$ となる体の割合がゼロにはなり得ないことを意味する。したがって、正の割合の全実単元化された3次体が、正確な2次ランク1を持つ。

主要な結果

• 定理 1: 正確な2次ランク1の類群を持つ3次体は無限に存在する。
• 定理 2: 判別式 $|D_K| < X$ を持つそのような体の数は、下界 $\gg X^{5/6}$ を満たす。この下界はモーメント・アプローチから導出された。アノマリー・アプローチは、より弱い下界 $X^{1/2}$ を与える。
• 定理 3: 複素3次体においても、類群が2次ランク1または2であるものは無限に存在する。（複素体のモーメント・ベクトルは、ランク1の割合がゼロになる可能性のある二分法を許容するが、ランク1または2の割合は正である。）

意義および主張
本論文は、3次体における $(p, r) = (2, 1)$ のケースを解決したと主張している。これは、自明なランク0のケースを除いて未解決であった問題である。その意義は二重である。

1. 概念的な転換: 「アノマリー・アプローチ」は主流の戦略からの転換を象徴している。これは、特定のランクを持つ体の存在を確立するために、第1モーメント（平均サイズ）の上界のみを用いることで達成できることを示している。一方で、モーメント・アプローチは第1モーメントの下限と第2モーメントの上限の両方を必要とした。
2. 定量的進展: 論文は、これらの体のカウントについて明示的な漸近的下界（$X^{5/6}$ および $X^{1/2}$）を提供しているが、これらは現在、コーエン・レンストラー・マルティネット・マレの予想が予測する $X$ を下回っていることも述べている。

著者らは、アノマリー・アプローチはランク1に対しては強力であるが、より高い正確なランク（例：ランク2）への拡張には、さらに強い高次モーメントの境界が必要であり、それについては予期しているものの、まだ証明できていないと謙虚に述べている。本研究は、[SSS25b] および [BSS25] で確立された構造的な洞察と境界に大きく依存しており、それらを利用して「平均的な振る舞い」と「特定のランク構成の存在」の間の溝を埋めている。