On considère R une relation d’équivalence borélienne standard de type I I1 sur un espace de probabilités (X, µ). On étudie une certaine propriété d’homogénéité pour un graphage fixé de la relation R : on suppose que les feuilles du graphage sont toutes isomorphes à un certain graphe transitif (connexe, infini, localement fini) Γ. Que peut-on dire sur la relation ? Dans ce cas, en considérant une action "à la Mackey", on montre qu’il existe (Z ,η) un revêtement standard probabilisé de (X, µ), une action libre (qui préserve η) sur Z du groupe G (localement compact, à base dénombrable d’ouverts) des automorphismes du graphe et un isomorphisme stable des groupoïdes mesurés associés. On fait le lien entre les propriétés du groupe G et celles de la relation de départ ; en particulier la propriété (T), (H) et la moyennabilité "passent" du graphe à la relation et réciproquement. On déduit aussi de la construction quelques couplages d’équivalence mesurée (ou plus généralement des "randembeddings") entre certains sous-groupes des automorphismes de Γ et tout groupe qui contient orbitalement la relation R. Dans un deuxième chapitre, on aborde le cas particulier de la propriété (T) relative pour les paires de groupes (ΓxZ^2, Z^2), où Γ est un sous-groupe non moyennable de SL(2,Z). Cette propriété a d’abord été prouvée par Marc Burger, puis "re-démontrée" plus "visuellement" quelques années plus tard dans le cas de SL(2,Z)xZ^2 par Y. Shalom, en utilisant des découpages du plan. On reprend cette technique dans le cas général du théorème de Burger afin d’obtenir par un algorithme des constantes de Kazhdan explicites pour toute paire (ΓxZ^2, Z^2). / We consider a measure preserving standard borel equivalence relation R on a standard probability space (X,µ). We study a particular property of homogeneity for a fixed graphing of the relation R : We assume that the leaves of the graphing are all isomorphic to a given transitive graph Γ (connected, infinite, locally finite). What can be known about the relation ?In this case, considering a « Mackey action », we show that there exists a standard covering of (X,µ) i.e. a standard space Z; a probability measure η; a free, measure-preserving action on Z of G the (locally compact, second countable) group of all graph automorphisms of Γ and a stable isomorphism of the associated measured groupoid with R. We investigate some links between properties of G (resp. of the graph Γ) and those of R. In particular, Kazhdan property (T), Haagerup property (H) and amenability are preserved from the graph to the relation and conversely. We also deduce from the construction some couplings of measured equivalence (more generally some randembeddings) between subgroups of G and any group orbitally containing R. In a second chapter, we deal with the relative property (T) for the pairs (ΓxZ^2,Z^2), where Γ is a non-amenable subgroup of SL(2,Z). This property was first proved by M. Burger. Later on, Y. Shalom gave a more geometrical proof in the case of SL(2,Z)xZ^2, by using partitions of the plane. Following the same techniques in the general case of Burger's theorem, we develop an algorithm producing explicit constants for all pairs (ΓxZ^2,Z^2).
| Identifer | oai:union.ndltd.org:theses.fr/2012ENSL0740 |
| Date | 24 September 2012 |
| Creators | Mercier, Pierre-Adelin |
| Contributors | Lyon, École normale supérieure, Gaboriau, Damien |
| Source Sets | Dépôt national des thèses électroniques françaises |
| Language | French |
| Detected Language | French |
| Type | Electronic Thesis or Dissertation, Text |
Page generated in 0.0022 seconds