[論文レビュー] The Neron-Tate pairing and elliptic K3 surfaces

Arthur Baragar|arXiv (Cornell University)|Aug 20, 2017

Algebraic Geometry and Number Theory参考文献 6被引用数 4

ひとこと要約

本稿は、K3表面の楕円曲線に沿った楕円ファイブレーションにおけるネロン＝ターテのペアリングとアメープ・コーンの構造との間の幾何的関係を確立し、ペアリングが、ポincare上半平面モデルの境界における移動ベクトルのユークリッド内積に漸近的に回復することを示している。主な結果は、正規化されたネロン＝ターテのペアリングが、ファイバーの高さが無限大に近づくにつれて、移動ベクトルのドット積に収束することである。

ABSTRACT

In this paper, we demonstrate a connection between the group structure and Neron-Tate pairing on elliptic curves in an elliptic fibration with section on a K3 surface, and the structure of the ample cone for the K3 surface. Part of the result can be thought of as a case of the specialization theorem.

研究の動機と目的

• 楕円ファイブレーションを施したK3表面における楕円曲線のネロン＝ターテのペアリングとアメープ・コーンの幾何学との相互作用を調査すること。
• ファイブレーション内の楕円曲線の群構造が自己同型およびネロン＝ターテのペアリングへの移動作用とどのように関係するかを明確化すること。
• Poincaré上半平面モデルを用いて、K3表面の文脈における特異化定理の幾何的解釈を提供すること。
• ファイバー上の交差形式およびcanonical heightを用いて、ネロン＝ターテのペアリングの明確な漸近的公式を確立すること。
• 正規化されたペアリングの極限が、双曲的モデルの境界における移動ベクトルのユークリッド内積を回復することを示すこと。

提案手法

• 本稿は、Poincaré球および上半空間モデルを用いて、楕円ファイブレーションを持つK3表面のアメープ・コーンを視覚化する。
• 自己同型 $\tau_i$ は、ファイバー $E$ 上の点 $Q_{i,E}$ による移動として定義され、Mordell-Weil群における $Q_{i,E}$ による作用に対応する。
• ネロン＝ターテのペアリングは、canonical height $\hat{h}(P) = \lim_{n \to \infty} \frac{1}{n^2} h_D([n]P)$ を用いて計算され、ここで $h_D$ はアメープ除数 $D$ に関連するWeil高さである。
• ファイバー $E$ の高さは $h(E) = h_D(O_E)$ と定義され、ここで $O_E$ は $E$ と交わるセクションである。
• 自己同型 $t_i$ は、双曲空間の境界におけるベクトル $\mathbf{v}_i = D_i - [O]$ による移動として作用する。
• 高さ展開および高さベクトルを $[E]$ および $[O]$ に直交する成分に分解することにより、ペアリングの漸近的挙動が導かれる。

実験結果

リサーチクエスチョン

• RQ1 K3表面の楕円ファイブレーションにおけるMordell-Weil群のネロン＝ターテのペアリングは、アメープ・コーンの幾何学とどのように関係するか？
• RQ2 canonical height がファイバーの高さに増加するにつれて、ネロン＝ターテのペアリングの漸近的挙動はいかなるものか？
• RQ3 Poincaréモデルの境界における移動ベクトルのユークリッド内積は、正規化されたネロン＝ターテのペアリングから回復可能か？
• RQ4 セクションによって誘導されるK3表面の自己同型は、canonical height およびペアリングにどのように作用するか？
• RQ5 特異化定理は、楕円ファイブレーションを施したK3表面の文脈において、どの程度幾何的に現れるか？

主な発見

• 正規化されたネロン＝ターテのペアリングは、$\lim_{h(E)\to\infty} \frac{1}{h(E)([E]\cdot D)}\langle Q_{i,E}, Q_{j,E}\rangle = \mathbf{v}_i \cdot \mathbf{v}_j$ を満たす。ここで $\mathbf{v}_i = D_i - [O]$ である。
• 点 $Q_{i,E}$ による移動によって誘導される自己同型 $\tau_i$ は、$\tau_{i*} = t_i$ を満たし、Picard格子における移動を表す。
• 点 $Q_{\mathbf{v},E}$ のcanonical height は、$\hat{h}(Q_{\mathbf{v},E}) = \frac{1}{2}h(E)(\mathbf{v}\cdot\mathbf{v})([E]\cdot D) + O(1)$ を満たし、ここで $O(1)$ はファイバー $E$ に依存しない。
• 点 $Q_{\mathbf{v},E}$ および $Q_{\mathbf{w},E}$ のネロン＝ターテのペアリングは、$\langle Q_{\mathbf{v},E}, Q_{\mathbf{w},E}\rangle = h(E)([E]\cdot D)(\mathbf{v}\cdot\mathbf{w}) + O(1)$ を満たす。
• 漸近的極限は、Poincaré上半平面モデルの境界における移動ベクトル $\mathbf{v}_i$ のユークリッド内積を回復する。
• 本結果は、自己同型の作用およびアメープ・コーンの構造を通じて、特異化定理の幾何的実現を提供する。