Nous construisons des distributions propres invariantes pour la paire symétrique (gl(4,R)/gl(2,R)*gl(2,R)). Pour ceci, j'ai dans un premier temps décrit les orbites de GL(2,R)*Gl(2,R) sur ce quotient. J'ai ensuite généralisé certains résultats sur les intégrales orbitales de rang un (de J.Faraut) au rang deux. Ainsi j'ai obtenu le comportement des intégrales orbitales au voisinage des points semi-réguliers. Je me suis restreint à l'étude des distributions invariantes, propres sous l'action des opérateurs différentiels invariants à coefficients constants. données par des fonctions localement intégrables. J'ai d'abord déterminé les fonctions propres invariantes sur l'ouvert dense des éléments réguliers. Ceci est rendu possible par l'expression des parties radiales des opérateurs différentiels considérés en terme des opérateurs de Dunkl. Le comportement des intégrales orbitales m'a permis de déterminer lesquelles de ces fonctions donnaient une distribution propre invariante sur l'ensemble des éléments privés des nilpotents. Nous obtenons un espace vectoriel de dimension 6 dont certaines se prolongent naturellement à tout l'espace.

Un groupe est dit co-hopfien si tout endomorphisme injectif de ce groupe est un automorphisme. En utilisant la théorie de Bass-Serre, nous montrons sous quelles conditions certains graphes de groupes, ayant leurs groupes d'arêtes finis, ont des groupes fondamentaux co-hopfiens. Nous montrons aussi, en utilisant le scindement JSJ de Bowditch, que tout groupe hyperbolique à un bout est co-hopfien. Ce résultat généralise un résultat de Sela au cas avec torsion. Nous terminons avec un algorithme général décidant, étant donné un groupe hyperbolique, si ce groupe est co-hopfien ou non.

Nous étudions la clôture algébrique et définissable dans les groupes libres. Les résultats principaux peuvent être résumés comme suit. Nous montrons un résultat de constructibilité des groupes hyperboliques sans torsion au-dessus de la clôture algébrique d'un sous-ensemble engendrant un groupe non abélien. Nous avons cherché à comprendre la place qu'occupe la clôture algébrique acl_G(A) dans certaines décompositions de G. Nous avons étudié la possibilité de la généralisation de la méthode de Bestvina-Paulin dans d'autres directions, en considérant les groupes de type fini qui agissent d'une manière acylindrique (au sens de Bowditch) sur les graphes hyperboliques. Enfin, nous avons étudié les relations qui existent entre les différentes notions de clôture algébrique et entre la clôture algébrique et la clôture définissable.

<p>Let $\mathbf{G}$ be a connected reductive algebraic group defined over an algebraic closure of the finite field of prime order $p>0$, which we assume to be good for $\mathbf{G}$. We denote by $F : \mathbf{G} \to \mathbf{G}$ a Frobenius endomorphism of $\mathbf{G}$ and by $G$ the corresponding $\mathbb{F}_q$-rational structure. If $\operatorname{Irr}(G)$ denotes the set of ordinary irreducible characters of $G$ then by work of Lusztig and Geck we have a well defined map $\Phi_{\mathbf{G}} : \operatorname{Irr}(G) \to \{F\text{-stable unipotent conjugacy classes of }\mathbf{G}\}$ where $\Phi_{\mathbf{G}}(\chi)$ is the unipotent support of $\chi$.</p> <p>Lusztig has given a classification of the irreducible characters of $G$ and obtained their degrees. In particular he has shown that for each $\chi \in \operatorname{Irr}(G)$ there exists an integer $n_{\chi}$ such that $n_{\chi}\cdot\chi(1)$ is a monic polynomial in $q$. Given a unipotent class $\mathcal{O}$ of $\mathbf{G}$ with representative $u \in \mathbf{G}$ we may define $A_{\mathbf{G}}(u)$ to be the finite quotient group $C_{\mathbf{G}}(u)/C_{\mathbf{G}}(u)^{\circ}$. If the centre $Z(\mathbf{G})$ is connected and $\mathbf{G}/Z(\mathbf{G})$ is simple then Lusztig and H\'zard have independently shown that for each $F$-stable unipotent class $\mathcal$ of $\mathbf$ there exists $\chi \in \operatorname(G)$ such that $\Phi_(\chi)=\mathcal$ and $n_ = |A_(u)|$, (in particular the map $\Phi_$ is surjective).</p> <p>The main result of this thesis extends this result to the case where $\mathbf$ is any simple algebraic group, (hence removing the assumption that $Z(\mathbf)$ is connected). In particular if $\mathbf$ is simple we show that for each $F$-stable unipotent class $\mathcal$ of $\mathbf$ there exists $\chi \in \operatorname(G)$ such that $\Phi_(\chi) = \mathcal$ and $n_ = |A_(u)^F|$ where $u \in \mathcal^F$ is a well-chosen representative. We then apply this result to prove, (for most simple groups), a conjecture of Kawanaka's on generalised Gelfand--Graev representations (GGGRs). Namely that the GGGRs of $G$ form a $\mathbf{Z}$-basis for the $\mathbf{Z}$-module of all unipotently supported class functions of $G$. Finally we obtain an expression for a certain fourth root of unity associated to GGGRs in the case where $\mathbf{G}$ is a symplectic or special orthogonal group.</p>

