Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Cette thèse a pour objectif d'étudier les applications cryptographiques des courbes elliptiques sur l'anneau Fp["], où Fp représente un corps fini d'ordre premier p et où " vérifie"2 = 0. Après avoir décrit ces courbes définies sur un anneau, nous en étudions l'aspect algorithmique en proposant des solutions concrètes d'implémentations des éléments et de la loi de groupe. Enfin, nous illustrons leur intérêt cryptographique, en proposant : une attaque du problème du logarithme discret elliptique (sur un corps fini) utilisant ces courbes ; un cryptosystème de type ElGamal sur ces courbes, dont nous étudions les propiétés de sécurité.

On démontre dans le cas de caractéristique positive un lemme fondamental conjecturé par Jacquet et Mao pour le groupe métaplectique. On utilise les arguments de Bao Châu Ngô pour le lemme fondamental de Jacquet-Ye (B.C. Ngo, 1999) et une étude géométrique de l'extension métaplectique / We prove in the case of positive characteristic a fundamental lemma conjectured by Jacquet and Mao for the metaplectic group. We use the arguments of Bao Châu Ngô for Jacquet-Mao?s fundamental lemma (B.C. Ngo, 1999) and a geometric study of the metaplectic group

Les minorations de combinaison linéaire, à coefficients entiers, de logarithmes de nombres algébriques constituent un outil important dans la résolution effective de certaines classes d'équations diophantiennes. Le cas de deux logarithmes est à cet égard particulièrement utile. Nous utilisons ici, pour l'obtention de ces minorations, la méthode dite de Schneider avec multiplicité. La démonstration repose sur l'utilisation des déterminants d'interpolation et d'un lemme de zéros approprié à ce cadre. Le lemme de zéros exploité ici, dont la preuve reprend la construction originelle de D.W. Masser, s'avère dans notre cas plus efficace que les résultats généraux précédemment employés. Nous utilisons ensuite une méthode standard pour encadrer un déterminant non nul, afin d'obtenir une inégalité fondamentale faisant intervenir de nombreux paramètres arbitraires. Nous déduisons de cette dernière une liste de minorations totalement explicites de formes linéaires de logarithmes.

On démontre dans le cas de caractéristique positive un lemme fondamental conjecturé par Jacquet et Mao pour le groupe métaplectique. On utilise les arguments de B.C. Ngo pour le lemme fondamental de Jacquet-Ye (B.C. Ngo, 1999) [[6]] et une étude géométrique de lʼextension métaplectique.

Cette thèse aborde des sujets d'approximation diophantienne et de transcendance liés aux fonctions exponentielles. Il est tout d'abord établit des liens entre les coefficients d'approximants de Hermite-Padé, ceux de polynômes d'interpolation de Hermite et certains cofacteurs d'un déterminant de Vandermonde généralisé. Nous utilisons ensuite la notion de hauteur d'une matrice (que nous majorons grâce aux liens précédemment fournis) afin de donner une nouvelle démonstration de la transcendance de $e$. Ces résultats nous permettent finalement d'obtenir de nouveaux énoncés d'approximation diophantienne tels que la minoration de la distance de l'exponentielle d'un nombre algébrique (de hauteur absolue logarithmique de Weil bornée) à un autre nombre algébrique (lui aussi de hauteur absolue logarithmique de Weil bornée) en fonction de ces mêmes bornes. Il est ensuite donné, pour différentes valeurs de nombres rationnels $a$, quelques estimations remarquables telles que le minimum, sur l'ensemble des entiers non nuls $b$ et $c$, de la distance $|e^(b)-a^(c)|$.

La thèse est consacrée aux estimations de multiplicité. Ce type de résultats est utilisé en théorie de la transcendance. A partir des travaux de A. B. Shidlovskii, W.D.Brownawell et D.W.Masser il sont régulièrement utilisés dans les preuves de transcendance et surtout d'indépendance algébrique. Par exemple, la démonstration du lemme de multiplicité est un élément très important de la preuve par Yu. Nesterenko du résultat sur l'indépendance algébrique des valeurs des fonctions de Ramanujan. Un autre résultat de ce type est une preuve par K.Nishioka d'une conjecture de K.Mahler. Ce lemme de multiplicité a permis de démontrer beaucoup de résultats concernant la transcendance des séries liées aux suites récurrentes et des suites engendrées par des automates finis. Le but de ce mémoire est l'étude approfondie, dans un cadre général, des lemmes de multiplicité conduisant à des améliorations de résultats d'indépendance algébrique connus. Le théorème principal de ce travail réduit la preuve des estimations de multiplicité à l'étude des idéaux stables sous une transformation algébrique. En particulier, ce théorème permet d'améliorer un peu le résultat de Yu.Nesterenko concernant les solutions de système d'équations différentielles. Dans le même temps ce théorème donne, sous une condition concernant des variétés stables, l'estimation avec l'exposant le meilleur possible dans le cas de solutions d'équations fonctionnelles. Ce dernier résultat conduit à l'étude des variétés irréductibles stables sous une transformation rationnelle, ceci semble d'être un sujet intéressant en soi.

Nous allons exposer dans ce mémoire divers résultats sur l’universalité en analyse complexe. Nous énoncerons d’abord des résultats généraux sur les séries universelles, puis sur un type d’universalité dû à Fournier et Nestoridis qui établit un lien nouveau entre l’universalité et la non-normalité d’une famille de fonctions. Par la suite, nous introduirons un type différent de séries universelles obtenues en réarrangeant les termes de séries arbitraires. Nous prouverons dans ce mémoire la généricité algébrique de ce type de séries universelles pour tout espace de Banach et la généricité topologique dans les espaces de dimension finie. Aussi, nous démontrerons que pour toute série universelle par réarrangement il existe un réarrangement de ses termes pour lequel cette série devient universelle au sens usuel. / This Master’s thesis mainly concerns universality in complex analysis. First, we shall summarize general results on universal series and on a new type of universality introduced by Fournier and Nestoridis. Then, we shall introduce a new kind of universal series which are obtained by rearranging terms of arbitrary series. We will prove the algebraic genericity of these series for any Banach space and the topological genericity for finite dimensional spaces. Also, we will demonstrate that for any universal series in this sense, there exists a rearrangement of its terms for which it becomes universal in the usual sense.

Dans la première partiede cette thèse, nous étudions la monodromie du problème de Cauchy ramifié pour un opérateur à caractéristiques multiples de multiplicité constante. Plus précisément, nous donnons une estimation du spectre de la monodromie. Notre méthode est basée sur le calcul de la monodromie de certains opérateurs intégro-différentiels. Dans la seconde partie, on étudie le problème de Cauchy pour certains opérateurs. Nous écrivons la solution sous forme intégrale puis nous étudions le prolongement analytique decette intégrale.

Cette thèse se compose de deux parties, quatre chapitres. Dans le Chapitre I, on établit un formalisme d'endoscopie du groupe métaplectique Mp(2n). On prouve le transfert d'intégrales orbitales et le lemme fondamental. Dans le Chapitre II on énonce et prouve le lemme fondamental pondéré à la Arthur pour le groupe métaplectique sous l'hypothèse du lemme fondamental pondéré non standard. Dans le Chapitre III, on se propose d'étudier la formule des traces d'Arthur-Selberg pour une classe assez générale de revêtements des groupes réductifs connexes, y compris Mp(2n). On établit la formule des traces grossière et le développement fin géométrique pour ces revêtements. Dans le Chapitre IV, on aborde le côté spectral de la formule des traces en étudiant des résultats de l'analyse harmonique locale. En particulier, on établit la formule des traces locale invariante pour les revêtements.