Thèse de doctorat : Mathématiques : Strasbourg 1 : 2007. / Titre provenant de l'écran-titre. Bibliogr. p. 99-100.

Notons A:=Fq[T] et k:=Fq(T). Soient φ un A-module de Drinfeld défini sur la clôture algébrique de k et h sa hauteur canonique. Soient K/k une extension finie et L/K une extension galoisienne infinie. Par analogie avec la terminologie utilisée par E. Bombieri et U. Zannier, on dit que L a la propriété (B,φ) s'il existe une constante strictement positive qui minore h sur L privé des points de torsion de φ. S. David et A. Pacheco ont montré que pour tout module de Drinfeld φ, la clôture abélienne de K a la propriété (B,φ). Dans cette thèse nous généralisons, dans le cadre des modules de Drinfeld à multiplications complexes, ce résultat.

L'étude de la distribution des points rationnels sur les variétés algébriques est un sujet classique de la géométrie diophantienne. Le programme proposé par V. Batyrev et Y. Manin dans des années 90 donne une prédiction sur l'ordre de croissance tandis que sa version ultérieure dûe à E. Peyre conjecture l'existence d'une distribution globale. Dans cette thèse nous nous proposons une étude de la distribution locale des points rationnels de hauteur bornée sur les variétés algébriques. Ceci envisage une description plus fine que celle globale en dénombrant les points le plus proche d'un point fixé. Nous nous plaçons sur le cadre récent du travail de D. McKinnon et M. Roth qui met en évidence que la géométrie de la variété gouverne l'approximation diophantienne sur elle et nous reprenons les résultats de S. Pagelot. L'ordre de croissance espéré et l'existence d'une mesure asymptotique sur certaines surfaces toriques sont démontrés, alors que démontrons-nous un résultat totalement différent pour une autre surface sur laquelle il n'y pas de mesure asymptotique et les meilleurs approximants génériques s'obtiennent sur des courbes rationnelles nodales. Ces deux phénomènes sont de nature radicalement différente au point de vu de l'approximation diophantienne. / The study of the distribution of rational points on algebraic varieties is a classic subject of Diophantine geometry. The program proposed by V. Batyrev and Y. Manin in the 1990s gives a prediction on the order of growth whereas its later version due to E. Peyre conjectures the existence of a global distribution. In this thesis we propose a study of the local distribution of rational points of bounded height on algebraic manifolds. This aims at giving a description finer than the global one by counting the points closest to a fixed point. We set ourselves on the recent framework of the work of D. McKinnon and M. Roth who prefers that the geometry of the variety governs the Diophantine approximation on it and we take up the results of S. Pagelot. The expected order of growth and the existence of an asymptotic measure on some toric surfaces are demonstrated, while we demonstrate a totally different result for another surface on which there is no asymptotic measure and the best generic approximates are obtained on nodal rational curves. These two phenomena are of a radically different nature from the point of view of the Diophantine approximation.

Le problème de Lehmer consiste à minorer la hauteur de Weil d'un nombre algébrique en fonction de son degré sur Q. Si la question originelle de Lehmer reste aujourd'hui sans réponse, la conjecture optimale correspondante a été démontrée à un epsilon près. Par ailleurs, ce problème admet plusieurs généralisations. D'une part, on peut formuler le même type de conjecture en remplaçant le corps des rationnels par une extension abélienne d'un corps de nombres. D'autre part, on peut généraliser ces énoncés en dimension supérieure. Il s'agit alors de minorer la hauteur normalisée d'un point ou d'une sous-variété d'un tore ; dans ce cas, on substitue au degré un invariant plus fin : l'indice d'obstruction. Il est ensuite naturel de chercher à combiner ces deux généralisations : c'est le problème de Lehmer relatif dans un tore.<br /><br />Dans cette thèse, nous considérons tout d'abord le problème de Lehmer relatif unidimensionnel. Nous donnons une minoration pour la hauteur d'un nombre algébrique en fonction de son degré sur une extension abélienne d'un corps de nombres. Il s'agit d'une amélioration d'un théorème d'Amoroso et Zannier, obtenue à l'aide d'une démonstration techniquement plus simple. De plus, nous explicitons la dépendance de la borne inférieure en le corps de base. Puis nous abordons le problème de Lehmer relatif en dimension supérieure et minorons la hauteur d'une hypersurface en fonction de son indice d'obstruction sur une extension abélienne de Q. Enfin, nous obtenons un résultat analogue pour un point, sous réserve que celui-ci satisfasse une hypothèse technique. Nous montrons ainsi les conjectures les plus fines à un epsilon près.

