Brauer–Manin Pairing in Arithmetic Geometry

• Brauer–Manin Pairing is a method connecting rational and adelic points on varieties through Brauer group evaluations, revealing obstructions to the Hasse principle.
• It employs local invariant maps and global reciprocity laws from class field theory to quantify failures in local-global matching in arithmetic contexts.
• The construction extends to algebraic stacks and schemes, merging descent theory with motivic cohomology to analyze the existence of rational points.

The Brauer–Manin pairing is a central construction in Diophantine geometry, connecting the arithmetic of rational and adelic points on algebraic varieties (or, more generally, stacks and schemes) with cohomological invariants coming from the Brauer group. The pairing provides a mechanism to detect obstructions to local-global principles, such as the Hasse principle and weak or strong approximation, via a global reciprocity relation among local invariants. The theory extends naturally from classical varieties to algebraic stacks and is tightly integrated with descent theory and torsor obstructions, as well as with the structure theory of the Brauer group and its connections to higher Chow groups, motivic cohomology, and the geometry of degeneration.

1. Formal Definition of the Brauer–Manin Pairing

Let $k$ be a global field (number field or function field of a curve over a finite field), and $X$ a smooth, proper, geometrically integral $k$-variety. The cohomological Brauer group is defined as $\Br(X) = H^2_{\mathrm{\acute{e}t}}(X, \mathbb{G}_m)$. For each place $v$ of $k$, let $k_v$ denote the completion, and $X(k_v)$ the set of local points.

Each $\alpha \in \Br(X)$ can be pulled back via evaluation at a local point $P_v \in X(k_v)$, yielding $X$0. There is a local invariant map $X$1 coming from local class field theory, satisfying the global reciprocity law $X$2 for any $X$3 in the image of $X$4.

The Brauer–Manin pairing is defined by

$X$5

with convergence ensured because only finitely many terms are nonzero for fixed $X$6. This gives rise to the Brauer–Manin set: $X$7 where $X$8 is the ring of adeles of $X$9 (Skorobogatov et al., 2011, Corn et al., 2017, Lv et al., 2023).

When $k$0 is replaced by a Deligne–Mumford stack or a regular flat scheme over a $k$1-adic or number field’s integers, the construction extends verbatim, with $k$2 interpreted via the appropriate étale-cohomological definition (Santens, 2022, Geisser et al., 2020, Lv et al., 2023).

2. Structure, Variation, and Cohomological Interpretation

For smooth, proper $k$3 over a $k$4-adic or number field, $k$5 is a torsion abelian group. The elements thereof often arise as either constant classes (from $k$6) or as pullbacks from integral models (the "integral" Brauer group), as in the inclusion

$k$7

For regular schemes over $k$8 (ring of integers of a $k$9-adic field), the left kernel of the pairing with $\Br(X) = H^2_{\mathrm{\acute{e}t}}(X, \mathbb{G}_m)$0 (zero-cycles up to rational equivalence) can be highly structured. Geisser–Morin proved that for such $\Br(X) = H^2_{\mathrm{\acute{e}t}}(X, \mathbb{G}_m)$1, the kernel of the reduction map $\Br(X) = H^2_{\mathrm{\acute{e}t}}(X, \mathbb{G}_m)$2 is a direct sum

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

with $\Br(X) = H^2_{\mathrm{\acute{e}t}}(X, \mathbb{G}_m)$4, in terms of Picard numbers and irreducible components (Geisser et al., 2020).

Cohomologically, the pairing with CH$\Br(X) = H^2_{\mathrm{\acute{e}t}}(X, \mathbb{G}_m)$5 or its generalizations factors through higher Chow groups and motivic homology (Bloch, Yamazaki), with explicit dualities connecting $\Br(X) = H^2_{\mathrm{\acute{e}t}}(X, \mathbb{G}_m)$6-theory, Galois cohomology, and the abelianized fundamental group (Yamazaki, 2010).

For algebraic stacks, $\Br(X) = H^2_{\mathrm{\acute{e}t}}(X, \mathbb{G}_m)$7 is defined via étale cohomology and, under mild regularity and local quotient hypotheses, is a torsion abelian group. Exact sequences generalizing Sansuc’s sequence provide concrete tools for computing and understanding the Brauer group of quotient stacks (Lv et al., 2023).

3. Obstructions and the Brauer–Manin Set

