Gross vectors modulo 2 and elliptic curves of prime conductor

技術要約：法2におけるグロス・ベクトルと素数導手の楕円曲線

問題設定
本論文は、有限体 $\mathbb{F}_p$ 上の超特異楕円曲線に関連するブラント固有ベクトル（Brandt eigenvector）の係数のパリティ特性を扱う。具体的には、$p > 3$ を素数とし、$j$ 不変量が $\mathbb{F}_p$ に属する幾何学的同型類を $S_p$ とする。素数導手 $p$ を持つ有理数体上の楕円曲線 $E/\mathbb{Q}$ に対し、ジャケ・ラングランズ対応は原始的な整数ブラント固有ベクトル $v_E = \sum c_i e_i$ を対応付ける。中心となる問題は、$E$ が正のモーデル・ヴェイユ・ランクを持つとき、$i \in S_p$ に対して係数 $c_i$ のパリティがどのようになるかを決定することである。

この問いは、分割多項式（divisor polynomials）の研究および、カザリツキとコーエンによる予想に端を発している。その予想によれば、もし $E$ が正のランクを持ち、ルート数（root number）が $+1$ であるならば、有理的な超特異類によってインデックス付けされたすべての係数 $c_i$ ($i \in S_p$) は偶数でなければならないとされる。先行研究では、判別式が正であることや有理的な2次捩れ点を持たないことといった制限的な条件下でのみこれが確立されていたが、一般的なケースは未解決のままであった。さらに、このパリティの問題は、ランクに応じたモジュラー次数の2のべき乗による割り切れに関するワトキンスの予想とも関連している。

手法
著者らは、算術幾何学、四元数代数、および類体論を組み合わせた多段階の戦略を採用している。

1. グロス・ベクトルへの還元： 問題を、ブラント固有ベクトルの係数 $c_i$ から、負の基本判別数 $-D$（ここで $p$ は不分岐）に関連する「グロス・ベクトル」（CMベクトル）の係数 $m_i(D)$ のパリティへと翻訳する。正のランクを持つ曲線のブラント固有ベクトルに対するグロス・ベクトルの直交性を用いることで、著者らは、パリティのベクトル $(c_i \bmod 2)_{i \in S_p}$ が、グロス・パリティ行によって生成される空間の直交補空間に含まれなければならないことを示す。
2. フロベニウスによる還元： グロスの三元格子 $L_i$ の表現数のパリティを、フロベニウス自己同型 $\pi_i$ に直交するランク2の部分格子 $L_i^\perp$ の表現数のパリティへと還元する、これが重要な技術的ステップである。この還元は、フロベニウス共役の作用に基づいている。フロベニウス共役は、直交格子外のベクトルをサイズ4の軌道にグループ化するため、それらの寄与は $\bmod 2$ において偶数となる。
3. 二元形式との同一視： 四元数代数 $B_{p,\infty}$ における伊武幾山の明示的な極大加群（maximal orders）を用いて、直交格子 $L_i^\perp$ を特定の二元二次形式と同一視する。これらの形式は、その判別数に基づいて、$-16p$ と $-p$（後者は $p \equiv 3 \pmod 4$ の場合にのみ発生）の2つの分岐に分類される。
4. 類体論とチェボタレフの密度定理： 著者らは、Xiao–Zhou–Deng–Qu のパラメータ化を用いて、超特異類を形式類の逆軌道へ写像する。その後、対応する類体におけるチェボタレフの密度定理を適用し、個々の超特異座標を孤立させるための特定の許容可能な判別数（素数および半素数）を構成する。クラス群の中で特定の挙動を示す素数を選択することにより、グロス・パリティ行が $\mathbb{F}_2^{S_p}$ の任意の標準基底ベクトルを生成できることを証明する。

主要な貢献および結果

• グロス・ロー生成定理 (Theorem 1.1)： 主要な結果は、$S_p$ でインデックス付けされたグロス係数のベクトルが、ベクトル空間 $\mathbb{F}_2^{S_p}$ 全体を生成することを証明している。これは、例外的な $j$ 不変量（$0$および$1728$）を個別に扱い、$-16p$および$-p$ の判別数分岐を異なる素数選択戦略を用いて処理することにより達成される。
• カザリツキ–コーエンのパリティ予想の解決 (Corollary 1.2)： 生成定理の直接的な帰結として、著者らは、素数導手 $p$ を持つ楕円曲線 $E/\mathbb{Q}$ が正のモーデル・ヴェイユ・ランクを持つ場合、そのブラント固有ベクトルの $i \in S_p$ におけるすべての係数 $c_i$ は偶数であることを証明した。これにより、判別式や有理的な2次捩れ点の存在に関する従来の制限が取り除かれた。本論文は、これが片側的な判定基準であることを指摘している。すなわち、有理的な超特異類における奇数係数は、ランクが0であることを証明する。
• モジュラー次数の割り切れ可能性 (Corollary 1.3 および Theorem 6.1)： パリティの結果をメストレのノルム公式およびグロス–クドラの三次恒等式と組み合わせることで、著者らは、素数導手 $p$ を持ち、ランクが正でルート数が $+1$ である任意の楕円曲線に対し、モジュラー次数 $m_E$ が4で割り切れることを証明している。
• ランク2におけるワトキンスの予想の検証： この結果は、素数導手 $p$ を持ち、ルート数が $+1$ であるすべてのランク2の楕旋曲線に対して、ワトキンスの予想（$2^{\text{rank}} \mid m_E$）を裏付けている。

意義
本論文は、ブラント固有ベクトルの特定のパリティ予想を解決しており、超特居係数のパリティに基づく、ランク0に関する強固な代数的証明を提供している。グス・ベクトルの $\bmod 2$ における生成性質を確立することで、本研究は、超特異曲線の算術とモジュラー形式の解析的性質（特に中心点における $L$ 関数の消滅）との間の隔たりを埋めるものである。ワトキンスの予想への適用により、本研究は、ルート数が $+1$ のランク2の素数導手曲線における既知のケースを拡張し、以前の判別数の制約を取り除いた。その手法は、三元表現の問題をフロベニウス対称性を介して二元形式へと還元し、類体論を通じて表現のパリティを制御するために明示的な極大加群モデルを利用する力の強さを示している。