Dans cette thèse, on s'intéresse à la théorie mesurée des groupes, à l'entropie sofique et aux algèbres d'opérateurs ; plus précisément, on étudie les actions des groupes sur des espaces de probabilités, des propriétés fondamentales de leur entropie sofique (pour des groupes discrets), leurs groupes pleins (pour des groupes Polonais), et les algèbres de von Neumann et leurs sous-algèbres moyennables (pour des groupes à caractère hyperbolique et des réseaux de groupes de Lie). Cette thèse est constituée de trois parties.Dans une première partie j'étudie l'entropie sofique des actions profinies. L'entropie sofique est un invariant des actions mesurées des groupes sofiques défini par L. Bowen qui généralise la notion d'entropie introduite par Kolmogorov. La définition d'entropie sofique nécessite de fixer une approximation sofique du groupe. Nous montrons que l'entropie sofique des actions profinies est effectivement dépendante de l'approximation sofique choisie dans le cas des groupes libres et certains réseaux de groupes de Lie.La deuxième partie est un travail en collaboration avec François Le Maître. Elle est constituée d'un article prépublié dans lequel nous généralisons la notion de groupe plein aux actions préservant une mesure de probabilité des groupes polonais, et en particulier, des groupes localement compacts. On définit une topologie polonaise sur ces groupes pleins et on étudie leurs propriétés topologiques fondamentales, notamment leur rang topologique et la densité des éléments apériodiques.La troisième partie est un travail en collaboration avec Rémi Boutonnet. Elle est constituée de deux articles prépubliés dans lesquels nous considérons la question de la maximalité de la sous-algèbre de von Neumann d'un sous-groupe moyennable maximal, dans celle du groupe ambiant. Nous résolvons la question dans le cas des groupes à caractère hyperbolique en utilisant les techniques de Sorin Popa. Puis, nous introduisons un critère dynamique à la Furstenberg, permettant de résoudre la question pour des sous-groupes moyennables de réseaux des groupes de Lie en rang supérieur. / This dissertation is about measured group theory, sofic entropy and operator algebras. More precisely, we will study actions of groups on probability spaces, some fundamental properties of their sofic entropy (for countable groups), their full groups (for Polish groups) and the amenable subalgebras of von Neumann algebras associated with hyperbolic groups and lattices of Lie groups. This dissertation is composed of three parts.The first part is devoted to the study of sofic entropy of profinite actions. Sofic entropy is an invariant for actions of sofic groups defined by L. Bowen that generalize Kolmogorov's entropy. The definition of sofic entropy makes use of a fixed sofic approximation of the group. We will show that the sofic entropy of profinite actions does depend on the chosen sofic approximation for free groups and some lattices of Lie groups. The second part is based on a joint work with François Le Maître. The content of this part is based on a prepublication in which we generalize the notion of full group to probability measure preserving actions of Polish groups, and in particular, of locally compact groups. We define a Polish topology on these full groups and we study their basic topological properties, such as the topological rank and the density of aperiodic elements. The third part is based on a joint work with Rémi Boutonnet. The content of this part is based on two prepublications in which we try to understand when the von Neumann algebra of a maximal amenable subgroup of a countable group is itself maximal amenable. We solve the question for hyperbolic and relatively hyperbolic groups using techniques due to Popa. With different techniques, we will then present a dynamical criterion which allow us to answer the question for some amenable subgroups of lattices of Lie groups of higher rank.

