The Local–Global Principle Using the Hasse–Minkowski Theorem

Abstract

The Hasse–Minkowski Theorem is a central result in number theory that connects local and global perspectives on quadratic equations. It states that a quadratic equation with rational coefficients has a non-trivial rational solution if and only if it has a solution over the real numbers and over every -adic field. This idea shows how studying equations locally, one prime at a time, can determine whether they have a global solution. This paper offers an expository overview of the theorem and its mathematical foundation. It begins with quadratic forms and their properties, such as discriminants and isotropy, then introduces local fields and -adic numbers, which describe completions of . The discussion highlights the Hilbert symbol and the Hilbert Reciprocity Law, which connect local conditions to produce the global result established by the theorem. Several examples and applications are explored, including the representation of integers as sums of squares and the classification of rational solutions. The paper concludes by showing how the local–global principle underlying this theorem continues to shape modern number theory, linking classical results with ongoing research in arithmetic geometry and algebraic structures.

Keywords: Hasse–Minkowski theorem, quadratic forms, -adic numbers, Hilbert symbol, local–global principle, number theory

Introduction

The Hasse–Minkowski Theorem is a cornerstone in the theory of quadratic forms over number fields, offering a powerful local-global principle. It addresses the question of whether a quadratic equation, such as , has a non-trivial solution (i.e. not all variables are zero) in rational numbers by checking its solvability in the real numbers and the -adic numbers, which are completions of the rationals with respect to prime-based metrics¹. Similarly, it determines when two quadratic forms are equivalent, meaning one can be transformed into the other via a linear change of variables. Historically, Hermann Minkowski proved the theorem for rational numbers, and Helmut Hasse generalized it to number fields. Its significance lies in its use of -adic numbers, introduced by Kurt Hensel, to solve arithmetic problems, marking a significant advancement in number theory. This paper focuses on the theorem over , providing a clear exposition suitable for readers familiar with introductory algebra and number theory. The Hasse–Minkowski Theorem emerged from Hermann Minkowski’s work on quadratic forms in the early 20th century, building on Kurt Hensel’s discovery of -adic numbers in 1897. Helmut Hasse later generalized it to number fields, formalizing the local-global principle. This theorem revolutionized number theory by providing a systematic method for solving Diophantine equations using local fields, thereby establishing it as a cornerstone for modern algebraic geometry and arithmetic. Consider the equation

   

Does it admit a non-trivial rational solution? Over the form is indefinite, so solutions certainly exist, e.g. . Over , we can check for solutions by assuming and are not all divisible by 3 (by scaling). The equation modulo 3 becomes . Since the quadratic residues mod 3 are 0 and 1, this requires and . This means and are divisible by 9. So , which simplifies to . This implies must also be divisible by 3. Since and are all divisible by 3, this contradicts our assumption. Therefore, the only solution in is the trivial one .

Since a local obstruction appears at , there can be no rational solution. This illustrates the “easy” direction of Hasse–Minkowski: any rational solution must survive in every completion, so a failure in blocks global solvability. The deep content of the Hasse–Minkowski Theorem is the converse: if a quadratic form has a non-trivial solution over and every , then it necessarily has one over . This local-global principle is special to quadratic forms; for higher-degree equations (such as Selmer’s cubic) local solvability does not imply global solvability.

Preliminaries and Definitions

Throughout, denotes a field of characteristic . Boldface letters , represent column vectors.

Quadratic Forms

Definition 1 (Quadratic Form): Let . A quadratic form in variables over is a homogeneous polynomial of degree 2,

   

where is an symmetric matrix over .

Isotropic vectors and hyperbolic planes

Definition 2 Let be a quadratic form on an -vector space and .

• is isotropic (for ) if .

• (or ) is isotropic if it possesses an isotropic vector; otherwise it is anisotropic.

Definition 3 (Bracket notation for diagonal forms): If , we write

   

for the diagonal quadratic form . Thus, for instance, denotes the hyperbolic plane .

Definition 4 (Hyperbolic plane): The binary form is called the hyperbolic plane. Equivalently, . It contains the isotropic vectors and , which are linearly independent.

Remark 1 Any two-dimensional isotropic subspace of a non-degenerate quadratic space over is -isometric to . Hyperbolic planes will be the “building blocks” in Witt decomposition.

