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
-
!!! Reporté !!! Encryption homomorphe sans bruit à l'aide de groupes
Orateur : Pierre Guillot - Ravel Technologies (dispo Université de Strasbourg, IRMA)
Je vais rappeler les travaux de Nuida et Ostrovski sur l'utilisation des groupes pour l'élaboration de schémas cryptographiques homomorphes. Je vais présenter nos travaux qui fournissent des encodages à la fois plus efficaces et plus généraux, et qui déterminent exactement quels groupes peuvent être utilisés. Puis je vais discuter GRAFHEN, un protocole qui utilise ces idées. Je dirai juste[…]-
Cryptography
-
-
MIKE: An efficient and compact NIKE Based on a Commutative Monoidal Action
Orateur : Jonathan Komada Eriksen - COSIC, KU Leuven
Robert recently described a powerful correspondence between certain (Hermitian) modules and (polarized) abelian varieties, which simultaneously generalizes both the class-group action underlying protocols such as CSIDH, and the Deuring correspondence, underlying protocols such as SQIsign. Using this correspondence, he also proposed how to construct a post-quantum NIKE, called MIKE, which, at a[…]-
Cryptography
-
-
TBA
Orateur : Anmoal Porwal - Technical University of Munich
-
Cryptography
-
Asymmetric primitive
-