L'objet de cette thèse est l'étude de la propriété (T) relative à l'espace (ou rigidité au sens de Popa) d'actions de groupes dénombrables sur des espaces de probabilité standards préservant une mesure de probabilité (pmp). Ces dix dernières années, la propriété (T) relative à l'espace a permis de résoudre de nombreux problèmes dans le cadre de la théorie ergodique des actions de groupes et des algèbres de von Neumann. Néanmoins, certains aspects théoriques de cette notion restent largement mystérieux. Une question encore ouverte consiste à déterminer les groupes admettant une action libre ergodique pmp ayant la propriété (T) relative à l'espace. Nous montrons dans cette thèse que les groupes de type fini non-moyennables linéaires sur un corps de caractéristique nulle admettent une action ergodique pmp possédant cette propriété. Si le groupe est à radical résoluble trivial, l'action que nous construisons est aussi libre.Pour ce faire, nous commençons par étudier la stabilité de la propriété (T) relative à l'espace vis-à-vis de différentes constructions d'actions pmp  : produit, restriction, co-induction, induction. Puis, nous donnons une caractérisation de la propriété (T) relative à l'espace dans le cas d'actions pmp sur un espace homogène G/Λ de groupe de Lie p-adique d'un sous-groupe dénombrable Γ du groupe des transformations affines de G stabilisant le réseau Λ. L'action de Γ sur G/Λ a la propriété (T) relative à l'espace si et seulement s'il n'existe pas de mesure de probabilité Γ-invariante sur l'espace projectif de l'algèbre de Lie de G. Par ailleurs, nous étudions le cas d'actions de groupes par automorphismes sur des nilvariétés définies par des graphes finis. / The purpose of this thesis is to study the Kazhdan's property (T) relative to the space (also called rigidity in the sense of Popa) of probability measure preserving actions of countable groups on standard probability measure spaces (p.m.p.).This last decade, some problems in the theory of ergodic theory and von Neumann algebras were solved using the property (T) relative to the space. However, the theoretical aspects of its study remain largely mysterious. An open question asks which groups admit a p.m.p. free and ergodic action which has the property (T) relative to the space. We show in this dissertation that every finitely-generated non-amenable linear groups over a field of characteristic zero admits a p.m.p. ergodic action which has this property. If this group has trivial solvable radical, we prove that these actions can be chosen to be free.In order to obtain these results, we start by investigating natural questions concerning the stability of the property (T) relative to the space through standard constructions : products, restriction, co-induction, induction. Then, we give a criterion for the property (T) relative to the space to hold in the case of p.m.p. actions on homogeneous space G/ Λ of a p-adic Lie group for a countable subgroup Γ of affine transformations of G stabilizing the lattice Λ. The action of Γ on G/Λ has the property (T) relative to the space if and only if the induced action of Γ on the projective space of the Lie algebra of G admits no invariant probability measure.Moreover, we study the case of actions by automorphims on nilvarietes defined by finite graphs.

Cette thèse est consacrée à l'étude des déformations des C*-algèbres munies d'une action de groupe, du point de vue de la quantification équivariante non-formelle, dans le cas non-archimédien. Nous construisons une théorie de déformation des C*-algèbres munies d'une action d'un espace vectoriel de dimension finie sur un corps local non-archimédien de caractéristique différente de 2 ainsi que pour des quotients du groupe affine d'un corps local dont le corps résiduel est de cardinal impair. Par ailleurs, nous construisons des familles de 2-cocycles unitaires afin de déformer des groupes quantiques localement compacts agissant sur ces C*-algèbres déformées. / This thesis is devoted to the study of deformation of C*-algebras endowed with a group action, from the perspective of non-formal equivariant quantization, in the non-Archimedean setting. We construct a deformation theory of C*-algebras endowed with an action of a finite dimensional vector space over a non-Archimedean local field of characteristic different from 2 and for quotients of the affine group of a local field whose residue field has cardinality not divisible by 2. Moreover, we construct families of dual unitary 2-cocycles in order to deform locally compact quantum groups acting on these deformed C*-algebras.

