Cette thèse en théorie algorithmique des nombres présente un nouvel algorithme probabiliste pour résoudre des équations quadratiques sur Z ou Q en dimension 5 sans utiliser de factorisation. Il est d'une complexité nettement meilleure que les algorithmes existants pour résoudre ce genre d'équations et repose sur deux algorithmes : celui de Simon et celui de Pollard et Schnorr. Après quelques rappels sur la théorie des formes quadratiques, on explique comment fonctionne cet algorithme. La suite consiste en l'analyse détaillée de cet algorithme pour laquelle on utilisera une version effective du théorème de densité de Tchebotarev.

Dans cette thèse, on étudie les représentations 2-dimensionnelles continues du groupe de Galois absolu d'une clôture algébrique fixée de Q sur les corps finis qui sont modulaires et leurs images. Ce manuscrit se compose de deux parties.Dans la première partie, on étudie un problème local-global pour les courbes elliptiques sur les corps de nombres. Soit E une courbe elliptique sur un corps de nombres K, et soit l un nombre premier. Si E admet une l-isogénie localement sur un ensemble de nombres premiers de densité 1 alors est-ce que E admet une l-isogénie sur K ? L'étude de la repréesentation galoisienne associéee à la l-torsion de E est l'ingrédient essentiel utilisé pour résoudre ce problème. On caractérise complètement les cas où le principe local-global n'est pas vérifié, et on obtient une borne supérieure pour les valeurs possibles de l pour lesquelles ce cas peut se produire.La deuxième partie a un but algorithmique : donner un algorithme pour calculer les images des représentations galoisiennes 2-dimensionnelles sur les corps finis attachées aux formes modulaires. L'un des résultats principaux est que l'algorithme n'utilise que des opérateurs de Hecke jusqu'à la borne de Sturm au niveau donné n dans presque tous les cas. En outre, presque tous les calculs sont effectués en caractéristique positive. On étudie la description locale de la représentation aux nombres premiers divisant le niveau et la caractéristique. En particulier, on obtient une caractérisation précise des formes propres dans l'espace des formes anciennes en caractéristique positive.On étudie aussi le conducteur de la tordue d'une représentation par un caractère et les coefficients de la forme de niveau et poids minimaux associée. L'algorithme est conçu à partir des résultats de Dickson, Khare-Wintenberger et Faber sur la classification, à conjugaison près, des sous-groupes finis de $\PGL_2(\overline{\F}_\ell)$. On caractérise chaque cas en donnant une description et des algorithmes pour le vérifier. En particulier, on donne une nouvelle approche pour les représentations irréductibles avec image projective isomorphe soit au groupe symétrique sur 4 éléments ou au groupe alterné sur 4 ou 5 éléments.

No description available.

Cette thèse se concentre sur l'étude de quelques propriétés arithmétiques de certaines variétés algébriques qui sont ''les plus simples'' en un sens géométrique et qui sont définies sur des corps de type géométrique. Elle se compose de trois chapitres. Dans le premier chapitre, indépendant des deux autres, on s'intéresse à la propriété d'approximation faible pour une variété projective lisse rationnellement connexe X définie sur le corps de fonctions K=k(C) d'une courbe algébrique C sur un corps k. Supposons que X possède un K-point rationnel. En utilisant des méthodes géométriques, on démontre que X(K) est Zariski dense dans X si k est un corps fertile, et que l'approximation faible en un certain ensemble de places de bonne réduction vaut pour X sous des hypothèses supplémentaires convenables. Lorsque k est un corps fini, on obtient l'approximation faible en une place quelconque de bonne réduction pour une surface cubique lisse sur K ainsi qu'un résultat sur l'approximation faible d'ordre zéro pour des hypersurfaces cubiques de dimension supérieure sur K.Les deux autres chapitres forment la seconde partie de la thèse, où on travaille sur le corps des fractions K d'un anneau intègre local R, hensélien, excellent de dimension 2 dont le corps résiduel k est souvent supposé fini et où on emploie des outils plus algébriques. On étudie d'abord la ramification et la cyclicité des algèbres à division sur un tel corps K. On démontre en particulier que toute classe de Brauer d'ordre n premier à la caractéristique résiduelle sur K est d'indice divisant n^2 et que la cyclicité d'une classe de Brauer d'ordre premier peut être testée localement sur les corps complétés par rapport aux valuations discrètes de K. Ces résultats sont appliqués dans le dernier chapitre pour étudier l'arithmétique des formes quadratiques sur K. On montre que toute forme quadratique de rang \ge 9 sur K possède un zéro non trivial. Si K est le corps des fractions d'un anneau de séries formelles A[[t]] sur un anneau de valuation discrète complet A, on a prouvé le principe local-global pour toute forme quadratique de rang \ge 5 sur K. Pour K général on a établi le principe local-global pour les formes de rang 5. Le cas des formes de rang 6,7 ou 8 est ouvert.

