Una obstrucción a la existencia de una solución integral o racional global que surge de condiciones de congruencia incompatibles módulo algún entero o módulo; la solvabilidad local módulo el módulo no se eleva a una solución integral/racional.

Principio

Las restricciones aritméticas módulo n imponen clases de residuos necesarias para las posibles soluciones; si no existen enteros o racionales que satisfagan simultáneamente todas las condiciones de residuos exigidas, esas contradicciones de congruencia obstruyen una solución global.

Demostración

La ecuación diofántica x^2 + y^2 = 3 no tiene soluciones enteras porque los cuadrados módulo 4 son 0 o 1, por lo que el lado izquierdo solo puede ser 0,1 o 2 módulo 4, mientras que 3 es imposible; la congruencia módulo 4 excluye así cualquier solución entera.

Aplicación incorrecta

Usar una única obstrucción por congruencias para concluir inexistencia de puntos racionales sin comprobar otros módulos, o pasar por alto que las restricciones de congruencia son necesarias pero no suficientes — la solvabilidad por congruencias no garantiza una solución global.

Consecuencia

Las obstrucciones por congruencias proporcionan certificados rápidos y computables que descartan candidatos a soluciones enteras o racionales; reducen el espacio de búsqueda y orientan el análisis local–global posterior.

Inversión

Las condiciones de congruencia son compatibles (es decir, no hay obstrucción por congruencias) pero aun así puede no existir una solución global debido a otras obstrucciones de naturaleza geométrica o cohomológica.

Límite

Abarca la solvabilidad módulo enteros o potencias de primos y su elevación a soluciones globales; excluye obstrucciones trascendentes o analíticas y no garantiza el levantamiento desde soluciones modulares a soluciones sobre completaciones sin hipótesis de tipo Hensel.

Tensión semántica

Compite con obstrucciones analíticas o cohomológicas: una obstrucción por congruencias es elemental y local, mientras que Brauer–Manin o las obstrucciones por descenso actúan a un nivel aritmético–geométrico más profundo y pueden producir fallo incluso cuando las congruencias permiten soluciones.

Síntesis

Una obstrucción por congruencias es el testigo aritmético elemental de que ciertas restricciones de residuos módulo un módulo son incompatibles con cualquier solución integral o racional global; es un criterio necesario pero no siempre suficiente y constituye una capa en la jerarquía de obstrucciones local–global.