Nous associons à tout polydisque compact B [appartenant à] Rn une algèbre CB de fonctions réelles de classe C∞ définies au voisinage de B. La collection des algèbres CB est supposée stable par certaines opérations, dont la composition et la dérivation partielle. Nous supposons de plus que, lorsque B est centrée à l’origine, l’algèbre des germes à l’origine des éléments de CB est quasianalytique (c’est à dire qu’elle ne contient pas de germe plat). A l’aide de ces fonctions, nous définissons des ensembles C-semi- analytiques et C-sous-analytiques comme on le fait traditionnellement en géométrie analytique réelle. Notre résultat principal est un théorème du type Tarski-Seidenberg pour ces ensembles. Son énoncé dit essentiellement que les ensembles sous-C-analytiques peuvent être définis par des égalités et des inégalités satisfaites par des termes obtenus en composant des fonctionsdes algèbres C_B , les fonctions x → x1/n , et la fonction x → 1/x. Sa preuve se fait en exprimant les solutions de sytèmes d’équations quasianalytiques au moyen d’un théorème de préparation issu de la théorie des modèles / We associate to every compact polydisk B [belonging to ] Rn an algebra CB of real functions defined in a neighborhood of B. The collection of these algebras is supposed to be closed under several operations, such as composition and partial derivatives. Moreover, if the center of B is the origin, we assume that the algebra of germs at the origin of elements of CB is quasianalytic (it does not contain any flat germ). We define with these functions the collection of C-semianalytic and C-subanalytic sets according to the classical process in real analytic geometry. Our main result is an analogue of Tarski-Seidenberg's usual result for these sets. It says that the sub-C-subanalytic sets may be described by means of equalities and inequalities by terms obtained by composition of elements of the algebras CB, the functions x->^{1/n} and the function x->1/x. It is proved via a model theoretic preparation theorem

Nous introduisons les notions de forêts préordonnées et préordonnées en tas, généralisant les constructions des forêts ordonnées et ordonnées en tas. On démontre que les algèbres des forêts préordonnées et préordonnées en tas sont des algèbres de Hopf pour le coproduit de coupes et on construit un morphisme d'algèbres de Hopf dans l'algèbre des mots tassés. Ensuite, nous définissons un autre coproduit sur les forêts préordonnées donné par la contraction d'arêtes et nous donnons une description combinatoire de morphismes définis sur des algèbres de Hopf de forêts et à valeurs dans les algèbres de Hopf de battages et de battages contractants. Par ailleurs, nous introduisons la notion d'algèbre bigreffe, généralisant les notions d'algèbres de greffes à gauche et à droite. Nous décrivons l'algèbre bigreffe libre engendrée par un générateur et nous munissons cette algèbre d'une structure d'algèbre de Hopf et d'un couplage. Nous étudions ensuite le dual de Koszul de l'operade bigreffe et nous donnons une description combinatoire de l'algèbre bigreffe dual engendrée par un générateur. A l'aide d'une méthode de réécriture, nous prouvons que l'opérade bigreffe est Koszul. Nous définissons la notion de bialgèbre bigreffe infinitésimale et nous prouvons un analogue des théorèmes de Poincaré-Birkhoff-Witt et de Cartier-Milnor-Moore pour les bialgèbres bigreffe infinitésimales connexes. Pour finir, à partir de deux opérateurs de greffes, nous construisons des algèbres de Hopf d'arbres enracinés et ordonnés $ mathbf{B}^{i} $, $ i in mathbb{N}^{ast} $, $ mathbf{B}^{infty} $ et $ mathbf{B} $ vérifiant les relations d'inclusions $ mathbf{B}^{1} subseteq hdots mathbf{B}^{i} subseteq mathbf{B}^{i+1} subseteq hdots subseteq mathbf{B}^{infty} subseteq mathbf{B} $. On munit $ mathbf{B} $ d'une structure de bialgèbre dupliciale dendriforme et on en déduit que $ mathbf{B} $ est colibre et auto-duale. Nous démontrons que $ mathbf{B} $ est engendrée comme algèbre bigreffe par un générateur. / We introduce the notions of preordered and heap-preordered forests, generalizing the construction of ordered and heap-ordered forests. We prove that the algebras of preordered and heap-preordered forests are Hopf for the cut coproduct, and we construct a Hopf morphism to the Hopf algebra of packed words. In addition, we define another coproduct on the preordered forests given by the contraction of edges, and we give a combinatorial description of morphims defined on Hopf algebras of forests with values in the Hopf algebras of shuffes or quasi-shuffles. Moreover, we introduce the notion of bigraft algebra, generalizing the notions of left and right graft algebras. We describe the free bigraft algebra generated by one generator and we endow this algebra with a Hopf algebra structure, and a pairing. Next, we study the Koszul dual of the bigraft operad and we give a combinatorial description of the free dual bigraft algebra generated by one generator. With the help of a rewriting method, we prove that the bigraft operad is Koszul. We define the notion of infinitesimal bigraft bialgebra and we prove an analogue of Poincaré-Birkhoff-Witt and Cartier-Milnor-Moore theorems for connected infinitesimal bigraft bialgebras. Finally, with two grafting operators, we construct Hopf algebras of rooted and ordered trees $ mathbf{B}^{i} $, $ i in mathbb{N}^{ast} $, $ mathbf{B}^{infty} $ and $ mathbf{B} $ satisfying the inclusion relations $ mathbf{B}^{1} subseteq hdots mathbf{B}^{i} subseteq mathbf{B}^{i+1} subseteq hdots subseteq mathbf{B}^{infty} subseteq mathbf{B} $. We endow $ mathbf{B} $ with a structure of duplicial dendriform bialgebra and we deduce that $ mathbf{B} $ is cofree and self-dual. We prove that $ mathbf{B} $ is generated as bigraft algebra by one generator.

