[论文解读] The local theory of unipotent Kummer maps and refined Selmer schemes

L. Alexander Betts, Netan Dogra|arXiv (Cornell University)|Sep 12, 2019

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

一句话总结

该论文使用稳定约化图上的调和分析，为 $p$-进域上双曲曲线在 $\ell \neq p$ 时的幂零 Kummer 映射提供了完整的组合描述。它建立了类似于 Oda–Tamagawa 的伽罗瓦不变路径存在性准则，并证明了一个阿贝尔纲重构定理，从而实现了在任意深度下对非交换 Kummer 映射的显式计算，适用于 Chabauty–Kim 方法。

ABSTRACT

We study the Galois action on paths in the $\mathbb{Q}_\ell$-pro-unipotent étale fundamental groupoid of a hyperbolic curve $X$ over a $p$-adic field with $\ell eq p$. We prove an Oda--Tamagawa-type criterion for the existence of a Galois-invariant path in terms of the reduction of $X$, as well as an anabelian reconstruction result determining the stable reduction type of $X$ in terms of its fundamental groupoid. We give an explicit combinatorial description of the non-abelian Kummer map of $X$ in arbitrary depth, and deduce consequences for the non-abelian Chabauty method for affine hyperbolic curves and for explicit quadratic Chabauty.

研究动机与目标

• 为 $p$-进域上满足 $\ell \neq p$ 的双曲曲线发展局部幂零 Kummer 映射理论。
• 建立基于曲线稳定约化形式的伽罗瓦不变路径存在性准则。
• 从基本群胚重构曲线的稳定约化类型，证明一个阿贝尔纲重构结果。
• 为非交换 Chabauty 方法提供在任意深度下非交换 Kummer 映射的显式组合描述。
• 通过局部上同调计算，实现显式二次 Chabauty 和 Chabauty–Kim 方法的算法应用。

提出的方法

• 作者使用双曲曲线 $X$ 在 $p$-进域上的 $\mathbb{Q}_\ell$-拟幂零基本群胚，研究伽罗瓦作用在路径上的行为。
• 他们引入一个从 $X(\overline{K})$ 到稳定约化图 $\widetilde{\Gamma}$ 的约化映射，按特殊纤维中的分量对点进行分类。
• 通过调和分析（包括拉普拉斯算子和测度）在 $\widetilde{\Gamma}$ 上描述非交换 Kummer 映射。
• 通过图上的组合积分理论计算非交换 Kummer 映射，该理论推广了 Cheng–Katz 的积分方法。
• 该方法依赖于约化图的 $M$-加权基本群胚及其李代数结构。
• 该构造与基变换相容，从而可定义全局映射 $X(\overline{K}) \to \varinjlim_L \mathrm{H}^1(G_L, \pi_1^{\mathbb{Q}_\ell}(X_{\overline{K}}, b))$。

实验结果

研究问题

• RQ1 在 $\ell \neq p$ 时，双曲曲线在 $p$-进域上的 $\mathbb{Q}_\ell$-拟幂零基本群胚中，伽罗瓦不变路径存在的条件是什么？
• RQ2 能否从双曲曲线的 $\mathbb{Q}_\ell$-拟幂零基本群胚重构其稳定约化类型？
• RQ3 如何在任意深度下显式描述非交换 Kummer 映射 $j: X(K) \to \mathrm{H}^1(G_K, \pi_1^{\mathbb{Q}_\ell}(X_{\overline{K}}, b))$？
• RQ4 当 $p \neq \ell$ 时，幂零 Kummer 映射的像具有何种结构？它与约化图上的调和分析有何关联？
• RQ5 局部高度配对与 $\widetilde{\Gamma}$ 上的图论运算如何控制 Kummer 映射的上同调数据？

主要发现

• 该论文使用稳定约化图 $\widetilde{\Gamma}$ 上的调和分析，为任意深度下的非交换 Kummer 映射提供了完整的组合描述。
• 证明了类似于 Oda–Tamagawa 的准则：伽罗瓦不变路径的存在性等价于约化图及其调和测度上的一个条件。
• 从 $\mathbb{Q}_\ell$-拟幂零基本群胚可重构曲线 $X$ 的稳定约化类型，从而确立了阿贝尔纲重构定理。
• 证明了当 $X$ 是完备的且 $p$ 是潜在良好约化的素数时，幂零 Kummer 映射是有限对一的，推广了已知结果。
• 通过图论积分过程显式描述了 Kummer 映射的像，从而在 Chabauty–Kim 方法中实现了算法计算。
• 该构造与基变换相容，且映射 $X(\overline{K}) \to \varinjlim_L \mathrm{H}^1(G_L, \pi_1^{\mathbb{Q}_\ell}(X_{\overline{K}}, b))$ 是良定义且可计算的。