Cette thèse est consacrée à deux aspects du programme de Langlands local p-adique et de la compatibilité local-global p-adique.Dans la première partie, j'étudie la question de savoir comment extraire, d'un certain sous-espace Hecke-isotypique de formes automorphes modulo p, suffisament d'invariants d'une représentation galoisienne. Soient p un nombre premier, n>2 un entier, et F un corps à multiplication complexe dans lequel p est complètement décomposé. Supposons qu'une représentation galoisienne automorphe continue r-:Gal(Q-/F)→GLn(F-p) est triangulaire supérieure et suffisament générique ( dans un certain sens ) en une place w au-dessus de p. On montre, en admettant un résultat d'élimination de poids de Serre prouvé dans [LLMPQ], que la classe d'isomorphisme de r-|_Gal(Q-p/Fw) est déterminée par l'action de GLn(Fw) sur un espace de formes automorphes modulo p découpé par l'idéal maximal associée à r- dans une algèbre de Hecke. En particulier, on montre que la partie sauvagement ramifiée de r-|_Gal(Q-p/Fw) est déterminée par l'action de sommes de Jacobi ( vus comme éléments de Fp[GLn(Fp)] ) sur cet espace.La deuxième partie de ma thèse vise à établir une relation entre les résultats précédents de [Schr11], [Bre17] and [BD18]. Soient E une extension finie de Qp suffisamment grande et ρp: Gal(Q-p/Qp)→GL3(E) une représentation p-adique semi-stable telle que la représentation de Weil-Deligne WD(ρp) associée a un opérateur de monodromie N de rang 2 et que la filtration de Hodge associée est non-critique. On sait que la filtration de Hodge de ρp dépend de trois invariants dans E. On construit une famille de représentations localement analytiques Σ^min(λ, L1, L2, L3) qui dépend de trois invariants L1, L2, L3 dans E et telle que chaque représentation contient la représentation localement algébrique Algotimes Steinberg déterminée par ρp. Quand ρp provient, pour un groupe unitaire convenable G/Q, d'une représentation automorphe π de G(A_Q) avec un niveau fixé U^p premier avec p, on montre ( sous quelques hypothèses techniques ) qu'il existe une unique représentation localement analytique dans la famille ci-dessus qui est une sous-représentation du sous-espace Hecke-isotypique associé dans la cohomologie complétée de niveau U^p. On rappelle que [Bre17] a construit une famille de représentations localement analytiques qui dépend de quatre invariants (voir (4) dans [Bre17]) avec une propriété similaire. On donne un critère purement de théorie de représentation: si une représentation Π dans la famille de Breuil se plonge dans un certain sous-espace Hecke-isotypique de la cohomologie complétée, alors elle se plonge nécessairement dans une Σ^min(λ, L1, L2, L3) pour certains choix de L1, L2, L3 dans E qui sont déterminés explicitement par Π. De plus, certains sous-quotients naturels de Σ^min(λ, L1, L2, L3) permettent de construite un complexe de représentations localement analytiques qui "réalise" l'objet dérivé abstrait Σ(λ, underline{L}) defini dans [Schr11]. / This thesis is devoted to two aspects of the p-adic local Langlands program and p-adic local-global compatibility.In the first part, I study the problem of how to capture enough invariants of a local Galois representation from a certain Hecke-isotypic subspace of mod p automorphic forms. Let p be a prime number, n>2 an integer, and F a CM field in which p splits completely. Assume that a continuous automorphic Galois representation r-:Gal(Q-/F)→GLn(F-p) is upper-triangular and satisfies certain genericity conditions at a place w above p, and that every subquotient of r-|_Gal(Q-p/Fw) of dimension >2 is Fontaine-Laffaille generic. We show that the isomorphism class of r-|_Gal(Q-p/Fw) is determined by GLn(Fw)-action on a space of mod p algebraic automorphic forms cut out by the maximal ideal of a Hecke algebra associated to r-, assuming a weight elimination result which is now a theorem to appear in [LLMPQ]. In particular, we show that the wildly ramified part of r-|_Gal(Q-p/Fw) is determined by the action of Jacobi sum operators ( seen as elements of Fp[GLn(Fp)] ) on this space.The second part of my thesis aims at clarifying the relation between previous results in [Schr11], [Bre17] and [BD18]. Let E be a sufficiently large finite extension of Qp and ρp be a p-adic semi-stable representation Gal(Q-p/Qp)→GL3(E) such that the Weil-Deligne representation WD(ρp) associated with it has rank two monodromy operator N and the Hodge filtration associated with it is non-critical. We know that the Hodge filtration of ρp depends on three invariants in E. We construct a family of locally analytic representations Σ^min(λ, L1, L2, L3) of GL3(Qp) depending on three invariants L1, L2, L3 in E with each of the representation containing the locally algebraic representation Algotimes Steinberg determined by ρp. When ρp comes from an automorphic representation π of G(A_Q) with a fixed level U^p prime to p for a suitable unitary group G/Q, we show ( under some technical assumption ) that there is a unique locally analytic representation in the above family that occurs as a subrepresentation of the associated Hecke-isotypic subspace in the completed cohomology with level U^p. We recall that [Bre17] constructed a family of locally analytic representations depending on four invariants ( cf. (4) in [Bre17] ) with a similar property. We give a purely representation theoretic criterion: if a representation Π in Breuil's family embeds into a certain Hecke-isotypic subspace of completed cohomology, then it must equally embed into Σ^min(λ, L1, L2, L3) for certain choices of L1, L2, L3 in E determined explicitly by Π. Moreover, certain natural subquotients of Σ^min(λ, L1, L2, L3) give a true complex of locally analytic representations that realizes the derived object Σ(λ, underline{L}) [Schr11]. Consequently, the family of locally analytic representations Σ^min(λ, L1, L2, L3) give a relation between the higher L-invariants studied in [Bre17] as well as [BD18] and the p-adic dilogarithm function which appears in the construction of Σ^min(λ, L1, L2, L3) in [Schr11].