Cette thèse concerne quatre thèmes apparemment différents, mais en fait intimement liés : problèmes variationnels sur les algèbres de Jordan euclidiennes, problèmes de complémentarité sur l’espace des matrices symétriques, analyse angulaire entre deux cônes convexes fermés et analyse du chemin central en programmation conique symétrique.Dans la première partie de ce travail, le concept de “commutation au sens opérationnel” dans les algèbres de Jordan euclidiennes est étudié en fournissant un principe de commutation pour problèmes variationnels avec données spectrales.Dans la deuxième partie, nous abordons l’analyse et la résolution numérique d’une large classe de problèmes de complémentarité sur l’espace des matrices symétriques. Les conditions de complémentarité sont exprimées en termes de l’ordre de Loewner ou, plus généralement, en termes d’un cône du type Loewnerien.La troisième partie de ce travail est une tentative de construction d’une théorie générale des angles critiques pour une paire de cônes convexes fermés. L’analyse angulaire pour une paire de cônes spécialement structurés est également considérée. Par-exemple, nous travaillons avec des sous-espaces linéaires, des cônes polyédriques, des cônes de révolution, des cônes “topheavy” et des cônes de matrices.La dernière partie de ce travail étudie la convergence et le comportement asymptotique du chemin central en programmation conique symétrique. Ceci est fait en utilisant des techniques propres aux algèbres de Jordan. / This thesis deals with four different but interrelated topics: variational problems on Euclidean Jordan algebras, complementarity problems on the space of symmetric matrices, angular analysis between two closed convex cones and the central path for symmetric cone linear programming.In the first part of this work we study the concept of “operator commutation” in Euclidean Jordan algebras by providing a commutation principle for variational problems involving spectral data.Our main concern of the second part is the analysis and numerical resolution of a broad class of complementarity problems on spaces of symmetric matrices. The complementarity conditions are expressed in terms of the Loewner ordering or, more generally, with respect to a dual pair of Loewnerian cones.The third part of this work is an attempt to build a general theory of critical angles for a pair of closed convex cones. The angular analysis for a pair of specially structured cones is also covered. For instance, we work with linear subspaces, polyhedral cones, revolution cones, topheavy cones and cones of matrices.The last part of this work focuses on the convergence and the limiting behavior of the central path in symmetric cone linear programming. This is done by using Jordan-algebra techniques.

