Non-abelian Chabauty for the thrice-punctured line and the Selmer section conjecture

For a smooth projective hyperbolic curve Y/Q the set of rational points Y(Q) is finite by Faltings’ Theorem. Grothendieck’s section conjecture predicts that this set can be described via Galois sections of the étale fundamental group of Y. On the other hand, the non-abelian Chabauty method produces p-adic analytic functions which conjecturally cut out Y(Q) as a subset of Y(Qp). We relate the two conjectures and discuss the example of the thrice-punctured line, where non-abelian Chabauty is used to prove a local-to-glocal principle for the section conjecture.