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.

Das Ziel dieser Arbeit ist die Berechnung der arithmetischen Volumina der Shimuravarietäten vom orthogonalen Typ und der natürlichen Höhen der speziellen Zykel auf diesen. Wir entwickeln, für den Fall guter Reduktion, eine allgemeine Theorie ganzzahliger Modelle von toroidalen Kompaktifizierungen der Shimuravarietäten vom Hodge Typ (sowie des Standardhauptfaserbündels darüber). Dies ermöglicht, unter Verwendung der Theorie der Borcherdsprodukte, das arithmetische Voluminen einer zu einem Gitter L der Diskriminante D assoziierten Shimuravarietät, bis auf log(p) Beiträge zu Primzahlen p mit p^2|4D, zu berechnen. Dies ist eine Verallgemeinerung einer Arbeit von Burgos, Bruinier und Kühn. Die Höhen der speziellen Zykel werden im Falle von Kodimension 1 bis auf log(p)-Beiträge mit p|2D berechnet, sowie unter leichten zusätzlichen Einschränkungen im Falle von Kodimension > 1. The resultierenden Grössen sind spezielle Ableitungswerte gewisser L-Reihen. Im Falle der speziellen Zykel stimmen diese mit speziellen Ableitungswerten gewisser normalisierter Eisensteinreihen überein (zusätzlich, bis auf Beiträge bei unendlich). Dies bestätigt Vermutungen von Bruinier-Kühn, Kudla und anderen. / The overall aim of this thesis is to compute arithmetic volumes of Shimura varieties of orthogonal type and natural heights of the special cycles on them. We develop a general theory of integral models of toroidal compactifications of Shimura varieties of Hodge type (and of its standard principal bundle) for the case of good reduction. This enables us, using the theory of Borcherds products, and generalizing work of Burgos, Bruinier and Kühn, to calculate the arithmetic volume of a Shimura variety associated with a lattice L of discriminant D, up to log(p)-contributions from primes p such that p^2|4D. The heights of the special cycles are calculated in the codimension 1 case up to log(p), p|2D, and with some additional restrictions in the codimension > 1 case. The values obtained are special derivatives of certain L-series. In the case of the special cycles they are equal to special derivatives of Fourier coefficients of certain normalized Eisenstein series (in addition, up to contributions from infinity) in accordance with conjectures of Bruinier-Kühn, Kudla, and others.

Cette thèse s'inscrit dans le cadre du programme de Langlands local p-adique. Soient L une extension finie de Q_p, \rho_L une représentation p-adique de dimension 2 du groupe de Galois Gal(\overline{Q_p}/L) de L, lorsque \rho_L provient d'une représentation \rho globale et modulaire (i.e. \rho apparaît dans la cohomologie étale des courbes de Shimura), on sait associer à \rho une représentation de Banach admissible de \GL_2(L), notée \widehat{\Pi}(\rho), en utilisant la théorie de la cohomologie étale complétée d'Emerton. Localement, lorsque \rho_L est cristalline (et assez générique), d'après Breuil, on sait associer à \rho_L une représentation localement analytique de \GL_2(L), notée \Pi(\rho_L). Dans cette thèse, on montre divers résultats sur la compatibilité entre les représentations \widehat{\Pi}(\rho) et \Pi(\rho_L), qui s'appelle la compatibilité local-global, dans la cas des courbes de Shimura unitaires. Par la théorie des représentations localement analytiques de \GL_2(L), le problème de compatibilité local-global se ramène à l'étude des variétés de Hecke X construites à partir du H^1-complété des courbes de Shimura unitaires. On montre des résultats sur la compatibilité local-global dans le cas non-critique en utilisant la théorie de la triangulation globale. On étudie ainsi les formes modulaires p-adiques sur les courbes de Shimura unitaires, à partir desquelles on peut construire des sous-espaces rigides de X à la manière de Coleman-Mazur. On montre l'existence des formes compagnons surconvergentes sur les courbes de Shimura unitaires en utilisant les théorèmes de comparaison p-adique, d'où on déduit des résultats sur la compatibilité local-global dans le cas critique. / The subject of this thesis is in the p-adic Langlands programme. Let L be a finite extension of \Q_p, \rho_L a 2-dimensional p-adic representation of the Galois group \Gal(\overline{\Q_p}/L) of L, if \rho_L is the restriction of a global modular Galois representation \rho (i.e. \rho appears in the étale cohomology of Shimura curves), one can associate to \rho an admissible Banach representation \widehat{\Pi}(\rho) of \GL_2(L) by using Emerton's completed cohomology theory. Locally, if \rho_L is crystalline (and sufficiently generic), following Breuil, one can associate to \rho_L a locally analytic representation \Pi(\rho_L) of \GL_2(L). In this thesis, we prove results on the compatibility of \widehat{\Pi}(\rho) and \Pi(\rho_L), called local-global compatibility, in the unitary Shimura curves case. By locally analytic representations theory (for \GL_2(L)), the problem of local-global compatibility can be reduced to the study of eigenvarieties X constructed from the completed H^1 of unitary Shimura curves. We prove results on local-global compatibility in non-critical case by using global triangulation theory. We also study the p-adic modular forms over unitary Shimura curves, from which we construct some closed rigid subspaces of X by Coleman-Mazur's method. We prove the existence of overconvergent companion forms (over unitary Shimura curves) by using p-adic comparison theorems, from which we deduce some results on local-global compatibility in critical case.