Example 1 (Isotropic vs. anisotropic): Over the form   is isotropic because . In contrast, is anisotropic over (both terms are and vanish simultaneously only at ).

This distinction has a geometric interpretation as shown in Figure 1, which depicts an indefinite quadratic form whose zero set is non-trivial. The surface intersects the plane along a cone, corresponding to non-zero vectors for which the quadratic form vanishes.

Over the situation reverses: becomes isotropic because reducing the equation modulo gives

   

since . This congruence has non-trivial solutions, for example

 whereas is anisotropic.

Definition 5 (Equivalence): Quadratic forms in variables over are equivalent over if some (the group of invertible matrices over ) satisfies for every .

Proposition 1  Every non-degenerate quadratic form over is equivalent to a diagonal form

   

where (see Definition 6).

Sketch. Write with symmetric. Since , the element is invertible in , which allows us to complete the square. If a diagonal coefficient , then all terms involving can be grouped and rewritten by completing the square. After a suitable linear change of variables, this eliminates all cross terms involving , leaving a single squared term together with a quadratic form in one fewer variable. Repeating this process inductively removes all off-diagonal terms and yields a diagonal form².

Example 2 (Diagonalising a binary form over ): Consider the form

   

Its coefficient matrix is So and is non-degenerate. Completing the square gives

   

Writing (matrix ) We obtain the diagonal form .

Definition 6 (Rank): For , the rank of is , i.e. the dimension of the largest subspace on which is not identically 0.

Remark 2 After diagonalisation, is the number of non-zero diagonal coefficients.

Field extensions

Definition 7 (Field extension): An extension is a pair of fields with . Its degree is as an -vector space.

Definition 8 (Finite & quadratic extensions): An extension is finite if . If it is called quadratic. Every quadratic has the form for some .

Definition 9 (Separable): For characteristic (in particular, ) every algebraic extension is automatically separable: every element’s minimal polynomial over splits into distinct roots in a splitting field.

Remark 3 Finite separable extensions admit well-defined field trace and norm . These appear later when we relate the Hilbert symbol to norm forms.

Example 3 (Quadratic extension of ): Set . The minimal polynomial of over is , so ; hence is quadratic (and separable). For :

   

The latter gives the Pell conic .

Fields, absolute values, and completions

Definition 10 (Absolute value): An absolute value on a field is a map such that

1. ;

2. ;

3. .

It is non-Archimedean if .

On there are, up to equivalence, exactly the usual absolute value and the -adic absolute values , one for each prime ³.

Definition 11 (Completion): Let be a valued field. Its completion is the metric completion of with respect to . We write

   

for the completions of .

Example 4 (Real vs. -adic magnitude): Take . The ordinary absolute value is , but factorising gives and . Thus, a “small” real can be “large” -adically.

Bilinear forms, discriminant, Witt decomposition

Definition 12 (Discriminant): Let be a non-degenerate quadratic form in variables over , represented by a symmetric matrix . Define

 

   

That is, the discriminant is the determinant of , corrected by a sign depending on , taken modulo the subgroup of square elements.

Remark 4 If and are equivalent quadratic forms over (see Definition 5), then in . Indeed, if with , then their coefficient matrices satisfy , so

   

Thus, the two determinants differ by a square in , and hence represent the same class in .

Every quadratic form yields such a by .

Example 5 For the diagonal ternary form we have

   

Hence is not -equivalent to , whose discriminant is .

Example 6 (Hyperbolic plane): is isotropic, since is a non-trivial zero. Any isotropic plane is -isometric to .

Definition 13 (Orthogonal sum): If and are quadratic forms over , their orthogonal sum is written

   

and defined on the direct sum of the underlying vector spaces by

   

More generally, denotes the orthogonal sum of copies of .

Theorem 1 (Witt decomposition): Every non-degenerate quadratic form over decomposes uniquely (up to isometry) as

   

where is the hyperbolic plane and is anisotropic. The integer is the Witt index of . See⁴.

Example 7 (Witt decomposition of a quaternary form): Let

   

Choose isotropic vectors and with . They span a hyperbolic plane ; repeating with another pair yields

   

so the Witt index is and the anisotropic part is .

Norms and traces in quadratic extensions

For and , put

   

The norm form is a basic 2-variable quadratic form whose local isotropy answers norm-related questions.

Local Fields and Completions

Classical Diophantine problems over can often be understood one prime at a time. This idea is made precise by working in the of —the real field at the infinite place and the -adic fields at each finite place .