Cette thèse a pour objet de développer de nouveaux algorithmes pour les groupes de tresses. Un problème important en théorie mathématique des tresses est d'améliorer les algorithmes existants pour résoudre le problème de conjugaison. Nous résolvons complètement ce problème dans le cas du groupe des tresses à quatre brins, en exhibant un algorithme de complexité cubique en terme de la longueur des entrées. La démonstration s'appuie sur deux aspects fondamentaux des groupes de tresses : la structure de groupe de Garside et la structure de groupe de difféotopie. Comme résultat préliminaire, nous développons un algorithme de complexité quadratique capable de classifier les tresses à quatre brins selon leur type de Nielsen-Thurston. Plus généralement, nous étudions ce problème de classification pour un nombre arbitraire de brins. Nous donnons une adaptation des résultats connus de Benardete-Gutiérrez-Nitecki au cadre de la structure de Garside duale. Enfin, à l'aide d'un résultat profond (et non constructif) de Masur-Minsky, nous prouvons l'existence d'un algorithme de complexité polynômiale pour décider le type de Nielsen-Thurston d'une tresse avec un nombre de brins arbitraire.

Étant donné un complexe de groupes, quand peut-on déduire une propriété de son groupe fondamental à partir des propriétés analogues de ses groupes locaux ? Ce problème naturel de géométrie des groupes a fait l'objet de nombreux travaux dans le cas des graphes de groupes et des complexes de groupes finis. Cette thèse se propose de développer des outils géométriques pour étudier le cas des complexes de groupes à courbure négative ou nulle. Nous nous intéressons à des propriétés de nature asymptotique : EZ-structures, hyperbolicité. Ce faisant, nous démontrons un théorème de combinaison pour les groupes hyperboliques qui généralise au complexe de groupes de dimension arbitraire un théorème de Bestvina-Feighn.

Cette thèse a pour objet l'étude des automorphismes des groupes d'Artin à angles droits. Etant donné un graphe simple fini $\Gamma$, le groupe d'Artin à angles droits $G_\Gamma$ associé à $\Gamma$ est le groupe défini par la présentation dont les générateurs sont les sommets de $\Gamma$, et dont les relateurs sont les commutateurs $[v,w]$, où {$v$,$w$} est une paire de sommets adjacents. Le premier chapitre est conçu comme une introduction générale à la théorie des groupes d'Artin à angles droits et de leurs automorphismes. Dans un deuxième chapitre, on démontre que tout sous-groupe sous-normal d'indice une puissance de $p$ d'un groupe d'Artin à angles droits est résiduellement $p$-séparable. Comme application de ce résultat, on montre que tout groupe d'Artin à angles droits est résiduellement séparable dans la classe des groupes nilpotents sans torsion. Une autre application de ce résultat est que le groupe des automorphismes extérieurs d'un groupe d'Artin à angles droits est virtuellement résiduellement $p$-fini. On montre également que le groupe de Torelli d'un groupe d'Artin à angles droits est résiduellement nilpotent sans torsion, et, par suite, résiduellement $p$-fini et bi-ordonnable. Dans un troisième chapitre, on établit une présentation du sous-groupe $Conj(G_\Gamma)$ de $Aut(G_\Gamma)$ formé des automorphismes qui envoient chaque générateur sur un conjugué de lui-même.

