[论文解读] Mixed Tate motives and the unit equation II (formerly titled Explicit motivic Chabauty-Kim theory III)

Ishai Dan‐Cohen|arXiv (Cornell University)|Oct 5, 2015

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

一句话总结

该论文通过构造一个算法，推进了金氏非交换 Chabauty 方法，该算法在假设标准猜想的前提下，可证明地计算出有理数域上三倍穿孔直线的整点集，利用显式 motivic 重复积分，并实现了此情形下的完全有效性，同时将框架扩展至更高阶数域。

ABSTRACT

Over the past twelve years or so, Minhyong Kim has developed a framework for making effective use of the fundamental group to bound (or even compute) integral points on hyperbolic curves. This is the third installment in a series whose goal is to realize the potential effectivity of Kim's approach in the case of the thrice punctured line. As envisioned in the last installment, we construct an algorithm whose output upon halting is provably the set of integral points, and whose halting would follow from conjectures. Our results go a long way towards achieving our goals over the rationals, while broaching the topic of higher number fields.

研究动机与目标

• 实现金氏 motivic Chabauty-Kim 方法在有理数域上三倍穿孔直线情形下的有效性。
• 构造一个具体算法，其输出在标准猜想下可被证明为整点的完整集合。
• 将 motivic 非交换 Chabauty 框架扩展至有理数域以外的更高阶数域。
• 在显式算术几何中实现 motivic 重复积分方法的计算实现。
• 弥合猜想性有限性与双曲曲线整点有效计算之间的鸿沟。

提出的方法

• 利用显式 motivic 重复积分构造 p 进周期映射，以编码算术信息。
• 通过三倍穿孔直线的基本群应用非交换 Chabauty 方法，以约束整点。
• 在 motivic 李代数上使用滤过结构，定义一组 p 进方程，其解对应于整点。
• 依赖于某些 Selmer 簇的猜想性有限性，以确保算法在有限步后终止。
• 整合混合 Tate 模形式的工具，以在 motivic 设置下计算相关的上同调不变量。
• 通过将 motivic 与 p 进结构扩展至一般 S-整数环，将框架适应于有理数域以外的数域。

实验结果

研究问题

• RQ1 金氏非交换 Chabauty-Kim 方法能否在有理数域上三倍穿孔直线情形下被完全有效化以计算整点？
• RQ2 从 motivic 重复积分中可导出何种显式算法结构以界定整点？
• RQ3 如何利用 Selmer 簇的猜想性有限性来确保算法的终止？
• RQ4 该方法在多大程度上可推广至有理数域以外的更高阶数域？
• RQ5 混合 Tate 模存在何种作用，以构建整点的有效的 p 进周期映射？

主要发现

• 构造了一个显式算法，其输出在数学上可被证明为有理数域上三倍穿孔直线的整点完整集合。
• 该算法的终止性依赖于标准猜想，特别是某些 Selmer 簇的有限性。
• 该方法在三倍穿孔直线情形下实现了完全有效性，达成了金氏程序的关键目标。
• 该框架被扩展至更高阶数域，为有理数域以外的应用打开了大门。
• 使用 motivic 重复积分为非交换 p 进周期映射提供了具体的计算路径。
• 该成果标志着在使非交换 Chabauty 方法在算术几何中完全算法化和有效化方面迈出了重大一步。