Propriété de Liouville, entropie, et moyennabilité des groupes dénombrables

• Main Author: Matte Bon, Nicolás
• Other Authors: Université Paris-Saclay (ComUE)
• Language: en
• Published: 2016
• Subjects: Théorie des groupes; Marches aléatoires; Moyennabilité; Entropie; Dynamique symbolique; Group theory; Random walks; Amenability; Entropy; Symbolic dynamics
• Online Access: http://www.theses.fr/2016SACLS087

Cette thèse étudie la moyennabilité et la propriété de Liouville des groupes pleins-topologiques des systèmes de Cantor, des groupes d'échanges d'intervalles, et des groupes agissants sur les arbres enracinés. Dans le Chapitre 2, nous obtenons les premiers exemples de groupes simples, infinis, de type fini, tels que le bord de Poisson de toute marche aléatoire simple est trivial (la propriété de Liouville). Ces exemples sont des sous-groupes dérivés de groupes pleins topologiques d'une famille de sous-décalages minimaux. Nous montrons que si la complexité d'un sous-décalage (pas nécessairement minimal) est strictement sous-quadratique, toute mesure de probabilité symétrique de support fini sur le groupe plein-topologique est d'entropie asymptotique nulle. Dans le Chapitre 3, nous exhibons une famille de groupes pleins-topologiques de sous-décalages minimaux qui contiennent les groupes de Grigorchuk G_ω comme sous-groupes. Cette construction montre que le groupe plein-topologique d'un sous-décalage minimal peut avoir des sous-groupes de croissance intermédiaire, en répondant à une question de Grigorchuk. Dans le Chapitre 4 (basé sur un travail en commun avec K. Juschenko, N. Monod, M. de la Salle) nous étudions les actions extensivement moyennables, une notion qui est un outil pour montrer la moyennabilité des groupes. Comme application, nous montrons la moyennabilité des groupes d'échanges d'intervalles dont les angles de translations ont rang rationnel au plus 2. Nous obtenons aussi une caractérisation "de type Kesten" de la moyennabilité extensive d'une action, et nous l'utilisons pour donner une preuve courte, purement probabiliste du fait que les actions récurrentes sont extensivement moyennables. Nous étudions aussi la propriété de Liouville pour les groupes d'échanges d'intervalles, et nous montrons qu'il existe des groupes d'échanges d'intervalles tels que toute mesure de support fini non dégénérée a un bord non trivial. Dans le Chapitre 5 (basé sur un travail en commun avec G. Amir, O. Angel, B. Virág) nous montrons que les groupes agissant sur les arbres enracinés par automorphismes bornés ont la propriété de Liouville. En particulier cela inclut les groupes engendrés par des automates d'activité bornée. === This thesis deals with the Liouville property and amenability of topological full groups of Cantor systems, groups of interval exchanges, and groups acting on rooted trees. In Chapter 2, we provide the first examples of finitely generated, infinite simple groups that have trivial Poisson-Furstenberg boundary for simple random walks (the Liouville property). These arise as the derived subgroup of the topological full groups of a family of minimal subshifts. We show that if the complexity of a (non necessarily minimal) subshift grows strictly subquadratically, every symmetric and finitely supported probability measure on the topological full group has vanishing asymptotic entropy. In Chapter 3, we exhibit a family of topological full groups of minimal subshifts that contain Grigorchuk groups G_ω as subgroups. This shows that the topological full group of a minimal subshift can have subgroups of intermediate growth, answering a question of Grigorchuk. In Chapter 4 (based on a joint work with K. Juschenko, N. Monod, M. de la Salle), we study various features of extensively amenable group actions, a notion which is a tool to prove amenability of groups. As an application, we prove amenability of groups of interval exchanges whose angular components have rational rank at most 2. We also obtain a "Kesten-like" characterisation of extensive amenability in terms of the inverted orbit and use it give a short, probabilistic proof of the fact that recurrent actions are extensively amenable. Finally we study the Liouville property for groups of interval exchanges, and show that there are groups of interval exchanges that admit no finitely supported measure with trivial boundary. In Chapter 5 (based on a joint work with G. Amir, O. Angel, B. Virág), we establish the Liouville property for all groups acting on rooted trees by bounded automorphisms. This includes in particular groups generated by bounded automata. This strengthens results by various authors about amenability of these groups, some of which are based on proving the Liouville property in some special cases.