Cette thèse est centrée sur l'étude des polytopes hyperboliques, des groupes de réflexions et invariants associes. Soit G un groupe de Coxeter, sous-groupe de Isom Hn. Alors, il existe un domaine fondamental P ⊂ Hn qui est naturellement associe 'a ce groupe G. Le domaine P est un polytope de Coxeter. Réciproquement, chaque polytope de Coxeter P engendre un groupe de Coxeter agissant sur Hn: le groupe engendre par les réflexions par rapport a ses facettes. Ces réflexions forment un ensemble naturel de générateurs pour le groupe G. On peut donc exprimer la série de d'accroissement fS (t) du groupe G par rapport a l'ensemble S. Par un resultat de R. Steinberg, la série d'accroissement associée correspond a la série de Taylor d'une fonction rationnelle. Le taux d'accroissement τ de G est l'inverse du rayon de convergence de cette dernière. Le taux de convergence est un entier algébrique et, par un resultat de J. Milnor, τ > 1. Par un résultat de W. Parry, si G agit sur H2 de fa¸con co-compacte, son taux d'accroissement est un nombre de Salem. Par un résultat de W. Floyd, il existe un lien géométrique entre les taux d'accroissement des groupes de Coxeter cocompacts et ceux des groupes a co-volume fini agissant sur H2. Ce lien correspond a une image géométrique de la convergence d'une suite de nombres de Salem vers un nombre de Pisot. Dans cette thèse, on verra un phénomène analogue en dimension 3. En dimension n ≥ 4, le taux d'accroissement d'un groupe de Coxeter agissant de fa¸con cocompacte sur Hn n'est plus un nombre de Salem, ni un nombre de Pisot. Nous nous intéressons a une classe particulière de groupes de Coxeter est celle des groupes de Coxeter rectangulaires. Dans ce cas, les domaines fondamentaux sont des poly- topes aux angles diedres droits. Concernant la classe de polytopes rectangulaires compacts (respectivement, 'a volume fini, id'eaux) dans H4, on pose les problèmes suivants: - déterminer le volume minimal dans ces familles, - déterminer le nombre minimal de composante combinatoire (facettes, faces, arêtes, sommets) dans ces familles. Dans le cas des polytopes rectangulaires a volume fini, la solution a été donnée par E. Vinberg, L. Potyagailo et par B. Everitt, J. Ratcliffe, S. Tschantz. Pour les polytopes rectangulaires compacts, il existe seulement une conjecture. Dans cette these, nous repondons a ces questions dans le cas des polytopes rectangulaires id'eaux.

L'étude des marches aléatoires fait apparaître des connexions entre leurs propriétés algébriques, géométriques ou encore combinatoires et leurs propriétés stochastiques. Si les marches aléatoires sur les groupes - ou sur des espaces homogènes - fournissent beaucoup d'exemples, il serait appréciable d'obtenir de tels résultats de rigidité sur des structures algébriques plus faibles telles celles de semi-groupoide ou de groupoide. Dans cette thèse il est considéré un exemple de semi-groupoide et un exemple de groupoide, tous les deux sont définis a partir de sous-graphes contraints du graphe de Cayley d'un groupe - le premier graphe est dirige alors que le second ne l'est pas. Pour ce premier exemple, on précise un résultat de Campanino et Petritis (ils ont montre que la marche aléatoire simple était transiente pour cet exemple de graphe dirigé) en déterminant la frontière de Martin associée à cette marche et établissant sa trivialité Dans le second exemple apparaissant dans ce manuscrit, on considère des pavages quasi-périodiques de l'espace euclidien obtenus à l'aide de la méthode de coupe et projection. Nous considérons la marche aléatoire simple le long des arêtes des polytopes constituant le pavage, et nous répondons a la question du type de celle-ci, c'est-à-dire nous déterminons si elle est récurrente ou transiente. Nous montrons ce résultat en établissant des inégalités isopérimétriques Cette stratégie permet d'obtenir des estimées de la vitesse de décroissance du noyau de la chaleur, ce que n'aurait pas permis l'utilisation d'un critère de type Nash-Williams.

