Brauer–Manin obstruction
Builds on Algebraic number fieldBrauer groupAdele ringHasse principleClass field theoryRational pointCompletion of a valued field
Definition
Let be an algebraic number field with adele ring , and for each place let be the completion of at . Let be a smooth projective geometrically integral variety over , and let be its Brauer group. For each place let be the local invariant map of class field theory. For and let be the pullback of along . The Brauer–Manin set is There is a Brauer–Manin obstruction to the Hasse principle for if and .
Remarks
Since is projective, . For fixed , the term is for all but finitely many , so the sum is finite. The reciprocity law says that for every . Applied to for a rational point , it gives the inclusion So a Brauer–Manin obstruction implies although has points over every .
Example: suppose that is the image of , as when is a projective space. Then the sum vanishes for every adelic point by reciprocity, so and there is no obstruction. Non-example of a sufficient test: Skorobogatov constructed a surface with and , so the Brauer–Manin obstruction does not explain all failures of the Hasse principle.
Reading path
To understand this page from the ground up, read these 8 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Adele ring concept
- Algebraic number field concept
- Brauer group concept
- Class field theory concept
- Completion of a valued field concept
- Hasse principle concept
- Rational point concept
- Brauer–Manin obstruction definition
Further reading
About this page
| Tag | Y8H0JWZ2ZQ |
|---|---|
| URI | m2://Y8H0JWZ2ZQ |
| Kind | definition |
| Writing | W0 stub |
| MSC | 14G05, 14F22, 11G35 |
| Defines | Brauer–Manin obstruction |
| Uses | Algebraic number field, Brauer group, Adele ring, Hasse principle, Class field theory, Rational point, Completion of a valued field |
| Changed | 2 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.