The Chabauty-Coleman bound at a prime of bad reduction

Chabauty-Coleman experiments for genus 3 hyperelliptic curves

We describe a computation of rational points on genus 3 hyperelliptic curves $C$ defined over $\mathbb{Q}$ whose Jacobians have Mordell-Weil rank 1. Using the method of Chabauty and Coleman, we present and implement an algorithm in Sage to compute the zero locus of two Coleman integrals and analyze the finite set of points cut out by the vanishing of these integrals. We run the algorithm on approximately 17,000 curves from a forthcoming database of genus 3 hyperelliptic curves and discuss some interesting examples where the zero set includes global points not found in $C(\mathbb{Q})$.

The Chabauty-Coleman bound at a prime of bad reduction and clifford bounds for geometric rank functions

Let X be a curve over a number field K with genus g>=2, $\pp$ a prime of O_K over an unramified rational prime p>2r, J the Jacobian of X, r=rank J(K), and $\scrX$ a regular proper model of X at $\pp$. Suppose r<g. We prove that #X(K)<=#\scrX(F_{\pp})+2r, extending the refined version of the Chabauty-Coleman bound to the case of bad reduction. The new technical insight is to isolate variants of the classical rank of a divisor on a curve which are better suited for singular curves and which satisfy Clifford's theorem.

p进椭圆多项式对数与立方查巴图方法

p-adic elliptic polylogarithms and cubic Chabauty

研究p进椭圆多项式对数在立方查巴图方法中的应用，通过p进log和局部p进高度构造有限集，验证Kim猜想新实例。

曲面的一个改进的 Chabauty--Coleman 界

A refined Chabauty--Coleman bound for surfaces

本文利用 Caro 和 Pasten 的方法，改进了亏格为 3 的超椭圆曲线所对应曲面 $W_2$ 上有理点数目的 Chabauty-Coleman 界，并结合 Siksek 的工作在选定例子中确定了有理点。

双曲曲线的Chabauty--Kim轨迹的界

Bounds on the Chabauty--Kim Locus of Hyperbolic Curves

在两个猜想成立的前提下，利用有效Chabauty--Kim方法给出亏格不小于2的光滑射影曲线的p进Chabauty--Kim轨迹及有理点个数的显式上界，推广了此前相关方法得到的界。

Quadratic Chabauty and rational points I: p-adic heights

We give the first explicit examples beyond the Chabauty-Coleman method where Kim's nonabelian Chabauty program determines the set of rational points of a curve defined over $\mathbb{Q}$ or a quadratic number field. We accomplish this by studying the role of $p$-adic heights in explicit nonabelian Chabauty.

An effective Chabauty-Kim theorem

The Chabauty--Kim method is a method for finding rational points on curves under certain technical conditions, generalising Chabauty's proof of the Mordell conjecture for curves with Mordell--Weil rank less than their genus. We show how the Chabauty--Kim method, when these technical conditions are satisfied in depth 2, may be applied to bound the number of rational points on a curve of higher rank. This provides a nonabelian generalisation of Coleman's effective Chabauty theorem.

$\mathbb{Z}[1/6]$ 上三穿孔直线的精细 Chabauty–Kim 计算

Refined Chabauty--Kim computations for the thrice-punctured line over $\mathbb{Z}[1/6]$

针对 $\mathbb{Z}[1/6]$ 上的三穿孔直线，本文构造新的 Coleman 函数并给出精细 Chabauty–Kim 轨迹计算算法，在所有 $p<10{,}000$ 的辅助素数下验证了 Kim 猜想。

Computing rational points on rank 0 genus 3 hyperelliptic curves

We compute rational points on genus $3$ odd degree hyperelliptic curves $C$ over $\mathbb{Q}$ that have Jacobians of Mordell-Weil rank $0$. The computation applies the Chabauty-Coleman method to find the zero set of a certain system of $p$-adic integrals, which is known to be finite and include the set of rational points $C(\mathbb{Q})$. We implemented an algorithm in Sage to carry out the Chabauty-Coleman method on a database of $5870$ curves.

$X_0(N)^*$ 的半稳定模型、局部高度与二次 Chabauty 方法

Semi-stable models, local heights and quadratic Chabauty for $X_0(N)^*$

针对 $X_0(N)^*$ 的二次 Chabauty 计算，提出构造全局 $p$-adic 高度使坏约化素数贡献消失，证明 $N>714$ 时存在，并应用于确定有理点。

Rational points on hyperelliptic Atkin-Lehner quotients of modular curves and their coverings

We complete the computation of all $\mathbb{Q}$-rational points on all the $64$ maximal Atkin-Lehner quotients $X_0(N)^*$ such that the quotient is hyperelliptic. To achieve this, we use a combination of various methods, namely the classical Chabauty--Coleman, elliptic curve Chabauty, quadratic Chabauty, and the bielliptic quadratic Chabauty method combined with the Mordell-Weil sieve. Additionally, for square-free levels $N$, we classify all $\mathbb{Q}$-rational points as cusps, CM points (including their CM field and $j$-invariants) and exceptional ones. We further indicate how to use this …

