Étale Brauer–Manin Obstruction

• Étale Brauer–Manin obstruction is a refined cohomological tool that incorporates all finite étale covers to explain why the Hasse principle may fail for algebraic varieties.
• Key constructions by Poonen and Smeets illustrate that even with refined étale information, local adelic points can exist while global rational points remain absent.
• Applications extend to varieties with trivial Albanese and simply connected cases, highlighting limitations and motivating the search for even finer nonabelian descent obstructions.

The étale Brauer–Manin obstruction is a refinement of the classical Brauer–Manin obstruction for explaining failures of the Hasse principle and weak approximation on algebraic varieties and more general arithmetic spaces over global fields. While the classical Brauer–Manin set considers only the cohomological Brauer group and its evaluation on adelic points, the étale refinement accounts for all finite étale covers, capturing obstructions not visible to the algebraic or even transcendental Brauer group alone. Crucially, recent constructions have demonstrated that even the étale Brauer–Manin obstruction is not always sufficient to account for all instances of Hasse principle failure, including in simply connected contexts (Smeets, 2014, Balestrieri et al., 2015, Colliot-Thélène et al., 2013).

1. Definitions and Theoretical Framework

Given a number field $k$ with set of places $\Omega_k$ and a smooth, projective, geometrically integral $k$-variety $X$, the cohomological Brauer group is

$$\operatorname{Br} X = H_{\text{ét}}^2(X, \mathbb{G}_m).$$

For each place $v\in\Omega_k$, the local invariant map $$\operatorname{inv}_v: \operatorname{Br} k_v \to \mathbb{Q}/\mathbb{Z}$$ induces the Brauer–Manin pairing

$$\langle (P_v), \alpha \rangle = \sum_{v\in\Omega_k} \operatorname{inv}_v(\alpha(P_v)), \quad (P_v)\in X(\mathbb{A}_k),\;\; \alpha\in \operatorname{Br} X.$$

The classical Brauer–Manin set is

$$X(\mathbb{A}_k)^{\operatorname{Br}} = \{ (P_v) \mid \langle (P_v), \alpha \rangle = 0,\;\; \forall \alpha \in \operatorname{Br} X \}.$$

The étale Brauer–Manin set is defined as

$$X(\mathbb{A}_k)^{\operatorname{et}, \operatorname{Br}} = \bigcap_{\pi: Y \to X \text{ finite étale}} \pi(Y(\mathbb{A}_k)^{\operatorname{Br}}).$$

Whenever $\Omega_k$0 but $\Omega_k$1, the étale Brauer–Manin obstruction explains the failure of the Hasse principle (Smeets, 2014).

2. Classical Examples and Counterexamples

Poonen’s construction provided the first explicit example of a smooth, projective threefold $\Omega_k$2 over a number field $\Omega_k$3 with $\Omega_k$4 but $\Omega_k$5. This method uses a fibration $\Omega_k$6, where $\Omega_k$7 is a curve of genus $\Omega_k$8 with $\Omega_k$9 but $k$0. Over $k$1 one builds a pencil of Châtelet surfaces such that all local fibers have points, yet the global rational locus is empty; all rational points on étale covers are forced to lie above rational points of $k$2, which do not exist (Smeets, 2014).

Subsequent examples employed similar "Poonen's trick", constructing varieties as fibrations over higher genus curves with nontrivial Albanese variety. All known examples prior to (Smeets, 2014) and (Balestrieri et al., 2015) had this fibration structure and nontrivial Albanese.

3. New Constructions: Trivial Albanese and Simply Connected Varieties

Smeets (Smeets, 2014) provided the first examples of smooth, projective, geometrically integral varieties $k$3 with trivial Albanese variety and

$k$4

This construction uses Beauville surfaces $k$5, with $k$6 and $k$7 of genus 5 and 3, and $k$8 acting freely, so that $k$9. Then, building a suitable family of Châtelet surfaces $X$0 as a fiber product over $X$1, one obtains a fourfold $X$2 with the desired properties. Importantly, the restriction map $X$3 is an isomorphism [(Smeets, 2014), Proposition 3.2].

Assuming the $X$4 conjecture and using Campana's orbifold theory, Smeets also produced a simply connected example via a fibered construction where all étale covers become isomorphic, so $X$5 (Smeets, 2014).

In positive characteristic, Kebekus–Pereira–Smeets constructed an unconditional, simply connected fourfold $X$6 over a global function field $X$7 with $X$8, $X$9, $$\operatorname{Br} X = H_{\text{ét}}^2(X, \mathbb{G}_m).$$0, yet $$\operatorname{Br} X = H_{\text{ét}}^2(X, \mathbb{G}_m).$$1 (Kebekus et al., 2019).

4. The Case of Enriques and K3 Surfaces

The phenomenon of insufficiency also occurs for Enriques surfaces. There exists an Enriques surface $$\operatorname{Br} X = H_{\text{ét}}^2(X, \mathbb{G}_m).$$2 and a transcendental Brauer class $$\operatorname{Br} X = H_{\text{ét}}^2(X, \mathbb{G}_m).$$3 with

$$\operatorname{Br} X = H_{\text{ét}}^2(X, \mathbb{G}_m).$$4