Ostrowski’s classification of norms on

Proposition 2 (Product formula): For every ,

Theorem 2 (Ostrowski, 1916): Every non-trivial absolute value on is equivalent to either

   

No other inequivalent norms exist.

Idea of proof. For any write . If is non-Archimedean one shows for a single prime ; rescaling makes it . If is Archimedean, Kronecker’s lemma implies it coincides (up to equivalence) with the usual absolute value. A more detailed proof can be found at⁵.

Remark 5 Ostrowski’s theorem shows that, up to equivalence, the only non-trivial completions of are the real field (corresponding to ) and the -adic fields for primes . Hence, when we say a statement holds “at every completion of ,” we really mean: it holds over and over for each prime . Verifying local conditions at these places is therefore exhaustive in the Hasse–Minkowski theorem.

Example 8 (Product formula sanity check): For one has

   

Hence , illustrating the global product formula used implicitly in Ostrowski’s proof.

p-adic valuation and norm

Definition 14 (-adic valuation): For a prime and a non-zero rational , write with not divisible by . Set and .

Definition 15 (-adic norm): The -adic norm is

   

It satisfies the non-Archimedean inequality .

Completions and the field Qp

Completing in the metric yields the -adic field . For the usual absolute value, we obtain . Elements of can be written as series with digits .

Constructing p-adic Numbers

As mentioned above, the -adic numbers arise as the completion of with respect to the -adic norm. For example, in , the number can be written as a -adic series:

   

This series converges in because as . Figure 2 illustrates the hierarchical structure of the -adic integers , showing how residue classes modulo higher powers of nest within one another.

Figure 3 illustrates how the partial sums converge -adically even though their absolute size grows in the real numbers.

Such series make a complete field, enabling tools like Hensel’s lemma for solving equations.

Topology of

Each is locally compact (meaning every point has a compact neighborhood) and totally disconnected (meaning the only connected subsets are single points). The compact open unit group (the -adic integers with no factor of ) is pro-cyclic for (it is the limit of cyclic groups).

Strong approximation

The strong approximation theorem states that for any finite set of primes, the diagonal embedding is dense. This means any set of -adic numbers in these fields can be simultaneously approximated by a single rational number. This property is key, as it lets us patch local solutions into a global one once obstructions vanish.

Why bother with completions?

• Analytic control. Limits exist in a completion, so Newton iteration and Hensel’s lemma can lift solutions of congruences to genuine -adic (hence rational) solutions.

• Local–global philosophy. Many arithmetic statements are true over exactly when they hold in every completion; Hasse–Minkowski for quadratic forms is the prime example.

Hensel’s Lemma

Lemma 1 (Hensel’s Lemma, simple form): Let be a prime and . Assume there exists such that

   

Then there is a unique satisfying

   

Equivalently, any root modulo with non-vanishing derivative lifts to a unique root in the entire -adic field .

Example: lifting a square root of 2 from F7 to Q7

We illustrate Hensel’s lemma with the congruence .

1. In , , so is a root modulo .

2. Let . Because , Hensel’s lemma applies.

3. One Newton–Hensel step (working mod ).

   

We need . Since , we have .

Hence

   

4. Verification. . Thus is a root modulo . Repeating the process (or invoking Hensel directly) yields a unique with and .

Remark 6: The condition is essential for Hensel’s lemma: it ensures the lift exists and is unique.

Isotropy over local fields: quick examples

We record three illustrative calculations that foreshadow the local analysis in the Hasse–Minkowski theorem.

Example 9 (A binary form anisotropic over but isotropic over ): Take .

• Over both terms are non-negative and vanish simultaneously only at ; is anisotropic.

• In we have , and has solutions , . Hensel’s lemma lifts either to a -adic isotropic vector, so is isotropic over .

Example 10 (Hyperbolic plane everywhere locally): The form is isotropic over (obvious) and over every , since always has non-trivial solutions.

These computations illustrate that local isotropy can vary wildly with the place , highlighting the necessity of checking all completions in the Hasse–Minkowski criterion.

Legendre Symbol and Quadratic Residues

Basic definitions

Definition 16 (Quadratic residue modulo ): Let be an odd prime. An integer is a quadratic residue modulo if the congruence

   

has a solution . Otherwise, is a quadratic non-residue.

