Polylogarithmic Chabauty--Kim loci over number fields

Abstract

We study polylogarithmic Chabauty--Kim loci for $S$-integral points on ${\mathbb{P}}^1\setminus \{0,1,\infty \}$ over number fields. We compare motivic and étale Selmer schemes, describe Galois actions on Selmer schemes and period rings, and give an explicit formula for the localisation map on the polylogarithmic Selmer scheme. For imaginary and real quadratic fields, we derive equations and determine several polylogarithmic and full Chabauty--Kim loci and show that Kim's Conjecture holds in several new cases. In other cases, we show that the polylogarithmic Chabauty--Kim method is insufficient to cut out precisely the $S$-integral points, even when combined with $S_3$-symmetrisation, due to additional points arising from $p$-adic roots of unity. As a further application, we give a Chabauty--Kim theoretic proof of the $S$-Selmer Section Conjecture for imaginary quadratic fields when $S$ is empty or $S$ consists of a single prime not fixed by complex conjugation.

69 pages; comments welcome