Sur la paramétrisation des solutions des équations quadratiques

Denis Simon[1]

  • [1] LMNO - UMR 6139 Université de Caen – France Campus II – Boulevard Mal Juin BP 5186 – 14032 Caen Cedex, France

Journal de Théorie des Nombres de Bordeaux (2006)

  • Volume: 18, Issue: 1, page 265-283
  • ISSN: 1246-7405

Abstract

top
Our goal in this paper is to give a link between different classical aspects of the theory of integral quadratic forms. First, we investigate the properties of the binary quadratic forms involved in the parametrization of the solutions of ternary quadratic equations. In particular, we exhibit a simple rule to obtain a parametrization from a particular solution, such that its invariants only depend on the original equation. Used in the context of elliptic curves, this parametrization simplifies the algorithm of 2 -descent.Secondly, we consider a primitive quadratic form Q ( X , Y ) , with nonsquare discriminant. Some authors (in [1] and [7]) make a link between a particular rational solution of Q ( X , Y ) = 1 over ℚ 2 and a solution of [ R ] 2 = [ Q ] in the class group C l ( Δ ) . We explain why this link is much more direct than this. Indeed, when the equation Q ( X , Y ) = 1 has a solution, it is possible to parametrize them all by X = q 1 ( s , t ) q 3 ( s , t ) and Y = q 2 ( s , t ) q 3 ( s , t ) where q 1 , q 2 and q 3 are three integral quadratic forms with Disc q 3 = Δ . We show that the quadratic form q 3 is exactly (up to sign) the solution R of [ R ] 2 = [ Q ] in C l ( Δ ) . We end by a comparison between our algorithm for extracting square roots of quadratic forms and the algorithm of Gauss.

How to cite

top

Simon, Denis. "Sur la paramétrisation des solutions des équations quadratiques." Journal de Théorie des Nombres de Bordeaux 18.1 (2006): 265-283. <http://eudml.org/doc/249649>.