Definition 17 (Legendre symbol): For an odd prime and any integer , define

   

The map descends to a group homomorphism .

Example 11 (Computing a Legendre symbol): Compute .Because is prime,

 

   

Fast exponentiation:

   

Hence , so .. Thus is a quadratic residue modulo .

Quadratic Reciprocity

Theorem 3 (Quadratic Reciprocity Law): For distinct odd primes and ,

   

Equivalently,

 

   

Together with the supplementary laws and , this completely determines all Legendre symbols.

Example 12 Compute . Since and ,

   

Because we have , hence .

Example: deciding local solvability with (·/p)

Determine whether

   

has a solution.

   

Hence is a quadratic residue mod , so the congruence is solvable. Indeed or works.

Remark 7 Legendre symbols (and their higher-power generalisation, the Jacobi symbol) give a quick local test at each prime. In later sections, we will combine these local conditions with Hensel’s lemma and completions to analyse global solvability of quadratic forms.

Hilbert Symbol and Local Quadratic Forms

The Hilbert symbol is a key invariant for classifying quadratic forms over local fields.

Definition 18 (Hilbert Symbol): For a local field (e.g., or ) and , the Hilbert symbol is defined as:

   

Proposition 3 (Explicit formula for odd): Let be an odd prime. Write , with and . Then

   

where is the Legendre symbol. In particular, if then unless both .

Remark 8 (Real place): Over one has iff and , otherwise .

Example 13 (Computing ): Over , , , so . By Proposition 3,

   

Thus has a nontrivial -adic solution.

Proposition 4 (Basic properties of the Hilbert symbol): Let be a local field with and . Then

1. Symmetry: .

2. Bilinearity in the first slot: (and hence also in the second by (1)).

3. .

4. If then .

5. for every iff is a square in (for ).

Proof. Write . (1) follows because and are isometric via . For (2) observe splits into the direct orthogonal sum of and on suitable -planes, so the symbol multiplies. Property (3) is immediate from with . For (4) note has the rational solution . Finally, (5) is a restatement of the fact that the -dimensional quadratic form is isotropic over exactly when is a square⁶.

Example 14 (Bilinearity check): Over : matching Proposition 4. Explicit calculation confirms each factor.

Theorem 4 (Hilbert Reciprocity): For one has

   

where the product ranges over all places or .

Sketch of proof. Let and write for the norm. A classical argument shows

   

Class field theory (or the product formula for global Hilbert symbols) asserts that an element of is a global norm iff it is a local norm everywhere and the product of all local Hilbert symbols equals . Applying this to both and an auxiliary chosen so that except at one place, one deduces . See⁷.

Example 15 Take , . Direct computation shows

   

and for all other , so as predicted by reciprocity.

For , if and only if and . For , the Hilbert symbol can be computed using the Legendre symbol and local invariants. The Hasse invariant of a quadratic form, defined using Hilbert symbols, helps classify forms over local fields. Hilbert reciprocity states that for , , where runs over all places.

Hasse-Minkowski Theorem and Proof

Theorem 5 (Hasse–Minkowski Theorem): Let be a quadratic form over . Then has a non-trivial solution over if and only if it has a non-trivial solution over and over for every prime . Moreover, two quadratic forms over are equivalent if and only if they are equivalent over and every .

Proof. Let be a non-degenerate quadratic form over . The goal is to show:

   

For any local field , the local invariants are: dimension, discriminant , and Hasse invariant

   

where is the Hilbert symbol. Quadratic forms over are equivalent iff these three invariants agree.

Necessity: Immediate: a rational solution persists in all completions.

Sufficiency: Diagonalize over , , so . Assume is isotropic in all and .

Consider cases by :

Case :

. The only nontrivial solution in requires , which is ruled out for non-degeneracy.

Case :

Let . Then is isotropic over a field if and only if is a square in . Thus, isotropy over and over every implies that is a square in all completions of . By the local–global principle for squares⁸, an element of that is a square in and in every is already a square in . Hence is isotropic over .

Case :

Let . After scaling, assume . Then is isotropic over a field if and only if the Hilbert symbol . Hence, isotropy at every completion is equivalent to for all places . By Hilbert reciprocity,

   

and the condition for all is equivalent to being a norm from the quadratic extension ⁹. Thus there exist with

   

and substituting gives a nontrivial rational zero of .

Case :

