Namespaces
Variants
Actions

Difference between revisions of "Quadratic forms, reduction of"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (MR/ZBL numbers added)
Line 1: Line 1:
The isolation of "reduced" forms in each class of quadratic forms over a given ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076090/q0760901.png" />, i.e. of (one or several) "standard" forms in the class. The main aim of the reduction of quadratic forms is the solution of the problem of equivalence of quadratic forms: To establish whether or not two given quadratic forms <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076090/q0760902.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076090/q0760903.png" /> are equivalent over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076090/q0760904.png" />, and in the case of their equivalence to find (or describe) all the invertible matrices <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076090/q0760905.png" /> over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076090/q0760906.png" /> taking <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076090/q0760907.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076090/q0760908.png" /> (see [[Quadratic form|Quadratic form]]). For the solution of the latter problem it suffices to know just one such matrix <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076090/q0760909.png" /> and all the automorphisms <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076090/q07609010.png" /> of the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076090/q07609011.png" />, since then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076090/q07609012.png" />. One usually has in mind equivalence of quadratic forms over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076090/q07609013.png" />, where one is often considering the entire collection of quadratic forms over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076090/q07609014.png" /> and their classes over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076090/q07609015.png" />. There are fundamental differences in the reduction theory of positive-definite and indefinite quadratic forms.
+
The isolation of "reduced" forms in each class of quadratic forms over a given ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076090/q0760901.png" />, i.e. of (one or several) "standard" forms in the class. The main aim of the reduction of quadratic forms is the solution of the problem of equivalence of quadratic forms: To establish whether or not two given quadratic forms <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076090/q0760902.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076090/q0760903.png" /> are equivalent over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076090/q0760904.png" />, and in the case of their equivalence to find (or describe) all the invertible matrices <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076090/q0760905.png" /> over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076090/q0760906.png" /> taking <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076090/q0760907.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076090/q0760908.png" /> (see [[Quadratic form|Quadratic form]]). For the solution of the latter problem it suffices to know just one such matrix <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076090/q0760909.png" /> and all the automorphisms <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076090/q07609010.png" /> of the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076090/q07609011.png" />, since then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076090/q07609012.png" />. One usually has in mind equivalence of quadratic forms over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076090/q07609013.png" />, where one is often considering the entire collection of quadratic forms over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076090/q07609014.png" /> and their classes over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076090/q07609015.png" />. There are fundamental differences in the reduction theory of positive-definite and indefinite quadratic forms.
  
 
==The reduction of positive-definite quadratic forms.==
 
==The reduction of positive-definite quadratic forms.==
Line 34: Line 34:
 
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076090/q07609068.png" /></td> </tr></table>
 
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076090/q07609068.png" /></td> </tr></table>
  
For <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076090/q07609069.png" /> there is an algorithm for Gauss reduction, according to which one has to go over from a form not satisfying the Lagrange–Gauss conditions to its "neighbour" ,
+
For <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076090/q07609069.png" /> there is an algorithm for Gauss reduction, according to which one has to go over from a form not satisfying the Lagrange–Gauss conditions to its "neighbour" ,
  
 
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076090/q07609070.png" /></td> </tr></table>
 
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076090/q07609070.png" /></td> </tr></table>
Line 71: Line 71:
 