Les applications rationnelles sont des objets fondamentaux en géométrie algébrique. Elles sont utilisées pour décrire certains objets géométriques, tels que la représentation paramétrique d'une variété algébrique rationnelle. Plus récemment, les applications rationnelles sont apparues dans des contextes d'informatique pour l'ingénierie, dans le domaine de la modélisation de formes, en utilisant des méthodes de conception assistée par ordinateur pour les courbes et les surfaces. Des paramétrisations des courbes et des surfaces sont utilisées de manière intensive afin décrire des objets dans la modélisation géométrique, tel que structures des voitures, des avions. Par conséquent, l'étude des applications rationnelles est d'intérêt théorique dans la géométrie algébrique et l'algèbre commutative, et d'une importance pratique dans la modélisation géométrique. Ma thèse étudie les images et les fibres des applications rationnelles en relation avec les équations des algèbres de Rees et des algèbres symétriques. Dans la modélisation géométrique, il est important d'avoir une connaissance détaillée des propriétés géométriques de l'objet et de la représentation paramétrique avec lesquels on travaille. La question de savoir combien de fois le même point est peint (c'est-à-dire, correspond à des valeurs distinctes du paramètre), ne concerne pas seulement la variété elle-même, mais également la paramétrisation. Il est utile pour les applications de déterminer les singularités des paramétrisations. Dans les chapitres 2 et 3, on étudie des fibres d'une application rationnelle de P^m dans P^n qui est génériquement finie sur son image. Une telle application est définie par un ensemble ordonné de (n+1) polynômes homogènes de même degré d. Plus précisément, dans le chapitre 2, nous traiterons le cas des paramétrisations de surfaces rationnelles de P^2 dans P^3, et y donnons une borne quadratique en d pour le nombre de fibres de dimension 1 de la projection canonique de son graphe sur son image. Nous déduisons ce résultat d'une étude de la différence du degré initial entre les puissances ordinaires et les puissances saturées. Dans le chapitre 3, on affine et généralise les résultats sur les fibres du chapitre précédent. Plus généralement, nous établissons une borne linéaire en d pour le nombre de fibres (m-1)-dimensionnelles de la projection canonique de son graphe sur son image, en utilisant des idéaux de mineurs de la matrice jacobienne.Dans le chapitre 4, nous considérons des applications rationnelles dont la source est le produit de deux espaces projectifs.Notre principal objectif est d'étudier les critères de birationalité pour ces applications. Tout d'abord, un critère général est donné en termes du rang d'une couple de matrices connues sous le nom "matrices jacobiennes duales". Ensuite, nous nous concentrons sur des applications rationnelles de P^1 x P^1 vers P^2 en bidegré bas et fournissons de nouveaux critères de birationalité en analysant les syzygies des équations de définition de l'application; en particulier en examinant la dimension de certaines parties bigraduées du module de syzygies. Enfin, les applications de nos résultats au contexte de la modélisation géométrique sont discutées à la fin du chapitre. / Rational maps are fundamental objects in algebraic geometry. They are used to describe some geometric objects,such as parametric representation of rational algebraic varieties. Lately, rational maps appeared in computer-engineering contexts, mostly applied to shape modeling using computer-aided design methods for curves and surfaces. Parameterized algebraic curves and surfaces are used intensively to describe objects in geometric modeling, such as car bodies, airplanes.Therefore, the study of rational maps is of theoretical interest in algebraic geometry and commutative algebra, and of practical importance in geometric modeling. My thesis studies images and fibers of rational maps in relation with the equations of the symmetric and Rees algebras. In geometric modeling, it is of vital importance to have a detailed knowledge of the geometry of the object and of the parametric representation with which one is working. The question of how many times is the same point being painted (i.e., corresponds to distinct values of parameter), depends not only on the variety itself, but also on the parameterization. It is of interest for applications to determine the singularities of the parameterizations. In the chapters 2 and 3, we study the fibers of a rational map from P^m to P^nthat is generically finite onto its image. More precisely, in the second chapter, we will treat the case of parameterizations of algebraic rational surfaces. In this case, we give a quadratic bound in the degree of the defining equations for the number of one-dimensional fibers of the canonical projection of the graph of $\phi$ onto its image,by studying of the difference between the initial degree of ordinary and saturated powers of the base ideal. In the third chapter, we refine and generalize the results on fibers of the previous chapter.More generally, we establish a linear bound in the degree of the defining equations for the number of (m-1)-dimensional fibers of the canonical projection of its graph onto its image, by using ideals of minors of the Jacobian matrix.In the fourth chapter, we consider rational maps whose source is a product of two subvarieties, each one being embedded in a projective space. Our main objective is to investigate birationality criteria for such maps. First, a general criterion is given in terms of the rank of a couple of matrices that came to be known as "Jacobian dual matrices". Then, we focus on rational maps from P^1 x P^1 to P^2 in very low bidegrees and provide new matrix-based birationality criteria by analyzing the syzygies of the defining equations of the map, in particular by looking at the dimension of certain bigraded parts of the syzygy module. Finally, applications of our results to the context of geometric modeling are discussed at the end of the chapter.

