Chabauty--Kim and the Section Conjecture for locally geometric sections

Let $X$ be a smooth projective curve of genus $\geq2$ over a number field. A natural variant of Grothendieck's Section Conjecture postulates that every section of the fundamental exact sequence for $X$ which everywhere locally comes from a point of $X$ in fact globally comes from a point of $X$. We show that $X/\mathbb{Q}$ satisfies this version of the Section Conjecture if it satisfies Kim's Conjecture for almost all choices of auxiliary prime $p$, and give the appropriate generalisation to $S$-integral points on hyperbolic curves. This gives a new "computational" strategy for proving instances of this variant of the Section Conjecture, which we carry out for the thrice-punctured line over $\mathbb{Z}[1/2]$

Refined Selmer equations for the thrice-punctured line in depth two

In [Kim05], Kim gave a new proof of Siegel's Theorem that there are only finitely many $S$-integral points on $\mathbb P^1_{\mathbb Z}\setminus\{0,1,\infty\}$. One advantage of Kim's method is that it in principle allows one to actually find these points, but the calculations grow vastly more complicated as the size of $S$ increases. In this paper, we implement a refinement of Kim's method to explicitly compute various examples where $S$ has size $2$ which has been introduced in [BD19]. In so doing, we exhibit new examples of a natural generalisation of a conjecture of Kim.Comment: 58 pages, comments welcom