[论文解读] Intersections of Class Fields

Lars Kühne|arXiv (Cornell University)|Sep 4, 2017

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

一句话总结

该论文利用类域论，对不同数域的极大阿贝尔扩张的交集建立了新的限制，进而强化了关于希格纳点线性无关性的结果，并得到了模曲线乘积子簇上特殊点的有效界，为安德烈-奥尔特猜想作出了贡献。关键结果是此类交集的伽罗华群的统一有界性，其被 $2^{r+1}$ 消去，其中 $r$ 个具有共同全实域的CM域共享此性质。

ABSTRACT

Using class field theory, we prove a restriction on the intersection of the maximal abelian extensions associated with different number fields. This restriction is then used to improve a result of Rosen and Silverman about the linear independence of Heegner points. In addition, it yields effective restrictions for the special points lying on an algebraic subvariety in a product of modular curves. The latter application is related to the André-Oort conjecture.

研究动机与目标

• 利用类域论，对不同数域的极大阿贝尔扩张的交集建立一般性限制。
• 通过消除CM域的排除类，改进罗森与西尔弗曼关于希格纳点线性无关性的先前结果。
• 为与模曲线乘积子簇上特殊点相关的阶的判别式提供有效界。
• 通过限制特殊点的例外集合，为 $Y(1)^n$ 上安德烈-奥尔特猜想的有效版本作出贡献。

提出的方法

• 利用类域论，推导出关于交集 $K_r^{ ext{ab}} \cap L$ 的伽罗华群的消去子的普遍定理，其中 $L = K_r \prod_{i=1}^{r-1} K_i^{\text{ab}}$。
• 通过引入扩张域 $K^{\text{tf}}$，将该定理应用于阶域扩张，证明 $\operatorname{Gal}(K^{\text{rcf}}/K^{\text{tf}}) \approx \operatorname{Pic}(\mathcal{O}_F)$。
• 利用 $\operatorname{Gal}(K_r^{\text{tf}} \cap L / K_r)$ 上的消去子界 $2^{r+1}$，约束扩张域的交集。
• 结合Siegel-Tatuzawa定理与Lombardo的有效Serre开像定理，推导出有效的判别式界。
• 将判别式界应用于限制子簇 $X \subset Y(1)^n$ 上可能的CM点数量，从而得到有效例外集合 $Z = Z' \cup Z''$。
• 利用纤维维数的上半连续性与代数几何，证明具有非平凡纤维维数的点集包含于一个真Zariski闭子集 $Z'$ 中，并对其度与高度给出有效界。

实验结果

研究问题

• RQ1 在基域上两两交集为平凡的 $r \geq 2$ 个不同数域的极大阿贝尔扩张中，其最大可能交集是什么？
• RQ2 如何基于共享同一全实域的CM域数量，有效界定阶域扩张的交集？
• RQ3 能否利用类域论，有效去除罗森与西尔弗曼关于希格纳点独立性结果中对CM域的限制？
• RQ4 能否为子簇 $Y(1)^n$ 上特殊点相关阶的判别式施加有效界？
• RQ5 能否通过结合几何与类域论约束，为 $Y(1)^n$ 上安德烈-奥尔特猜想构造一个有效例外集合？

主要发现

• 当 $r \geq 2$ 个具有相同全实域的互异CM域共享此性质时，伽罗华群 $\operatorname{Gal}(K_r^{\text{tf}} \cap L / K_r)$ 被 $2^{r+1}$ 消去，其中 $L = K_r \prod_{i=1}^{r-1} K_i^{\text{tf}}$。
• 存在有效常数 $c_1 = c_1(E, \pi, r) > 0$，使得对于 $Y_0(N)$ 上的 $r$ 个CM点，要么其CM域不互异，要么其判别式小于 $c_1$，要么其在模参数化下的像生成一个秩为 $r$ 的自由 $\mathbb{Z}$-模。
• 在 $X \subset Y(1)^n$ 的安德烈-奥尔特型结果中，例外集合 $Z$ 是有效有界的：其度与高度以 $X$ 的度与高度为参数有界，且 $Z = Z' \cup Z''$。
• 集合 $Z'$ 由坐标投影下具有正维纤维的点构成，是Zariski闭集，且其度与高度有有效界。
• 集合 $Z''$ 由CM阶的判别式小于有效界 $c_{11}(X)$ 的点构成，其度与高度同样有效有界。
• 对 $|\operatorname{disc}(\mathcal{O}_{i_0})|$ 的界 $c_{11}(X)$ 由消去子界 $2^{r+1}$、类数理论与Siegel-Tatuzawa定理导出，从而仅有有限多个此类阶。