Dans cette thèse nous rappelons la notion de L-algèbre, qui a pour objet d'être un modèle algébrique des types d'homotopie. L'objectif principal de cette thèse est la description d'une structure de E-infini-coalgèbre sur l'élément principal d'une L-algèbre. Ceci peut être vu comme une généralisation de la structure de E-infini-coalgèbre sur le complexe des chaînes d'un ensemble simplicial, telle que décrite par Smith dans Iterating the cobar construction, 1994. Nous construisons une E-infini-opérade, notée K, utilisée pour construire la E-infini-coalgèbre sur l'élément principal d'une L-algèbre. Cette structure de E-infini-coalgèbre montre que la L-algèbre canoniquement associée à un ensemble simplicial contient au moins autant d'information homotopique que la E-infini-coalgèbre couramment associée à un ensemble simplicial / In this thesis we recall the notion of L-algebra. L-algebras are intended as algebraic models for homotopy types. L-algebras were introduced by Alain Prouté in several talks since the eighties. The principal objective of this thesis is the description of an E-infinity-coalgebra structure on the main element of an L-algebra. This can be seen as a generalization of the E-infinity-coalgebra structure on the chain complex associated to a simplicial set given by Smith in Iterating the cobar construction, 1994. We construct an E-inifity-operad, denoted K, used to construct the E-inifity-coalgebra on the main element of a L-algebra. This E-inifity-coalgebra structure shows that the canonical L-algebra associated to a simplicial set contains at least as much homotopy information as the E-inifity-coalgebras usually associated to simplicial sets.

