Explicit desingularisation of Kummer surfaces in characteristic two via specialisation

技術的要約：特殊化による標数2におけるクンマー曲面の明示的な非特異化

問題提起
クンマー曲面は、アーベル曲面を対合 $P \mapsto -P$ による商として定義され、K3曲面の古典的な例である。標数が2ではない体におけるその幾何学（具体的には、$\mathbb{P}^5$ における3つの二次形式の交わりとしての非特異化の明示的なモデルの存在）は十分に理解されているが、標数2における状況は著しく複雑である。標数2では、アーベル曲面の2次捩れ部分群はより小さくなり（$(\mathbb{Z}/2\mathbb{Z})^r$、ここで $r \le 2$）、特異点は少なくなりますが、その複雑さは増大します（例：$D_4, D_8$、または楕円特異点）。Müllerらによる、標準的な二次形式の交わりを用いた、標数2におけるクンマー曲面の明示的なモデル構築の試みは、滑らかな非特異化モデルを生成することに失敗している。さらに、標数2におけるクンマー曲面の振る舞いは他の標数と根本的に異なっており、古典的な構成を適応できるか、また、数体上で至る所良好な還元を持つクンマー曲面の例が存在するかどうかという疑問を提起している。

手法
著者は、標数0からの特殊化という戦略を採用している。核心となる手法は以下の通りである：

1. 明示的な埋め込み： 標数0におけるテータ因子 $\Theta$ を用いた線形系 $|2(\Theta_+ + \Theta_-)|$ の基底を構成することにより、種数2の曲線 $C$ のヤコビアン $J$ を $\mathbb{P}^{15}$ 内の72個の二次形式の交わりとして計算する。
2. スミス標準形による基底構成： 標数2への還元を扱うために、標数0における奇関の基底を適応させる。直接的な還元は、固有値 $\pm 1$ が $1$ へと崩壊することによる線形従属性を招くことが多いため、関係行列のスミス標準形を計算するアルゴリズム（Algorithm 1）を用い、標数2へ良好に還元され、結果として得られる要素が線形独立性を維持するような修正された基底を得る。
3. 部分的非特異化： 得られた還元された基底を用いて、特異なクンマー曲面 $X \subset \mathbb{P}^3$ から、3つの二次形式の完全交わりとして定義される曲面 $Y \subset \mathbb{P}^5$ への有理写像を構成する。この写像は $X$ の特異点集合の外側では同型であり、部分的非特異化として機能する。
4. p-ランクによる幾何学的解析： ヤコビアンのp-ランクの3つのケース（通常の $r=2$、準通常の $r=1$、および超特異の $r=0$）について、$Y$ の幾何学と特異点を個別に解析する。著者は、「トロープ（tropes）」（クンマー曲面上の特別な円錐曲線）の理論と、それらの特殊化における振る舞いを利用して、例外因子および結果として生じる $Y$ の特異点を記述する。
5. 良好な還元の判定基準： 至る所良好な還元を持つクンマー曲面の存在に対処するため、LazdaとSkorobogatovによる判定基準を適用する。これには、2次体上の2次捩れ点の絶対ガロア群の作用の解析、特に、2次捩れ加群の完全系列が還元時に分裂するかどうかの確認が含まれる。

主要な貢献と結果

• 標数2における明示的なモデル： 本論文は、標数2における一般的な種数2曲線のヤコビアンを、$\mathbb{P}^{15}$ 内の72個の二次形式の交わりとして提供する（定理4.1）。
• 部分的非特異化： クンマー曲面の部分的非特異化のモデルとして、$\mathbb{P}^5$ 内の3つの二次形式の交わりを構成する（定理3.1）。本論文は、p-ランクに基づいてこのモデルの特異点を分類する：
  • 通常（Ordinary）： $Y$ は $A_1$ 型の12個の特異点を持つ。
  • 準通常（Almost Ordinary）： $Y$ は $D_4^0$ 型の2個と $A_3$ 型の2個の特異点を持つ。
  • 超特異（Supersingular）： $Y$ は楕円特異点（Lauferの表記による $A^*_{0} + A^*_{0} + A^*_{0} + A^*_{0} + A^*_{0}$）を持つ。
• トロープの幾何学的記述： トロープの古典的な記述を標数2へと拡張し、それらがどのように特殊化するか、およびそれらの例外因子との交わりが非特異化モデルの特異構造をどのように決定するかを詳細に述べる。
• 至る所良好な還元の存在： 数体上で至る所良好な還元を持つクンマー曲面の存在を証明する（定理1.2）。具体的には、関連する2次捩れ点に対するガロア作用が還元と両立し、特定の例において追加の体拡大を必要とせずに該当する完全系列の分裂を許容することを確認することにより、二次体 $\mathbb{Q}(\sqrt{353})$ 上で、2の上の素イデアルを含むすべての素数において良好な還元を持つ、対応するクンマー曲面を持つ明示的な例を構成する。
• 限界と拡張： 良好な還元が標数2において可能であっても、至る所良好な還元を持つすべての曲線に対して保証されるわけではないことを注記する。「準通常」の場合、良好な還元を達成するために必要な最小の拡大は、より高い次数（例：次数12）になる可能性がある。また、超特異の場合、良好な還元モデルの存在は松本（Matsumoto）の定理によって保証されているが、明示的な拡大は提供されない。

意義
本論文は、伝統的に標数0または奇数標数に限定されていたクンマー曲面とその非特異化の古典的な幾何学的構成が、特殊化を通じて標数2においても成功裏に適応可能であることを示している。これは、同種写像ベースのプロトコル（SIDHなど）においてしばしば問題となる、標数2におけるK3曲面の理解における空白を埋めるものであり、暗号学的応用において特に重要である。明示的な方程式と特異点の完全な幾何学的分類を提供することで、本研究はこれらの多様体の計算的検証およびさらなる研究を可能にする。さらに、二次体上で至る所良好な還元を持つクンマー曲面の構成は、$\mathbb{Q}$ 上で至る所良好な還元を持つアーベル多様体が存在しないこととは対照的に、K3曲面の存在に関する特定の未解決問題を解決するものである。本論文は、これらの結果が構成的であることを強調しており、記述された多様体の明示的な方程式の計算を可能にするコードによって裏付けられている。