[论文解读] 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

一句话总结

本文建立了一项准则，用于判断特征零域上的一参数多项式是否为通用多项式：当且仅当其在域 C((V ))(U) 上仍为参数多项式时，该多项式为通用多项式。作者证明，非通用多项式在至少一个以下两个超越扩张中不满足参数性：k((V ))(U) 或 k(U)，从而提供了一个精确的、基于域论的检验方法。该结果导致对有理数域 Q 上一参数通用多项式的完整分类，确认仅有特定的循环群与二面体群可具备此类多项式，并在 Birch 与 Swinnerton-Dyer 猜想下，为 Schinzel 关于函数域上理性点存在的问题构造了条件性反例。

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.

研究动机与目标

• 确定特征零域上一参数多项式为通用多项式的精确且有效准则。
• 对给定特征零域 k 上所有有限群 G 进行分类，以确定其是否具有 k 上的一参数通用多项式。
• 通过构造基于复乘椭圆曲线的条件性反例，解决 Schinzel 关于函数域上理性点存在的经典问题。

提出的方法

• 利用 [KLN19] 中的算术专化技术、[HHK11] 中的黏合方法，以及 [DKLN18] 中的几何专化方法，作者分析了伽罗瓦扩张在基变换下的行为。
• 他们提出了一项新准则：多项式 P(T,Y) ∈k[T][Y] 为通用多项式，当且仅当其在 k((V ))(U) 或 k(U) 上保持参数性，具体取决于伽罗瓦群。
• 在分类过程中，他们应用本质维数理论与分歧主不变量，以排除非通用情形。
• 他们构造了 Q(T) 上具有复乘的椭圆曲线显式族，并利用有理拉回的分支点数推导出反例。
• 他们结合 PAC 域上正则逆伽罗瓦问题的结果与 Hasse–Minkowski 定理，证明某些参数集存在，但不存在单个参数多项式。
• 他们定义了广义参数维数 pdkG，以衡量在域 k 上参数化所有 G-伽罗瓦扩张所需的最小变量数。

实验结果

研究问题

• RQ1 在特征零域 k 上，哪些有限群 G 允许存在一参数通用多项式 P(T,Y) ∈k[T][Y]？
• RQ2 是否存在一个纯粹基于域论的准则——仅依赖于基变换——来刻画一参数多项式的通用性？
• RQ3 在 Birch 与 Swinnerton-Dyer 猜想下，能否构造出无穷多个数域 k 与多项式 P(U,T,Y)，使得所有专化 P(u₀,T,Y) 在 k 上有理性点，但 P(U,T,Y) 在 k(U) 上无理性点？
• RQ4 是否存在一个有限的 k-参数多项式集合，但其中不包含任何单个 k-参数多项式？这与 G 在 k 上的通用维数和本质维数有何关联？
• RQ5 对于某些数域上的群 G，参数维数 pdkG 是否严格小于通用维数 gdkG？

主要发现

• 特征零域 k 上的一参数多项式 P(T,Y) ∈k[T][Y] 为通用多项式，当且仅当其在 C((V ))(U) 上保持参数性，从而为通用性提供了精确且有效的判别准则。
• 在 Q 上，唯一能拥有一个参数通用多项式的有限群为 Z/2Z、Z/3Z 和 S3，且给出了显式多项式：Y²−T、Y³−TY²+(T−3)Y+1 和 Y³+TY+T。
• 对于任意非循环且非二面体的群 G（|G|=2n，n≥3 为奇数），P(T,Y) 不是 k((V ))(U)-参数多项式，从而意味着其非通用性。
• 在 Birch 与 Swinnerton-Dyer 猜想下，存在无穷多个二次数域 k，使得 P(U,T,Y)=Y²−UQ(T) 的所有专化 P(u₀,T,Y) 在 k 上有理性点，但 P(U,T,Y) 在 k(U) 上无理性点，从而为 Schinzel 问题提供了条件性反例。
• 参数维数 pdkG 可能严格小于通用维数 gdkG；例如，在 Q(√−1) 上，群 (Z/2Z)^5 满足 pdkG ≤4 < 5 = edkG，表明 pdkG < gdkG 是可能的。
• 在 Q(√17) 上，对 G=Z/8Z，存在一个有限的 k-参数多项式集合，但不存在单个 k-参数多项式，表明参数性性质并不等价于存在单个参数多项式。