Unlikely intersections and the Chabauty–Kim method over number fields

The Chabauty–Kim method is a tool for finding the integral or rational points on varieties over number fields via certain transcendental p-adic analytic functions arising from certain Selmer schemes associated to the unipotent fundamental group of the variety. In this paper we establish several foundational results on the Chabauty–Kim method for curves over number fields. The two main ingredients in the proof of these results are an unlikely intersection result for zeroes of iterated integrals, and a careful analysis of the intersection of the Selmer scheme of the original curve with the unipotent Albanese variety of certain Qp\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb {Q}}_p $$\end{document}-subvarieties of the restriction of scalars of the curve. The main theorem also gives a partial answer to a question of Siksek on Chabauty’s method over number fields, and an explicit counterexample is given to the strong form of Siksek’s question.