Dans de nombreux phénomènes régis par le hasard, le résultat de l'observation provient de la combinaison aléatoire d'événements élémentaires : le gain d'un joueur au jeu de pile ou face est le résultat de parties successives, mélanger un jeu de cartes s'effectue en plusieurs battages consécutifs, l'enchevêtrement d'une molécule d'ADN dans une cellule est le produit, entre autres, de croisements successifs. Ces événements élémentaires ont la particularité d'être réversibles (gagner/perdre au pile ou face, croiser/décroiser des brins d'ADN) et l'aléa régissant leur combinaison possède une certaine indépendance (l'issue d'une partie de pile ou face n'a a priori aucune influence sur la suivante). Un modèle possible pour ces phénomènes consiste à considérer un groupe G, fini ou dénombrable, que l'on munit d'une mesure de probabilité μ. On effectue des tirages successifs d'éléments dans G avec les hypothèses suivantes : les tirages sont indépendants, et, pour chaque tirage, μ(g) est la probabilité de tirer l'élément g. Si g1, g2,...,gn est le résul- tat de n tirages, on forme le produit g1.g2. ... . gn. C'est, par définition, la position à l'instant n de la marche aléatoire sur G de loi μ, et la question est : que peut-on dire du comportement asymptotique de g1.g2. ... .gn lorsque n augmente in- définiment ? La marche aléatoire s'en va-t'elle à l'infini ? Si oui, dans quelle direction ? Et à quelle vitesse ? Mes travaux depuis 2003 sont consacrés, pour l'essentiel, à l'étude du comportement asymptotique des marches aléatoires dans trois familles de groupes infinis, non abéliens et de type fini : les produits libres de groupes finis, les groupes d'Artin diédraux, ainsi que certaines extensions des groupes libres. Ils sont le fruit de collaborations avec Jean Mairesse (CNRS, Paris VI) et François Gautero (Université de Nice). Dans le cas des produits libres de groupes finis, nous décrivons précisément la mesure harmonique pour les marches aléatoires au plus proche voisin dans ces groupes, ce qui permet de calculer la vitesse et l'entropie asymptotique. En particulier, ces quantités dépendent de façon analytique des coefficients de μ. Considérant l'inégalité fondamentale de Yves Guivarc'h entre vitesse, entropie et croissance, nous montrons que les générateurs canoniques des produits libres de groupes finis sont extrémaux au sens de Vershik. Les groupes d'Artin diédraux forment une classe de groupes d'Artin qui généralise le groupe de tresses à trois brins B3 et pour laquelle nous donnons une description précise des géodésiques. La connaissance de la vitesse de fuite des marches aléatoires au plus proche voisin dans le groupe B3 est un premier outil de mesure de la complexité asymptotique d'une tresse aléatoire. Dans ce cas, on montre que la vitesse dépend de façon lipschitzienne mais non différentiable de μ, faisant apparaître certaines transitions de phase. Enfin, en ce qui concerne les extensions du groupe libre, nous montrons que, dans certains cas (comprenant notamment les extensions cycliques) les fonctions μ-harmoniques bornées sont entièrement décrites via le bord du groupe libre sous-jacent. La preuve repose sur l'existence d'actions non triviales de ces groupes sur des arbres réels, couplée à des critères généraux sur les compactifications des groupes développés par Vadim Kaimanovich.