2025-11-19T22:22:13.395551

Etale descent obstruction and anabelian geometry of curves over finite fields

Creutz, Voloch

Let $C$ and $D$ be smooth, proper and geometrically integral curves over a finite field $F$. Any morphism from $D$ to $C$ induces a morphism of their Ã©tale fundamental groups. The anabelian philosophy proposed by Grothendieck suggests that, when $C$ has genus at least $2$, all open homomorphisms between the Ã©tale fundamental groups should arise in this way from a nonconstant morphism of curves. We relate this expectation to the arithmetic of the curve $C_K$ over the global function field $K = F(D)$. Specifically, we show that there is a bijection between the set of conjugacy classes of well-behaved morphism of fundamental groups and locally constant adelic points of $C_K$ that survive Ã©tale descent. We use this to provide further evidence for the anabelian conjecture by relating it to another recent conjecture by Sutherland and the second author.

academic

Etale descent obstruction and anabelian geometry of curves over finite fields

基本信息

论文ID: 2306.04844
标题: Etale descent obstruction and anabelian geometry of curves over finite fields
作者: Brendan Creutz, José Felipe Voloch
分类: math.NT (数论), math.AG (代数几何)
发表期刊: Épijournal de Géométrie Algébrique, Volume 8 (2024), Article No. 10
论文链接: https://arxiv.org/abs/2306.04844

摘要

设 $C$ 和 $D$ 是有限域 $F$ 上的光滑、真、几何不可约曲线。任何从 $D$ 到 $C$ 的态射都会诱导出它们的étale基本群之间的态射。Grothendieck提出的anabelian哲学表明，当 $C$ 的亏格至少为2时，étale基本群之间的所有开同态都应该以这种方式从曲线的非常数态射中产生。作者将这一期望与曲线 $C$ 在全局函数域 $K = F(D)$ 上的算术联系起来。具体地，他们证明了基本群的良好态射的共轭类集合与存活étale下降的 $C$ 的局部常数adelic点之间存在双射。他们利用这一结果为anabelian猜想提供了进一步的证据，并将其与Sutherland和第二作者的另一个最新猜想联系起来。

研究背景与动机

问题背景

Hasse原理失效问题: 对于全局域 $k$ 上的光滑、真、几何不可约曲线 $X$ ，Hasse原理可能失效。即 $X$ 可能在 $k$ 的每个完备化中都包含点，但却没有任何 $k$ -有理点。
有限下降阻碍: 所有已知的Hasse原理失效现象都可以通过有限下降阻碍来解释。这意味着存在一个在有限群概形下的torsor $f: Y \to X$ ，使得 $Y$ 的任何扭曲都不在每个完备化中包含点。
Anabelian几何: Grothendieck的anabelian哲学建议，当曲线 $C$ 的亏格至少为2时，étale基本群之间的所有开同态都应该来自曲线的非常数态射。

研究动机

在数域情况下，确定有限下降是否是 $k$ -有理点存在的唯一阻碍是一个极其困难的问题
对于全局函数域的情况更有希望：作者们已经完成了对所有非等平凡亏格至少为2的曲线的证明
本文专注于常数曲线（isotrivial curves）的情况，这是剩余的重要情形

核心贡献

建立了双射关系: 证明了基本群的良好态射的共轭类集合与存活étale下降的局部常数adelic点之间的双射（定理1.2）
新的猜想实例: 证明了当 $C$ 的Jacobian不是 $D$ 的Jacobian的等源因子时，猜想1.1成立（定理1.3）
连接不同猜想: 将有限下降阻碍猜想与Sutherland-Voloch猜想联系起来（定理1.5）
理论框架: 提供了一个将算术几何与anabelian几何联系起来的统一框架

方法详解

核心概念定义

良好态射 (Well-behaved morphisms): 连续态射 $\pi_1(D) \to \pi_1(C)$ 被称为良好的，如果 $\pi_1(D)$ 的每个分解群都被映射到 $\pi_1(C)$ 的某个分解群的开子群。

局部常数adelic点: $C(A_{K,F}) := \prod_{v \in D_1} C(F_v)$ ，其中 $v$ 遍历 $K$ 的所有位， $F_v$ 是相应的剩余域。

存活étale下降: adelic点 $(x_v) \in C(A_K)$ 存活torsor $f: C' \to C$ ，如果在每个 $v$ 处对 $f$ 的求值位于对角映射的像中。

主要构造

构造3.5: 从良好同态 $\phi: \pi_1(D) \to \pi_1(C)$ 构造局部常数adelic点：

利用分解群的对应关系确定映射 $\tilde{\phi}: \tilde{D}_1 \to \tilde{C}_1$
对每个闭点 $v \in D_1$ ，定义 $x_v \in C(F_v)$ 为相应的像点
得到局部常数adelic点 $(x_v) \in C(A_{K,F})$

关键定理

定理3.8: 构造3.5诱导双射： $C(A_{K,F})^{\text{ét}} \leftrightarrow \text{Hom}^{\text{wb}}_{\pi_1(C)}(\pi_1(D), \pi_1(C))$

这个双射的证明依赖于：

命题3.3：从adelic点构造良好同态
引理3.7：构造的adelic点确实存活étale下降
两个构造互为逆映射的验证

实验设置

理论验证方法

由于这是纯数学理论研究，"实验"主要体现为：

已知情况的验证:
- 亏格1的曲线：猜想1.1从有限域上Abel簇的Tate猜想得出
- $g(D) < g(C)$ 的情况：由CV22, Theorem 1.5已知
新实例的证明:
- 当 $J_C$ 不是 $J_D$ 的等源因子时的情况
- 利用与Sutherland-Voloch猜想的联系

技术工具

Étale上同调理论
Galois上同调
基本群的理论
Adelic几何

实验结果

主要结果

定理1.3的证明: 假设 $(x_v) \in C(A_{K,F})^{\text{ét}} \setminus C(F)$ 。由命题3.9， $(x_v)$ 诱导的Galois等变映射 $\psi: D(\overline{F}) \to C(\overline{F})$ 是满射的。由CV22, Corollary 5.3，这诱导满射同态 $\phi_*: J_D(\overline{F}) \to J_C(\overline{F})$ 。通过Tate猜想， $J_C$ 是 $J_D$ 的等源因子。

定理1.5的证明: 设 $x \in C(A_K)^{\text{ét}} \setminus C(F)$ 。由于 $H(C) \to C$ 是étale覆盖， $x$ 提升到 $H(C)$ 的某个扭曲。通过迭代这个过程，在Sutherland-Voloch猜想的假设下，可以证明 $C(K) \neq C(F)$ 。