Dans ce travail, nous nous intéressons à deux questions. La première est de savoir si les champs de vecteurs non singuliers et géodésibles sur une variété fermée de dimension trois ont des orbites périodiques. La seconde, étudie les relations entre les feuilletages moyennables et les feuilletages dont toutes les feuilles sont Folner. L'idée commune dans ces deux problèmes est l'utilisation de pièges: un outil qui nous permet de changer un feuilletage à l'intérieur d'une carte feuilletée.<br /> <br /> Dans le premier chapitre nous abordons la première question. On dit qu'un champ de vecteurs non singulier est géodésible s'il existe une métrique riemannienne sur la variété ambiante pour laquelle toutes les orbites sont des géodésiques. Soit X un tel champ de vecteurs sur une variété fermée de dimension trois. Supposons que la variété est difféomorphe à la sphère ou son deuxième groupe d'homotopie est non trivial. Pour ces variétés, on montre que si X est analytique réel ou s'il préserve une forme volume, il possède une orbite périodique. <br /><br />Le deuxième chapitre est dédié à la seconde question. En 1983, R. Brooks avait annoncé qu'un feuilletage dont presque toutes les feuilles sont Folner est moyennable. A l'aide d'un piège, on va construire un contre-exemple à cette affirmation, c'est-à-dire un feuilletage non moyennable dont toutes les feuilles sont Folner. <br />Nous cherchons ensuite des conditions suffisantes sur le feuilletage pour que l'énoncé de R. Brooks soit valable. Comme suggéré par V. A. Kaimanovich, une possibilité est supposer que le feuilletage soit minimal. On montre que cette hypothèse est suffisante en utilisant un théorème de D. Cass que décrit les feuilles minimales.

Le système de vérification propose permet de réduire et de comparer des systèmes de transitions étiquetées en tenant compte d'une relation d'équivalence. Les relations d'équivalence considérées sont la congruence forte, l'équivalence et la congruence observationnelles et la congruence par modèle d'acceptation. Les bases théoriques d'Aldebaran sont présentées ainsi que des algorithmes efficaces pour la comparaison et les réductions de systèmes de transition étiquetées et une réalisation en langage C

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).

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).

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal.

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal