You are here
Home ›Hasse principle
Primary tabs
Hasse principle
Let be an algebraic variety defined over a field . By we denote the set of points on defined over . Let be an algebraic closure of . For a valuation of , we write for the completion of at . In this case, we can also consider defined over and talk about .
Definition 1.
1. If is not empty we say that is soluble in .
2. If is not empty then we say that is locally soluble at .
3. If is locally soluble for all then we say that satisfies the Hasse condition, or we say that is everywhere locally soluble.
The Hasse Principle is the idea (or desire) that an everywhere locally soluble variety must have a rational point, i.e. a point defined over . Unfortunately this is not true, there are examples of varieties that satisfy the Hasse condition but have no rational points.
Example: A quadric (of any dimension) satisfies the Hasse condition. This was proved by Minkowski for quadrics over and by Hasse for quadrics over a number field.
References
- 1 Swinnerton-Dyer, Diophantine Equations: Progress and Problems, online notes.
Mathematics Subject Classification
14G05 Rational points- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)
- Other useful stuff
Recent Activity
new correction: typo? by Filipe
May 22
new question: Linear Algebra Combination Problem! by Aleph Zero
new question: Computation of $\varphi(2000)$ by unlord
May 21
new question: pure subgroups by lvoyster
new correction: Typo in M\"obius function? by Aleph Zero
new collection: analytic number theory by Aleph Zero
May 20
new question: Taylor's Series Query! by unlord
new question: Laplace transform by J
new question: Residue Calculus by J
May 19
new Education: Project: PlanetMath Outlines Series by unlord


