[論文レビュー] 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₂要素を体系的に生成する。既存の構成を再解釈し、ねじれ除法子を超える高 genus の曲線へも拡張可能である。

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₂要素の構成を再解釈・統合すること。
• ねじれ除法子を超えて、genus ≥2の曲線、特にgenus 2の曲線に対しても構成を拡張すること。
• K₂代表元が明示的に計算可能であるパラメータ族の曲線を提供すること。
• BeilinsonのL関数の特別値に関する予想を、明示的K₂要素を用いて検証するための基盤を築くこと。

提案手法

• ℙ²_K 上の曲線C₁, ..., Cₘを、それぞれ次数d₁, ..., dₘであるように選ぶ。
• ℙ²_K 上でfₖₗ = (Cₖの式)ᵈˡ / (Cₗの式)ᵈᵏ と定義し、div(fₖₗ) = dₗCₖ − dₖCₗ となるようにする。
• K上の曲線Cを構成し、fₖₗおよびfₖ′ₗ′ をCに制限することで、K₂(K(C))に属する要素を得るが、そのターミナル記号は制御可能であるようにする。
• 交点条件を課す：Cが各Cᵢと少数の点で交わり、その重複度が所定のものとなるようにすることで、ターミナル記号が消えるか自明になるようにする。
• Cの係数と交点を不定元とみなして、K₂要素が既知のパラメータ族の曲線を得る。
• 特に∞点が関与する場合に、スケーリングを用いてLemma 7.1を適用し、結果の記号がKT₂(C)/torsionに属することを検証する。

実験結果

リサーチクエスチョン

• RQ1 数体上の曲線に対して、K₂要素を明示的に構成するための統一的幾何的枠組みを開発可能か？
• RQ2 既存のK₂要素の構成（例：双曲的曲線や楕円曲線に対するもの）は、この幾何的枠組み内でどの程度再解釈可能か？
• RQ3 この方法はねじれ除法子を超えて、genus ≥2の曲線、特にgenus 2の曲線へも拡張可能か？
• RQ4 交点の重複度および関数比にどのような条件を課せば、結果の記号がKT₂(C)/torsionに属するようになるか？
• RQ5 この方法により、Beilinsonの予想の数値的検証を目的として、K₂代表元が既知で独立なパラメータ族の曲線を生成可能か？

主な発見

• 本手法は、交点条件を幾何的に満たすことで、双曲的曲線および滑らかな平面四次曲線に対して明示的K₂要素を成功裏に構成した。
• この構成は、[DdJZ06] や [RS98] の既存のアドホックな手法を再解釈・一般化し、それらが提示された幾何的枠組みに適合することを示した。
• genus 2の曲線に対しては、y² + f₁(x)y + x⁵ = 0 で定義される1パラメータ族の滑らかな曲線が得られ、f₁は3次多項式である。このとき、y座標の絶対値が等しい2点で交わる直線Hを用いて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 である。
• 曲線が∞点で特異を持つ場合でも、正規化におけるすべての∞点でのターミナル記号が自明であれば、本手法は依然有効である。これはスケーリングと局所計算により検証された。