[论文解读] The Neron-Tate pairing and elliptic K3 surfaces

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

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

一句话总结

本文建立了K3曲面上椭圆纤维丛中椭圆曲线上的Néron-Tate配对与ample锥结构之间的几何联系，表明该配对渐近地恢复了Poincaré上半平面模型边界中平移向量的欧几里得内积。关键结果是：当纤维高度趋于无穷时，归一化的Néron-Tate配对收敛于平移向量的点积。

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曲面上椭圆纤维丛中椭圆曲线上的Néron-Tate配对与ample锥几何之间的相互作用。
• 阐明纤维丛中椭圆曲线的群结构如何与自同构及Néron-Tate配对上的平移作用相关联。
• 在K3曲面的背景下，利用Poincaré上半平面模型为specialization定理提供几何解释。
• 建立关于纤维上交形式与canonical高度的Néron-Tate配对的精确渐近公式。
• 证明归一化配对的极限恢复了双曲模型边界中平移向量的欧几里得内积。

提出的方法

• 本文使用Poincaré球面和上半平面模型来可视化具有椭圆纤维丛的K3曲面的ample锥。
• 定义自同构 $\tau_i$ 为纤维 $E$ 上点 $Q_{i,E}$ 的平移，对应于Mordell-Weil群中 $Q_{i,E}$ 的平移作用。
• 通过canonical高度 $\hat{h}(P) = \lim_{n \to \infty} \frac{1}{n^2} h_D([n]P)$ 计算Néron-Tate配对，其中 $h_D$ 是与ample除子 $D$ 相关的Weil高度。
• 纤维 $E$ 的高度定义为 $h(E) = h_D(O_E)$，其中 $O_E$ 是与 $E$ 相交的截面。
• 由 $\tau_i$ 导出的自同构 $t_i$ 在双曲空间边界中作为向量 $\mathbf{v}_i = D_i - [O]$ 的平移作用。
• 通过高度展开式及高度向量在 $[E]$ 和 $[O]$ 正交分量上的分解，推导出配对的渐近行为。

实验结果

研究问题

• RQ1 K3曲面上椭圆纤维丛的Mordell-Weil群上的Néron-Tate配对如何与ample锥的几何相关？
• RQ2 随着纤维canonical高度的增加，Néron-Tate配对的渐近行为如何？
• RQ3 是否能从归一化的Néron-Tate配对中恢复Poincaré模型边界中平移向量的欧几里得内积？
• RQ4 由截面诱导的K3曲面自同构如何作用于canonical高度与配对？
• RQ5 在具有椭圆纤维丛的K3曲面背景下，specialization定理在多大程度上以几何方式显现？

主要发现

• 归一化的Néron-Tate配对满足 $\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高度满足 $\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}$ 的Néron-Tate配对为 $\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$ 的欧几里得内积。
• 该结果通过自同构作用与ample锥结构，为specialization定理提供了几何实现。