Refined Humbert invariants and subvarieties of $\Ac_2(\C)$: the rank 3 case

技術要約：洗練されたフンベルト不変量と $\mathcal{A}_2(\mathbb{C})$ の部分多様体：ランク3の場合

問題設定
本論文は、主極化されたアーベル曲面のモジュライ空間 $\mathcal{A}_2(\mathbb{C})$ 内におけるフンベルト・ロカス $H(q)$ の幾何学を調査している。具体的には、$q$ が 3 変数（ランク3）の整数二次形式である場合に焦点を当てる。フンベルト・ロカス $H(q)$ は、洗練されたフンベルト不変量 $q(A, \lambda)$ が二次形式 $q$ を原始的に表現する、主極化されたアーベル曲面 $(A, \lambda)$ の集合として定義される。ランク1のケース（古典的なフンベルト曲面 $H_\Delta$）や様々なランク2の交わりについては広く研究されているが、ランク3のロカスの完全な幾何学的特徴付けはこれまで確立されていなかった。中心となる問いは、$H(q)$ が空でない場合のその構造と濃度を記述することである。

手法
著者らは、算術幾何学、複素乗法（CM）の理論、および自己同型環の代数的構造を統合して用いている。

1. 構造的簡約： アルバートの分類および Shioda と Mitani による結果を利用し、もしランク3の形式 $q$ に対して $H(q) \neq \emptyset$ ならば、任意の曲面 $(A, \lambda) \in H(q)$ は2つのCM楕円曲線の積に同種であること、すなわち $A \simeq E_1 \times E_2$ であり、これらは同じCM体 $K = \mathbb{Q}(\sqrt{d})$ を共有することを示す。
2. ガロア共役性（命題 2.1）： 証明は、2つの曲面 $(A, \lambda)$ と $(A', \lambda')$ が同じ洗練されたフンベルト不変量を共有する場合、それらの基礎となるアーベル多様体 $A$ と $A'$ はガロア共役の関係にあることを示すことから始まる。これは、CM因子間の同種を記述する関連する2次形式の等価性を分析し、それを Artin 写像を通じて自己同型環のイデアル類へと結びつけることで達成される。
3. 格子と行列表示： 著者らは、ネロン・セヴェリ群 $NS(A)$ を、「ねじれた（twisted）」エルミート行列の格子 $Herm_{twist, 2}(\mathcal{mathcal{O}})$ として明示的にモデル化する。ここで $\mathcal{O}$ は $K$ の極大整環である。洗練されたフンベルト不変量は、この格子上の行列式に対応する。
4. 群論的解析： 問題は、与えられた不変量を満たす固定された $A$ 上の主極化を分類することに帰着される。これには、正の錐（ample cone）を保存する $(NS(A), q_A)$ の等長変換群 $G_A$ と、幾何学的自己同型群 $\text{Aut}(A)$ の像 $H_A$ の商群 $G_A / H_A$ の分析が含まれる。
5. ねじれた内容（Twisted Content）： 行列 $M \in GL_2(K)$ の「ねじれた内容」という新しいツールが導入され、等長変換の格子への作用を特徴付ける。これにより、著者らは $G_A / H_A$ の剰余類の明示的な代表元を構成し、それらをイデアル類の2次剰余 $\text{Cl}(\mathcal{O})[2]$ に関連付けることができる。

主要な貢献と結果

• 定理 1.2（主要な結果）： 著者らは、$q$ が判別式 $-16d$（ここで $d < 0$ は基本判別式）を持つ3変数二次形式であり、$H(q) \neq \emptyset$ である場合、$H(q)$ は、主極化された単一のアーベル曲面 $(E_1 \times E_2, \lambda)$ の $\text{Gal}(\bar{K}/K)$-軌跡と正確に一致することを証明している。ここで $E_1$ と $E_2$ は、虚二次体 $K = \mathbb{Q}(\sqrt{d})$ の極大整環 $\mathcal{O}$ によるCMを持つ楕力曲線である。
• 極化の分類： 本論文は、与えられた洗練されたフンベルト不変量を持つ $A$ 上の主極化の同型類の集合と、集合 $G_A / H_A$ との間の全単射を確立している。
• 濃度と構造： $\#(G_A / H_A) = 2 \cdot \#\text{Cl}(\mathcal{O})[2]$ であることが証明されている。著者らは、$\text{Cl}(\mathcal{O})[2]$ のイデアル類と対合 $\tau$ から導かれる行列を用いて、これらの剰余類の明示的な代表元を構成している。
• 幾何学的解釈： $\text{Cl}(\mathcal{O})[2]$ 成分による極化への作用は、ガロア共役な曲面上の極化のプルバックとして幾何学的に解釈される。$\mathbb{Z}/2\mathbb{Z}$ 成分（$\tau$ によって生成される）による作用は、新しい同型類の生成という観点からは自明であることが示されている。
• 実験的検証： 著者らは、既存のコードおよび Narayanan (2024) の結果を用いて、基本判別式 $d = -199$ までの結果が実験的に確認されていることを述べている。

意義
本論文は、$\mathcal{A}_2(\mathbb{C})$ におけるランク3のフンベルト・ロカスの最初の幾何学的特徴付けを提供する。これらは、複雑なモジュライ記述を持つ可能性に反して、特定のCM積の有限個のガロア共役の集合であることを示している。本研究は、洗練されたフンベルト不変量の代数的性質と、CM楕円曲線の算術との間の溝を埋めるものである。「ねじれた内容」を導入し、ネロン・セヴェリ格子の等長変換群の作用を明示的に記述することで、著者らはこれらのロカスを操作するための具体的な枠組みを提供している。これらの結果は、ランク3の場合においてフンベルト曲面の交わりがどのように振る舞うかを精緻化しており、それらが基礎となる虚二次体の類群の2次剰余によって支配されていることを示している。著者らは、定理1.2における極大整環に関する条件はさらなる研究によって緩和可能であるが、現在の枠組みは極大整環の場合の幾何学的記述を成功裏に解決していることを認めている。