confirming that the étale Brauer–Manin obstruction is strictly stronger than the algebraic Brauer–Manin obstruction in this context (Balestrieri et al., 2015). The construction proceeds through careful construction of a K3 double cover and explicit descent theory for the relevant Brauer classes.

This shows that purely transcendental elements in $$\operatorname{Br} X = H_{\text{ét}}^2(X, \mathbb{G}_m).$$5 can obstruct the Hasse principle even when the classical and algebraic Brauer–Manin set does not, necessitating a full analysis in the étale setting.

5. Failures and Explanatory Mechanisms

Geometric and cohomological analysis of these counterexamples reveals that the failure of the étale Brauer–Manin obstruction is fundamentally linked to their structure as fibrations over a base with $$\operatorname{Br} X = H_{\text{ét}}^2(X, \mathbb{G}_m).$$6 finite and $$\operatorname{Br} X = H_{\text{ét}}^2(X, \mathbb{G}_m).$$7 nonempty. Any finite étale cover $$\operatorname{Br} X = H_{\text{ét}}^2(X, \mathbb{G}_m).$$8 factors through pullback from the base, so no global points exist on $$\operatorname{Br} X = H_{\text{ét}}^2(X, \mathbb{G}_m).$$9 either and no étale torsor can detect the missing $v\in\Omega_k$0-rational points. The surjectivity $v\in\Omega_k$1 and rigidity of the Albanese variety further ensure these phenomena [(Smeets, 2014), Proposition 3.2 and Lemma 3.4].

Other constructions, such as conic or quadric bundles over curves of positive genus, confirm that no further finiteness assumption on $v\in\Omega_k$2 nor restriction to the algebraic part of the Brauer group suffices to guarantee that the étale Brauer–Manin obstruction can account for all failures of the Hasse principle (Colliot-Thélène et al., 2013).

6. Broader Implications and Open Questions

These findings underline that even the refined étale Brauer–Manin obstruction does not resolve the Hasse principle for all smooth projective varieties:

• There exist surfaces and higher-dimensional varieties $v\in\Omega_k$3 with $v\in\Omega_k$4 but $v\in\Omega_k$5 (Smeets, 2014, Colliot-Thélène et al., 2013, Harpaz et al., 2012).
• For simply connected varieties in positive characteristic, similar failures can be constructed unconditionally (Kebekus et al., 2019).
• On curves, no counterexample to sufficiency is known; the conjecture that the (étale) Brauer–Manin obstruction always suffices for curves remains open (Harpaz et al., 2012).

Significant open directions include an unconditional proof of Campana’s orbifold Mordell conjecture (to avoid the $v\in\Omega_k$6 hypothesis), systematic study of non-abelian descent obstructions, and explicit construction of low-dimensional varieties with trivial Albanese where all known obstructions fail (Smeets, 2014). The search for even finer obstructions—incorporating nonabelian cohomology or étale homotopy—remains active.

7. Summary Table: Key Examples of Inadequacy

Example	Type	Invariant properties	Main obstruction failure
Poonen (2010), (Smeets, 2014)	3-fold fibration over $v\in\Omega_k$7	$v\in\Omega_k$8	Étale Brauer–Manin not detecting failure
Smeets (2014), (Smeets, 2014)	4-fold over Beauville surface	$v\in\Omega_k$9, $$\operatorname{inv}_v: \operatorname{Br} k_v \to \mathbb{Q}/\mathbb{Z}$$0 not simply connected	Same, but with trivial Albanese
Smeets (2014) under $$\operatorname{inv}_v: \operatorname{Br} k_v \to \mathbb{Q}/\mathbb{Z}$$1, (Smeets, 2014)	4-fold, simply connected	$$\operatorname{inv}_v: \operatorname{Br} k_v \to \mathbb{Q}/\mathbb{Z}$$2	Same; conditional on $$\operatorname{inv}_v: \operatorname{Br} k_v \to \mathbb{Q}/\mathbb{Z}$$3
Enriques surface, (Balestrieri et al., 2015)	Surface, $$\operatorname{inv}_v: \operatorname{Br} k_v \to \mathbb{Q}/\mathbb{Z}$$4 double cover	$$\operatorname{inv}_v: \operatorname{Br} k_v \to \mathbb{Q}/\mathbb{Z}$$5	Purely transcendental class cuts out rational points
CPTS (2013), (Colliot-Thélène et al., 2013)	Conic/quadric bundle over $$\operatorname{inv}_v: \operatorname{Br} k_v \to \mathbb{Q}/\mathbb{Z}$$6 curve	varies	Étale BM does not suffice
Kebekus–Pereira–Smeets (2019), (Kebekus et al., 2019)	Simply connected $$\operatorname{inv}_v: \operatorname{Br} k_v \to \mathbb{Q}/\mathbb{Z}$$7-fold, pos. char	$$\operatorname{inv}_v: \operatorname{Br} k_v \to \mathbb{Q}/\mathbb{Z}$$8	Same, unconditional in char $$\operatorname{inv}_v: \operatorname{Br} k_v \to \mathbb{Q}/\mathbb{Z}$$9

The continued discovery of such examples demonstrates both the power and the limits of the étale Brauer–Manin obstruction, motivating further work into more sophisticated arithmetic and cohomological obstructions (Smeets, 2014, Balestrieri et al., 2015, Kebekus et al., 2019, Colliot-Thélène et al., 2013).