The property of a Diophantine equation that there exists at least one place v of the base number field for which the equation has no solution in the completion at v (for example R or Q_p), thereby excluding any global rational solution coming from that place.

Principle

A local obstruction at any completion forbids a global rational solution: solvability in every local completion is a necessary condition for global solvability.

Demonstration

Consider a quadratic form or conic; if an integral conic has no point over Q_2 (no solution in Q_2), then no rational point exists. Concretely, an equation that fails a congruence condition modulo a prime p gives a witness v = p of local insolubility.

Misapplication

Concluding that local insolubility at a single place implies the absence of all types of algebraic points (e.g. integral points when only rational points are considered) or confusing failure at an archimedean place with p-adic obstructions without specifying the place.

Consequence

A proved local insolubility yields an immediate, rigorous obstruction to global rational solutions and can often save exhaustive global searches by eliminating entire families of candidates.

Reversal

Local solubility at every place does not guarantee a global rational solution: there exist global counterexamples where all local completions have solutions but a global rational solution is absent due to global obstructions.

Boundary

Applies to solvability questions evaluated over completions of number fields (real, complex, p-adic). It does not address obstructions of analytic origin (e.g. vanishing of L-values) nor the finer arithmetic obstructions like the Brauer–Manin pairing unless explicitly incorporated.

Semantic Tension

Tension with 'Global Insolubility' where the absence of global solutions can arise either from a local obstruction (covered here) or from purely global phenomena (Brauer–Manin, Tate–Shafarevich) that leave all locals solvable.

Synthesis

Local insolubility is the identification of a specific completion at which no solution exists; it is a concrete, computable obstruction that decisively rules out global rational points when present, while its absence leaves open deeper global obstructions.