The classification of real quadratic fields which satisfy Hammarhjelm's condition

技術要約：ハマルヘルムの条件を満たす実二次体の分類

問題提起
本論文は、ハマルヘルムの条件（Hammarhjelm's condition）を満たす実二次体 $K = \mathbb{Q}(\sqrt{D})$ （ここで $D > 1$ は平方フリー）の分類を扱う。ある体は、以下の2つの基準を満たす場合にこの条件を満たすとされる：

1. 整数環 $\mathcal{O}_K$ が一意分解整域である（すなわち、類数 $h_K = 1$ である）。
2. 埋め込み $\alpha \mapsto (\alpha, \sigma(\alpha))$ によって定義されるミンコフスキー格子 $f(\mathcal{O}_K) \subset \mathbb{R}^2$ が、開長方形 $(1, \lambda) \times (-1, 1)$ 内に点を含まない。ここで $\lambda > 1$ は $K$ の基本単数である。

これらの体は、代数的カット・アンド・プロジェクション集合における可視点の研究において、近年注目されている。これまでのところ、既知の例は $D \in \{2, 5, 13, 29, 53\}$ に限定されていた。本研究の目的は、このような体の完全なリストを決定することである。

手法
証明は、ハマルヘルムの条件と判別式に対する基本単数の大きさとの関係を確立し、その後、ガナウス理論（genus theory）および類数1の体の既存の分類を用いたケースバイケースの解析を進めることで行われる。

1. 基本単数の境界設定:
   著者はまず、ハマルヘルムの条件が、判別式に対する基本単数 $\lambda$ の大きさを制限することを証明する。

• $D \equiv 2, 3 \pmod 4$ の場合、$\lambda < 2\sqrt{D} = \sqrt{\Delta_K}$ となる。
• $D \equiv 1 \pmod 4$ の場合、$\lambda < \frac{\sqrt{D}+1}{2} = \frac{\sqrt{\Delta_K}+1}{2}$ となる。
  この境界は、もし $\lambda$ がより大きい場合に、禁止された長方形内に落ち込むことになるような $\mathcal{O}_K$ の特定の元を構成することによって導かれる。

2. ガナウス理論と狭義類群:
   本論文は、類数1を持つ体の判別式を制限するためにガナウス理論を利用する。具体的には、狭義類数 $h_K^+$ は $2^{r(K)-1}$ で割り切れる（ここで $r(K)$ は $\Delta_K$ の異なる素因数の数である）。$h_K=1$ の場合、これは $r(K) \le 2$ を意味する。

• $r(K)=2$ かつ $D \equiv 1 \pmod 4$ の場合（$\Delta_K = pq$）、レデイ行列（Rédei matrices）を介した狭義類群の4次ランクを用いて分析を行う。$p, q \equiv 1 \pmod 4$ かつ $q = p+4$ であるとき、4次ランクは1となり、$h_K > 1$ となることが示される。

3. 判別式の型による分類:
   証明は、$D \pmod 4$ の合同類に基づいて問題を分割する：

• $D \equiv 2, 3 \pmod 4$: 著者は、$D > 2$ においてこのような条件を満たす体が存在しないことを示す。$D=2$ のとき、条件は成立する。$D \equiv 3 \pmod 4$ の場合、負のノルムを持つ単体の不在と $\lambda$ の境界により、任意の素数 $D$ に対して矛盾が生じる。
• $D \equiv 1 \pmod 4$:
  • 素判別式 ($D=p$): $\lambda$ に関する境界により、基本単数はノルム $-1$を持つことが強制され、$D$は$D = (2m+1)^2 + 4$ の形式をとる。これにより、これらの体は**横井のファミリー（Yokoi's family）**のサブセットとして特定される。
  • **合成判別式 ($D=pq$):**$p, q \equiv 1 \pmod 4$のケース（4次ランクの議論による）および$p, q \equiv 3 \pmod 4$ のケース（「狭義リショー・デゲット（narrow Richaud-Degert）」ファミリーに属し、$D > 5$ で条件Hに失敗することが示されている）を、解析によって排除する。

4. ビロ（Biró）による分類の適用:
   横井のファミリー（$D = m^2 + 4$）に属すると特定された体について、本論文は、このファミリー内における類数1の体の分類に関するビロ（2003）の結果に依拠する。ビロは、この形式の平方フリーな判別式の中で類数1となるものは、$D \in \{5, 13, 29, 53, 173, 293\}$ のみであることを決定した。

主な貢献と結果
主要な結果は定理 1.1であり、ハマルヘルムの条件を満たす実二次体はちょうど7つ存在することを述べている。それらは以下の判別数に対応する：
$$D \in \{2, 5, 13, 29, 53, 173, 293\}$$

本論文は、以下のことを厳密に証明している：

• 既知の例（$D=2, 5, 13, 29, 53$）は、完全なリストの一部であること。
• 追加の2つの体、$D=173$ および $D=293$ も条件を満たすこと。
• 他の実二次体は、この条件を満たさないこと。

証明は、ハマルヘルムの条件が判別式に対する基本単数の小ささを意味し、それが探索空間を特定の体のファミリー（横井のファミリーおよび狭義リショー・デゲットの拡張）へと制限することを確立しており、それらのクラス数は既に分類されている。

意義
本論文は、代数的カット・アンド・プロジェクション集合における可視点の研究における最近の進展によって動機付けられた、ハマルヘルムの条件を満たすすべての実二次体を決定するという問題を解決した。基本単数に関する初等的な境界と、ガナウス理論および横井のファミリーの分類という深い結果を組み合わせることで、著者はこのような体の有限かつ決定的なリストを提供し、既知の集合を5つから7つの例へと拡張した。