Brauer–Manin Obstruction

• Brauer–Manin Obstruction is a cohomological mechanism that detects failures in the Hasse principle and weak approximation for rational points and zero-cycles on algebraic varieties.
• It constructs the Brauer–Manin set using the Brauer group and local evaluation maps at each place of a global field, filtering the adelic points.
• Its applications cover rational points, zero-cycles, and algebraic stacks, offering practical insights into local–global principles in Diophantine geometry.

The Brauer–Manin obstruction is a cohomological mechanism that detects failures of both the Hasse principle and weak approximation for rational points and zero-cycles on algebraic varieties and, more generally, algebraic stacks over global fields. Rooted in the arithmetic and cohomology of the Brauer group, it remains central in the study of local–global principles in Diophantine geometry, providing both a practical and structural tool for understanding when and why local solubility fails to guarantee global solubility.

1. Definition and Construction

Let $X$ be a smooth, projective, geometrically integral variety (or more generally a Deligne–Mumford or Artin stack) over a global field $k$. The cohomological Brauer group is defined as

$\Br(X) = H^2_{\operatorname{\acute{e}t}}(X, \mathbb{G}_m)$

For each place $v$ of $k$, the local field $k_v$ has its own Brauer group and an invariant map $\operatorname{inv}_v: \Br(k_v) \rightarrow \mathbb{Q}/\mathbb{Z}$, which is an isomorphism for non-archimedean $v$.

Given an adelic point $(P_v)_v \in X(\mathbb{A}_k)$ and class $\alpha \in \Br(X)$, the local evaluation $\alpha(P_v) \in \Br(k_v)$ defines the sum

$$\sum_v \operatorname{inv}_v(\alpha(P_v)) \in \mathbb{Q}/\mathbb{Z}$$

which is finite due to vanishing outside a finite set. The subset

$X(\mathbb{A}_k)^{\Br} = \{ (P_v)_v \mid \sum_v \operatorname{inv}_v(\alpha(P_v)) = 0, \forall \alpha \in \Br(X) \}$

is the Brauer–Manin set. The classical principle states that

$X(k) \subset X(\mathbb{A}_k)^{\Br} \subset X(\mathbb{A}_k)$

so if $X(\mathbb{A}_k)^{\Br} = \emptyset$, but $X(\mathbb{A}_k) \neq \emptyset$, then there is a Brauer–Manin obstruction to the Hasse principle or to weak approximation (Wittenberg, 2015, Elsenhans et al., 2010, Pagano, 2023).

For algebraic stacks $X$ of finite type over $k$, one analogously defines $\Br(X) = H^2_{\operatorname{\acute{e}t}}(X, \mathbb{G}_m)$ and the adelic pairing (Lv et al., 2023).

2. The Structure of the Brauer Group and Types of Obstruction

The Brauer group admits several significant filtrations and decompositions:

• The algebraic Brauer group, $\Br_1(X) = \ker[\Br X \to \Br(X_{\bar{k}})]$, consists of classes killed by extension to the algebraic closure.
• The transcendental Brauer group, i.e., the quotient $\Br(X) / \Br_1(X)$, encodes more subtle obstructions, surviving even after base-change to $\bar{k}$.
• For varieties with group actions or stacky structure, the exact sequence of Colliot–Thélène–Sansuc extends to quotient stacks (Lv et al., 2023):

$0 \to \Pic(G) \to \Br(X) \to \Br(Y) \to \cdots$

for $X = [Y/G]$, with $G$ a connected algebraic group.

For K3, cubic, and certain rational surfaces, the algebraic part is often computable via the Hochschild–Serre spectral sequence, which, for geometrically rational varieties, gives

$0 \to \Br(k) \to \Br(X) \to H^1(\operatorname{Gal}(\bar{k}/k), \Pic(\bar{X}))$

with $\Pic(\bar{X})$ determined by the geometry (e.g., arrangements of lines on cubic surfaces) (Elsenhans et al., 2010, Corn et al., 2017).

On K3 surfaces and related higher-dimensional varieties, transcendental obstructions—those not arising via Galois action on the Picard group—can arise, including divisible classes and phenomena not detected by the algebraic subgroup (Wittenberg, 2015, Pagano, 2023).

3. Applications: Rational Points, Weak Approximation, and Zero-cycles

The Brauer–Manin obstruction is the key known obstruction to the Hasse principle for rational points on many varieties. Whenever $X(\mathbb{A}_k)^{\Br} = \emptyset$ but $X(\mathbb{A}_k) \neq \emptyset$, no rational points exist globally, despite local solubility at every completion (Wittenberg, 2015, Biswas et al., 2024).

