A mechanism detecting failure of the Hasse principle for rational points on varieties over global fields: elements of the Brauer group of a variety pair with adelic points via local invariants, and a nontrivial global obstruction (nonzero sum of local invariants) can rule out the existence of rational points even when local points exist everywhere.

Principle

Evaluate Brauer-group classes at adelic points to obtain local invariants in Q/Z; the sum of these local invariants over all places must vanish for an adelic point to be approximable by rational points, so a non-vanishing pairing defines an obstruction to the existence or density of rational points.

Demonstration

For a projective variety V over a number field, compute an explicit algebraic Brauer class and evaluate it on the product of local points: if each local evaluation yields invariants whose sum in Q/Z is nonzero, then V has no rational point despite having points over every completion, showcasing a genuine Brauer–Manin obstruction.

Misapplication

Assuming the Brauer–Manin obstruction is always the only obstruction to rational points; neglecting transcendental Brauer elements or incorrectly computing local invariants can lead to false negatives or false positives about rational solvability.

Consequence

The obstruction provides a cohomological necessary condition for rational points and refines descent arguments: it explains many counterexamples to the local-to-global principle and guides searches for rational points by identifying adelic classes to test and potentially removing impossible candidate adelic families.

Reversal

The converse failure occurs when the Brauer–Manin pairing vanishes (no obstruction) but rational points still do not exist, indicating the insufficiency of Brauer–Manin alone and pointing to deeper obstructions (e.g., descent via non-abelian covers or Tate–Shafarevich phenomena).

Boundary

Applies to varieties over global fields where the Brauer group can be defined and evaluated on adelic points; it does not capture purely local obstructions and may be incomplete when transcendental or higher cohomological obstructions are relevant.

Semantic Tension

Tension between cohomological obstructions detected by the Brauer group and more geometric descent obstructions: while Brauer–Manin is computable in many cases and explains many failures of the Hasse principle, there remain examples where it is insufficient, creating tension over its completeness as an obstruction theory.

Synthesis

The Brauer–Manin obstruction uses the Brauer group and local invariant maps to turn local point information into a global cohomological test: a nonzero global pairing obstructs rational points, providing a powerful diagnostic for failures of the Hasse principle while leaving open complementary obstructions when it vanishes.