[論文レビュー] The elliptic modular surface of level 4 and its reduction modulo 3

Ichiro Shimada|arXiv (Cornell University)|Jun 15, 2018

Algebraic Geometry and Number Theory参考文献 34被引用数 3

ひとこと要約

本稿は，残差特性が3である離散値環上のレベル4の楕円的モジュラー表面を研究し，その3を法とする還元がフェルマー四次曲面、つまり超特異K3表面となることを示している。ボルチェルズの手法と格子埋め込みを用いて，この族の自己同型群を計算し，固定点を持たない対合の特殊化がタイプIVのエリクス表面を導くことを証明した。これにより，還元における幾何学的・算術的不変性が確認された。

ABSTRACT

The elliptic modular surface of level 4 is a complex K3 surface with Picard number 20. This surface has a model over a number field such that its reduction modulo 3 yields a surface isomorphic to the Fermat quartic surface in characteristic 3, which is supersingular. The specialization induces an embedding of the Néron-Severi lattices. Using this embedding, we determine the automorphism group of this K3 surface over a discrete valuation ring of mixed characteristic whose residue field is of characteristic 3. The elliptic modular surface of level 4 has a fixed-point free involution that gives rise to the Enriques surface of type IV in Nikulin-Kondo-Martin's classification of Enriques surfaces with finite automorphism group. We investigate the specialization of this involution to characteristic 3.

研究の動機と目的

• 残差特性が3である離散値環上のK3族の自己同型群を計算すること。
• レベル4の楕円的モジュラー表面の3を法とする還元を分析し，それがフェルマー四次曲面に同型になることを示すこと。
• 複素数面上の固定点を持たない対合の特徴3における特殊化を研究し，それによって得られるエリクス表面の型を特定すること。
• ボルチェルズの手法をK3族に適用し，これが自己同型群の計算に初めて適用された事例となること。

提案手法

• 残差特性が3で良い還元を持つ数環上でのレベル4の楕円的モジュラー表面のモデルを構成する。
• 特化によって誘導されるネロン＝セベリ格子の埋め込みを用いて，幾何的一般特異化と特別特異化の間の関係を確立する。
• ボルチェルズの手法を用いて，複素数および有限特徴のK3表面の自己同型群を計算する。
• 自己同型がネロン＝セベリ格子上の作用を分析し，正の錐内における部屋の安定化部分群を同定する。
• レベル構造のガロア群内に6つの共役なエリクス対合が存在することを，ルート系に関する格子論的条件を用いて特定する。
• 対合の特徴3における特殊化が固定点を持たないことを検証し，同型な構成がタイプIVのエリクス表面に誘導されることを確認する。

実験結果

リサーチクエスチョン

• RQ1 残差体の特徴が3である離散値環上のレベル4の楕円的モジュラー表面の自己同型群は何か？
• RQ2 この表面の3を法とする還元は，特徴3におけるフェルマー四次曲面とどのように関係するか？
• RQ3 複素数面上の固定点を持たない対合は，特徴3においても固定点を持たない対合に特殊化されるか？
• RQ4 還元された表面を特殊化された対合で商取ったものは，タイプIVのエリクス表面か？
• RQ5 ボルチェルズの手法は，K3族の自己同型群の計算に効果的に適用可能か？

主な発見

• レベル4の楕円的モジュラー表面の3を法とする還元は，特徴3におけるフェルマー四次曲面に同型であり，これは超特異的である。
• ネロン＝セベリ格子への特化と格子埋め込みを用いて，離散値環上の族の自己同型群が計算された。
• 複素数面上の自己同型群内に，正確に6つの共役なエリクス対合が存在し，これらはすべてタイプIVに属する。
• これらの対合の特徴3における特殊化は固定点を持たないままであり，商曲面はタイプIVのエリクス表面である。
• 特徴3における商曲面上の20本の有理曲線の配置は，タイプIVの配置と同型であり，これにより表面の型が確認された。
• 対合のヤコビアン線形束のファイバー上での作用は，特徴0と特徴3の両方で同一であり，幾何的構造が保存された。