The pairing detects failures of the Hasse principle and weak/strong approximation. Given that $\Br(X) = H^2_{\mathrm{\acute{e}t}}(X, \mathbb{G}_m)$8, if $\Br(X) = H^2_{\mathrm{\acute{e}t}}(X, \mathbb{G}_m)$9 but $v$0, there is a Brauer–Manin obstruction to the Hasse principle. If $v$1 but $v$2, the obstruction is insufficient. For many classes, notably for cubic surfaces under the Colliot-Thélène–Sansuc conjecture, sufficiency is expected (Rivera et al., 2021).

Explicit examples demonstrate how torsion classes in the Brauer group (e.g., quaternion or cyclic algebras) can force a nontrivial value of the global pairing, producing infinite families of counterexamples to the Hasse principle on $v$3 surfaces (Corn et al., 2017).

On algebraic stacks, the Brauer–Manin set is defined analogously, and under regularity/quasi-quotient conditions, Brauer–Manin coincides with second-descend obstructions and enjoys product and descent properties (Lv et al., 2023).

4. Stability, Descent, and Product Formulas

The pairing is functorial with respect to base change and compatible with class field-theoretic dualities. On products $v$4 of smooth projective varieties over a number field $v$5,

$v$6

with $v$7 finite (Skorobogatov–Zarhin) (Skorobogatov et al., 2011).

Descent theory integrates the Brauer–Manin set with torsor obstructions under commutative, connected, or more general group-schemes. On stacks, the Brauer–Manin set descends along torsors under connected linear algebraic groups, and product structure is preserved (Lv et al., 2023).

In the context of strong approximation for homogeneous spaces under linear algebraic groups, the étale Brauer–Manin obstruction is often the only obstruction (assuming connected stabilizers and conditions on the arithmetic fundamental group), a result extended to homogeneous spaces with arbitrary stabilizers via duality with Demarche’s abelianization complexes (Demeio, 2020).

5. Degeneration, Reduction, and Pathologies

The Brauer–Manin pairing’s behavior depends sensitively on reduction and degeneration. At primes of bad reduction, the residue sequence and Gysin long exact sequence discern when local evaluations are constant or surjective, leading to criteria for global vanishing or persistence of the Brauer–Manin obstruction—especially for del Pezzo and diagonal quartic surfaces (Bright, 2013).

Not all failures of the Hasse principle or approximation can be explained by the Brauer–Manin pairing or even its étale refinement: there are explicit counterexamples (e.g., certain conic bundles over elliptic curves and threefolds over positive-genus bases), confirming the incompleteness of the obstruction in general (Colliot-Thélène et al., 2013).

6. Explicit Examples and Illustrative Computations

Key classes and computations include:

• On degree-2 $v$8 surfaces, explicit quaternion and cyclic 3-torsion elements realize Brauer–Manin obstructions via Hilbert-symbol calculations at specific primes (Corn et al., 2017).
• For stacky curves of genus $v$9, the pairing detects whether explicit combinations of Hilbert symbol evaluations (related to the discriminant and signature) yield an obstruction to the Hasse or integral Hasse principle (Santens, 2022).
• For algebraic stacks such as classifying stacks $k$0, the Brauer–Manin set imposes local-global norm reciprocity conditions, filtering out those adelic torsors which do not descend to global torsors (Lv et al., 2023).
• For regular proper schemes over integer rings of $k$1-adic fields, the left kernel of the pairing $k$2 can be described entirely in terms of Picard numbers and the configuration of the special fiber (Geisser et al., 2020).

7. Connections with Advanced Obstructions and Motives

Through motivic cohomology and higher Chow groups, the pairing extends to rational, open, or singular varieties via tame class groups and generalized reciprocity maps. This generalized framework embodies the deep interface between arithmetic geometry, $k$3-theory, and the theory of étale sheaves, capturing duality at the level of cycles and fundamental groups (Yamazaki, 2010).

The Brauer–Manin mechanism also appears in the context of obstructions to the existence of rational points on algebraic stacks, with precise comparisons established between the Brauer–Manin and various cohomological or descent obstructions, including those from torsors under connected or abelian group-schemes and abelian gerbes (Lv et al., 2023).

---

The Brauer–Manin pairing remains fundamental in the landscape of arithmetic algebraic geometry as a tool for quantifying and organizing local-global principles, for classifying and detecting obstructions from Galois cohomology, and for integrating the arithmetic of rational points with the geometry and cohomology of algebraic varieties and stacks.