Cette thèse se situe en combinatoire algébrique, et plus particulièrement en théorie combinatoire des représentations linéaires des monoïdes finis.Rappelons qu'un monoïde est un ensemble fini M muni d'une multiplication et d'un élément neutre, et qu'une représentation de M est un morphisme de M dans le monoïde des matrices $M_n(ck)$ où $ck$ est un corps, typiquement $ck =CC$. Les résultats des dernières décennies donnent un contrôle assez fin sur les représentations des monoïdes, permettant souvent de se ramener à de la théorie des représentations des groupes et de la combinatoire sur des préordres.En 1996, Krob et Thibon ont montré que l'induction et la restriction des représentations irréductibles et projectives de la tour des $0$-algèbres de Hecke $H_n(0)$ permet de munir l'ensemble des caractères d'une structure d'algèbre de Hopf, qui est isomorphe a l'algèbre de Hopf $ncsf$ des fonctions symétriques non commutatives. Cela donne une emph{catégorification} de$ncsf$, c'est-à-dire une interprétation de celle-ci en terme de théorie des représentations. Ils prolongent ainsi un résultat dû à Frobenius établissant un lien entre l'anneau des caractères de la tour des groupes symétriques et lesfonctions symétriques. Un problème naturel depuis lors est d'essayer de catégorifier d'autres algèbres de Hopf -- par exemple l'algèbre $pbt$ desarbres binaires de Loday et Ronco -- par des tours d'algèbres.Deviner une telle tour d'algèbres est difficile en général. Dans le cadre de cemanuscrit on restreint le champ de recherche aux tours de monoïdes, afin de mieux contrôler leurs représentations. C'est naturel car ce cadre couvre enfait les deux exemples fondamentaux ci-dessus, tandis qu'il est impossible decatégorifier $ncsf$ avec seulement une tour de groupes.Nous commençons par donner quelques résultats sur les représentations des toursde monoïdes. Ensuite, nous nous intéressons à la catégorification par destours de semi-treillis, et en particulier de quotients du permutoèdre. Avecceux-ci, nous catégorifions la structure de cogèbre de $fqsym$ sur la base$gbasis$ et celle d'algèbre de $fqsym$ sur la base $fbasis$. Cela ne permetcependant pas de catégorifier simultanément toute la structure de Hopf de ces algèbres. Dans un second temps, nous menons une recherche exhaustive des catégorifications de $pbt$. Nous montrons que, sous des hypothèses naturelles,il n'existe pas de catégorification de $pbt$ par une tour de monoïdesapériodiques. Enfin, nous démontrons que, dans un certain sens, la tour des monoïdes $0$-Hecke est la tour de monoïdes la plus simple catégorifiant $ncsf$.La seconde partie porte sur les fonctions de parking, par application des résultats de la première partie. D'une part, nous étudions la théorie des représentations de la tour des fonctions de parking croissantes. D'autre part,dans un travail commun avec Jean-Baptiste Priez nous reprenons une généralisation des fonctions de parking due à Stanley et Pitman. Afin d'obtenir des formules d'énumérations, nous utilisons une variante -- plus efficace dansle cas présent -- de la théorie des espèces. Nous donnons une action de$H_n(0)$ (et non du groupe symétrique) sur les fonctions de parking généralisées, et utilisons le théorème de catégorification de Krob et Thibon,pour relever dans les fonctions symétriques non commutatives le caractère de cette action. / This thesis is focused on combinatorical representation theory of finitemonoids within the field of algebraic combinatorics.A monoid $M$ is a finite set endowed with a multiplication and a neutralelement. A representation of $M$ is a morphism from $M$ into the monoid ofmatrices $M_n(ck)$ where $ck$ is a field; in this work it will typically bereferred to as $ck = CC$.The results obtained in the last decades allows us to use representation theoryof groups, and combinatorics on preorders in order to explore representationtheory of finite monoides.In 1996, Krob and Thibon proved that the induction and restriction rules ofirreducible and projective representations of the tower of $0$-Hecke monoidsendows its ring of caracters with a Hopf algebra structure, isomorph to thenon-commutative symmetric functions Hopf algebra $ncsf$. This gives acategorification of $ncsf$, which is an interpretation of the non-commutativesymmetruc functions in the language of representation theory. This extends atheorem of Frobenius endowing the character ring of symmetric groups to theHopf algebra of symmetric functions. Since then a natural problem is tocategorify other Hopf algebras -- for instance the Planar Binary Tree algebraof Loday and Ronco -- by a tower of algebras.Guessing such a tower of algebra is a difficult problem in general.In this thesis we restrict ourselves to towers of monoids in order to have abetter control on its representations. This is quite natural as on one hand,this setup covers both previous fundamental examples, whereas $ncsf$cannot be categorified in the restricted set of tower of group algebras.In the first part of this work, we start with some results about representationtheory of towers of monoids. We then focus on categorification with towers ofsemilatices, for example the tower of permutohedrons. We categorify thealgebra, and cogebra structure of $fqsym$, but not the full Hopf algebrastructure with its dual. We then make a comprehensive search in order tocategorify $pbt$ with a tower of monoids. We show that under naturalhypothesis, there exists no tower of monoids satisfying the categorificationaxioms. Finally we show that in some sense, the tower of $0$-Hecke monoids isthe simplest tower categorifying $ncsf$.The second part of this work deals with parking functions, applying resultsfrom the first part. We first study the representation theory of non decreasingparking functions. We then present a joint work with Jean-Baptiste Priez on ageneralization of parking functions from Pitman and Stanley. To obtainenumeration formulas, we use a variant of the species theory which was moreefficient in our case.We used an action of $H_n(0)$ instead of the symmetric group and use theKrob-Thibon theorem to lift the character of this action into the Hopf algebraof non-commutative symmetric functions.