Dans cette thèse on s'intéresse à la correspondance de Howe géométrique pour les paires duales réductives de type II (G = GL_n, H = GL_m) sur un corps local non-Archimédien F de caractéristique différente de 2, ainsi qu'à la fonctorialité de Langlands géométrique au niveau Iwahori. Notons S la représentation de Weil de G(F) × H(F) et I_H, I_G des sous groupes d'Iwahori de H(F) et G(F). On considère la version géométrique de la représentation S^(I_G×I_H) des algèbres de Hecke-Iwahori H_H et H_G sur laquelle agissent les foncteurs de Hecke. On obtient des résultats partiels sur la description géométrique de la catégorie correspondante. Nous proposons une conjecture décrivant le groupe de Grothendieck de cette catégorie comme module sur les algèbres de Hecke affines étendues de G et de H. Notre description est en termes d'un champ attaché aux groupes de Langlands duaux dans le style de l'isomorphisme de Kazhdan-Lusztig. On démontre cette conjecture pour toutes les paires (GL_1, GL_m). Plus généralement, étant donné deux groupes réductifs connexes G et H et un morphisme \check{G}× SL_2 \to \check{H} de groupes de Langlands duaux, on suggère un bimodule sur les algèbres de Hecke affines étendues de G et de H qui pourrait conjecturalement réaliser la fonctorialité de Langlands géométrique locale au niveau Iwahori.

