Responsables : Elena Berardini, Léo Poyeton.
Considérons les groupes de Bianchi: Ce sont PSL_2(A) avec A l'anneau d'entiers d'un corps quadratique imaginaire. Un modèle pour leur espace classifiant pour actions propres, est l'espace hyperbolique à trois dimensions, sur lequel ils agissent comme mouvements engendrés par des translations et des rotations.
Un programme en Pari/GP qui vient d'être réalisé, nous permet d'obtenir des domaines fondamentaux pour cette action; et nous soutient dans les calculs de la K-homologie équivariante des groupes de Bianchi par une suite spectrale.
Baum et Connes construisent un homomorphisme de la K-homologie équivariante d'un groupe à la K-théorie de sa C^*-algèbre réduite; et postulent qu'il soit un isomorphisme.
Leur conjecture est vérifiée pour les groupes de Bianchi, ce qui nous permet d'obtenir cette dernière K-théorie des opérateurs, qui ne serait pas accessible directement pour les groupes de Bianchi.
The ``learning with errors'' (LWE) problem is to distinguish random linear equations, which have been perturbed by a small amount of noise, from truly uniform ones. The problem has been shown to be as hard as worst-case lattice problems, and in recent years it has served as the foundation for a plethora of cryptographic applications.
Unfortunately, these applications are rather inefficient due to an inherent quadratic overhead in the use of LWE. After a short introduction to the area, we will discuss recent work on making LWE and its applications truly efficient by exploiting extra algebraic structure. Namely, we will define the ring-LWE problem, and prove that it too enjoys very strong hardness guarantees. We will mention some recent cryptographic applications in this line of work.
Based on joint work with Vadim Lyubashevsky and Chris Peikert.
In this talk, we will discuss the following problem posed by Makoto Matsumoto and Akio Tamagawa concerning monodromic fullness of hyperbolic curves.
For a hyperbolic curve X over a number field, are the following three conditions equivalent?
(A) For any prime number l, X is quasi-l-monodromically full.
(B) There exists a prime number l such that X is l-monodromically full.
(C) X is l-monodromically full for all but finitely many prime numbers l.
The property of being (quasi-)monodromically full may be regarded as an analogue for hyperbolic curves of the property of not admitting complex multiplication for elliptic curves, and the above equivalence may be regarded as an analogue for hyperbolic curves of the following result concerning the Galois representation on the Tate module of an elliptic curve over a number field proven by Jean-Pierre Serre.
For an elliptic curve E over a number field, the following four conditions are equivalent:
(0) E does not admit complex multiplication.
(1) For any prime number l, the image of the l-adic Galois representation associated to E is open.
(2) There exists a prime number l such that the l-adic Galois representation associated to E is surjective.
(3) The l-adic Galois representation associated to E is surjective for all but finitely many prime numbers l.
In this talk, I will present some results concerning the above problem in the case where the given hyperbolic curve is of genus zero. In particular, I will give an example of a hyperbolic curve of type (0,4) over a number field which satisfies (C) but does not satisfy (A).
In english : The use of pairings in cryptology has allowed to implement powerful protocols like Identity Based Encryption in an efficient way. To date, the only cryptographically secure known pairings come from Abelian Varieties. Miller's algorithm allows to compute pairings efficiently on Jacobians of hyperelliptic curves. In a paper with David Lubicz, we described an algorithm using theta functions to compute the Weil and Tate pairing on any abelian variety.
Since theta coordinates are faster than Mumford coordinates for hyperelliptic of genus 2 curves, this algorithm is particularly interesting in this case. However for cryptographic applications of pairings, one can use faster pairings derived from the Tate pairing (optimal ate). In this talk, we will describe our pairing algorithm, and how we can adapt it to the case of the ate and optimal ate pairing.
Pirillo et Varricchio ont posé en 1994 la question suivante : existe-t-il une suite d'entiers bornée telle que deux blocs consécutifs de même longueur n'aient jamais la même somme ? Ce problème fait partie des problèmes d'évitabilité de motifs dans les mots infinis, le motif à éviter étant ici appelé carré additif. Il est encore ouvert à ce jour.
Nous considérons dans cet exposé le cas des cubes additifs, c'est à dire du motif formé non pas de deux mais de trois blocs consécutifs de même longueur et de même somme. Nous montrons au moyen d'une construction explicite qu'il est évitable sur un alphabet à 4 éléments. Nous nous demandons ensuite dans quelle mesure une construction similaire serait possible pour les carrés additifs (dans l'hypothèse où la réponse à la question de Pirillo et Varricchio serait positive).
Travail en collaboration avec J. Currie, L. Schaeffer et J. Shallit. http://arxiv.org/abs/1106.5204
Dans ce travail, en collaboration avec Jean-Marc Couveignes, nous nous intéressons aux corps des modules et de définition de certaines variétés. Plus précisément, on souhaite trouver des exemples de variétés qui ne sont pas définies sur leur corps des modules. Partant du fait que de telles obstructions à la descente existent dans la catégorie des revêtements de courbes, nous produisons d'autres exemples dans certaines catégories de surfaces puis dans la catégorie des courbes lisses.
Soient G un groupe fini et A un ensemble de générateurs de A. Le diamètre diam(Gamma(G,A)) du graphe de Cayley Gamma(G,A) est le l minimal tel que chaque élément de G peut être écrit comme un produit de longueur <=l d'éléments de A et A^{-1}. La question est : comment borner diam(G):= max_A diam(Gamma(G,A)) ?
Il a été conjecturé durant longtemps que le diamètre du groupe symétrique sur $n$ lettres est borné par une puissance de n, mais la meilleure borne connue était exponentielle en sqrt(n log n). Nous avons prouvé une borne quasi polynomiale :
diam(G) = exp(O(log n)^4 log log n) = exp((log log |G|)^O(1)).
Par des résultats standard, ceci implique la même borne pour tous les groupes de permutations transitifs.
Travail commun avec A. Seress.
Un résultat célèbre de Faltings peut être reformulé pour les courbes elliptiques comme suit : Soit K un corps de nombres, et soit E une courbe elliptique sur K. Soit S un ensemble d'idéaux premiers de l'anneau des entiers de K de densité un et de bonne réduction pour E. Alors la classe de K-isogénie de E est déterminée par la fonction qui à un idéal premier p dans S associe la taille #E (k_p) du groupe des points de E sur le corps résiduel.
Nous prouvons qu'il suffit de regarder les nombres premiers qui divisent la taille. Nous avons également remplacé E(k_p) par l'image du groupe de Mordell-Weil via la réduction modulo p, et résolu le problème analogue pour une large classe de variétés abéliennes. Il s'agit d'un travail en commun avec Chris Hall.