Let and scale so that . In dimension , isotropy of over a field is equivalent to the splitting of an associated quaternion algebra , and local isotropy at a place is therefore equivalent to the splitting of . By the global reciprocity law for quaternion algebras, a quaternion algebra over splits if and only if it splits at every completion. Hence if is isotropic over and over every , the associated quaternion algebra splits globally, and therefore is isotropic over ¹⁰.

Case :

In dimension at least , a non-degenerate quadratic form over a number field that is isotropic over every completion is isotropic over the field itself. This follows from the structure theory of quadratic forms and the local–global principle for isotropy in sufficiently large dimension¹¹. Hence, since is isotropic over and over every , it is isotropic over . Equivalently, splits off a hyperbolic plane,

   

and we conclude by induction on the dimension.While this principle guarantees existence, the

quantitative problem of bounding the size of nontrivial isotropic vectors is more subtle; Diet-

Mann¹² gives explicit bounds for small solutions of quadratic Diophantine equations.

Equivalence: Suppose are quadratic forms of same dimension, equivalent at every completion. Then and for all . By the product formula for Hilbert symbols and Hasse invariants (Hilbert reciprocity), and the matching local invariants everywhere, the forms must also be equivalent over . Indeed, patch local isometries at each place to get a global isometry, as quadratic form equivalence over global fields is determined by the aggregate of local invariants. □

Applications

We highlight three classical consequences of the Hasse–Minkowski theorem and sketch the underlying proofs.

Sums of squares

Theorem 6 (Lagrange, 1770): Every nonnegative integer is the sum of four integer squares.

Proof. Let . We seek such that .

Step 1: Consider the difference form

   

which is a quadratic form over in five variables. By the local-global principle, is isotropic over if and only if it is isotropic over and every . Over , is isotropic because there are both positive and negative coefficients. Over each , it is a classical fact that any is a sum of four squares for . For , one checks explicitly or uses Hensel’s lemma to lift solutions from . So, by Hasse–Minkowski, there exist , , so that

   

and thus is a sum of four rational squares.

Step 2: Proof (Descent from rationals to integers): Suppose admits a rational representation

   

Clearing denominators gives

 

   

We show by descent on that one can reach . Choose integers with such that and minimal. If we are done. Let be a prime dividing . Reduce the congruence . Since not all vanish mod (minimality of ), this gives a nontrivial quadruple mod satisfying . It is a classical fact that every prime divides a sum of four squares, so there exist integers with and at least one divisible by . Using Euler’s identity

   

multiply the two representations

   

Because one is divisible by , all new coordinates produced by Euler’s formula are divisible by ; dividing by yields another representation

   

with . This contradicts the minimality of unless .

By repeated application of this reduction for each prime dividing , we eventually reach , producing integers with . Hence, any rational representation can be converted into an integer one.

Alternatively, Gauss’s reduction algorithm applied to the lattice of quadruples representing (see classic number theory references) guarantees one can always find integer solutions. This yields Lagrange’s integer result from the Hasse–Minkowski rational step combined with integrality tools.

More generally, modern work has extended this perspective to classify which quadratic forms represent all positive integers. Most notably, the 290-Theorem of Bhargava and Hanke¹³ shows that a positive-definite integral quadratic form is universal if and only if it represents each integer in a specific finite test set contained among the integers up to 290. Related classification results for forms representing all odd integers were established by Rouse¹⁴.

The same reasoning with the ternary difference form recovers Legendre’s three-square criterion .

Application to Sums of Three Squares

Legendre’s three-square theorem states that a positive integer n can be represented as a sum of three squares if and only if it is not of the form . Using Hasse–Minkowski, we check local conditions at infinity (real positive definite fails for negative, but difference form is indefinite) and at p=2 (anisotropic for forbidden forms mod 8). This local failure at p=2 or infinity explains the criterion.

Table 1 shows that the integers , , , and can be written as sums of three squares, but cannot. This illustrates the exceptional case identified by Legendre’s three-square theorem and demonstrates how a local obstruction leads to global non-representability.

n	Representation
1	1^2+0^2+0^2
2	1^2+1^2+0^2
3	1^2+1^2+1^2
7	No Representation
9	3^2+0^2+0^2

Table 1 | First few positives and three-square representations.

Classification of quadratic forms over

Theorem 7: Two non-degenerate quadratic forms over are equivalent over if and only if

   