(and also to the conditions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076090/q076090125.png" />). The number of reduced integer-valued quadratic forms of given determinant is finite. Every quadratic form is equivalent to a reduced one. There is an algorithm for reduction, using continued fractions (see [[#References|[1]]]).
 
(and also to the conditions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076090/q076090125.png" />). The number of reduced integer-valued quadratic forms of given determinant is finite. Every quadratic form is equivalent to a reduced one. There is an algorithm for reduction, using continued fractions (see [[#References|[1]]]).
  
For a reduced quadratic form there exists precisely one "right neighbouring" and precisely one "left neighbouring" reduced quadratic form (see [[#References|[1]]]). By going over from a reduced quadratic form to its "neighbouring" , one obtains a doubly-infinite chain of reduced forms. This chain is periodic. A finite segment of inequivalent forms of this chain is called a period. Two reduced forms are properly equivalent if and only if one of them is in the period of the other.
+
For a reduced quadratic form there exists precisely one "right neighbouring" and precisely one "left neighbouring" reduced quadratic form (see [[#References|[1]]]). By going over from a reduced quadratic form to its "neighbouring" , one obtains a doubly-infinite chain of reduced forms. This chain is periodic. A finite segment of inequivalent forms of this chain is called a period. Two reduced forms are properly equivalent if and only if one of them is in the period of the other.
  
 
The foregoing theory is valid also for forms with real coefficients <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076090/q076090126.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076090/q076090127.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076090/q076090128.png" /> are distinct irrational roots; however, in this case a chain of reduced forms need not be periodic.
 
The foregoing theory is valid also for forms with real coefficients <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076090/q076090126.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076090/q076090127.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076090/q076090128.png" /> are distinct irrational roots; however, in this case a chain of reduced forms need not be periodic.
Line 116: Line 116:
  
 
====References====
 
====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> B.A. Venkov,   "Elementary number theory" , Wolters-Noordhoff (1970) (Translated from Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> B.A. Venkov,   ''Izv. Akad. Nauk SSSR. Ser. Mat.'' , '''1''' (1937) pp. 139–170</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> B.A. Venkov,   "The reduction of positive-definite quadratic forms" ''Izv. Akad. Nauk SSSR. Ser. Mat.'' , '''4''' (1940) pp. 37–52 (In Russian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> B.A. Venkov,   "On indeterminate quadratic forms with integral coefficients" ''Trudy Mat. Inst. Steklov.'' , '''38''' (1951) pp. 30–41 (In Russian)</TD></TR><TR><TD valign="top">[5a]</TD> <TD valign="top"> B.N. Delone,   "The geometry of positive definite quadratic forms" ''Uspekhi Mat. Nauk'' : 3 (1937) pp. 16–62 (In Russian)</TD></TR><TR><TD valign="top">[5b]</TD> <TD valign="top"> B.N. Delone,   "The geometry of positive definite quadratic forms" ''Uspekhi Mat. Nauk'' : 4 (1938) pp. 104–164 (In Russian)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top"> B.N. Delone,   R.V. Galiulin,   M.I. Shtorgin,   "The types of Bravais lattices" , ''Current problems in mathematics'' , '''2''' , Moscow (1973) pp. 119–254 (In Russian)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top"> P.G. Lejeune-Dirichlet,   "Vorlesungen über Zahlentheorie" , Vieweg (1894)</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top"> S.S. Ryshkov,   "The theory of Hermite–Minkowski reduction of positive definite quadratic forms" ''J. Soviet Math.'' , '''6''' : 6 (1976) pp. 651–671 ''Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst.'' , '''33''' (1973) pp. 37–64</TD></TR><TR><TD valign="top">[9a]</TD> <TD valign="top"> P.P. Tammela,   "Reduction theory of positive quadratic forms" ''J. Soviet Math.'' , '''11''' : 2 (1979) pp. 197–277 ''Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst.'' , '''50''' (1975) pp. 6–96</TD></TR><TR><TD valign="top">[9b]</TD> <TD valign="top"> P.P. Tammela,   "Minkowski reduction region for positive quadratic forms in seven variables" ''J. Soviet Math.'' , '''16''' : 1 (1981) pp. 836–857 ''Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst.'' , '''67''' (1977) pp. 108–143; 226</TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top"> P. Bachmann,   "Zahlentheorie. Die Arithmetik der quadratischen Formen" , '''1–2''' , Teubner (1923–1925)</TD></TR><TR><TD valign="top">[11]</TD> <TD valign="top"> P. Humbert,   "Réduction de formes quadratiques dans un corps algébrique fini" ''Comm. Math. Helv.'' , '''23''' (1949) pp. 50–63</TD></TR><TR><TD valign="top">[12]</TD> <TD valign="top"> H. Minkowski,   "Diskontinuitätsbereich für arithmetische Äquivalenz" ''J. Reine Angew. Math.'' , '''129''' (1905) pp. 220–274</TD></TR><TR><TD valign="top">[13]</TD> <TD valign="top"> C.L. Siegel,   "Einheiten quadratischer Formen" ''Abh. Math. Sem. Univ. Hamburg'' , '''13''' (1939) pp. 209–239</TD></TR><TR><TD valign="top">[14]</TD> <TD valign="top"> C.L. Siegel,   "Zur Theorie der quadratischen Formen" ''Nachr. Akad. Wiss. Göttingen Math.-Phys. Kl.'' (1972) pp. 21–46</TD></TR><TR><TD valign="top">[15]</TD> <TD valign="top"> B.L. van der Waerden,   "Die Reduktionstheorie der positiven quadratischen Formen" ''Acta Math.'' , '''96''' (1956) pp. 265–309</TD></TR></table>
+
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> B.A. Venkov, "Elementary number theory" , Wolters-Noordhoff (1970) (Translated from Russian) {{MR|0265267}} {{ZBL|0204.37101}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> B.A. Venkov, ''Izv. Akad. Nauk SSSR. Ser. Mat.'' , '''1''' (1937) pp. 139–170</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> B.A. Venkov, "The reduction of positive-definite quadratic forms" ''Izv. Akad. Nauk SSSR. Ser. Mat.'' , '''4''' (1940) pp. 37–52 (In Russian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> B.A. Venkov, "On indeterminate quadratic forms with integral coefficients" ''Trudy Mat. Inst. Steklov.'' , '''38''' (1951) pp. 30–41 (In Russian) {{MR|0048498}} {{ZBL|}} </TD></TR><TR><TD valign="top">[5a]</TD> <TD valign="top"> B.N. Delone, "The geometry of positive definite quadratic forms" ''Uspekhi Mat. Nauk'' : 3 (1937) pp. 16–62 (In Russian)</TD></TR><TR><TD valign="top">[5b]</TD> <TD valign="top"> B.N. Delone, "The geometry of positive definite quadratic forms" ''Uspekhi Mat. Nauk'' : 4 (1938) pp. 104–164 (In Russian)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top"> B.N. Delone, R.V. Galiulin, M.I. Shtorgin, "The types of Bravais lattices" , ''Current problems in mathematics'' , '''2''' , Moscow (1973) pp. 119–254 (In Russian) {{MR|0412947}} {{ZBL|0334.50005}} </TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top"> P.G. Lejeune-Dirichlet, "Vorlesungen über Zahlentheorie" , Vieweg (1894) {{MR|}} {{ZBL|25.0252.01}} </TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top"> S.S. Ryshkov, "The theory of Hermite–Minkowski reduction of positive definite quadratic forms" ''J. Soviet Math.'' , '''6''' : 6 (1976) pp. 651–671 ''Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst.'' , '''33''' (1973) pp. 37–64 {{MR|}} {{ZBL|0374.10019}} </TD></TR><TR><TD valign="top">[9a]</TD> <TD valign="top"> P.P. Tammela, "Reduction theory of positive quadratic forms" ''J. Soviet Math.'' , '''11''' : 2 (1979) pp. 197–277 ''Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst.'' , '''50''' (1975) pp. 6–96 {{MR|0563103}} {{MR|0321875}} {{ZBL|0403.10012}} </TD></TR><TR><TD valign="top">[9b]</TD> <TD valign="top"> P.P. Tammela, "Minkowski reduction region for positive quadratic forms in seven variables" ''J. Soviet Math.'' , '''16''' : 1 (1981) pp. 836–857 ''Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst.'' , '''67''' (1977) pp. 108–143; 226 {{MR|}} {{ZBL|0453.10033}} </TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top"> P. Bachmann, "Zahlentheorie. Die Arithmetik der quadratischen Formen" , '''1–2''' , Teubner (1923–1925) {{MR|0238661}} {{MR|1522322}} {{ZBL|}} </TD></TR><TR><TD valign="top">[11]</TD> <TD valign="top"> P. Humbert, "Réduction de formes quadratiques dans un corps algébrique fini" ''Comm. Math. Helv.'' , '''23''' (1949) pp. 50–63 {{MR|0031521}} {{ZBL|0034.31102}} </TD></TR><TR><TD valign="top">[12]</TD> <TD valign="top"> H. Minkowski, "Diskontinuitätsbereich für arithmetische Äquivalenz" ''J. Reine Angew. Math.'' , '''129''' (1905) pp. 220–274 {{MR|}} {{ZBL|37.0251.02}} </TD></TR><TR><TD valign="top">[13]</TD> <TD valign="top"> C.L. Siegel, "Einheiten quadratischer Formen" ''Abh. Math. Sem. Univ. Hamburg'' , '''13''' (1939) pp. 209–239 {{MR|0003003}} {{ZBL|0023.00701}} {{ZBL|66.0125.03}} </TD></TR><TR><TD valign="top">[14]</TD> <TD valign="top"> C.L. Siegel, "Zur Theorie der quadratischen Formen" ''Nachr. Akad. Wiss. Göttingen Math.-Phys. Kl.'' (1972) pp. 21–46 {{MR|0311578}} {{ZBL|0252.10019}} </TD></TR><TR><TD valign="top">[15]</TD> <TD valign="top"> B.L. van der Waerden, "Die Reduktionstheorie der positiven quadratischen Formen" ''Acta Math.'' , '''96''' (1956) pp. 265–309 {{MR|}} {{ZBL|0072.03601}} </TD></TR></table>

Revision as of 17:34, 31 March 2012

The isolation of "reduced" forms in each class of quadratic forms over a given ring , i.e. of (one or several) "standard" forms in the class. The main aim of the reduction of quadratic forms is the solution of the problem of equivalence of quadratic forms: To establish whether or not two given quadratic forms and are equivalent over , and in the case of their equivalence to find (or describe) all the invertible matrices over taking to (see Quadratic form). For the solution of the latter problem it suffices to know just one such matrix and all the automorphisms of the form , since then . One usually has in mind equivalence of quadratic forms over , where one is often considering the entire collection of quadratic forms over and their classes over . There are fundamental differences in the reduction theory of positive-definite and indefinite quadratic forms.

The reduction of positive-definite quadratic forms.

There are different methods for the reduction over of real positive-definite quadratic forms. Of these the most extensive and widely studied is the Minkowski (or Hermite–Minkowski) reduction method. The most general method is Venkov's method. Other prevalent reductions are those of E. Selling and H.F. Charve .

To determine a reduced quadratic form

means to define in the positivity cone of the coefficient space , , a domain of reduction such that is reduced if and only if . It is desirable that possesses good geometric properties (such as simple connectedness, convexity, etc.) and is a fundamental domain of the group of integer transformations of determinant . A domain is called a fundamental domain of reduction of positive-definite quadratic forms if is an open domain in and if: 1) for each there is an equivalent quadratic form () for which ; and 2) if and (), then .

a) Minkowski reduction of a quadratic form. A positive-definite quadratic form is Minkowski reduced if for any and any integers with greatest common divisor ,

(1)

From the infinite number of inequalities (1) for the coefficients one can extract a finite number such that the remaining inequalities follow from them. In the coefficient space the set of Minkowski-reduced forms is an infinite complex pyramid (a gonohedron) with a finite number of faces, called the domain of Minkowski reduction (or Hermite–Minkowski gonohedron) ; is a closed set, . For the faces of have been calculated (see ).

There exists a constant such that if the quadratic form is Minkowski reduced, then

where is the determinant of .

Each real positive-definite quadratic form is equivalent over to a Minkowski-reduced quadratic form. There is an algorithm for the reduction (for finding a reduced form that is equivalent to a given one) (see [8], [15]).

For , , , , , the conditions of being reduced have the form

If one restricts oneself to proper equivalence (when only integer-valued transformations with determinant are admitted), then the domain of reduction has the form (the Lagrange–Gauss reduction conditions). The set of all inequivalent (properly-) reduced quadratic forms can be written as the union , where

For there is an algorithm for Gauss reduction, according to which one has to go over from a form not satisfying the Lagrange–Gauss conditions to its "neighbour" ,

where the integer is chosen such that . For any real quadratic form the algorithm is broken up into a finite number of steps.

If , , with greatest common divisor , then for there are only two automorphisms (of determinant 1); for , six automorphisms; and for , four automorphisms.

b) Venkov reduction of a quadratic form. This is a reduction method , depending on a parameter , for an arbitrary real positive-definite -ary quadratic form (see [3]). A quadratic form is said to be -reducible if

for all integer-valued -matrices of determinant 1; here is the form reciprocal to , is the quadratic form obtained from by the transformation , and is the Voronoi semi-invariant, defined as follows: if , , , , then

The set of -reducible quadratic forms in the coefficient space is a convex gonohedron with a finite number of faces lying in . If and , then is the same as the domain of Minkowski reduction.

c) Selling and Charve reduction of a quadratic form. If in the Venkov reduction one puts , where is the Voronoi first perfect form, then for one obtains the Selling reduction, and for the Charve reduction (see , [6]).

The reduction of indefinite quadratic forms.

This is in principle more complicated than that of positive quadratic forms. There are no fundamental domains for them. Only for is there a definitive reduction theory of quadratic forms over .

a) Reduction of indefinite binary quadratic forms. Let

be a quadratic form with determinant , where is not a perfect square. Associated with is the quadratic equation and its distinct irrational roots

The form is said to be reduced if , , . These conditions are equivalent to the conditions

(and also to the conditions ). The number of reduced integer-valued quadratic forms of given determinant is finite. Every quadratic form is equivalent to a reduced one. There is an algorithm for reduction, using continued fractions (see [1]).

For a reduced quadratic form there exists precisely one "right neighbouring" and precisely one "left neighbouring" reduced quadratic form (see [1]). By going over from a reduced quadratic form to its "neighbouring" , one obtains a doubly-infinite chain of reduced forms. This chain is periodic. A finite segment of inequivalent forms of this chain is called a period. Two reduced forms are properly equivalent if and only if one of them is in the period of the other.

The foregoing theory is valid also for forms with real coefficients if and are distinct irrational roots; however, in this case a chain of reduced forms need not be periodic.

All proper automorphisms (of determinant 1) of a quadratic form with greatest common divisor , greatest common divisor , , have the form

where runs through all the solutions of the Pell equation and is the fundamental solution of this equation, that is, the smallest positive solution. Improper automorphisms (of determinant ) exist only for two-sided (or ambiguous) forms, that is, forms whose class coincides with that of its inverse (see [1]). The subgroup of proper automorphisms of a two-sided form has index 2 in the group of all automorphisms.

Indefinite integer-valued quadratic forms of determinant , , , reduce to the form , where , . Two quadratic forms and , , are properly equivalent if and only if . All the automorphisms of such forms are

(see [1]).

b) Reduction of indefinite -ary quadratic forms. Let be such a form with real coefficients and . Then there exists a change of variables (over ), , such that

where is the signature of . Let

( rows 1; rows ) and . The quadratic form is associated with the positive-definite quadratic form

The form is called (Hermite) reducible if there is a transformation of the form into a sum of squares such that is (for example, Minkowski) reduced.

Equivalent to this definition of a reduced quadratic form is the following [13], [14]. Let be the set of matrices over of positive -ary quadratic forms satisfying the equation . This is a connected -dimensional manifold of the positivity cone (which can be written out in explicit form). Let be the domain of reduction of positive-definite quadratic forms. The form is called reducible if is non-empty.

The number of classes of integral indefinite quadratic forms in variables with a given determinant is finite (this is true also for positive-definite quadratic forms). The number of reduced forms in a given class is also finite. If two integral quadratic forms and are equivalent, then there exists an integral transformation , the absolute values of the elements of which are bounded by a constant depending only on and , that takes to . Thus the problem of determining whether or not two indefinite integral quadratic forms are equivalent is solved in a finite number of steps.

c) Automorphisms of indefinite quadratic forms. The problem of the description of all automorphisms of an indefinite integral quadratic form has two aspects: 1) to construct a fundamental domain of the group of automorphisms; 2) to describe the general form of the automorphisms (similar to the description of automorphisms by means of the Pell equation).

The general form of the automorphisms of a quadratic form was described by Ch. Hermite for and by A. Cayley for arbitrary (see [10]).

A fundamental domain has been constructed of the group of automorphisms of an indefinite integral quadratic form in a manifold bounded by a finite number of algebraic surfaces, and its volume has been calculated [13]. For the case in the -dimensional space a fundamental domain has been constructed of the group of automorphisms of a quadratic form in the form of an infinite pyramid with a finite number of plane faces (see [2], [4]).

There is a reduction theory of quadratic forms in algebraic number fields (see [11]).

References

[1] B.A. Venkov, "Elementary number theory" , Wolters-Noordhoff (1970) (Translated from Russian) MR0265267 Zbl 0204.37101
[2] B.A. Venkov, Izv. Akad. Nauk SSSR. Ser. Mat. , 1 (1937) pp. 139–170
[3] B.A. Venkov, "The reduction of positive-definite quadratic forms" Izv. Akad. Nauk SSSR. Ser. Mat. , 4 (1940) pp. 37–52 (In Russian)
[4] B.A. Venkov, "On indeterminate quadratic forms with integral coefficients" Trudy Mat. Inst. Steklov. , 38 (1951) pp. 30–41 (In Russian) MR0048498
[5a] B.N. Delone, "The geometry of positive definite quadratic forms" Uspekhi Mat. Nauk : 3 (1937) pp. 16–62 (In Russian)
[5b] B.N. Delone, "The geometry of positive definite quadratic forms" Uspekhi Mat. Nauk : 4 (1938) pp. 104–164 (In Russian)
[6] B.N. Delone, R.V. Galiulin, M.I. Shtorgin, "The types of Bravais lattices" , Current problems in mathematics , 2 , Moscow (1973) pp. 119–254 (In Russian) MR0412947 Zbl 0334.50005
[7] P.G. Lejeune-Dirichlet, "Vorlesungen über Zahlentheorie" , Vieweg (1894) Zbl 25.0252.01
[8] S.S. Ryshkov, "The theory of Hermite–Minkowski reduction of positive definite quadratic forms" J. Soviet Math. , 6 : 6 (1976) pp. 651–671 Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. , 33 (1973) pp. 37–64 Zbl 0374.10019
[9a] P.P. Tammela, "Reduction theory of positive quadratic forms" J. Soviet Math. , 11 : 2 (1979) pp. 197–277 Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. , 50 (1975) pp. 6–96 MR0563103 MR0321875 Zbl 0403.10012
[9b] P.P. Tammela, "Minkowski reduction region for positive quadratic forms in seven variables" J. Soviet Math. , 16 : 1 (1981) pp. 836–857 Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. , 67 (1977) pp. 108–143; 226 Zbl 0453.10033
[10] P. Bachmann, "Zahlentheorie. Die Arithmetik der quadratischen Formen" , 1–2 , Teubner (1923–1925) MR0238661 MR1522322
[11] P. Humbert, "Réduction de formes quadratiques dans un corps algébrique fini" Comm. Math. Helv. , 23 (1949) pp. 50–63 MR0031521 Zbl 0034.31102
[12] H. Minkowski, "Diskontinuitätsbereich für arithmetische Äquivalenz" J. Reine Angew. Math. , 129 (1905) pp. 220–274 Zbl 37.0251.02
[13] C.L. Siegel, "Einheiten quadratischer Formen" Abh. Math. Sem. Univ. Hamburg , 13 (1939) pp. 209–239 MR0003003 Zbl 0023.00701 Zbl 66.0125.03
[14] C.L. Siegel, "Zur Theorie der quadratischen Formen" Nachr. Akad. Wiss. Göttingen Math.-Phys. Kl. (1972) pp. 21–46 MR0311578 Zbl 0252.10019
[15] B.L. van der Waerden, "Die Reduktionstheorie der positiven quadratischen Formen" Acta Math. , 96 (1956) pp. 265–309 Zbl 0072.03601
How to Cite This Entry:
Quadratic forms, reduction of. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Quadratic_forms,_reduction_of&oldid=16798
This article was adapted from an original article by A.V. Malyshev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article