Effective Chabauty for symmetric powers of curves

Faltings' theorem states that curves of genus $g \geq 2$ have finitely many rational points. Using the ideas of Faltings, Mumford, Parshin and Raynaud, one obtains an upper bound on the number of rational points, but this bound is too large to be used in any reasonable sense. In 1985, Coleman showed that Chabauty's method, which works when the Mordell-Weil rank of the Jacobian of the curve is smaller than $g$, can be used to give a good effective bound on the number of rational points of curves of genus $g > 1$. We draw ideas from nonarchimedean geometry to show that we can also give an effect…

利用秩0商策略计算某些亏格3曲线的有理点

Rational Points of some genus $3$ curves from the rank $0$ quotient strategy

本文提出一种算法，用于计算亏格3曲线中作为秩0亏格1曲线二次覆盖情形的全部有理点，并在Magma中实现，在约4万条曲线上验证，找到了达到Stoll上界的实例。

p-adic integration on bad reduction hyperelliptic curves

In this paper, we introduce an algorithm for computing p-adic integrals on bad reduction hyperelliptic curves. For bad reduction curves, there are two notions of p-adic integration: Berkovich-Coleman integrals which can be performed locally; and abelian integrals with desirable number-theoretic properties. By covering a bad reduction hyperelliptic curve by annuli and basic wide open sets, we reduce the computation of Berkovich-Coleman integrals to the known algorithms on good reduction hyperelliptic curves. These are due to Balakrishnan, Bradshaw, and Kedlaya, and to Balakrishnan and Besser fo…

Quadratic Chabauty for modular curves: Algorithms and examples

We describe how the quadratic Chabauty method may be applied to explicitly determine the set of rational points on modular curves of genus $g>1$ whose Jacobians have Mordell--Weil rank $g$. This extends our previous work on the split Cartan curve of level 13 and allows us to consider modular curves that may have few known rational points or nontrivial local height contributions at primes of bad reduction. We illustrate our algorithms with a number of examples where we determine the set of rational points on several modular curves of genus 2 and 3: this includes Atkin--Lehner quotients $X_0^+(N…

广义高度配对与Albanese核

Generalised height pairings and the Albanese kernel

本文研究深度二Chabauty-Coleman-Kim方法中广义高度配对的定义域与计算问题，证明若曲线X的Albanese核为挠群，则存在算法计算Jacobian上有理点对的广义高度配对。

Independence of rational points on twists of a given curve

In this paper, we study bounds for the number of rational points on twists C' of a fixed curve C over a number field K, under the condition that the group of K-rational points on the Jacobian J' of C' has rank smaller than the genus of C'. The main result is that with some explicitly given finitely many possible exceptions, we have a bound of the form 2r + c, where r is the rank of J'(K) and c is a constant depending on C. For the proof, we use a refinement of the method of Chabauty-Coleman; the main new ingredient is to use it for an extension field of K_v, where v is a place of bad reduction…

The Complete Classification of Rational Preperiodic Points of Quadratic Polynomials over Q: A Refined Conjecture

We classify the graphs that can occur as the graph of rational preperiodic points of a quadratic polynomial over $\bold Q$, assuming the conjecture that it is impossible to have rational points of period $4$ or higher. In particular, we show under this assumption that the number of preperiodic points is at most~$9$. Elliptic curves of small conductor and the genus~$2$ modular curves $X_1(13)$, $X_1(16)$, and $X_1(18)$ all arise as curves classifying quadratic polynomials with various combinations of preperiodic points. To complete the classification, we compute the rational points on a non-mod…

The unit equation has no solutions in number fields of degree prime to $3$ where $3$ splits completely

Let $K$ be a number field with ring of integers $\mathcal O_{K}$. We prove that if $3$ does not divide $ [K:\mathbb Q]$ and $3$ splits completely in $K$, then the unit equation has no solutions in $K$. In other words, there are no $x, y \in \mathcal O_{K}^{\times}$ with $x + y = 1$. Our elementary $p$-adic proof is inspired by the Skolem-Chabauty-Coleman method applied to the restriction of scalars of the projective line minus three points. Applying this result to a problem in arithmetic dynamics, we show that if $f \in \mathcal O_{K}[x]$ has a finite cyclic orbit in $\mathcal O_{K}$ of length…

Uniform bounds for the number of rational points on curves of small Mordell--Weil rank

Let $X$ be a curve of genus $g\geq 2$ over a number field $F$ of degree $d = [F:Q]$. The conjectural existence of a uniform bound $N(g,d)$ on the number $\#X(F)$ of $F$-rational points of $X$ is an outstanding open problem in arithmetic geometry, known by [CHM97] to follow from the Bombieri--Lang conjecture. A related conjecture posits the existence of a uniform bound $N_{{\rm tors},\dagger}(g,d)$ on the number of geometric torsion points of the Jacobian $J$ of $X$ which lie on the image of $X$ under an Abel--Jacobi map. For fixed $X$ this quantity was conjectured to be finite by Manin--Mumfor…