Dans cette thèse, je m'intéresse à diverses propriétés de rigidité des algèbres de von Neumann. Dans le Chapitre 1, je démontre la solidité relative des produits croisés issus d'actions Bernoulli de type quelconque. Ce résultat repose sur la théorie de la déformation/rigidité de Popa et généralise un théorème de Chifan et Ioana en type II. Comme conséquence, dès que le groupe qui agit est non-moyennable, ces produits croisés sont premiers (n'admettent pas de décomposition non triviale en produit tensoriel de deux facteurs) et la relation d'équivalence associée est solide. Le Chapitre 2 a pour thème les facteurs pleins et les phénomènes de trous spectraux. Je montre notamment que tout facteur plein de type $III$ vérifie une propriété de trou spectral similaire à celle obtenue par Connes dans le cas II_1. Le trou spectral permet d'analyser plus finement la structure de ces facteurs et de leur groupe d'automorphismes. Je généralise ainsi un théorème de Jones en donnant une condition suffisante pour qu'un produit croisé soit plein. Cette condition est de plus nécessaire dans le cas où le groupe qui agit est abélien. Ceci permet de caractériser complètement les facteurs de type III_1 dont le cœur est plein. Dans un travail en collaboration avec C. Houdayer et P. Verraedt, nous montrons aussi qu'un produit tensoriel de deux facteurs pleins est encore plein et nous calculons ses invariants de Connes. Nous obtenons aussi un théorème d'unique décomposition McDuff qui généralise un résultat de Popa dans le cas II_1.Dans le Chapitre 3, je m'intéresse aux facteurs McDuff, i.e. qui ont la propriété d'absorber tensoriellement le facteur hyperfini, ainsi qu'à leur analogue en théorie ergodique, les relations d'équivalences stables. Je donne notamment une nouvelle caractérisation de cette propriété de stabilité qui repose sur un argument de maximalité. Cette caractérisation de type "trou spectral", plus fine que celle connue jusqu'alors, permet de démontrer le résultat de rigidité suivant: un produit direct de deux relations d'équivalences est stable si et seulement si l'une des deux est stable. Le problème similaire pour les facteurs McDuff reste ouvert, mais je donne quelques résultats partiels. / In this dissertation, I study several rigidity properties of von Neumann algebras. In Chapter 1, we prove the relative solidity of Bernoulli crossed products of arbitrary type. This result is based on Popa's deformation/rigidity and generalizes a theorem of Chifan and Ioana in the tracial case. As a consequence, when the acting group is non-amenable, the crossed product is prime (cannot be decomposed nontrivially as a tensor product of two factors) and the associated equivalence relation is solid.In Chapter 2, we study full factors in relation with the spectral gap property. The main result is a spectral gap characterization of full type III factors which is similar to Connes' characterization in the tracial case. This allows us to better understand the structure of these factors and their automorphism group. We generalize a theorem of Jones by giving a sufficient condition for a crossed product to be full. This condition is necessary when the group is abelian. In particular, we obtain a complete characterization of the type III_1 whose core is full. In a joint work with C. Houdayer and P. Verraedt, we show that a tensor product of two full factors is also full and we compute its Connes invariants. We also prove a unique McDuff decomposition theorem that generalizes a result of Popa in the II_1 case. In Chapter 3, we study McDuff factors, i.e. those factors that can absorb tensorially the hyperfinite factor, as well as their counterpart in ergodic theory, the so-called stable equivalence relations. We obtain a new "spectral gap like" characterization of these properties, based on a maximality argument. With this refined characterization, we are able to prove the following rigidity result: a direct product of two stable equivalence relations is stable if and only if one of them is already stable. The analoguous problem on McDuff factors remains open, but we do give some partial results.