i.e. they have the same dimension, the same discriminant, and matching Hilbert invariants at every place.

Idea. Over each completion , the triple with classifies quadratic forms¹⁵. If the three data agree globally, then locally everywhere. The second part of Theorem 5 (equivalence) then upgrades these local isometries to a rational isometry.

Algorithmic test for -equivalence

A practical version of Theorem 7 is the Cassels–Ehrlich algorithm. Given two non-degenerate forms in the same number of variables, it decides (in polynomial time for fixed dimension) whether they are -equivalent.

1. Diagonalise. Use Proposition 1 to write and .

2. Match discriminants. If

return No.

3. Compute local symbols. For each finite set of primes dividing and for : evaluate and . If any place disagrees, return No.

4. Solve a gluing problem. Having identical local invariants, construct an explicit isometry matrix by CRT-patching the local isometries; see¹⁵.

5. Return. Output (or Yes) if the gluing succeeds, otherwise No.

While the Cassels-Ehrlich algorithm handles equivalence, determining specific small solutions or enumerating representations requires more specialized techniques. Simon¹⁶ and Kirschmer and Voight¹⁷ have developed advanced algorithms for solving quadratic equations in dimension 4 and higher, optimizing the computational complexity of finding explicit solutions.

Example 16 (Two equivalent quaternary forms): Let .

Step 1: already diagonal.
Step 2: . Step 3: for every place , and the mixed symbols coincide, so local data match. Step 4: a CRT construction gives with . Hence, the algorithm outputs Yes.

This result may be viewed as the global analogue of Witt’s local classification and is a template for more sophisticated adelic invariants in higher-degree forms.

Rational points on conics

Let . The projective conic

   

has a -rational point if and only if the following local conditions hold:

1. Real place: and are not both negative.

2. -adic places: for every prime .

Proof. Write the associated ternary quadratic form . A rational point on corresponds to an isotropic vector for . Condition (a) is exactly isotropy over . Condition (b) is equivalent to isotropy over each by Definition 18. Applying Theorem 5 yields the desired equivalence.

Remark 9: Once a single rational point is known, one obtains all rational solutions by a standard line-through-a-point parameterisation.

A cubic counter-example: Selmer’s form

The Hasse–Minkowski theorem is special to quadratic forms. For higher-degree equations, local solvability need not imply global solvability.

A classical counterexample is Selmer’s¹⁸ cubic equation

   

This equation has nontrivial solutions over and over for every prime , but no nontrivial solution over . Thus, it is locally solvable everywhere but not globally solvable, showing that the local–global principle fails for cubic equations.

Proof. is locally solvable everywhere, yet has no nontrivial rational solution.

(1) Local solvability:

• Over :  We have and . By the Intermediate Value Theorem¹⁹, there exists with .

• Reformulation as an elliptic curve. To study solutions over , it is convenient to pass to an equivalent projective model. After a projective change of variables, one obtains

   

an elliptic curve over . The coefficient arises from Selmer’s normalization, which concentrates the arithmetic difficulty at the primes and makes the -descent computation tractable¹⁸.

• Over : For primes , the curve has good reduction. By the Hasse bound, has nonsingular points, which lift via Hensel’s lemma to points in . Local solvability at was established by Selmer. Thus, solutions exist over every .

Therefore, the equation is locally solvable at every place of .

(2) Global failure: Selmer proved using -descent that has no nontrivial

rational points¹⁸. Here denotes the set of rational points on the elliptic curve , and -descent is a standard method for proving the nonexistence of such points; see²⁰

Thus, the “if and only if” statement of Hasse–Minkowski fails in degree : although has real and -adic solutions for every prime , it has no rational solution.

Remark 10 Selmer’s cubic marks the first explicit failure of the Hasse principle. Modern language interprets the obstruction via the non-trivial element of the Tate–Shafarevich group of the associated elliptic curve.

Beyond cubic curves, the failure of the Hasse principle is a major area of study in arithmetic geometry. Colliot-Thelene and Xu²¹ and Poonen and Voloch²² have explored these failures using the Brauer-Manin obstruction, while Hassett and Várilly-Alvarado²³ have extended these inquiries to K3 surfaces, showing that the local-global failure is not unique to simple cubic equations.

Conclusion

