Hilbert a démontré qu'une forme réelle non négative de degré 4 est la somme de trois carrés de formes quadratiques. Nous donnons une nouvelle démonstration qui montre que si la courbe plane Q definie par f est non singulière, alors f a exactement 8 telles représentations, à equivalence près. Elles correspondent aux points de 2- torsion du jacobien de Q qui ne sont pas représentés par un diviseur de Q invariant par conjugaison.
Hilbert proved that a non-negative real quartic form is the sum of three squares of quadratic forms. We give a new proof which shows that if the plane curve Q defined by f is smooth, then f has exactly 8 such representations, up to equivalence. They correspond to those real 2-torsion points of the Jacobian of Q which are not represented by a conjugation-invariant divisor on Q.
Accepté le :
Publié le :
@article{CRMATH_2004__339_9_617_0, author = {Powers, Victoria and Reznick, Bruce and Scheiderer, Claus and Sottile, Frank}, title = {A new approach to {Hilbert's} theorem on ternary quartics}, journal = {Comptes Rendus. Math\'ematique}, pages = {617--620}, publisher = {Elsevier}, volume = {339}, number = {9}, year = {2004}, doi = {10.1016/j.crma.2004.09.014}, language = {en}, url = {http://www.numdam.org/articles/10.1016/j.crma.2004.09.014/} }
TY - JOUR AU - Powers, Victoria AU - Reznick, Bruce AU - Scheiderer, Claus AU - Sottile, Frank TI - A new approach to Hilbert's theorem on ternary quartics JO - Comptes Rendus. Mathématique PY - 2004 SP - 617 EP - 620 VL - 339 IS - 9 PB - Elsevier UR - http://www.numdam.org/articles/10.1016/j.crma.2004.09.014/ DO - 10.1016/j.crma.2004.09.014 LA - en ID - CRMATH_2004__339_9_617_0 ER -
%0 Journal Article %A Powers, Victoria %A Reznick, Bruce %A Scheiderer, Claus %A Sottile, Frank %T A new approach to Hilbert's theorem on ternary quartics %J Comptes Rendus. Mathématique %D 2004 %P 617-620 %V 339 %N 9 %I Elsevier %U http://www.numdam.org/articles/10.1016/j.crma.2004.09.014/ %R 10.1016/j.crma.2004.09.014 %G en %F CRMATH_2004__339_9_617_0
Powers, Victoria; Reznick, Bruce; Scheiderer, Claus; Sottile, Frank. A new approach to Hilbert's theorem on ternary quartics. Comptes Rendus. Mathématique, Tome 339 (2004) no. 9, pp. 617-620. doi : 10.1016/j.crma.2004.09.014. http://www.numdam.org/articles/10.1016/j.crma.2004.09.014/
[1] Sums of squares of real polynomials, (Santa Barbara, 1992) (Proc. Symp. Pure Math.), Volume vol. 58, American Mathematical Society, Providence, RI (1995), pp. 103-126
[2] Algebraic Geometry and Theta Functions, Amer. Math. Soc. Colloq. Publ., vol. 10, American Mathematical Society, 1929
[3] Ein algebraischer Beweis des Satzes von Weichold über reelle algebraische Funktionenkörper (Hasse, H.; Roquette, P., eds.), Algebraische Zahlentheorie (Oberwolfach, 1964), Mannheim, 1966, pp. 83-98
[4] Über die Darstellung definiter Formen als Summe von Formenquadraten, Math. Ann., Volume 32 (1888), pp. 342-350
[5] On Hilbert's theorem about ternary quartics, Algebraic and Arithmetic Theory of Quadratic Forms, Contemp. Math., vol. 344, American Mathematical Society, Providence, RI, 2004
[6] Notes towards a constructive proof of Hilbert's theorem on ternary quartics, (Dublin, 1999) (Contemp. Math.), Volume vol. 272, American Mathematical Society, Providence, RI (2000), pp. 209-227
[7] Sums of squares of polynomials, Amer. Math. Monthly, Volume 107 (2000), pp. 813-821
[8] Hilbert's theorem on positive ternary quartics, (Dublin, 1999) (Contemp. Math.), Volume vol. 272, American Mathematical Society, Providence, RI (2000), pp. 287-292
[9] Is every quartic a conic of conics?, Math. Proc. Cambridge Philos. Soc., Volume 109 (1991), pp. 419-424
[10] Über symmetrische Riemannsche Flächen und die Periodizitätsmoduln der zugehörigen Abelschen Normalintegrale erster Gattung, Z. Math. Phys., Volume 28 (1883), pp. 321-351
[11] Zerlegung reeller algebraischer Funktionen in Quadrate, Schiefkörper über reellem Funktionenkörper, J. Reine Angew. Math., Volume 171 (1934), pp. 4-11
Cité par Sources :