Description
La question est la suivante. Soit X une variété algébrique sur Q, et Qbar une clôture algébrique de Q. Pour tout entier n>0 on a alors le groupe de cohomologie étale V_n de X sur Qbar à coefficients dans Z/nZ. Ce V_n est un Z/nZ-module de type fini, muni d'une action du groupe de Galois Gal(Qbar/Q). Concrètement, cela veut dire qu'on a des extensions galoisiennes finies K_n de Q, avec Gal(K_n/Q) agissant fidèlement sur V_n. Peut-on calculer ces extensions K_n, et V_n en tant que Gal(K_n/Q)-module, en temps polynomial en n ? Les résultats dans l'article `On the computation of coefficients of a modular form' (http://www.arxiv.org/abs/math.NT/0605244) montrent que ce genre de calcul peut se faire en temps polynomial dans d'autres cas que celui des points de torsion des courbes elliptiques, par exemple, pour le motif associé à la fonction tau de Ramanujan. Dans l'exposé il sera expliqué ce qui a été fait, et ce qu'on pourrait espérer faire, peut-être.
Next sessions
-
Algorithms for post-quantum commutative group actions
Speaker : 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
Speaker : 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
-