Dans cette thèse, on étudie les représentations 2-dimensionnelles continues du groupe de Galois absolu d'une clôture algébrique fixée de Q sur les corps finis qui sont modulaires et leurs images. Ce manuscrit se compose de deux parties.Dans la première partie, on étudie un problème local-global pour les courbes elliptiques sur les corps de nombres. Soit E une courbe elliptique sur un corps de nombres K, et soit l un nombre premier. Si E admet une l-isogénie localement sur un ensemble de nombres premiers de densité 1 alors est-ce que E admet une l-isogénie sur K ? L'étude de la repréesentation galoisienne associéee à la l-torsion de E est l'ingrédient essentiel utilisé pour résoudre ce problème. On caractérise complètement les cas où le principe local-global n'est pas vérifié, et on obtient une borne supérieure pour les valeurs possibles de l pour lesquelles ce cas peut se produire.La deuxième partie a un but algorithmique : donner un algorithme pour calculer les images des représentations galoisiennes 2-dimensionnelles sur les corps finis attachées aux formes modulaires. L'un des résultats principaux est que l'algorithme n'utilise que des opérateurs de Hecke jusqu'à la borne de Sturm au niveau donné n dans presque tous les cas. En outre, presque tous les calculs sont effectués en caractéristique positive. On étudie la description locale de la représentation aux nombres premiers divisant le niveau et la caractéristique. En particulier, on obtient une caractérisation précise des formes propres dans l'espace des formes anciennes en caractéristique positive.On étudie aussi le conducteur de la tordue d'une représentation par un caractère et les coefficients de la forme de niveau et poids minimaux associée. L'algorithme est conçu à partir des résultats de Dickson, Khare-Wintenberger et Faber sur la classification, à conjugaison près, des sous-groupes finis de $\PGL_2(\overline{\F}_\ell)$. On caractérise chaque cas en donnant une description et des algorithmes pour le vérifier. En particulier, on donne une nouvelle approche pour les représentations irréductibles avec image projective isomorphe soit au groupe symétrique sur 4 éléments ou au groupe alterné sur 4 ou 5 éléments. / In this thesis we investigate $2$-dimensional, continuous, odd, residual Galois representations and their images. This manuscript consists of two parts.In the first part of this thesis we analyse a local-global problem for elliptic curves over number fields. Let $E$ be an elliptic curve over a number field $K$, and let $\ell$ be a prime number. If $E$ admits an $\ell$-isogeny locally at a set of primes with density one then does $E$ admit an $\ell$-isogeny over $K$? The study of the Galois representation associated to the $\ell$-torsion subgroup of $E$ is the crucial ingredient used to solve the problem. We characterize completely the cases where the local-global principle fails, obtaining an upper bound for the possible values of $\ell$ for which this can happen.In the second part of this thesis, we outline an algorithm for computing the image of a residual modular $2$-dimensional semi-simple Galois representation. This algorithm determines the image as a finite subgroup of $\GL_2(\overline{\F}_\ell)$, up to conjugation, as well as certain local properties of the representation and tabulate the result in a database. In this part of the thesis we show that, in almost all cases, in order to compute the image of such a representation it is sufficient to know the images of the Hecke operators up to the Sturm bound at the given level $n$. In addition, almost all the computations are performed in positive characteristic.In order to obtain such an algorithm, we study the local description of the representation at primes dividing the level and the characteristic: this leads to a complete description of the eigenforms in the old-space. Moreover, we investigate the conductor of the twist of a representation by characters and the coefficients of the form of minimal level and weight associated to it in order to optimize the computation of the projective image.The algorithm is designed using results of Dickson, Khare-Wintenberger and Faber on the classification, up to conjugation, of the finite subgroups of $\PGL_2(\overline{\F}_\ell)$. We characterize each possible case giving a precise description and algorithms to deal with it. In particular, we give a new approach and a construction to deal with irreducible representations with projective image isomorphic to either the symmetric group on $4$ elements or the alternating group on $4$ or $5$ elements.

