[论文解读] A geometric approach to constructing elements of $K_2$ of curves

Ulf Kühn, J. Steffen Müller|arXiv (Cornell University)|Apr 7, 2015

Algebraic Geometry and Number Theory被引用 1

一句话总结

本文提出了一种几何框架，通过初等代数几何方法，显式构造数域上光滑射影曲线的驯 K₂ 群中的元素。通过在射影平面上选取相交曲线并分析具有受控零点阶数的函数比，该方法系统地生成了双二次曲线和光滑平面四次曲线的 K₂ 元素，重新诠释了先前的构造方法，并扩展至超越挠除子的高亏格曲线。

ABSTRACT

We present a framework for constructing examples of smooth projective curves over number fields with explicitly given elements in their second K-group using elementary algebraic geometry. This leads to new examples for hyperelliptic curves and smooth plane quartics. Moreover, we show that most previously known constructions can be reinterpreted using our framework.

研究动机与目标

• 开发一种系统性的几何方法，用于构造数域上曲线的驯 K₂ 群中的显式元素。
• 利用统一的几何框架重新诠释并统一此前已知的 K₂ 元素构造方法。
• 将构造方法扩展至超越挠除子的高亏格曲线，包括亏格 2 的曲线。
• 提供一个参数化的曲线族，其已知且可显式计算的 K₂ 代表元可供使用。
• 为通过显式 K₂ 元素检验贝林森关于 L 函数特殊值的猜想奠定基础。

提出的方法

• 在 ℙ²_K 中选取一组平面曲线 C₁, ..., Cₘ，其次数分别为 d₁, ..., dₘ，并给出其方程。
• 在 ℙ²_K 上定义有理函数 fₖₗ = (Cₖ 的方程)ᵈˡ / (Cₗ 的方程)ᵈᵏ，使得 div(fₖₗ) = dₗCₖ − dₖCₗ。
• 构造一条新的曲线 C/K，使得 fₖₗ 和 fₖ′ₗ′ 在 C 上的限制在 K₂(K(C)) 中产生具有受控驯符号的元素。
• 施加交点条件：C 与每个 Cᵢ 在少数点相交，且重数已知，以确保驯符号为零或平凡。
• 将 C 的系数和交点视为未定元，从而导出一个参数化的曲线族，其 K₂ 元素已知。
• 使用引理 7.1 验证，经缩放后，所得符号属于 KT₂(C)/挠子群，尤其在涉及 ∞-点时亦成立。

实验结果

研究问题

• RQ1 能否发展一种统一的几何框架，用于构造数域上曲线的显式 K₂ 元素？
• RQ2 现有 K₂ 元素构造方法（如双二次曲线或椭圆曲线的情形）在多大程度上可在此几何框架下被重新诠释？
• RQ3 该方法能否扩展至超越挠除子的亏格 ≥2 曲线，如亏格 2 曲线？
• RQ4 关于交点重数与函数比的何种条件可确保所得符号属于 KT₂(C)/挠子群？
• RQ5 该方法能否生成参数化的曲线族，其具有已知且独立的 K₂ 代表元，以供贝林森猜想的数值检验？

主要发现

• 该方法成功利用几何交点条件，为双二次曲线和光滑平面四次曲线构造了显式 K₂ 元素。
• 该构造重新诠释并推广了此前的特定方法，包括 [DdJZ06] 和 [RS98] 中的方法，表明它们均符合所提出的几何框架。
• 对于亏格 2 曲线，该方法产生一个单参数族的光滑曲线，其方程为 y² + f₁(x)y + x⁵ = 0，其中 f₁ 为三次多项式，通过一条直线 H 与曲线相交于两点且 |y| 值相等，从而生成 K₂ 元素。
• 椭圆曲线族 Cr: y² = x³ + (−1/3 + 2/3r − 4/3r²)x + (2/27 − 2/9r − 5/9r² + 16/27r³) 通过直线 Hr: y = −x + 1/3 − 1/3r 产生 K₂ 元素，其交点 Q₁ 和 Q₂ 满足 |y(Q₁)| = |y(Q₂)| = r。
• 即使曲线在 ∞ 处有奇点，只要其正规化后所有 ∞-点处的驯符号均为平凡，该方法依然适用，此结论通过缩放和局部计算得以验证。