In dieser Dissertationsschrift soll erkl{\"a}rt werden, wie auf der Grundlage von einfachen Strata, wie sie in einer gemeinsamen Arbeit mit Broussous \cite{BG} betrachtet wurden, einfache Charaktere f{\"u}r lokale einfache Algebren konstruiert werden k{\"o}nnen, wobei die Konstruktion den Vorbildern von Bushnell und Kutzko im zerfallenden Fall \cite{BK1} und von Zink \cite{Z7} im Falle eines Schiefk{\"o}rpers folgt. Der Begriff des einfachen Charakters geht auf die Arbeit \cite{BK1} zur{\"u}ck und bezeichnet eine ausgezeichnete Auswahl von Heisenbergcharakteren, die zu einem stabilen Darstellungsfilter geh{\"o}ren, der gem{\"a}{ss} \cite{Z2}(Hauptsatz 1.4) einem Darstellungsfilter zugeordnet wird, der zu einer absteigenden Normalreihe $$1+\R\supset1+\R^2\supset\ldots$$ geh{\"o}rt, wobei $\R$ das Jacobsonradikal einer erblichen Ordnung bezeichnet. Wir werden hier nur von Hauptordnungen ausgehen, d.h. von dem Fall, da{ss} $\R$ und seine Potenzen gebrochene Hauptideale sind. Diese Vorgehensweise und auch die besondere Auswahl der Heisenbergcharaktere in Form von einfachen Charakteren, wird durch die Konstruktion im Falle eines Schiefk{\"o}rpers \cite{Z7} und durch den abstrakten Matchingsatz \cite{BDKV} gerechtfertigt. Im Falle eines lokalen zentralen Schiefk{\"o}rpers ist n{\"a}mlich der Bewertungsring die einzige erbliche Ordnung und die einfachen Charaktere sind alle Heisenbergcharaktere die zu einem stabilen Darstellungsfilter geh{\"o}ren, der gem{\"a}{ss} \cite{Z2}(Hauptsatz 1.4) einem Darstellungsfilter, der zur absteigenden Normalreihe $$1+\pin_D\supset1+\pin_D^2\supset\ldots$$ geh{\"o}rt, zugeordnet wird, wobei $\pin_D$ das Bewertungsideal des Schiefk{\"o}rpers $D$ bezeichnet. Der abstrakte Matchingsatz liefert nun die Existenz einer Bijektion zwischen den irreduziblen glatten Darstellungen der multiplikativen Gruppe des lokalen zentralen Schiefk{\"o}rpers $D$ und den irreduziblen quadratintegrierbaren glatten Darstellungen einer beliebigen anderen lokalen zentraleinfachen Algebra vom selben reduzierten Grad {\"u}ber demselben nicht-archimedischen Grundk{\"o}rper $F$, welche den Charakter einer Darstellung in dem Sinne erh{\"a}lt, da{ss} die Charakterwerte auf den Konjugationsklassen elliptischer Elemente der verschiedenen Algebren, welche mithilfe ihrer Minimalpolynome identifiziert werden k{\"o}nnen, bis auf ein Vorzeichen {\"u}bereinstimmen. Wir werden hier kanonische Bijektionen zwischen den einfachen Charakteren f{\"u}r verschiedene zentraleinfache Algebren vom selben reduzierten Grad {\"u}ber demselben Grundk{\"o}rper angeben, von denen wir erwarten, da{ss} sie mit der Abbildung des abstrakten Matchingsatzes vertr{\"a}glich sind. Das dieses in der Tat der Fall ist, wurde bisher nur in einfachen F{\"a}llen wie \cite{He} und \cite{BH2} gezeigt, jedoch wurde in der Arbeit \cite{Z4} bereits mithilfe der Konstruktionen von \cite{Z7} und \cite{BK3} eine Bijektion zwischen den irreduziblen glatten Darstellungen der multiplikativen Gruppe des lokalen zentralen Schiefk{\"o}rpers $D$ vom Index $N$ {\"u}ber einem Grundk{\"o}rper $F$ und den irreduziblen essentiell quadratintegrierbaren glatten Darstellungen von $Gl_N(F)$ konstruiert, welche den Artinf{\"u}hrer und den formalen Grad einer Darstellung erh{\"a}lt. Da die Abbildung des abstrakten Matchingsatzes dieselben Forderungen erf{\"u}llt, kommt dies der gew{\"u}nschten Vertr{\"a}glichkeit schon sehr nahe und wir erf{\"u}llen mit unserer Konstruktion insbesondere die in der Arbeit \cite{Z4} gemachte Forderung die dort im Bezug auf die einfachen Charaktere getroffen Auswahlen noch unabh{\"a}ngiger von den jeweiligen Algebren zu gestalten. Die hier getroffene Auswahl wird durch die Verwendung sogenannter spezieller approximierender Folgen getroffen, welche sich aus einer Verallgemeinerung der in \cite{BG} gemachten {\"U}berlegungen ergeben. Im Anschlu{ss} an die Konstruktion und den Vergleich einfacher Charaktere werden wir in einer gro{ss}en Anzahl von F{\"a}llen zeigen, da{ss} sich die Heisenbergdarstellungen, die wir zu den einfachen Charakteren erhalten, in kanonischer Weise fortsetzen lassen und wir erwarten von diesen Fortsetzungen, da{ss} sie analoge Eigenschaften besitzen, wie die sogenannten ``$\beta$-Fortsetzungen'' von \cite{BK1}(5.2.1) im zerfallenden Fall. Damit k{\"o}nnen wir in diesen F{\"a}llen eine Liste von hypothetischen einfachen Typen angeben, von denen wir vermuten, da{ss} sie alle Bernsteinkomponenten parametrisieren, welche irreduzible essentiell quadratintegrierbare Darstellungen enthalten. Insbesondere vermuten wir, da{ss} sich die supercuspidalen Darstellungen mittels kompakter Induktion aus Fortsetzungen solcher einfacher Typen auf eine kompakt modulo Zentrum Untergruppe gewinnen lassen. Um die Vollst{\"a}ndigkeit dieser Konstruktion zu demonstrieren, h{\"a}tten wir allerdings noch die Eigenschaft ``Verkettung impliziert Konjugation'' zu zeigen, welche wir ebenfalls auf eine Folgearbeit verschieben m{\"u}ssen. Beabsichtig w{\"a}re dann ein Vollst{\"a}ndigkeitsbeweis mit dem abstrakten Matchingsatz wie bei L. Corwin \cite{Co} oder in \cite{Z4}. Wir weisen hier nur in Spezialf{\"a}llen nach, dass die Typendarstellungen, welche wir hier angegeben haben, tats{\"a}chlich Typen im Sinne von \cite{BK4}(4.1)(4.2) sind. Insbesondere sind es auch unsere Berechnungen in der Arbeit \cite{GSZ}, welche dem von uns im Geiste von \cite{Z7} und \cite{BK1} gemachten Ans{\"a}tzen hohe Evidenz geben. / In this thesis, we try to explain how simple characters for arbitrary central simple algebras over a non-archimedian local field $F$ can be constructed. Moreover, we introduce a kind of matching of simple characters between different algebras of fixed reduced degree. If the index of the algebra $A$ is odd or $A=M_l(D)$, where $l$ is an arbitrary prime number and $D$ a central division algebra over $F$, we can extend the Heisenberg representations associated to the simple characters to level-0 and obtain a hypothetical list of simple types. For $A=M_l(D)$ and if the residual field of $F$ is not the field with two elements, we can proof that all so-called maximal simple types in our list are simple types in the sense of \cite{BK4} and their extensions to their stabelizers induce supercupidal representations of $G_l(D)$. Using the the heuristical relation via the abstract matching theorem of \cite{BDKV} to the cases of a division algebra due to \cite{Z5} and to the split case due to \cite{BK1}, we conjecture that all supercuspidal representations of $Gl_l(D)$ can be obtained by this way.

Soit p un nombre premier. Les résultats de cette thèse s'inscrivent dans le cadre du programme de Langlands p-adique. Lorsque V est une représentation p-adique de dimension 2 du groupe Gal(\bar{Qp}/Qp), on sait lui associer une représentation p-adique continue B(V) de GL₂(Qp). Si F est une extension finie non triviale de Qp, la question d'associer des représentations p-adiques de GL₂(F) aux représentations p-adiques de dimension 2 de Gal(\bar{Qp}/F) dans l'esprit d'une correspondance locale à la Langlands s'annonce beaucoup plus délicate. Dans ce texte, nous considérons des espaces de Banach p-adiques, munis d'une action linéaire continue de GL₂(F), qui sont des complétions unitaires universelles de certaines représentations localement Qp-analytiques de GL₂(F). Celles-ci sont susceptibles de jouer un rôle important dans une éventuelle correspondance de Langlands locale p-adique pour GL₂(F). Le résultat principal de cette thèse est démontré dans le Chapitre 3 et généralise des résultats antérieurs de Berger et Breuil. Il consiste en une description explicite de ces complétés unitaires universels à l'aide des fonctions continues sur F d'un certain type. Pour ce faire, nous introduisons dans le Chapitre 2 des espaces de Banach de fonctions de classe C^r, où r est un nombre rationnel positif, et leurs espaces duaux de distributions d'ordre r. Nous construisons une base de Banach et nous donnons un critère de prolongement des formes linéaires définies sur un espace de fonctions localement Qp-polynomiales en distributions d'ordre r. Ce faisant, nous généralisons des résultats classiques dus à Amice-Vélu et Vishik. Dans le Chapitre 4, nous exhibons des cas de non nullité pour les complétions unitaires universelles considérées par construction explicite de réseaux invariants. Cela donne de nouveaux cas de la conjecture proposée par Breuil et Schneider sur l'équivalence entre l'existence de normes invariantes sur certaines représentations localement algébriques de GL_d(F) et l'existence de certaines représentations de de Rham de Gal(\bar{Qp}/F).

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.