$p$-adic Periods and Selmer Scheme Images
David Corwin, Ishai Dan-Cohen
TL;DR
The paper develops foundations to extend non-abelian Chabauty–Kim methods beyond mixed Tate motives by introducing a $p$-adic period map for systems of realizations and motivic structures. It builds a weight-filtered Tannakian framework to handle graded and filtered objects, Hodge and Frobenius data, and the associated arithmetic paths, yielding an abstract CK diagram that unifies global and local Selmer information. Key contributions include the construction of arithmetic Hodge and crystalline paths, the formulation of left/right Localization–Realization maps, and an axiomatic approach to the geometry of Selmer schemes in a broad motivic setting. The work also connects to Goncharov’s motivic iterated integrals, $K$-theory, and Beilinson-type conjectures, with potential implications for evaluating syntomic regulators and for practical CK computations on a wider class of hyperbolic curves. Overall, the framework broadens the scope of Chabauty–Kim techniques and provides a structured path toward effective finiteness results for rational points on general hyperbolic curves.
Abstract
The Chabauty--Kim method was developed with the aim of approaching effective Faltings', the problem of explicitly determining the finite set of rational points on a hyperbolic curve. This method has seen success with the more particular Quadratic Chabauty method, but this method still applies only to certain curves. Previous applications of Chabauty--Kim beyond the quadratic level, as pursued by the authors, by S. Wewers, and by others, use mixed Tate motives and the $p$-adic period map of Chatzistamatiou-Ünver to approach the particular hyperbolic curve $\mathbb{P}^1\setminus\{0,1,\infty\}$. The main purpose of this article is to lay foundations for extending the above approach to more general hyperbolic curves, in particular by defining an analogous $p$-adic period map for more general categories of motives and their non-conjectural cousins such as systems of realizations and $p$-adic Galois representations. We use this to describe a general setup for non-abelian Chabauty for an arbitrary hyperbolic curve. Our period map also connects the study of $p$-adic iterated integrals with Goncharov's theory of motivic iterated integrals, and allows us to investigate Goncharov's conjectures from a $p$-adic point of view. In particular, it suggests the possibility of evaluating syntomic regulators by writing elements of $K$-theory in terms of motivic iterated integrals. Lastly, it forms the basis for a certain generalization of the $p$-adic period conjecture of Yamashita for mixed Tate motives well-suited to applications in Chabauty--Kim theory.