[論文レビュー] 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$ のとき、安定還元グラフ上の調和解析を用いて、単型Kümmer写像の完全な組合せ的記述を提供する。ガロア不変パスの存在に関するOda–Tamagawa型の基準を確立し、アーベルでない再構成定理を証明することで、Chabauty–Kim法への応用を想定した任意の深さにおける非アーベルKümmer写像の明示的計算が可能になる。

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.

研究の動機と目的

• $\ell \neq p$ である $p$-進体上の双曲的曲線に対する、単型Kümmer写像の局所理論の構築。
• 曲線の安定還元に基づく、ガロア不変パスの存在に関する基準の確立。
• 基本群の小領域から曲線の安定還元型を再構成すること、すなわちアーベルでない再構成結果の証明。
• 非アーベルKümmer写像を任意の深さで明示的かつ組合せ的に記述し、非アーベルChabauty法に応用すること。
• 局所コホロジー計算を用いて、明示的二次ChabautyおよびChabauty–Kim法へのアルゴリズム的応用を可能にする。

提案手法

• 著者たちは、$p$-進体上の双曲的曲線 $X$ の $\mathbb{Q}_\ell$-pro-単型基本群小領域を用いて、パス上のガロア作用を研究する。
• 点を特別なファイバー内の成分によって分類するため、$X(\overline{K})$ から安定還元グラフ $\widetilde{\Gamma}$ への還元写像を導入する。
• ラプラシアン作用素や測度を含む $\widetilde{\Gamma}$ 上の調和解析を用いて、非アーベルKümmer写像を記述する。
• 非アーベルKümmer写像は、グラフ上の組合せ的積分理論（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$-pro-単型基本群小領域において、ガロア不変パスが存在する条件は何か？
• RQ2 双曲的曲線の安定還元型は、その $\mathbb{Q}_\ell$-pro-単型基本群小領域から再構成可能か？
• RQ3 非アーベルKümmer写像 $j: X(K) \to \mathrm{H}^1(G_K, \pi_1^{\mathbb{Q}_\ell}(X_{\overline{K}}, b))$ は、任意の深さで明示的に記述可能か？
• RQ4 $p \neq \ell$ のとき、単型Kümmer写像の像の構造は何か？ また、還元グラフ上の調和解析とどのように関係するか？
• RQ5 局所高さ対および $\widetilde{\Gamma}$ 上のグラフ論的演算は、Kümmer写像のコホロロジー的データをどのように制御するか？

主な発見

• 本稿は、安定還元グラフ $\widetilde{\Gamma}$ 上の調和解析を用いて、任意の深さにおける非アーベルKümmer写像の完全な組合せ的記述を提供する。
• Oda–Tamagawa型の基準が証明された：ガロア不変パスの存在は、還元グラフおよびその調和測度に関する条件と同値である。
• 曲線 $X$ の安定還元型は、その $\mathbb{Q}_\ell$-pro-単型基本群小領域から再構成可能であり、アーベルでない再構成定理が確立される。
• $X$ が固有であり、$p$ が潜在的良い還元の素数であるとき、単型Kümmer写像が有限対一であることが示され、既知の結果が一般化される。
• Kümmer写像の像は、グラフ論的積分プロセスによって明示的に記述可能であり、Chabauty–Kim法におけるアルゴリズム的計算が可能になる。
• 構成は基底変換と整合的であり、写像 $X(\overline{K}) \to \varinjlim_L \mathrm{H}^1(G_L, \pi_1^{\mathbb{Q}_\ell}(X_{\overline{K}}, b))$ は適切に定義され、計算可能である。