[论文解读] Counting Number Fields in Fibers

Yuri Bilu, Jean Gillibert|arXiv (Cornell University)|Jun 7, 2016

Algebraic Geometry and Number Theory被引用 3

一句话总结

本文将 Dvornicich 与 Zannier 关于有理函数纤维所引出的数域复合体中度增长的结果，从有理数域 ℚ 推广至任意数域 K。研究证明：对于定义在 K 上的曲线 X 及其度为 n 的有理函数 t，当 τ 取 𝒪_K 中有有界高度 B 的整数时，K(P_τ) 的复合体在 K 上的度至少为 exp(cB^d / log B)，其中 d 为 K 在 ℚ 上的度，c 依赖于 K、亏格 g 和 n。这表明在 {K(P_τ)} 中至少存在 cB^d / log B 个不同的域。

ABSTRACT

Let X be a projective curve over Q and t a non-constant Q-rational function on X of degree n>1. For every integer a pick a points P(a) on X such that t(P(a))=a. Dvornicich and Zannier (1994) proved that for large N the field Q(P(1), ..., P(N)) is of degree at least exp(cN/log N) over Q, where c>0 depends only on X and t. In this note we extend this result, replacing Q by an arbitrary number field.

研究动机与目标

• 将 Dvornicich 与 Zannier 关于有理函数纤维所引出的数域复合体的度增长结果，从基域 ℚ 推广至任意数域 K。
• 建立当 P_τ 为 𝒪_K 中满足 H(τ) ≤ B 的 τ 对应的纤维 t⁻¹(τ) 中的点时，K(P₁, ..., P_N) 在 K 上的度的下界。
• 量化在有界高度 τ 下，{K(P_τ)} 中不同域的数量，将 ℚ 上的对数计数推广至任意数域。
• 提供以 τ 的高度及曲线与函数的算术不变量（包括亏格与度）为参数的统一有界性结果。

提出的方法

• 使用 𝒪_K 上的高度函数 H(τ) 参数化 τ ∈ 𝒪_K 时的纤维 t⁻¹(τ)。
• 应用希尔伯特不可约性定理及其有效版本，以确保对多数 τ，K(P_τ) 在 K 上的度为 n。
• 在有限与无限位置进行局部分析，包括 v-进完备化与严格 henselization，以研究分歧行为。
• 利用阿布扬卡兰引理与可除覆盖理论分析局部扩张 K_v(P)/K_v(t(P)) 在位置 v 处的分歧。
• 构造一个有限素数集 S（包含 2 及整除判别式的素数），其中分歧可能发生，并分析 S 外的无分歧扩张。
• 运用稀疏集理论与谢巴托雷夫密度定理，控制使纤维不可约或扩张较大的 τ 的密度。

实验结果

研究问题

• RQ1 当 X 是定义在数域 K 上的曲线，t 是 X 上的非常值有理函数时，对于 𝒪_K 中满足 H(τ) ≤ B 的 τ，复合体 K(P_τ) 的最小度是多少？
• RQ2 在 {K(P_τ) : τ ∈ 𝒪_K, H(τ) ≤ B} 中，不同域的数量作为 B 及 K、X、t 的不变量的函数是多少？
• RQ3 该复合体度的下界能否从 ℚ 推广至任意数域 K？[K:ℚ] 的度如何影响增长速率？
• RQ4 在 τ 及函数 t 在位置 v 处的局部行为满足何种条件时，扩张 K_v(P)/K_v(t(P)) 是无分歧或可除分歧的？
• RQ5 函数 t 在分支点处的分歧如何与 t(P) − α 的 v-进赋值（α 为分支点）相互作用？

主要发现

• 对于任意在 ℚ 上度为 d 的数域 K，以及在 K 上定义的亏格为 g 的曲线 X 和非常值有理函数 t（度 n ≥ 2），存在常数 c > 0 和 B₀ > 1，使得对所有 B ≥ B₀，满足 H(τ) ≤ B 的 τ ∈ 𝒪_K 对应的 K(P_τ) 的复合体在 K 上的度至少为 exp(cB^d / log B)。
• 在 {K(P_τ) : τ ∈ 𝒪_K, H(τ) ≤ B} 中，不同域的数量至少为 cB^d / log B，其中 c > 0 依赖于 K、g 和 n。
• 增长速率 exp(cB^d / log B) 是最优的，因为其与经典情形一致：当 X 为 y² = x，t = x 时，K(P_τ) = K(√τ)，复合体为 K(√p : p ≤ B)，其度为 2^{π(B)} ≈ exp(cB / log B)，与界仅在指数 d 上有差异。
• 该结果对纤维中点 P_τ 的选择具有统一性，表明该界对任意选择均稳健。
• 证明依赖于在位置 v 处的局部分析，表明若对分支点 α 有 v(t(P) − α) > 0 且该赋值不被分歧指数 e 整除，则扩张 K_v(P)/K_v(t(P)) 是分歧的，这贡献于整体度的增长。
• 附录由 Jean Gillibert 撰写，提供了更自然的局部分歧分析方法，使用严格 henselization 与形式概形，以澄清沿局部环的覆盖拉回结构。