In the context of weak approximation, failure of density of $X(k)$ in $X(\mathbb{A}_k)$ is explained when $X(k)$ is dense only in $X(\mathbb{A}_k)^{\Br}$, but not in the full adelic space (Pagano, 2023). The precise role of primes of good reduction and their ramification indices is detailed in cases of K3 and related surfaces (Pagano, 2023).

For zero-cycles on varieties, an analogous pairing is defined on Chow groups, via

$$\langle b, z_v \rangle_v = \sum_P n_P \operatorname{inv}_v(b(P))$$

for $b \in \Br(X)$, $z_v$ a local 0-cycle. The global to local exact sequence relates the existence of global 0-cycles of degree $d$ to the nonemptiness of the BM set for local 0-cycles of degree $d$ (Ieronymou, 2021, Liang, 2012, Izquierdo et al., 3 Jan 2025). Under broad hypotheses, the obstruction for 0-cycles of degree one on products of varieties is determined by the obstructions on the factors (Izquierdo et al., 3 Jan 2025).

On hyperelliptic curves, the practical computation of the BM obstruction can be reduced to corestrictions of quaternion algebras on the 2-torsion of the Brauer group, and efficient algorithms for checking the Hasse principle have been developed (Creutz et al., 2021).

4. Specific Case Studies and Generalizations

Cubic Surfaces: The obstruction is rooted in the Galois action on the 27 lines, with the geometric Brauer group computed via orbits and explicit cyclic or quaternion algebras (Elsenhans et al., 2010, Rivera et al., 2021). Swinnerton-Dyer’s classification gives that $\Br(X)/\Br(k)$ is one of $$0, \mathbb{Z}/2, \mathbb{Z}/2 \times \mathbb{Z}/2, \mathbb{Z}/3, \mathbb{Z}/3 \times \mathbb{Z}/3$$. In certain families, the BM obstruction requiring arbitrarily many linearly independent generators has been constructed (Berg et al., 2023).

K3 Surfaces and Transcendental Obstructions: On elliptic K3 surfaces, explicit transcendental Brauer classes divisible in $\Br(X_{\mathbb{C}})$ but not arising algebraically, give rise to BM obstructions to weak approximation (Wittenberg, 2015). The behavior of such transcendental classes can be subtle, particularly regarding ramification at places of good reduction (Pagano, 2023).

Algebraic Stacks and Stacky Curves: The full BM formalism extends to stacks by étale cohomology, respecting products, descent (along torsors under connected groups), and allowing computations via analogous exact sequences (Lv et al., 2023, Santens, 2022). For stacky curves with finite abelian geometric $\pi_1$, the BM obstruction is the only obstruction to strong approximation (Santens, 2022).

Generalized Kummer Varieties: In specific generalized Kummer varieties arising from abelian varieties with prime-order automorphism, only the $p$-primary parts of the Brauer group can contribute a BM obstruction (Zhu, 18 Oct 2025).

Severi–Brauer Bundles: There exist Severi–Brauer bundles over projective lines with nonempty adelic points, nonzero BM set, but no rational points—demonstrating concrete failures of the Hasse principle sharply controlled by a single Brauer class of prescribed order (Biswas et al., 2024).

5. Beyond the Classical Obstruction: Étale, Descent, and Homotopical Refinements

Beyond the classical BM obstruction, refinement via descent (torsors under finite or finite abelian group schemes), or even further by homotopy-theoretic methods (étale homotopy obstruction), becomes necessary only in select situations. For instance, Poonen’s example of a conic bundle exhibits a failure of the Hasse principle that cannot be explained by the étale BM obstruction, but can be detected by considering sufficiently fine Zariski open covers or by ramified quasi-torsors (Corwin et al., 2020).

The equality of the étale BM obstruction under Weil restriction has been proven, showing that this obstruction is intrinsic to the variety's geometry and base-change invariant (Cao et al., 2022).

For embedding problems, when the kernel is abelian, the algebraic BM obstruction suffices for both solvability and weak approximation; a fully cohomological description in terms of Tate duality and cup-product formulas has been provided (Pal et al., 2016).

6. Impact, Limitations, and Open Problems

The BM obstruction provides a universal and computable obstruction for the Hasse principle in a vast array of settings: curves, K3 surfaces, cubic, Châtelet, and Markoff surfaces, as well as algebraic stacks and higher-dimensional varieties. In many concrete classes, it is proved or