@article{Simon2006,
abstract = {L’objectif de cet article est de proposer un lien entre plusieurs aspects classiques de la théorie des formes quadratiques entières. Dans un premier temps, on étudie en détail les propriétés des formes quadratiques binaires qui paramétrisent les solutions des équations quadratiques ternaires. En particulier, on donne un moyen simple de construire une paramétrisation à partir d’une solution particulière, dont les invariants ne dépendent que de l’équation de départ. Cette paramétrisation permet de simplifier l’algorithme de la $2$-descente sur les courbes elliptiques.Dans un deuxième temps, on considère $Q(X,Y)$ une forme quadratique entière primitive de discriminant $\Delta $ non carré. Certains auteurs (dans [1] et [7]) dressent un lien entre une solution rationnelle particulière de $Q(X,Y)=1$ dans $\mathbb\{Q\}^2$ et une solution de $[R]^2=[Q]$ dans le groupe de classes $Cl(\Delta )$. Nous montrons que ce lien est bien plus direct que celui décrit dans [1] et [7]. En effet, lorsque l’équation $Q(X,Y)=1$ admet une solution, il est possible de paramétrer toutes les solutions sous la forme $ X=\frac\{q_1(s,t)\}\{q_3(s,t)\}$ et $ Y=\frac\{q_2(s,t)\}\{q_3(s,t)\}$ où $q_1$,$q_2$ et $q_3$ sont trois formes quadratiques entières avec $\operatorname\{Disc\} q_3 = \Delta $. Nous montrons que la forme quadratique $q_3$ est exactement (au signe près) la solution $R$ de l’équation $[R]^2=[Q]$ dans $Cl(\Delta )$. Nous comparons alors notre algorithme d’extraction de racine carrée de forme quadratique, avec celui de Gauss.},
affiliation = {LMNO - UMR 6139 Université de Caen – France Campus II – Boulevard Mal Juin BP 5186 – 14032 Caen Cedex, France},
author = {Simon, Denis},
journal = {Journal de Théorie des Nombres de Bordeaux},
keywords = {Formes quadratiques binaires et ternaires; paramétrisation; groupe de classes; quadratic form; elliptic curves; 2-class number},
language = {fre},
number = {1},
pages = {265-283},
publisher = {Université Bordeaux 1},
title = {Sur la paramétrisation des solutions des équations quadratiques},
url = {http://eudml.org/doc/249649},
volume = {18},
year = {2006},
}

TY - JOUR
AU - Simon, Denis
TI - Sur la paramétrisation des solutions des équations quadratiques
JO - Journal de Théorie des Nombres de Bordeaux
PY - 2006
PB - Université Bordeaux 1
VL - 18
IS - 1
SP - 265
EP - 283
AB - L’objectif de cet article est de proposer un lien entre plusieurs aspects classiques de la théorie des formes quadratiques entières. Dans un premier temps, on étudie en détail les propriétés des formes quadratiques binaires qui paramétrisent les solutions des équations quadratiques ternaires. En particulier, on donne un moyen simple de construire une paramétrisation à partir d’une solution particulière, dont les invariants ne dépendent que de l’équation de départ. Cette paramétrisation permet de simplifier l’algorithme de la $2$-descente sur les courbes elliptiques.Dans un deuxième temps, on considère $Q(X,Y)$ une forme quadratique entière primitive de discriminant $\Delta $ non carré. Certains auteurs (dans [1] et [7]) dressent un lien entre une solution rationnelle particulière de $Q(X,Y)=1$ dans $\mathbb{Q}^2$ et une solution de $[R]^2=[Q]$ dans le groupe de classes $Cl(\Delta )$. Nous montrons que ce lien est bien plus direct que celui décrit dans [1] et [7]. En effet, lorsque l’équation $Q(X,Y)=1$ admet une solution, il est possible de paramétrer toutes les solutions sous la forme $ X=\frac{q_1(s,t)}{q_3(s,t)}$ et $ Y=\frac{q_2(s,t)}{q_3(s,t)}$ où $q_1$,$q_2$ et $q_3$ sont trois formes quadratiques entières avec $\operatorname{Disc} q_3 = \Delta $. Nous montrons que la forme quadratique $q_3$ est exactement (au signe près) la solution $R$ de l’équation $[R]^2=[Q]$ dans $Cl(\Delta )$. Nous comparons alors notre algorithme d’extraction de racine carrée de forme quadratique, avec celui de Gauss.
LA - fre
KW - Formes quadratiques binaires et ternaires; paramétrisation; groupe de classes; quadratic form; elliptic curves; 2-class number
UR - http://eudml.org/doc/249649
ER -

References

top
  1. W. Bosma, P. Stevenhagen, On the computation of quadratic 2 -class groups. J. Théor. Nombres Bordeaux 8 (1996), no. 2, 283–313. Zbl0870.11080MR1438471
  2. J.W.S. Cassels, Rational Quadratic Forms. L.M.S. Monographs, Academic Press (1978). Zbl0395.10029MR522835
  3. H. Cohen, A Course in Computational Algebraic Number Theory. Graduate Texts in Math. 138, Third corrected printing, Springer–Verlag (1996). Zbl0786.11071MR1228206
  4. D. Cox, Primes of the form x 2 + n y 2 , Fermat, class field theory, and complex multiplication. Wiley–Interscience (1989). Zbl0956.11500MR1028322
  5. J. Cremona, D. Rusin, Efficient solution of rational conics. Math. Comp. 72 (2003), 1417–1441. Zbl1022.11031MR1972744
  6. K.F. Gauss, Recherches Arithmétiques. Poullet-Delisle, A.C.M. (trad.), A. Blanchard, 1953. Zbl0051.03003
  7. K. Hardy, K. Williams, The squareroot of an ambiguous form in the principal genus. Proc. Edinburgh Math. Soc. (2) 36 (1993), no. 1, 145–150. Zbl0790.11030MR1200193
  8. J.C. Lagarias, Worst-case complexity bounds for algorithms in the theory of integral quadratic forms. J. Ameri. Math. Soc. 2 (1989), no 4, 143–186. Zbl0473.68030
  9. D. Shanks, Gauss’s ternary form reduction and the 2 -Sylow subgroup. Math. Comp. 25, no 116 (1971), 837–853 ; Erratum : Math. Comp. 32 (1978), 1328–1329. Zbl0227.12002MR297737
  10. D. Simon, Computing the rank of elliptic curves over number fields. London Math. Soc. Journal of Computation and Mathematics, vol 5 (2002) 7–17. Zbl1067.11015MR1916919
  11. D. Simon, Solving quadratic equations using reduced unimodular quadratic forms. Math. Comp. 74, no 251 (2005), 1531–1543. Zbl1078.11072MR2137016
  12. N.P. Smart, The algorithmic resolution of Diophantine equations. London Math. Soc. Student Texts 41, Cambridge University Press, 1998. Zbl0907.11001MR1689189

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.