The Brauer-Manin obstruction for curves

Let X be a smooth projective variety defined over a number field K. A fundamental problem in arithmetic geometry is to determine whether or notX has anyK-rational points. In general this is a very difficult task, and so we look instead for necessary conditions for X(K) to be non-empty. Embedding K in each of its completions Kv we have the loca