[论文解读] Integral points on curves, the unit equation, and motivic periods

Francis Brown|arXiv (Cornell University)|Apr 3, 2017

Algebraic Geometry and Number Theory参考文献 16被引用 3

一句话总结

本文通过动机周期和幂零 de Rham 基本群，重新表述了 Kim 的非交换 Chabauty 方法，表明曲线上的整点——特别是单位方程的解——在动机多 polylogarithm 中满足隐藏的代数关系。关键贡献是一个动机框架，使该方法变得明确、有效，并可通过幂零 $p$-进周期推广至除子。

ABSTRACT

This paper recasts some of the recent literature on Kim's extension of Chabauty's method for bounding points on curves in the language of motivic periods. A variant of the higher Albanese manifolds is defined which is equipped with a canonical de Rham path.

研究动机与目标

• 将 Kim 的非交换 Chabauty 方法重新表述为动机周期和 de Rham 上同调的语言。
• 证明曲线上整点在动机多 polylogarithm 中满足代数关系，从而开启一种新的算术方法。
• 将该方法推广至除子，并通过幂零 $p$-进周期使其变得有效。
• 提供一个通用的动机框架，通过线性代数和动机的 Tannakian 范畴来界定整点。
• 证明该方法在 Beilinson 型猜想成立的条件下适用于高亏格曲线。

提出的方法

• 使用 de Rham 上同调与 Betti 上同调之间的通用比较同构，并将其提升至动机周期环 $\mathcal{P}^{\mathfrak{m}}_C$。
• 应用线性代数中的一个初等引理，推导出由整点产生的动机周期的约束。
• 构造一个幂零 de Rham 周期环 $\mathcal{P}^{\mathfrak{u}}_{\mathcal{MT}_S}$，其中 $2\pi i$ 为平凡元，从而实现 $p$-进周期映射。
• 定义动机多 polylogarithm $\mathrm{Li}_n^{\mathfrak{m}}(x)$ 及其幂零对应物 $\mathrm{Li}_n^{\mathfrak{u}}(x)$，二者均为代数且 $p$-进的。
• 利用混合 Tate 动机 $\mathcal{MT}_S$ 的 Tannakian 形式，约束动机周期的空间。
• 应用 Coleman 积分和单值 $p$-进迭代积分，在动机设定下恢复经典结果。

实验结果

研究问题

• RQ1 非交换 Chabauty 方法能否以动机周期的形式重新表述，从而获得更概念化且更有效的框架？
• RQ2 在 $\mathbb{P}^1 \setminus \{0,1,\infty\}$ 上的 $S$-整点对动机多 polylogarithm 施加了何种代数约束？
• RQ3 如何通过使用幂零 $p$-进周期而非超越积分，使该方法变得有效且明确？
• RQ4 在何种条件下，对高亏格曲线有维度不等式 $\dim \Pi > \dim H^1_F(G^{\omega'}, \Pi^{\omega'})$ 成立？
• RQ5 复动机周期能否检测亏格 $g \geq 2$ 的曲线上整点的存在性，还是这种可能性被排除？

主要发现

• 该方法作为动机周期约束的结果，重新获得了关于 $\mathbb{P}^1 \setminus \{0,1,\infty\}$ 上 $S$-整点有限性的已知结果。
• $\mathcal{P}^{\mathfrak{u}}_{\mathcal{MT}_S}$ 的幂零 de Rham 周期环是一个在 $2\pi i$ 为平凡元意义下为分次 $\mathbb{Q}$-代数的结构，从而允许映射到 $\mathbb{Q}_p$。
• 幂零对数 $\log^\mathfrak{u}(x)$ 满足一个涉及 $p$-进赋值的 Frobenius-不变函数方程。
• 当 $\dim \Pi > \dim H^1_F(G^{\omega'}, \Pi^{\omega'})$ 时，对 $X = \mathbb{P}^1 \setminus \{0,1,\infty\}$，该方法通过 Coleman 积分构造出在整点上为零的函数。
• 在 Beilinson 猜想成立的条件下，该维度不等式对所有亏格 $g \geq 2$ 的曲线均成立，表明该方法具有普遍适用性。
• 动机周期空间 $\mathcal{P}^{\mathfrak{m},+}_{\mathcal{MT}_S}$ 在每个权重下均为有限维，从而强制整点的动机多 polylogarithm 之间存在 $\mathbb{Q}$-线性关系。