[论文解读] Good Sections of Arithmetic Fundamental Groups

Mohamed Saı̈di|arXiv (Cornell University)|Oct 7, 2010

Algebraic Geometry and Number Theory被引用 4

一句话总结

本文引入了算术基本群的（一致）良好截面概念，并通过尖点化方法建立了一个将格罗滕迪克双曲几何截面猜想约化为其双有理版本的框架。本文证明了均匀良好截面可上延至尖点阿贝尔伽罗瓦群的截面，并在塔特-沙法列维奇群有限的假设下，证明了该猜想的 pro-$p$ $p$-进版本。

ABSTRACT

In this paper we exhibit the notion of (uniformly) good sections of arithmetic fundamental groups. We introduce and investigate the problem of cuspidalisation of sections of arithmetic fundamental groups, its ultimate aim is to reduce the solution of the Grothendieck anabelian section conjecture to the solution of its birational version. We show that (uniformly) good sections of arithmetic fundamental groups of smooth, proper, and geometrically connected hyperbolic curves over slim (and regular) fields can be lifted to sections of cuspidally abelian absolute Galois groups. As an application we prove a (pro-p) p-adic version of the Grothendieck anabelian section conjecture for hyperbolic curves, under the assumption that the existence of sections of arithmetic fundamental groups, and cuspidally abelian Galois groups, implies the existence of tame points. We also prove that the existence of uniformly good sections of arithmetic fundamental groups for hyperbolic curves over number fields implies the existence of divisors of degree 1, under a finiteness condition of the Tate-Shafarevich group of the jacobian of the curve.

研究动机与目标

• 发展算术基本群的（一致）良好截面理论，以将格罗滕迪克双曲几何截面猜想约化为其双有理版本。
• 研究算术基本群截面的尖点化问题，旨在将群论截面与有理点联系起来。
• 在截面蕴含存在驯服点的假设下，建立格罗滕迪克双曲几何截面猜想的 pro-$p$ $p$-进版本。
• 证明在雅可比簇的塔特-沙法列维奇群有限的条件下，数域上的一致良好截面蕴含存在度数为1的除子。

提出的方法

• 引入算术基本群的（一致）良好截面概念，即连续群论截面 $ s: G_k o ilde{ ho}_1(X) $，其上延至尖点阿贝尔绝对伽罗瓦群的截面。
• 使用上同调技术，特别是配对 $ <,> : ext{Pic}(X)^{ ext{wedge},ar{ ho}} imes T_{ar{ ho}} ext{Br}(X) o T_{ar{ ho}} ext{Br}(k) $，将截面与布饶尔类联系起来。
• 通过截面 $ s $ 拉回上同调类，应用限制映射 $ s^*: H^2(X, M_X) o H^2(G_k, M_X) $，并将其识别为配对 $ ext{Pic}(X)^{ ext{wedge},ar{ ho}} o T_{ar{ ho}} ext{Br}(k) $。
• 利用截面的陈类 $ c(s) o H^2(X, M_X) $ 及其在 $ T_{ar{ ho}} ext{Br}(X) $ 中的像，定义同态 $ ar{ ho} o T_{ar{ ho}} ext{Br}(k) $。
• 利用涉及 $ ext{Pic}(X)^{ ext{wedge},ar{ ho}} $、$ H^2(X, M_X) $ 和 $ T_{ar{ ho}} ext{Br}(X) $ 的正合列，分析截面的结构。
• 通过配对 $ <,>_n $ 的射影极限，定义全局配对 $ <,>: ext{Pic}(X)^{ ext{wedge},ar{ ho}} imes T_{ar{ ho}} ext{Br}(X) o T_{ar{ ho}} ext{Br}(k) $，这对主要结果至关重要。

实验结果

研究问题

• RQ1 能否通过良好截面理论将格罗滕迪克双曲几何截面猜想约化为其双有理版本？
• RQ2 在何种条件下，算术基本群的均匀良好截面可上延至尖点阿贝尔伽罗瓦群的截面？
• RQ3 在雅可比簇的塔特-沙法列维奇群有限的假设下，数域上均匀良好截面的存在是否蕴含存在度数为1的除子？
• RQ4 算术基本群截面的上同调刻画如何通过布饶尔类与佩卡德群表达？
• RQ5 配对 $ <,> $ 在 $ ext{Pic}(X)^{ ext{wedge},ar{ ho}} $ 与 $ T_{ar{ ho}} ext{Br}(X) $ 之间如何与限制映射 $ s^* $ 相关联？

主要发现

• 在纤薄且正规的域上，光滑、射影、几何连通的双曲曲线的算术基本群的均匀良好截面，可上延至尖点阿贝尔绝对伽罗瓦群的截面。
• 本文在截面蕴含存在驯服点的假设下，证明了格罗滕迪克双曲几何截面猜想的 pro-$p$ $p$-进版本。
• 在雅可比簇的塔特-沙法列维奇群有限的条件下，数域上均匀良好截面的存在蕴含存在度数为1的除子。
• 限制映射 $ s^*: H^2(X, M_X) o H^2(G_k, M_X) $ 与通过截面陈类定义的配对 $ ext{Pic}(X)^{ ext{wedge},ar{ ho}} o T_{ar{ ho}} ext{Br}(k) $ 一致。
• 自然配对 $ <,>_n: ext{Pic}(X)/n ext{Pic}(X) imes T_{ar{ ho}} ext{Br}(X) o T_{ar{ ho}} ext{Br}(k) $ 与射影极限相容，从而导出全局配对 $ <,>: ext{Pic}(X)^{ ext{wedge},ar{ ho}} imes T_{ar{ ho}} ext{Br}(X) o T_{ar{ ho}} ext{Br}(k) $。
• 上同调类 $ ([ar{ ho}].ar{ ho})_n $ 对所有 $ n $ 恒为零，即 $ ([ar{ ho}].ar{ ho})_n = 0 $，这对 $ H^2(G_k, ar{ ho}_n) $ 中扩张类的平凡性至关重要。