. Ainsi, 0 > + < y ? ?E, 0 > par ? H,3 n'est pas triviale et donc < y + ?(1 ? E), 0 > + < y ? ?E, pp.0-2

. Comme-l-'image-d-'un-double-par-?-h-est-triviale, En particulier, pour tout m ? N impair, tout n ? N et tout point de 2 n m-torsion T , l'image ? H (T ) est l'image du point de 2 n -torsion mT par ? H . Ainsi, l'image de la torsion de Jac(H)(k(x)) par ? H est l'image de la torsion 2-primaire

?. and +. ?e, ou, de façonfaçonéquivalente, par les images

H. Soit and . Courbe, hyperelliptique sur k(x) d'´ equation affine H : z 2 = (y + ?(1 ? E))(y ? ?E)(y + ?E)

. Alors-l-'image-par-?-h-de-la, (x)) est l'image par ? H de la 2-torsion de Jac(H)(k(x)) Elle est donc engendrée par la classe, + C) 2 ? 4B], [(1 + C) 2 ? 4B], [1]

. Démonstration, C. Les-polynômes-b, and B. , + C) 2 ? 4B ne sont pas des carrés dans k(x) Par conséquent, ces quatre polynômes sont non nuls. Puisque C nest pas un carré dans k(x), le polynôme 1 ? C est non nul

. Ainsi, après la proposition 1.4.12, la 2-torsion de Jac(H)(k(x)) est engendrée par les points < y + ?(1 + C)

L. Composantes-de-?-h-sont-toutesàtoutesà-valeurs-dans-k, /k(x) ×2 . D'après la proposition 1.5.9, leur produit est l'´ elément trivial de k(x) × /k(x) ×2 . En particulier, l'image ? H (< y + ?(1 + C), 0 >) estégalèestégalè a la classe, + C) 2 ? 4B], [1])

L. , B. , and B. Sont-premiers-entre-eux-et-b-?-c-n, En utilisant la décomposition en facteurs premiers dans k(x), nous en déduisons que B ? C et B(B ? C) ne sont pas des carrés dans k(x) Ainsi, d'après la proposition 2.3.2.1, B ? C n'est pas un carré dans K 2 . Cela signifie que l'image par ? H,2 du point < y 2 ? 4? 2 C, 0 > n'est pas triviale, Par conséquent, le point < y 2 ? 4? 2 C, 0 >=< y + ?(1 + C), 0 > + < y 2 ? 4? 2 B, 0 > n'est pas un double dans Jac(H)(k(x))

?. Comme-l-'image-d-'un-double-par and . Est-triviale, (mT ) En particulier, pour tout m ? N impair, tout n ? N et tout point de 2 n m-torsion T , l'image ? H (T ) est l'image du point de 2 n -torsion mT par ? H . Ainsi, l'image de la torsion de Jac(H)(k(x)) par ? H est l'image de la torsion 2-primaire

. Démonstration, Nous utilisons la proposition 4.1.3. Cela, nous amènè a considérer les six polynômes suivants : * ? 1,1 = N K 1 /k(x) (1) = 1, * les polynômes 1 ? C et (1 + C) 2 ? 4B sont premiers entre eux

C. Soit-p-un-facteur-premier-de, Nous supposons que * la valuation v p (C) est impaire

. Démonstration, Soit div(u, v) ? Div 0 (k(H)) un diviseur semi-réduit avec u premieràpremierà L 3

N. Nous-en-déduisons-que, ?1) deg(u) u ? ? 3 , c'est-` a-dire que, ?1) deg(u) u = ? H,3 (Cl(div(u, v)))

B. Soit-p-un-facteur-premier-de, Nous supposons que Bibliographie

J. Bochnak, M. Coste, and M. Roy, Real algebraic geometry, Mathematics and Related Areas, 1998.
DOI : 10.1007/978-3-662-03718-8

J. Bost and J. Mestre, Moyenne arithmético-géométrique et périodes des courbes de genre 1 et 2, Gaz. Math, issue.38, pp.36-64, 1988.

J. W. Cassels, W. J. Ellison, and A. Pfister, On sums of squares and on elliptic curves over function fields, Journal of Number Theory, vol.3, issue.2, pp.125-149, 1971.
DOI : 10.1016/0022-314X(71)90030-8

