[論文レビュー] On the Picard group of a Delsarte surface

Alex Degtyarev|arXiv (Cornell University)|Jul 1, 2013

Advanced Numerical Analysis Techniques参考文献 7被引用数 7

ひとこと要約

本稿では、デルサルト表面のネロン–セベリ格子の明示的生成集合を計算するアルゴリズムを提示し、標準的除法の成分によるピカール群の整数的生成に焦点を当てる。特定のクラス（例えば、フェルマー、巡回、対角的デルサルト表面）において、ネロン–セベリ群の捩れ部分群が除法ホモロジーの像を modulo して自明であることを証明するが、一般にはそうではない。これは、ピカール群の整数的生成と有理数的生成の間の根本的問題を解決する。

ABSTRACT

We suggest an algorithm computing, in some cases, an explicit generating set for the Néron--Severi lattice of a Delsarte surface.

研究の動機と目的

• デルサルト表面のネロン–セベリ格子が、$V[\alpha]$ の成分によって整数的に生成されるかどうかを特定すること。
• 除法ホモロジーの像を modulo したネロン–セベリ群の捩れ部分群 $\mathbf{T}[\alpha]$ を計算すること。これは、整数的生成の失敗を測る。
• ネロン–セベリ格子の整数的構造を分析することで、塩田のピカールランク計算アルゴリズムを拡張すること。
• $\mathbf{T}[\alpha] = 0$ となる条件を確立し、これによりピカール群が除法成分によって $\mathbb{Z}$ 上で生成されることを示すこと。
• 有限商 $\alpha: \mathbb{G} \twoheadrightarrow G$ の群論的データとネロン–セベリ格子の算術的性質との相互作用を調査すること。

提案手法

• ネロン–セベリ格子 $\mathop{\text{NS}}(\Phi[\alpha])$ を $H_2(\Phi[\alpha])$ の torsion を除いた部分格子として定義する。
• ホモモルフィズム $\iota_*: H_2(V[\alpha]) \to \mathop{\text{NS}}(\Phi[\alpha])$ を導入し、$\mathbf{S}[\alpha] = \mathop{\text{Im}} \iota_*$ を除法ホモロジーの像として定義する。
• $\mathbf{K}[\alpha] = \mathop{\text{Ker}} \iota_*$ および $\mathbf{T}[\alpha] = \mathop{\text{Tors}}(\mathop{\text{NS}}(\Phi[\alpha]) / \mathbf{S}[\alpha])$ を定義し、整数的生成の障害となる捩れを表す。
• $\alpha: \mathbb{G} \twoheadrightarrow G$ の群論的不変量、特に $\exp G$、$\mathop{\text{ht}} \alpha$、および部分群 $\mathbb{G}_{ij}, \mathbb{G}_i, \mathbb{G}_=$ を用いて $\mathbf{T}[\alpha]$ の構造を分析する。
• $\delta[\alpha] = |G_=| - 1 \in \{0,1\}$ および $G$ の指数と高さを含む基準を確立し、$\mathbf{T}[\alpha] = 0$ となる条件を決定する。
• フェルマー、非分岐、巡回、対角的デルサルト表面などの特殊クラスに結果を適用し、適切な条件下で $\mathbf{T}[\alpha] = 0$ であることを示す。

実験結果

リサーチクエスチョン

• RQ1 デルサルト表面のネロン–セベリ格子が、標準的除法 $V[\alpha]$ の成分によって整数的に生成される条件は何か？
• RQ2 捩れ部分群 $\mathbf{T}[\alpha]$ が消えるのはいつか？ これは、ピカール群が除法成分によって $\mathbb{Z}$ 上で生成されることを示す。
• RQ3 有限商 $\alpha: \mathbb{G} \twoheadrightarrow G$ の群論的構造は、ネロン–セベリ格子の整数的構造にどのように影響するか？
• RQ4 塩田のアルゴリズムが示唆する有理数的生成（ネロン–セベリ格子の）は、整数的生成を十分に与えるのか？ それとも捩れが生じ得るのか？
• RQ5 フェルマー、巡回、対角的など、どのクラスのデルサルト表面において $\mathbf{T}[\alpha] = 0$ が成り立つか？

主な発見

• フェルマー表面 $\Phi[m]$ において、$m$ が 6 と互いに素であれば、ネロン–セベリ格子は $V[\alpha]$ の成分によって整数的に生成され、すなわち $\mathbf{T}[\alpha] = 0$ である。
• 巡回的デルサルト表面では、群の位数が 6 と互いに素であれば $\mathbf{T}[\alpha] = 0$ であり、整数的生成が保証される。
• 対角的デルサルト表面 $\Phi[\mathfrak{m}]$ では、$\gcd(m_1, m_2, m_3)$ が 6 と互いに素であれば、捩れ $\mathbf{T}[\alpha]$ は消える。
• 本稿では、$\alpha: \mathbb{G} \twoheadrightarrow G$ の群論的不変量、特に $|G_=|$, $\exp G$, $\mathop{\text{ht}} \alpha$, および部分群 $\mathbb{G}_=$ を用いて $\mathbf{S}[\alpha]$ と $\mathbf{T}[\alpha]$ を計算するアルゴリズムを構成した。
• 一般には捩れ $\mathbf{T}[\alpha]$ は非自明であり、本稿では $\mathbf{T}[\alpha] \neq 0$ となる反例を提示し、有理数的生成が整数的生成を意味するとは限らないことを示した。
• $\delta[\alpha] = |G_=| - 1 \in \{0,1\}$ は、$\mathbf{T}[\alpha] = 0$ を決定する基準において重要な役割を果たし、特に $G$ の指数と高さと組み合わせて重要である。