Cette thèse se concentre sur l'étude de quelques propriétés arithmétiques de certaines variétés algébriques qui sont ``les plus simples'' en un sens géométrique et qui sont définies sur des corps de type géométrique. Elle se compose de trois chapitres. Dans le premier chapitre, indépendant des deux autres, on s'intéresse à la propriété d'approximation faible pour une variété projective lisse rationnellement connexe X définie sur le corps de fonctions K=k(C) d'une courbe algébrique C sur un corps k. Supposons que X possède un K-point rationnel. En utilisant des méthodes géométriques, on démontre que X(K) est Zariski dense dans X si k est un corps fertile, et que l'approximation faible en un certain ensemble de places de bonne réduction vaut pour X sous des hypothèses supplémentaires convenables. Lorsque k est un corps fini, on obtient l'approximation faible en une place quelconque de bonne réduction pour une surface cubique lisse sur K ainsi qu'un résultat sur l'approximation faible d'ordre zéro pour des hypersurfaces cubiques de dimension supérieure sur K.Les deux autres chapitres forment la seconde partie de la thèse, où on travaille sur le corps des fractions K d'un anneau intègre local R, hensélien, excellent de dimension 2 dont le corps résiduel k est souvent supposé fini et où on emploie des outils plus algébriques. On étudie d'abord la ramification et la cyclicité des algèbres à division sur un tel corps K. On démontre en particulier que toute classe de Brauer d'ordre n premier à la caractéristique résiduelle sur K est d'indice divisant n^2 et que la cyclicité d'une classe de Brauer d'ordre premier peut être testée localement sur les corps complétés par rapport aux valuations discrètes de K. Ces résultats sont appliqués dans le dernier chapitre pour étudier l'arithmétique des formes quadratiques sur K. On montre que toute forme quadratique de rang \ge 9 sur K possède un zéro non trivial. Si K est le corps des fractions d'un anneau de séries formelles A[[t]] sur un anneau de valuation discrète complet A, on a prouvé le principe local-global pour toute forme quadratique de rang \ge 5 sur K. Pour K général on a établi le principe local-global pour les formes de rang 5. Le cas des formes de rang 6,7 ou 8 est ouvert. / This thesis is concerned with the study of some arithmetic properties of certain algebraic varieties which are ``simplest'' in some geometric sense and which are defined over fields of geometric type. It consists of three chapters. In the first chapter, which is independent of the other two, we consider the weak approximation property for a smooth projective rationally connecte d variety X defined over the function field K=k(C) of an algebraic curve C over a field k. Suppose that X admits a K-rational point. Using geometric methods we prove that X(K) is Zariski dense in X if k is a large field, and that under suitable hypotheses weak approximation with respect to a set of places of good reduction holds for X. When k is a finite field, we obtain weak approximation at any given place of good reduction for a smooth cubic surface over K as well as a zero-th order weak approximation result for higher dimensional cubic hypersurfaces over K.The second part of the thesis consists of the last two chapters, where we work over the fraction field K of a 2-dimensional, excellent, henselian local domain R whose residue field k is often assumed to be finite, and where we use more algebraic tools. We first study the ramification and the cyclicity of division algebras over such a field K. We show in particular that every Brauer class over K of order n, which is prime to the residue characteristic, has index dividing n^2, and that the cyclicity of a Brauer class of prime order can be tested locally over the completions of K with respect to discrete valuations. These results are used in the last chapter to study the arithmetic of quadratic forms over K. We prove that every quadratic form of rank \ge 9 over K has a nontrivial zero. When K is the fraction field of a power series ring A[[t]] over a complete discrete valuation ring A, we prove the local-global principle for quadratic forms of rank \ge 5 over K. For general K we prove the local-global principle for quadratic forms of rank 5. The local-global principle for quadratic forms of rank 6, 7 or 8 is still open in the general case.