Math Mapgenerated 2026-10-25 · a354234
PUBLIC BUILD
P-020probeOpen2026-09-15speculativenumber-theory

Is the Brauer–Manin obstruction an instance of the anonymous fixed-point obstruction?

brauer-manin · anonymous-obstruction · local-global · product-formula · fixed-point · speculative

no run lists this probe in builds_on:

Stands onnonefrom builds_on: and related:
Stood on bynoneincoming references, computed at build — never typed

Speculative — open, with a candidate shared theorem to test.

The claim. The Brauer–Manin obstruction — a variety with points everywhere locally but none globally — is an instance of the anonymous obstruction (local data at every place, no global witness; the residue of a group action, [[N-012]]).

The candidate shared theorem (the gate). The Brauer–Manin pairing is a sum of local Brauer invariants that vanishes on global points by the product formula ([[EX-13]]) — reciprocity as the linking measurement. If that is the whole content, the two are one obstruction and this is an edge, not a resemblance. Discriminator: show the anonymous obstruction and the Brauer–Manin obstruction are equal (not merely analogous) through the product-formula pairing, theorem stated; genus 1, where Brauer–Manin detects all of Ш (Manin), is the test case. Open until written out.

18 source lines, no addenda.

generated 2026-10-25the lab index