A mechanism using elements of the Brauer group of a variety to obstruct the existence of rational points even when local points exist everywhere; concretely, evaluation of Brauer classes at adelic points produces compatibility conditions whose failure explains counterexamples to the Hasse principle and refines weak approximation statements.

Principle

Pairings between the adelic points of a variety and its Brauer group produce reciprocity constraints: nontrivial values under these evaluations can rule out global points while leaving local solubility intact, so arithmetic obstructions are detected cohomologically via residues and local invariants.

Demonstration

For a smooth projective variety V over a number field, an element α in Br(V) defines evaluation maps V(A_K) → Q/Z by sending an adelic point to the sum of local invariants of pullbacks of α; if no adelic point evaluates trivially then V has no rational point despite having local points everywhere — a Brauer–Manin obstruction to the Hasse principle.

Misapplication

Assuming that every failure of the Hasse principle is accounted for by the classical Brauer–Manin obstruction without checking for transcendental Brauer elements, descent obstructions, or other obstructions coming from higher cohomology or nonabelian phenomena, which can lead to incomplete or false explanations.

Consequence

When correctly identified, the Brauer–Manin obstruction filters adelic points, explains many failures of the Hasse principle and weak approximation, and gives computable obstructions used in explicit arithmetic investigations and descent arguments.

Reversal

The inverted view would claim that Brauer pairings never obstruct global points if local points exist, ignoring the cohomological residues and reciprocity laws that produce genuine arithmetic obstructions; that denial would miss known counterexamples to Hasse predicted by Brauer–Manin computations.

Boundary

Applies to varieties over global fields where the Brauer group is accessible; it does not automatically capture obstructions coming from higher unramified cohomology, nonabelian descent, or analytic failures of local-global principles, and its predictive power depends on knowledge of the relevant subgroup of Br(V).

Semantic Tension

Tensions arise with descent and higher cohomological obstructions: Brauer–Manin is an abelian, cohomological obstruction that sometimes suffices but sometimes must be supplemented by nonabelian or higher-degree obstructions to fully explain absence of rational points.

Synthesis

The Brauer–Manin obstruction is a cohomological test: by evaluating Brauer classes on adelic points and summing local invariants, one obtains reciprocity constraints that can exclude global rational points even when local solutions exist, thereby organizing a major class of arithmetic obstructions.