: La théorie géométrique des invariants constitue un domaine central de la géométrie algébrique d'aujourd'hui : développée par Mumford au début des années soixante, elle a conduit à des progrès considérables dans l'étude des variétés projectives, notamment par la construction d'espaces de modules. Dans les vingt dernières années des interactions entre la théorie géométrique des invariants et la géométrie arithmétique -- plus précisément la théorie des hauteurs et la géométrie d'Arakelov -- ont été étudiés par divers auteurs (Burnol, Bost, Zhang, Soulé, Gasbarri, Chen). Dans cette thèse nous nous proposons d'un côté d'étudier de manière systématique la théorie géométrique des invariants dans le cadre de la géométrique d'Arakelov ; de l'autre de montrer que ces résultats permettent une nouvelle approche géométrique (distincte aussi de la méthode des pentes développée par Bost) aux résultats d'approximation diophantienne, tels que le Théorème de Roth et ses généralisations par Lang, Wirsing et Vojta. / Geometric invariant theory is a central subject in nowadays' algebraic geometry : developed by Mumford in the early sixties, it enhanced the knowledge of projective varieties through the construction of moduli spaces. During the last twenty years, interactions between geometric invariant theory and arithmetic geometric --- more precisely, height theory and Arakelov geometry --- have been exploited by several authors (Burnol, Bost, Zhang, Soulé, Gasbarri, Chen). In this thesis we firstly study in a systematic way how geometric invariant theory fits in the framework of Arakelov geometry; then we show that these results give a new geometric approach to questions in diophantine approximation, proving Roth's Theorem and its recent generalizations by Lang, Wirsing and Vojta.

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)|$.

Cette thèse contient deux parties. Je décris une approche pour construire une réalisation physique d'un ordinateur quantique par Résonance Magnétique Nucléaire (RMN). Je propose un nouveau cadre pour la RMN dans les réalisations physiques d'un ordinateur quantique. Je construis une description de la RMN à partir de la mécanique quantique avec laquelle je peux construire les opérateurs élémentaires essentiels pour le calcul quantique. Je décris les expériences pour construire ces opérateurs. Je propose un algorithme quantique en temps polynomial pour résoudre des équations de Pell simultanées comme extension de l'algorithme de Hallgren pour des équations de Pell simples.

L'objet de cette thèse est l'étude de deux exemples d'action d'un groupe sur un espace homogène et de leur dynamique topologique. Chacune de ces actions est conjuguée à un flot sur une fibration sur un espace localement symétrique. Le premier chapitre est consacré à des généralités sur les espaces hyperboliques, leur produit et leur groupe d'isométries. Dans le second chapitre, nous étudions l'action du groupe unipotent supérieur sur le quotient du groupe projectif unimodulaire complexe $2\times2$ par un sous-groupe discret. Cette action est conjuguée à un flot des repères orthonormés directs de l'espace tangent d'une variété hyperbolique de dimension $3$. Nous caractérisons les orbites denses et les orbites fermées et obtenons ainsi une caractérisation dynamique de certaines catégories de groupes kleiniens (géométriquement finis, convexe-cocompacts, réseaux). Nous considérons, dans le troisième chapitre, le produit de deux groupes projectifs unimodulaires réels $2\times2$ et nous étudions l'action du produit des sous-groupes diagonaux sur les quotients de mesure finie. Lorsqu'un tel quotient est irréductible, une conjecture de Margulis affirme que les orbites sont alors denses ou fermées. Nous caractérisons les orbites fermées et nous exhibons certains points de la frontière de Furstenberg du bi-disque donnant lieu à des orbites denses. Dans le quatrième chapitre, nous relions, pour les réseaux de Hilbert, la conjecture précédente à l'approximation diophantienne des couples de réels par les éléments d'un corps réel quadratique.

