[論文レビュー] Transcendental lattices and supersingular reduction lattices of a singular $K3$ surface

Ichiro Shimada|ArXiv.org|Nov 8, 2006

Algebraic Geometry and Number Theory参考文献 8被引用数 12

ひとこと要約

本稿は、数体上の特異K3表面の超越的格子と、良い還元を持つ素数における超特異還元格子の間に深い関係を確立し、このような還元の存在および不変量がネロン・セベール格子の判別式の算術によって支配されることを示している。主な結果は、判別式のリーマン記号を用いて、超特異還元を示す素数の集合を明確に特徴づけるものであり、与えられた超越的格子を持つような表面が定義可能となる数体の次数に対する下界を導出する。

ABSTRACT

A (smooth) K3 surface X defined over a field k of characteristic 0 is called singular if the Néron-Severi lattice NS (X) of X over the algebraic closure of k is of rank 20. Let X be a singular K3 surface defined over a number field F. For each embedding σof F into the complex number field, we denote by T(X^σ) the transcendental lattice of the complex K3 surface X^σobtained from X by σ. For each prime ideal P of F at which X has a supersingular reduction X_P, we define L(X, P) to be the orthogonal complement of NS(X) in NS(X_P). We investigate the relation between these lattices T(X^σ) and L(X, P). As an application, we give a lower bound of the degree of a number field over which a singular K3 surface with a given transcendental lattice can be defined.

研究の動機と目的

• 数体上の特異K3表面の算術を、その超越的格子と素数モジュロでの還元を関連させることによって理解すること。
• 特異K3表面が超特異還元を示す素数の集合を特徴づけること。
• 与えられた超越的格子を持つ特異K3表面が定義可能となる数体の次数に対する下界を導出すること。
• 還元の幾何とネロン・セベール格子の判別式の算術との間の対応関係を確立すること。

提案手法

• 本稿は、一般ファイバーのネロン・セベール格子から還元における格子への特化準同型を用い、交差形式を保存する。
• 超特異還元格子は、還元されたK3表面のネロン・セベール格子におけるネロン・セベール格子の直交補空間として定義される。
• 超特異還元格子の判別式を分析し、p が 2d(X) を割り切らないとき、それは −p²d(X) に等しいことを示す。
• 超特異還元が素数 p で存在するかどうかを分類するために、リーマン記号 χₚ(d(X)) を適用する。
• 虚二次体における類体論とイデアル論を用いて、還元格子の構造を研究する。
• 向き付けられた格子の理論と類体論を用い、還元格子の同型類が虚二次体の整数環におけるイデアル類に対応することを関連付ける。

実験結果

リサーチクエスチョン

• RQ1 数体上に定義された特異K3表面に対して、その整数環の素数のうち、どの素数が超特異還元を引き起こすか。
• RQ2 ネロン・セベール格子の判別式 d(X) が、素数 p における超特異還元の存在をどのように決定するか。
• RQ3 複素基底拡張 T(X^σ) の超越的格子と、素数 𝔭 における超特異還元格子 L(X,𝔭) の間の関係は何か。
• RQ4 超特異還元を示す素数の集合は、d(X) の算術を用いて明示的に記述可能か。
• RQ5 与えられた超越的格子を持つ特異K3表面が定義可能となる数体の次数に対して、どのような下界を確立できるか。

主な発見

• p が 2d(X) を割り切らない場合、χₚ(d(X)) = 1 ならば、超特異還元を示す素数 𝔭 は p 上に存在しない。一方、χₚ(d(X)) = -1 ならば、π_F⁻¹(p) に等しい。
• p ∤ 2d(X) のとき、超特異還元格子 L(X,𝔭) の判別式は −p²d(X) に等しい。
• 2d(X) の素因数を含む有限個の素数の集合 N が存在し、p ∉ N のとき、超特異還元の振る舞いは完全にリーマン記号 χₚ(d(X)) によって決定される。
• 超特異還元格子 L(X,𝔭) の同型類は、判別式 p²d(X)²D の向き付けられた格子の空間における持ち上げられた類に一致する。
• 還元格子の構造は、虚二次体の整数環におけるイデアル類によって支配され、算術と幾何の間の関係を結ぶ。
• 本稿は、与えられた超越的格子を持つ特異K3表面が定義可能となる数体の次数に対する下界を確立し、イデアル類の類体論から導出する。