E. [. Cassels and . Flynn, Prolegomena to a middlebrow arithmetic of curves of genus 2, 1996.
DOI : 10.1017/CBO9780511526084

M. R. Christie, Positive definite rational functions of two variables which are not the sum of three squares, Journal of Number Theory, vol.8, issue.2, pp.224-232, 1976.
DOI : 10.1016/0022-314X(76)90104-9

J. Colliotthéì-ene, The Noether-Lefschetz theorem and sums of 4-squares in the rational function field R(x, y), Compositio Math, vol.86, issue.2, pp.235-243, 1993.

]. P. Gau00 and . Gaudry, Algorithmique des courbes hyperelliptiques et applicationsàapplicationsà la cryptologie, 2000.

J. Harris, Theta-characteristics on algebraic curves, Transactions of the American Mathematical Society, vol.271, issue.2, pp.611-638, 1982.
DOI : 10.1090/S0002-9947-1982-0654853-6

]. D. Hil88 and . Hilbert, ¨ uber die darstellung definiter formen als summen von formen-quadraten, Math. Ann, vol.32, pp.342-350, 1888.

J. Huisman and L. Mahé, Geometrical Aspects of the Level of Curves, Journal of Algebra, vol.239, issue.2, pp.647-674, 2001.
DOI : 10.1006/jabr.2000.8686

M. Hindry and J. H. Silverman, Diophantine geometry, Graduate Texts in Mathematics, vol.201, 2000.
DOI : 10.1007/978-1-4612-1210-2

J. Igusa, Arithmetic Variety of Moduli for Genus Two, The Annals of Mathematics, vol.72, issue.3, pp.612-649, 1960.
DOI : 10.2307/1970233

]. A. Kna92 and . Knapp, Elliptic curves, volume 40 of Mathematical Notes, 1992.

]. T. Lam73 and . Lam, The algebraic theory of quadratic forms, Mathematics Lecture Note Series, 1973.

]. S. Lan97 and . Lang, Survey of Diophantine Geometry [Mac00] O. Macé. Sommes de trois carrés en deux variables et représentation de bas degré pour le niveau des courbes réelles, 1997.

L. Mahé, Level and Pythagoras number of some geometric rings, Mathematische Zeitschrift, vol.246, issue.1, pp.615-629, 1990.
DOI : 10.1007/BF02570896

L. Mahé, Level and Pythagoras number of some geometric rings, Mathematische Zeitschrift, vol.246, issue.1, pp.615-629481, 1990.
DOI : 10.1007/BF02570896

O. Macé and L. Mahé, Sommes de trois carr???s de fractions en deux variables, manuscripta mathematica, vol.4, issue.4, pp.421-447, 2005.
DOI : 10.1007/s00229-004-0535-0

]. D. Mum84 and . Mumford, Tata lectures on theta. II, volume 43 of Progress in Mathematics Jacobian theta functions and differential equations, With the collaboration of C, Birkhäuser Boston Inc, 1984.

K. [. Oort and . Ueno, Principally polarized abelian varieties of dimension two or three are Jacobian varieties, J. Fac. Sci. Univ. Tokyo Sect. IA Math, vol.20, pp.377-381, 1973.

]. A. Pfi67 and . Pfister, Zur Darstellung definiter Funktionen als Summe von Quadraten, Invent. Math, vol.4, pp.229-237, 1967.

E. F. Schaefer, 2-Descent on the Jacobians of Hyperelliptic Curves, Journal of Number Theory, vol.51, issue.2, pp.219-232, 1995.
DOI : 10.1006/jnth.1995.1044

]. E. Sch98 and . Schaefer, Computing a Selmer group of a Jacobian using functions on the curve, Math. Ann, vol.310, issue.3, pp.447-471, 1998.

J. Serre, Corps locauxDeuxì eméemé edition, Publications de l, 1968.

J. Serre, Groupes algébriques et corps de classes. Publications de l'Institut Mathématique de l, p.202

P. H. Hermann and . Silverman, Actualités Scientifiques et Industrielles [Current Scientific and Industrial Topics], 1264 The arithmetic of elliptic curves, Graduate Texts in Mathematics, vol.106, 1984.

]. J. Sil94 and . Silverman, Advanced topics in the arithmetic of elliptic curves, volume 151 of Graduate Texts in Mathematics, 1994.

J. [. Silverman and . Tate, Rational points on elliptic curves. Undergraduate Texts in Mathematics, 1992.
DOI : 10.1007/978-3-319-18588-0

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.165.9354

]. H. Sti93 and . Stichtenoth, Algebraic function fields and codes. Universitext, 1993.

M. Stoll, Implementing 2-descent for Jacobians of hyperelliptic curves, Acta Arithmetica, vol.98, issue.3, pp.245-277, 2001.
DOI : 10.4064/aa98-3-4

P. [. Zariski and . Samuel, Commutative algebra, Volume I. The University Series in Higher Mathematics, 1958.