How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Selmer's cubic is locally soluble but globally insoluble
Statement refuted
The Hasse-Minkowski local-global principle for quadratic forms does not extend to arbitrary cubic curves.
Facts & Assumptions
Given: The simple-root -adic lifting theorem (Simple roots lift uniquely in Z_p).
If has a simple root modulo , then that root lifts uniquely to (Simple roots lift uniquely in Z_p).
If and satisfy , Newton's criterion produces a -adic root (Newton's criterion in Q_p).
Counterexample
Consider Selmer's cubic . It has a real point because the one-variable equation has a real root, giving . It has a -adic point because satisfies and , so [L1] lifts the mod- root and yields a point in . It has a -adic point because , so for one has ; [L2] therefore gives a -adic root of , and then lies on the cubic. It has a -adic point because satisfies and , so [L1] yields a -adic root , giving the point .
Conrad's cited note proves that Selmer's cubic has local points over every remaining but no nontrivial rational point over . Thus the curve is locally soluble at every completion while globally insoluble, refuting any naive extension of Hasse-Minkowski from quadratic forms to cubic curves.
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
4 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Keith Conrad, Selmer's Example (standard reference, not scraped)