Finite descent obstruction on curves and modularity

Abstract

We prove that a form of finite Galois descent obstruction is the only obstruction to the existence of S integral points on integral models of twists of modular curves over Q, for any finite set of primes S. We deduce this from an existence theorem for elliptic curves over Q satisfying certain local conditions.