The Hasse–Minkowski Theorem demonstrates that quadratic forms over satisfy a local–global principle: questions of rational solvability and equivalence can be resolved entirely by examining the real completion and the -adic fields. By developing the theory of quadratic forms alongside local fields, Hilbert symbols, and reciprocity laws, this paper showed how local invariants combine to determine global behavior. The applications discussed illustrate the power of this principle, from classical results on sums of squares and rational points on conics to the classification of quadratic forms and algorithmic equivalence tests. At the same time, the contrast with higher-degree equations such as Selmer’s cubic highlights the exceptional nature of quadratic forms, for which local information is sufficient to guarantee global conclusions.

Overall, the Hasse–Minkowski Theorem provides a unifying framework that connects local arithmetic data with global structure. Its influence extends beyond classical number theory, continuing to inform modern research in arithmetic geometry and algorithmic classification problems.

References

1. Wang, X. (2019). An Introduction to -adic Numbers and the Hasse Principle. University of Chicago REU Paper. [↩]
2. Martin, K. (2009). Number Theory II: Chapter 7 — Quadratic Forms in Variables. University of Oklahoma Lecture Notes. [↩]
3. Serre, J.-P. (1973). A Course in Arithmetic. Graduate Texts in Mathematics, Vol. 7. Springer. [↩]
4. O’Meara, O. T. (1971). Introduction to Quadratic Forms. Springer. [↩]
5. Ruiter, J. (2022). A Proof of Ostrowski’s Theorem. Michigan State University. [↩]
6. Conrad, K. (2011). Notes from Jack Thorne’s Course on Quadratic Forms. University of Connecticut. [↩]
7. Cassels, J. W. S., Fröhlich, A. (1967). Algebraic Number Theory. Academic Press. [↩]
8. Lam, T. Y. (2005; reprinted and widely used in current editions). Introduction to Quadratic Forms over Fields. Graduate Studies in Mathematics, Vol. 67. American Mathematical Society [↩]
9. Elman, R., Karpenko, N., Merkurjev, A. (2015). The Algebraic and Geometric Theory of Quadratic Forms. AMS Colloquium Publications [↩]
10. Voight, J. (2021). Quaternion algebras over global fields. In Recent Advances in Algebra (Springer), a chapter on Quaternion Algebras [↩]
11. Elman, R., Karpenko, N., Merkurjev, A. (2015). The Algebraic and Geometric Theory of Quadratic Forms. AMS Colloquium Publications [↩]
12. Dietmann, R. (2015). Small solutions of quadratic Diophantine equations. Proceedings of the London Mathematical Society, 110(3), 579–601 [↩]
13. Bhargava, M., and Hanke, J. (2014). Universal quadratic forms and the 290-theorem. Inventiones Mathematicae, 197, 427–463. [↩]
14. Rouse, J. (2014). Quadratic forms representing all odd positive integers. American Journal of Mathematics, 136(6), 1693–1745. [↩]
15. Cassels, J. W. S. (1978). Rational Quadratic Forms. London Mathematical Society Monographs, Vol. 13. Academic Press. [↩] [↩]
16. Simon, D. (2005). Quadratic equations in dimension 4, 5 and more. Journal de Theorie des Nombres de Bordeaux, 17(3), 909–923. [↩]
17. Kirschmer, M., & Voight, J. (2010). Algorithmic enumeration of ideal classes for quaternion orders. SIAM Journal on Computing, 39(5), 1714–1747. [↩]
18. Selmer, E. S. (1951). The Diophantine equation . Acta Mathematica, 85, 203–362. [↩] [↩] [↩]
19. Just, W. (2021). Lecture notes on the Intermediate Value Theorem. Ohio University MATH4/530. [↩]
20. Silverman, J. H. (2009). The Arithmetic of Elliptic Curves. Graduate Texts in Mathematics, Vol. 106, 2nd ed. Springer. [↩]
21. Colliot-Thelene, J. L., and Xu, F. (2009). Brauer-Manin obstruction for integral points of homogeneous spaces and representation by integral quadratic forms. Compositio Mathematica, 145(2), 309-363. [↩]
22. Poonen, B., and Voloch, J. F. (2010). The Brauer-Manin obstruction for subvarieties of abelian varieties over number fields. Annals of Mathematics, 171(1), 511-532. [↩]
23. Hassett, B., and Varilly-Alvarado, A. (2010). Failure of the Hasse principle on general K3 surfaces. Journal of Algebraic Geometry, 19(4), 601-611. [↩]