[论文解读] Galois descent in Galois theories

Daniel Bertrand|arXiv (Cornell University)|Jul 19, 2010

Algebraic Geometry and Number Theory参考文献 25被引用 6

一句话总结

本文通过展示其伽罗瓦群具有结构相似的描述，将微分伽罗瓦理论（Picard-Vessiot、Kolchin 和 Pillay）统一并推广，应用了伽罗瓦下降。研究结果表明，对于阿贝尔簇，截面的除法点的伽罗瓦群同构于一个有有界指数的阿贝尔子簇 $n$-挠点子群，将 Ax-Schanuel 型结果推广至非常值情形。

ABSTRACT

Inspired by Kummer theory on abelian varieties, we give similar looking descriptions of the Galois groups occuring in the differential Galois theories of Picard-Vessiot, Kolchin and Pillay, and mention some arithmetic applications.

研究动机与目标

• 通过统一的伽罗瓦下降框架，统一描述 Picard-Vessiot、Kolchin 和 Pillay 微分伽罗瓦理论的伽罗瓦群。
• 将 Ax-Schanuel 型超越性结果推广至非常值代数群和阿贝尔簇。
• 分析函数域上阿贝尔簇截面的除法点上的伽罗瓦作用。
• 利用单值性与强逼近，建立由挠点生成的域扩张次数的界。
• 将库默尔理论推广至非常值阿贝尔簇与向量丛扩张。

提出的方法

• 使用伽罗瓦下降，将微分伽罗瓦群与代数群及其李代数的几何联系起来。
• 应用对数导子 $\nabla_{LG} \circ \ell n_G$，定义代数群上指数函数与对数函数所满足的微分方程。
• 通过普遍向量丛扩张的李代数上的单值性作用，建模 $n$-除法点的伽罗瓦群。
• 利用 $GL_m(\mathbb{Z})$ 的有限生成子群的强逼近性质，控制单值性在 $\ell$-进与 $\ell$-挠群中的像。
• 将超越性问题约化为非退化条件：$x$ 不属于任何真代数子群 $H \subset G$ 的 $LH + LG(\mathbb{C})$。
• 利用单值群 $\Pi$ 在伽罗瓦群 $N_a^\partial$ 中的扎里斯基稠密性，推导出挠域中指数有界的结论。

实验结果

研究问题

• RQ1 如何以统一的、结构性的方式描述 Picard-Vessiot、Kolchin 与 Pillay 微分理论的伽罗瓦群？
• RQ2 函数域上阿贝尔簇截面的除法点的伽罗瓦理论行为如何？
• RQ3 Ax-Schanuel 猜想在 $\mathbb{C}(S)$ 上定义的非常值代数群与阿贝尔簇上在多大程度上成立？
• RQ4 单值性如何影响由截面挠点生成的域扩张次数？
• RQ5 强逼近在控制 $B[n]$ 中伽罗瓦群指数方面起什么作用？

主要发现

• 对于定义在 $\mathbb{C}$ 上的阿贝尔簇 $A_0$，伽罗瓦群 $\mathrm{Gal}(K(\frac{1}{n}y)/K)$ 同构于 $B[n]$ 的一个有界指数子群，当 $n$ 与 $\nu(A_0, K, y)$ 互素时，指数为 1。
• 当 $A$ 不定义在 $\mathbb{C}$ 上时，伽罗瓦群 $\mathrm{Gal}(K_n(\frac{1}{n}y)/K_n)$ 包含 $B[n]$ 的一个有界指数子群，且当 $n$ 与 $\nu(A, K, y)$ 互素时，等于 $B[n]$。
• 对所有充分大的素数 $\ell$，$\frac{1}{\ell}\Omega_y$ 在 $B[\ell]$ 中的像充满整个群 $B[\ell]$，这意味着对这样的 $\ell$，伽罗瓦群在 $B[\ell]$ 上满射。
• 单值群 $\Pi$ 在伽罗瓦群 $N_a^\partial$ 中扎里斯基稠密，且与 $(L\tilde{B})^\partial$ 重合，确保周期格 $\Omega_y$ 在伽罗瓦群的李代数中扎里斯基稠密。
• 域扩张次数 $[K(\frac{1}{n}\overline{y}):K]$ 有下界 $c n^{2\dim B}$，其中 $c = 1/\nu_y$，表明在挠度上呈多项式增长。
• 对数导子 $\partial \ell n_G: G(\mathcal{K}) \to LG(\mathcal{K})$ 定义良好并尊重微分结构，从而可为指数函数建立微分代数公理。