No description available.

Cette thèse est consacrée à l'étude des représentations automorphes algébriques des groupes linéaires découvertes par Chenevier-Renard. On s'intéresse plus particulièrement à leurs paramètres de Satake. Pour cela, nous utilisons la théorie d'Arthur afin de faire apparaître ces représentations par le biais de représentations automorphes discrètes des groupes spéciaux orthogonaux de réseaux bien choisis. Ensuite, on détermine des propriétés d'opérateurs de Hecke agissant sur ces mêmes réseaux, ce qui nous donne de nombreuses informations sur ces paramètres de Satake. On arrive notamment à déterminer la trace dans la représentation standard de nombreux paramètres de Satake des représentations algébriques évoquées, dont les poids peuvent être arbitrairement grands. Ces résultats nous permettent aussi de déterminer de nombreux opérateurs de Hecke, associés aux voisinage de Kneser, vus comme endomorphismes agissant sur les classes d'isomorphisme des réseaux pairs de déterminant 2 en dimension 23 ou 25. / In this these we study the different algebraic automorphic representations discovered by Chenevier-Renard. We focus more particularly on their Satake parameters. To do so, we use Arthur's theory, which enables us to see these representations through discrete automorphic representations for the special orthogonal group of well chosen lattices. Afterwards, we can compute some properties of Hecke operators acting on these lattices. This gives us a lot of information on these Satake parameters. In particular, we can determine the trace in the standard representation for many of these algebraic representations, which weight can be arbitrarily high. These results also enable us to compute many Hecke operators, connected to the notion of neighbourhood developed by Kneser, seen as linear operators acting on the classes of isomorphism of even lattices with determinant 2 in dimension 23 or 25.

L'étude du nombre de points rationnels d'une courbe définie sur un corps fini se divise naturellement en deux cas : lorsque le genre est petit (typiquement g<=50), et lorsqu'il tend vers l'infini. Nous consacrons une partie de cette thèse à chacun de ces cas. Dans la première partie de notre étude nous expliquons comment calculer l'équation de n'importe quel revêtement abélien d'une courbe définie sur un corps fini. Nous utilisons pour cela la théorie explicite du corps de classe fournie par les extensions de Kummer et d'Artin-Schreier-Witt. Nous détaillons également un algorithme pour la recherche de bonnes courbes, dont l'implémentation fournit de nouveaux records de nombre de points sur les corps finis d'ordres 2 et 3. Nous étudions dans la seconde partie une formule de trace d'opérateurs de Hecke sur des formes modulaires quaternioniques, et montrons que les courbes de Shimura associées forment naturellement des suites récursives de courbes asymptotiquement optimales sur une extension quadratique du corps de base. Nous prouvons également qu'alors la contribution essentielle en points rationnels est fournie par les points supersinguliers. / The study of the number of rational points of a curve defined over a finite field naturally falls into two cases: when the genus is small (typically g<=50), and when it tends to infinity. We devote one part of this thesis to each of these cases. In the first part of our study, we explain how to compute the equation of any abelian covering of a curve defined over a finite field. For this we use explicit class field theory provided by Kummer and Artin-Schreier-Witt extensions. We also detail an algorithm for the search of good curves, whose implementation provides new records of number of points over the finite fields of order 2 and 3. In the second part, we study a trace formula of Hecke operators on quaternionic modular forms, and we show that the associated Shimura curves of the form naturally form recursive sequences of asymptotically optimal curves over a quadratic extension of the base field. Moreover, we then prove that the essential contribution to the rational points is provided by supersingular points.