Local-global (Hasse-Minkowski)

Layer 0 — Mathematicsin the arithmetic subtree

Quadratic form over ℚ represents 0 nontrivially iff it does over every completion ℝ and ℚ_p. Fails for higher degree (Selmer counterexample).