[论文解读] Arithmetic in the fundamental group of a p-adic curve: On the p-adic section conjecture for curves

Florian Pop, Jakob Stix|arXiv (Cornell University)|Nov 5, 2011

Algebraic Geometry and Number Theory参考文献 12被引用 4

一句话总结

本文建立了 p-进局部体上曲线的格罗滕迪克截面猜想的赋值版本，证明了 étale 基本群的每个截面都源于延长 p-进赋值的赋值。关键结果表明，任意截面的像都位于此类赋值的分解子群内，通过赋值理论方法在阿贝尔几何中为 p-进截面猜想提供了有力证据。

ABSTRACT

We establish a valuative version of Grothendieck's section conjecture for curves over p-adic local fields. The image of every section is contained in the decomposition subgroup of a valuation which prolongs the p-adic valuation to the function field of the curve.

研究动机与目标

• 建立 p-进域上曲线的格罗滕迪克截面猜想的局部 p-进类比。
• 证明 étale 基本群的每个截面都源于函数域上延长 p-进赋值的赋值。
• 通过将有理点与赋值的分解子群联系起来，为 p-进截面猜想提供证据。
• 在阿贝尔几何的背景下，统一赋值理论与 étale 基本群的算术。
• 证明截面对应于函数域赋值空间中的类型 1 或 2h 赋值。

提出的方法

• 以 étale 基本群 π₁(X/k) 为核心对象，通过伽罗瓦作用分析截面。
• 应用正规性的赋值准则，将曲线上的闭点与函数域 K = k(X) 上的离散赋值联系起来。
• 考虑 X 的普遍完全拟-étale 覆盖 ˜X，其函数域为 ˜K，研究赋值到 ˜K 的延拓。
• 识别与函数域上赋值 w 及其在 ˜K 上的延拓 ˜w 相关的分解子群 D˜w ⊆ π₁(X)。
• 通过模型上的构造拓扑和严格 Hensel 化，对 X 的模型取极限，将 Uh_w 和 Ush_w 描述为 p-进曲线的逆极限。
• 利用 π₁ 对仿射投影极限的相容性，将分解群和扭群表示为模型上群的逆极限。

实验结果

研究问题

• RQ1 π₁(X/k) 的每个截面是否都源于 Val_k(K) 中的赋值 w，其剩余域为 k，且其在 ˜K 上的延拓 ˜w 满足 s(Gal(k)) ⊆ D˜w？
• RQ2 能否通过函数域上的赋值理论数据重新表述并证明 p-进截面猜想？
• RQ3 基本群中的分解群与扭群如何与曲线函数域上赋值的类型相关联？
• RQ4 类型 2h 和类型 2v 赋值在 π₁(X/k) 截面结构中起什么作用？
• RQ5 X 的模型上邻近点与严格邻近点的极限在多大程度上捕捉了 π₁(X) 的整体算术？

主要发现

• 基本群扩张 π₁(X) 的每个截面 s: Gal(k) → π₁(X) 都源于 Val_k(K) 中的赋值 w，其剩余域为 k，且其在 ˜K 上的延拓 ˜w 满足 s(Gal(k)) ⊆ D˜w。
• 与类型 1 或 2h 赋值 w 相关的分解子群 D˜w 同构于 Gal(k)，其逆映射给出与有理点诱导的类 [sa] 匹配的截面。
• 对于类型 2 但非类型 2h 的赋值 w，邻近点 Uh_w 同构于 Spec(Kh_w)，且分解群 Dw 是模型上 Dxw 的极限。
• 扭群与分解群 D˜w|w 和 I˜w|w 与模型上的逆极限相容，满足 D˜w|w = lim←− D_xw 和 I˜w|w = lim←− I_xw。
• 对于细化类型 1h 赋值 α 的赋值 w，有包含关系 Iα ⊆ Iw ⊆ Dw ⊆ Dα 成立于 π₁(X, η̄) 中，反映了赋值的层次结构。
• 自然限制映射 Val_o(˜K) → Val_o(K) 保持类型，且赋值的分类方法适用于普遍覆盖 ˜K。