Description
Soit P(x,y) un polynôme en deux variables à coefficients réels. On suppose que P(x,y) est à valeurs positives sur R^2. Hilbert a montré que le polynôme P(x,y) s'écrit comme somme de quatres carrés dans R(x,y). Une question naturelle est de savoir si P(x,y) est une somme de trois carrés dans R(x,y). Cette question n'a pas de réponse connue en général, mais elle peut être reformulée en termes de jacobiennes. Nous expliquons d'abord comment l'étude des points de torsion R(x)-rationnels de certaines jacobiennes permet d'énoncer des formules pour écrire certains produits de la forme (y^2+a(x)^2)(y^2+b(x))(y^2+c(x))(y^2+d(x)) comme somme de trois carrés dans R(x,y) (une telle écriture n'existe pas toujours). Dans un second temps, nous donnons une famille de polynômes en deux variables P_{i}(x,y) positifs ou nuls sur R^2 de degré 8 qui ne sont pas somme de trois carrés dans R(x,y). Pour cela, nous montrons que le R(x)-rang de Mordell-Weil de la jacobienne de la courbe hyperelliptique d'équation affine z^2+P_{i}(x,y)=0 est nul.
Prochains exposés
-
Algorithms for post-quantum commutative group actions
Orateur : Marc Houben - Inria Bordeaux
At the historical foundation of isogeny-based cryptography lies a scheme known as CRS; a key exchange protocol based on class group actions on elliptic curves. Along with more efficient variants, such as CSIDH, this framework has emerged as a powerful building block for the construction of advanced post-quantum cryptographic primitives. Unfortunately, all protocols in this line of work are[…] -
Endomorphisms via Splittings
Orateur : Min-Yi Shen - No Affiliation
One of the fundamental hardness assumptions underlying isogeny-based cryptography is the problem of finding a non-trivial endomorphism of a given supersingular elliptic curve. In this talk, we show that the problem is related to the problem of finding a splitting of a principally polarised superspecial abelian surface. In particular, we provide formal security reductions and a proof-of-concept[…]-
Cryptography
-