Cette thèse se situe à l'interface de trois grands domaines : la combinatoire des mots, la théorie des automates et la théorie des nombres. Plus précisément, nous montrons comment des outils provenant de la combinatoire des mots et de la théorie des automates interviennent dans l'étude de problèmes arithmétiques concernant les séries formelles à coefficients dans un corps fini.Le point de départ de cette thèse est un célèbre théorème de Christol qui caractérise les séries de Laurent algébriques sur le corps F_q(T), l'entier q désignant une puissance d'un nombre premier p, en termes d'automates finis et dont l'énoncé est : " Une série de Laurent à coefficients dans le corps fini F_q est algébrique si et seulement si la suite de ses coefficients est engendrée par un p-automate fini ". Ce résultat, qui révèle dans un certain sens la simplicité de ces séries de Laurent, a donné naissance à des travaux importants parmi lesquels de nombreuses applications et généralisations.L'objet principal de cette thèse est, dans un premier temps, d'exploiter la simplicité de séries de Laurent algébriques à coefficients dans un corps fini afin d'obtenir des résultats diophantiens, puis d'essayer d'étendre cette étude à des fonctions transcendantes arithmétiquement intéressantes. Nous nous concentrons tout d'abord sur une classe de séries de Laurent algébriques particulières qui généralisent la fameuse cubique de Baum et Sweet. Le résultat principal obtenu pour ces dernières est une description explicite de leur développement en fraction continue, généralisant ainsi certains travaux de Mills et Robbins. Rappelons que le développement en fraction continue permet généralement d'obtenir des informations très précises sur l'approximation rationnelle ; les meilleures approximations étant obtenues directement à partir de la suite des quotients partiels. Malheureusement, il est souvent très difficile d'obtenir le développement en fraction continue d'une série de Laurent algébrique, que celle-ci soit donné par une équation algébrique ou par son développement en série de Laurent. La deuxième étude que nous présentons dans cette thèse fournit une information diophantienne à priori moins précise que la description du développement en fraction continue, mais qui a le mérite de concerner toutes les séries de Laurent algébriques (à coefficients dans un corps fini). L'idée principale est d'utiliser l'automaticité de la suite des coefficients de ces séries de Laurent afin d'obtenir une borne générale pour leur exposant d'irrationalité. Malgré la généralité de ce résultat, la borne obtenue n'est pas toujours satisfaisante. Dans certains cas, elle peut s'avérer plus mauvaise que celle provenant de l'inégalité de Mahler. Cependant, dans de nombreuses situations, il est possible d'utiliser notre approche pour fournir, au mieux, la valeur exacte de l'exposant d'irrationalité, sinon des encadrements très précis de ce dernier.Dans un dernier travail nous nous plaçons dans un cadre plus général que celui des séries de Laurent algébriques, à savoir celui des séries de Laurent dont la suite des coefficients a une " basse complexité ". Nous montrons que cet ensemble englobe quelques fonctions remarquables, comme les séries algébriques et l'inverse de l'analogue du nombre \pi dans le module de Carlitz. Il possède, par ailleurs, des propriétés de stabilité intéressantes : entre autres, il s'agit d'un espace vectoriel sur le corps des fractions rationnelles à coefficients dans un corps fini (ce qui, d'un point de vue arithmétique, fournit un critère d'indépendance linéaire), il est de plus laissé invariant par diverses opérations classiques comme le produit de Hadamard

Ce travail est constitué de deux parties indépendantes traitant chacune d'un problème issu de la théorie du contrôle des équations aux dérivées partielles. La première partie est consacrée à l'étude d'un feedback explicite et déjà connu, s'appliquant à des systèmes linéaires, réversibles en temps et éventuellement munis d'un opérateur de contrôle non-borné. On justifie le caractère bien posé du problème en boucle fermée via la théorie des semi-groupes puis on étudie le taux de décroissance des solutions du système régulé. La seconde partie concerne un problème d'observation pour la corde vibrante : on détermine comment choisir des instants d'observation pour que la position de la corde à ces instants permette de retrouver les conditions initiales tout en préservant une certaine régularité. La méthode, qui repose sur des résultats d'approximation diophantienne, est ensuite étendue à d'autres systèmes. En utilisant une méthode de dualité on démontre aussi un résultat de contrôlabilité exacte.