A curve defined over the rational numbers is said to be **locally solvable** if the equation(s) defining the curve have a solution over $\R$ and over $\Q_p$ for every prime $p$. For curves over number fields we require solutions over every completion of the number field.

If the curve is non-singular (or even merely geometrically irreducible), then there are always at most finitely many primes $p$ such that the curve has no point over $\Q_p$.

Curves with a rational point are obviously always locally solvable, but the converse need not hold (unless the curve has genus zero). For example, the genus 1 curve $3x^3+4y^3+5z^3=0$ over $\Q$ is locally solvable but has no rational points (this example is due to Selmer).

**Authors:**

**Knowl status:**

- Review status: reviewed
- Last edited by Jennifer Paulhus on 2019-04-20 15:18:35

**Referred to by:**

**History:**(expand/hide all)

- 2019-04-20 15:18:35 by Jennifer Paulhus (Reviewed)
- 2018-05-24 16:29:38 by John Cremona (Reviewed)

**Differences**(show/hide)