On a non-abelian analogue of a conjecture of Michael Stoll

We formulate a non-abelian generalisation of a conjecture of Stoll, which conjecturally describes the structure of the loci cut out by Kim's method of non-abelian Chabauty. We prove the rank 0 quadratic case of this conjecture, which in particular determines the structure of the quadratic Chabauty locus for once-punctured elliptic curves of rank 0. The proof involves using a variant of the geometric quadratic Chabauty method of Edixhoven and Lido to reduce to an unlikely intersections problem, and ultimately to known results about the relative Manin--Mumford Conjecture.