La propiedad de una ecuación diofántica por la cual existe al menos un lugar v del cuerpo base para el que la ecuación no tiene solución en la completación en v (por ejemplo R o Q_p), excluyendo así cualquier solución racional global procedente de ese lugar.

Principio

Una obstrucción local en cualquier completado impide una solución racional global: la solvencia en todas las completaciones locales es una condición necesaria para la solvencia global.

Demostración

Para una cónica o una forma cuadrática: si la cónica no tiene punto en Q_2 (ninguna solución en Q_2), entonces no existe punto racional. Concretamente, una ecuación que viola una condición de congruencia módulo p proporciona un testigo v = p de insolubilidad local.

Aplicación incorrecta

Concluir que la insolubilidad local en un lugar implica la ausencia de todo tipo de puntos algebraicos (p. ej. puntos enteros cuando se consideran puntos racionales) o confundir la falta de solución en una plaza arquimediana con obstrucciones p‑ádicas sin especificar la plaza.

Consecuencia

Una insolubilidad local demostrada ofrece una obstrucción inmediata y rigurosa a las soluciones racionales globales y puede evitar búsquedas globales exhaustivas al eliminar familias enteras de candidatos.

Inversión

La solvencia local en todas las plazas no garantiza la existencia de una solución racional global: existen contraejemplos globales en los que todas las completaciones locales tienen soluciones pero no hay solución racional global debido a obstrucciones globales.

Límite

Se aplica a preguntas de solvencia evaluadas sobre completaciones de cuerpos de números (reales, complejas, p‑ádicas). No trata obstrucciones de origen analítico (por ejemplo, el anulación de valores L) ni las obstrucciones aritméticas más finas como el emparejamiento Brauer–Manin, salvo que se incluyan explícitamente.

Tensión semántica

Tensión con «Insolubilidad Global» donde la ausencia de soluciones globales puede proceder tanto de una obstrucción local (aquí tratada) como de fenómenos puramente globales (Brauer–Manin, Tate–Shafarevich) que dejan todos los locales solubles.

Síntesis

La insolubilidad local consiste en identificar una completación concreta sin solución; es una obstrucción concreta y computable que descarta de forma definitiva puntos racionales globales cuando existe, mientras que su ausencia deja abiertas obstrucciones globales más sutiles.