[論文レビュー] On parametric and generic polynomials with one parameter

Pierre Dèbes, Joachim König+2 more|arXiv (Cornell University)|Feb 15, 2021

Algebraic Geometry and Number Theory参考文献 38被引用数 5

ひとこと要約

本稿では、標数0の体上の1パラメータ多項式が一般であるかどうかを判定する基準を確立している。それは、C((V ))(U) 上でもパラメトリックなままであるかどうかにかかっている。著者らは、非一般な多項式が、少なくとも2つの特定の超越拡大 k((V ))(U) または k(U) のいずれかの上でパラメトリックでないことを証明し、これにより、鋭い体論的テストが得られる。この結果、Q 上の1パラメータ一般多項式の完全分類が得られ、その中で唯一、特定の巡回群および二面体群がこのような多項式を許容することが確認された。さらに、BirchおよびSwinnerton-Dyer予想のもとで、関数体上の有理点の存在に関するシュインツェルの問題に対する条件付き反例が得られた。

ABSTRACT

Given fields $k \subseteq L$, our results concern one parameter $L$-parametric polynomials over $k$, and their relation to generic polynomials. The former are polynomials $P(T,Y) \in k[T][Y]$ of group $G$ which parametrize all Galois extensions of $L$ of group $G$ via specialization of $T$ in $L$, and the latter are those which are $L$-parametric for every field $L \supseteq k$. We show, for example, that being $L$-parametric with $L$ taken to be the single field $\mathbb{C}((V))(U)$ is in fact sufficient for a polynomial $P(T, Y) \in \mathbb{C}[T][Y]$ to be generic. As a corollary, we obtain a complete list of one parameter generic polynomials over a given field of characteristic 0, complementing the classical literature on the topic. Our approach also applies to an old problem of Schinzel: subject to the Birch and Swinnerton-Dyer conjecture, we provide one parameter families of affine curves over number fields, all with a rational point, but with no rational generic point.

研究の動機と目的

• 標数0の体上の1パラメータ多項式が一般であるかどうかを、明確かつ効果的に判定する基準を特定すること。
• 与えられた標数0の体 k 上で、1パラメータ一般多項式をもつすべての有限群 G を分類すること。
• 楕円曲線を用いて、関数体上の有理点の存在に関するシュインツェルの古くからの問題に、条件付き反例を構成することで取り組むこと。

提案手法

• KLN19 における算術的特殊化技法、HHK11 におけるパッチング法、DKLN18 における幾何的特殊化を用い、基底変換におけるガロア拡大の挙動を分析する。
• 著者らは、多項式 P(T,Y) ∈k[T][Y] が一般であるための新しい基準を導入する：ガロア群に応じて、k((V ))(U) 上か k(U) 上かのいずれかでパラメトリックのままであること。
• 分類のため、本質次元の理論とインertie canonical invariant を用いて、非一般な場合を除外する。
• Q(T) 上に複素乗法をもつ楕円曲線の明示的族を構成し、有理関数の引き戻しの分岐点数を用いて反例を導出する。
• PAC体上の正則逆ガロア問題とハッセ＝ミンコフスキーの定理の結果を組み合わせ、特定のパラメトリック集合が単一のパラメトリック多項式を持たないことを示す。
• すべてのガロア拡大を群 G として k 上でパラメトリズするのに必要な変数の最小数を測る一般化されたパラメトリック次元 pdkG を定義する。

実験結果

リサーチクエスチョン

• RQ1 標数0の体 k 上で、有限群 G が1パラメータ一般多項式 P(T,Y) ∈k[T][Y] をもつのはどのような場合か？
• RQ2 パラメトリシティの観点から、基底変換にのみ依存する、純粋に体論的基準によって1パラメータ多項式の一般性を特徴づけられるか？
• RQ3 BirchおよびSwinnerton-Dyer予想のもとで、無限個の数体 k と多項式 P(U,T,Y) を構成し、すべての特殊化 P(u₀,T,Y) が有理点を持つが、P(U,T,Y) は k(U) 上に有理点を持たないようなものを作ることができるか？
• RQ4 有限個の k-パラメトリックな多項式の集合が存在するが、その中で単一の k-パラメトリック多項式が存在しないことはあり得るか？また、これは k 上の G の一般次元および本質次元とどのように関係するか？
• RQ5 ある群 G に対して、数体上ではパラメトリック次元 pdkG が一般次元 gdkG よりも厳密に小さいことはあり得るか？

主な発見

• 標数0の体 k 上の1パラメータ多項式 P(T,Y) ∈k[T][Y] が一般であるための必要十分条件は、C((V ))(U) 上でもパラメトリックのままであることである。これにより、一般性に関する鋭い、効果的な基準が得られる。
• Q 上では、1パラメータ一般多項式をもつ有限群は、Z/2Z、Z/3Z、S3 のみであり、それぞれ明示的な多項式 Y²−T、Y³−TY²+(T−3)Y+1、Y³+TY+T が与えられている。
• 2n 階で n≥3 が奇数である非巡回かつ非二面体群 G に対して、P(T,Y) は k((V ))(U) 上でパラメトリックではない。これは、非一般性を示唆する。
• BirchおよびSwinnerton-Dyer予想のもとで、無限個の二次体 k が存在し、P(U,T,Y)=Y²−UQ(T) のすべての特殊化 P(u₀,T,Y) が k 上に有理点を持つが、k(U) 上には有理点を持たない。これにより、シュインツェルの問題に対する条件付き反例が得られる。
• パラメトリック次元 pdkG は一般次元 gdkG よりも厳密に小さいことがある。例えば、Q(√−1) 上では、群 (Z/2Z)^5 に対して pdkG ≤4 < 5 = edkG が成り立ち、pdkG < gdkG が可能であることを示している。
• Q(√17) 上で G=Z/8Z に対して、有限個の k-パラメトリックな多項式の集合が存在するが、単一の k-パラメトリック多項式は存在しない。これは、パラメトリック性と単一のパラメトリック多項式の存在とは同値でないことを示している。