The aim of the article is to provide a characterization of Kazhdan's property (T) for locally compact, second countable pairs of groups $H\subset G$ in terms of actions on infinite, $σ$-finite measure spaces. It is inspired by the recent characterization of the Haagerup property by similar actions due to T. Delabie, A. Zumbrunnen and the author.
We give criteria on an inverse system of finite groups that ensure the limit is just infinite or hereditarily just infinite. More significantly, these criteria are 'universal' in that all (hereditarily) just infinite profinite groups arise as limits of the specified form. This is a corrected and revised version of the article: 'Inverse system characterizations of the (hereditarily) just infinite property in profinite groups', Bull. LMS vol 44, 3 (2012) 413--425.
Liouville property of actions of discrete groups can be reformulated in terms of existence co-F$ø$lner sets. Since every action of amenable group is Liouville, the property can be served as an approach for proving non-amenability. The verification of this property is conceptually different than finding a non-amenable action. There are many groups that are defined by strongly transitive actions. In some cases amenability of such groups is an open problem. We define $n$-Liouville property of action to be Liouville property of point-wise action of the group on the sets of cardinality $n$. We refo…
A residually finite (profinite) group $G$ is just infinite if every non-trivial (closed) normal subgroup of $G$ is of finite index. This paper considers the problem of determining whether a (closed) subgroup $H$ of a just infinite group is itself just infinite. If $G$ is not virtually abelian, we give a description of the just infinite property for normal subgroups in terms of maximal subgroups. In particular, we show that such a group $G$ is hereditarily just infinite if and only if all maximal subgroups of finite index are just infinite. We also obtain results for certain families of virtual…
It is shown that a finitely generated branch group has Serre's property (FA) if and only if it does not surject onto the infinite cyclic group or the infinite dihedral group. An example of a finitely generated self-similar branch group surjecting onto the infinite cyclic group is constructed.
We show that the class of amalgamated free products of two free groups over a cyclic subgroup admits amenable, faithful and transitive actions on infinite countable sets. This work generalizes the results on such actions for doubles of free group on 2 generators.
We give simple examples of Kazhdan groups with infinite outer automorphism groups. This answers a question of Paulin, independently answered by Ollivier and Wise by completely different methods. As arithmetic lattices in (non-semisimple) Lie groups, our examples are in addition finitely presented. We also use results of Abels about compact presentability of p-adic groups to exhibit a finitely presented non-Hopfian Kazhdan group. This answers a question of Ollivier and Wise.
This is the second paper in a series of three, where we take on the unified theory of non-Archimedean group actions, length functions and infinite words. Here, for an arbitrary group $G$ of infinite words over an ordered abelian group $Λ$ we construct a $Λ$-tree $Γ_G$ equipped with a free action of $G$. Moreover, we show that $Γ_G$ is a universal tree for $G$ in the sense that it isometrically embeds in every $Λ$-tree equipped with a free $G$-action compatible with the original length function on $G$.
We characterize the group property of being with infinite conjugacy classes (or icc, i.e. infinite and of which all conjugacy classes except {1} are infinite) for groups which are defined by an extension of groups. We give characterizations for all different kinds of extension: direct product, semi-direct product, wreath products and general extension. We also give many particular results when the groups involved verify some additional hypothesis. The icc property is correlated to the Theory of Von Neumann algebras since a necessary and sufficient condition for the Von Neumann algebra of a gro…
For each countable group $Q$ we produce a short exact sequence $1\to N \to G \to Q\to 1$ where $G$ is f.g. and has a graphical $\frac16$ presentation and $N$ is f.g. and satisfies property $T$. As a consequence we produce a group $N$ with property $T$ such that $\Out(N)$ is infinite. Using the tools developed we are also able to produce examples of nonHopfian and non-coHopfian groups with property $T$. One of our main tools is the use of random groups to achieve certain properties.
We define the structure of spaces with labelled partitions which generalizes the structure of spaces with measured walls and study the link between actions by automorphisms on spaces with labelled partitions and isometric affine actions on Banach spaces, and more particularly, on $L^p$ spaces. We build natural spaces with labelled partitions for the action of various contructions of groups, namely: direct sum; semi-direct product; wreath product and amalgamated free product. We apply this to prove that the wreath product of a group with property $PL^p$ by a group with Haagerup property has pro…
A group is said to be strongly amenable if each of its proximal topological actions has a fixed point. We show that a finitely generated group is strongly amenable if and only if it is virtually nilpotent. More generally, a countable discrete group is strongly amenable if and only if none of its quotients have the infinite conjugacy class property.
We prove the Haagerup property (= Gromov's a-T-menability) for finitely generated groups defined by infinite presentations satisfying the C'(1/6)-small cancellation condition. We deduce that these groups are coarsely embeddable into a Hilbert space and that the strong Baum-Connes conjecture holds for them. The result is a first non-trivial advancement in understanding groups with such properties among infinitely presented non-amenable direct limits of hyperbolic groups. The proof uses the structure of a space with walls introduced by Wise. As the main step we show that C'(1/6)-complexes satisf…
We investigate the class of groups admitting an action on a set with an invariant mean. It turns out that many free products admit such an action. We give a complete characterisation of such free products in terms of a strong fixed point property.
We establish a new characterization of property (T) in terms of the Furstenberg entropy of nonsingular actions. Given any generating measure $μ$ on a countable group $G$, A. Nevo showed that a necessary condition for $G$ to have property (T) is that the Furstenberg $μ$-entropy values of the ergodic, properly nonsingular $G$-actions are bounded away from zero. We show that this is also a sufficient condition.
We prove some general results about quasi-actions on trees and define Property (QFA), which is analogous to Serre's Property (FA), but in the coarse setting. This property is shown to hold for a class of groups, including $SL(n,\Z)$ for $n\geq 3$. We also give a way of thinking about Property (QFA) by breaking it down into statements about particular classes of trees.
It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result to the abstract setting of an infinite EI category satisfying certain combinatorial conditions.
For profinite branch groups, we first demonstrate the equivalence of the Bergman property, uncountable cofinality, Cayley boundedness, the countable index property, and the condition that every non-trivial normal subgroup is open; compact groups enjoying the last condition are called strongly just infinite. For strongly just infinite profinite branch groups with mild additional assumptions, we verify the invariant automatic continuity property and the locally compact automatic continuity property. Examples are then presented, including the profinite completion of the first Grigorchuk group. As…
We show that every countable group with infinite FC-center has the Schmidt property, i.e., admits a free, ergodic, measure-preserving action on a standard probability space such that the full group of the associated orbit equivalence relation contains a non-trivial central sequence. As its consequence, every countable, inner amenable group with property (T) has the Schmidt property.
In Chapter 2 of "Groups with the Haagerup Property", Jolissaint gives on the one hand a characterization of the Haagerup property in terms of strongly mixing actions on standard probability spaces; on the other hand he gives a noncommutative analogue of this result in terms of actions on factors. In the recent paper "A new characterization of the Haagerup property by actions on infinite measure spaces", the authors give a characterization of the Haagerup property but this time dealing with $C_0$-actions on infinite measure spaces. Following the spirit of this section, we give a noncommutative …
We study property (T) and the fixed point property for actions on $L^p$ and other Banach spaces. We show that property (T) holds when $L^2$ is replaced by $L^p$ (and even a subspace/quotient of $L^p$), and that in fact it is independent of $1\leq p<\infty$. We show that the fixed point property for $L^p$ follows from property (T) when $1<p< 2+\e$. For simple Lie groups and their lattices, we prove that the fixed point property for $L^p$ holds for any $1< p<\infty$ if and only if the rank is at least two. Finally, we obtain a superrigidity result for actions of irreducible lattices in products …
Gromov showed that for fixed, arbitrarily large C, any uniformly C-Lipschitz affine action of a random group in his graph model on a Hilbert space has a fixed point. We announce a theorem stating that more general affine actions of the same random group on a Hilbert space have a fixed point. We discuss some aspects of the proof.
We say that a group $G$ has Bergman's property (the property of universality of finite width) if for every generating set $X$ of $G$ with $X=X^{-1}$ we have that $G=X^k$ for some natural number $k.$ The property is named after George Bergman who have proved recently that the infinite symmetric groups are groups of universally finite width. The first example of an infinite group with Bergman's property is due to Shelah (1980s). Lately some other examples have been found: the automorphism groups of doubly transitive chains (Droste-Holland), the automorphism group of reals as a Borel space (Drost…
Based on an idea of Y. Péresse and some results of Maltcev, Mitchell and Ruškuc, we present sufficient conditions under which the endomorphism monoid of a countably infinite ultrahomogeneous first-order structure has the Bergman property. This property has played a prominent role both in the theory of infinite permutation groups and, more recently, in semigroup theory. As a byproduct of our considerations, we establish a criterion for a countably infinite ultrahomogeneous structure to be homomorphism-homogeneous.
We show that every non-amenable free product of groups admits free ergodic probability measure preserving actions which have relative property (T) in the sense of S.-Popa \cite[Def. 4.1]{Pop06}. There are uncountably many such actions up to orbit equivalence and von Neumann equivalence, and they may be chosen to be conjugate to any prescribed action when restricted to the free factors. We exhibit also, for every non-amenable free product of groups, free ergodic probability measure preserving actions whose associated equivalence relation has trivial outer automorphisms group. This gives in part…
Consider a free ergodic measure preserving profinite action $Γ\curvearrowright X$ (i.e. an inverse limit of actions $Γ\curvearrowright X_n$, with $X_n$ finite) of a countable property (T) group $Γ$ (more generally of a group $Γ$ which admits an infinite normal subgroup $Γ_0$ such that the inclusion $Γ_0\subsetΓ$ has relative property (T) and $Γ/Γ_0$ is finitely generated) on a standard probability space $X$. We prove that if $w:Γ\times X\to Λ$ is a measurable cocycle with values in a countable group $Λ$, then $w$ is cohomologous to a cocycle $w'$ which factors through the map $Γ\times X\to Γ\t…
We prove that Connes' Embedding Conjecture holds for the von Neumann algebras of sofic groups, that is sofic groups are hyperlinear. Hence we provide some new examples of hyperlinearity. We also show that the Determinant Conjecture holds for sofic groups as well. We introduce the notion of essentially free actions and amenable actions and study their properties.
We provide a smoothening criterion for group actions on manifolds by singular diffeomorphisms. We prove that if a countable group $Γ$ has the fixed point property FW for walls (e.g. if it has property (T)), every aperiodic action of $Γ$ by diffeomorphisms that are of class $C^r$ with countably many singularities is conjugate to an action by true diffeomorphisms of class $C^r$ on a homeomorphic (possibly non-diffeomorphic) manifold. As applications, we show that Navas's result for actions of Kazhdan groups on the circle, as well as the recent solutions to Zimmer's conjecture, generalise to aper…
A countable discrete group $G$ is called Choquet-Deny if for every non-degenerate probability measure $μ$ on $G$ it holds that all bounded $μ$-harmonic functions are constant. We show that a finitely generated group $G$ is Choquet-Deny if and only if it is virtually nilpotent. For general countable discrete groups, we show that $G$ is Choquet-Deny if and only if none of its quotients has the infinite conjugacy class property. Moreover, when $G$ is not Choquet-Deny, then this is witnessed by a symmetric, finite entropy, non-degenerate measure.
Let $Γ$ be a discrete group with property $(T)$ of Kazhdan. We prove that any Riemannian isometric action of $Γ$ on a compact manifold $X$ is locally rigid. We also prove a more general foliated version of this result. The foliated result is used in our proof of local rigidity for standard actions of higher rank semisimple Lie groups and their lattices in \cite{FM2}. One definition of property $(T)$ is that a group $Γ$ has property $(T)$ if every isometric $Γ$ action on a Hilbert space has a fixed point. We prove a variety of strengthenings of this fixed point properties for groups with proper…
In this paper, we establish a bijection between the infinite reduced words of an affine Weyl group and certain biclosed sets of its positive system and determine all finitely generated biclosed sets in the positive system of an affine Weyl group. Using these results, we show first that the biclosed sets in the standard positive system of rank 3 affine Weyl groups when ordered by inclusion form a complete algebraic ortholattice and secondly that the (generalized) braid graphs of those Coxeter groups are connected, which can be thought of as an infinite version of Tit's solution to the word prob…
Let $H \subseteq G$ be an inclusion of $p$-adic Lie groups. When $H$ is normal or even subnormal in $G$, the Hochschild-Serre spectral sequence implies that any continuous $G$-module whose $H$-cohomology vanishes in all degrees also has vanishing $G$-cohomology. With an eye towards applications in $p$-adic Hodge theory, we extend this to some cases where $H$ is not subnormal, assuming that the $G$-action is analytic in the sense of Lazard.
In this article, we study Hartnell's Firefighter Problem through the group theoretic notions of growth and quasi-isometry. A graph has the $n$-containment property if for every finite initial fire, there is a strategy to contain the fire by protecting $n$ vertices at each turn. A graph has the constant containment property if there is an integer $n$ such that it has the $n$-containment property. Our first result is that any locally finite connected graph with quadratic growth has the constant containment property; the converse does not hold. This result provides a unified way to recover previo…
Let $X$ be a compact metrizable space equipped with a continuous action of a countable amenable group $G$. Suppose that the dynamical system $(X,G)$ is expansive and is the quotient by a uniformly bounded-to-one factor map of a strongly irreducible subshift. Let $τ\colon X \to X$ be a continuous map commuting with the action of $G$. We prove that if there is no pair of distinct $G$-homoclinic points in $X$ having the same image under $τ$, then $τ$ is surjective.
We present several applications of the weak specification property and certain topological Markov properties, recently introduced by S. Barbieri, F. García-Ramos and H. Li, and implied by the pseudo-orbit tracing property, for general expansive group actions on compact spaces. First we show that any expansive action of a countable amenable group on a compact metrizable space satisfying the weak specification and strong topological Markov properties satisfies the Moore property, i.e. every surjective automorphism of such dynamical system is pre-injective. This together with an earlier result of…
Let us say that a discrete countable group is stable if it has an ergodic, free, probability-measure-preserving and stable action. Let G be a discrete countable group with a central subgroup C. We present a sufficient condition and a necessary condition for G to be stable. We show that if the pair (G, C) does not have property (T), then G is stable. We also show that if the pair (G, C) has property (T) and G is stable, then the quotient group G/C is stable.
We show that all groups of a distinguished class of «large» topological groups, that of Roelcke precompact Polish groups, have Kazhdan's Property (T). This answers a question of Tsankov and generalizes previous results by Bekka (for the infinite-dimensional unitary group) and by Evans and Tsankov (for oligomorphic groups). Further examples include the group $\operatorname{Aut}(μ)$ of measure-preserving transformations of the unit interval and the group $\operatorname{Aut}^*(μ)$ of non-singular transformations of the unit interval. More precisely, we prove that the smallest cocompact normal sub…
Let $\Cal S$ be the equivalence relation induced by the action SL$_2(\Bbb Z)\curvearrowright (\Bbb T^2,λ^2)$, where $λ^2$ denotes the Haar measure on the 2-torus, $\Bbb T^2$. We prove that any ergodic subequivalence relation $\Cal R$ of $\Cal S$ is either hyperfinite or rigid in the sense of S. Popa ([Po06]). The proof uses an ergodic-theoretic criterion for rigidity of countable, ergodic, probability measure preserving equivalence relations. Moreover, we give a purely ergodic-theoretic formulation of rigidity for free, ergodic, probability measure preserving actions of countable groups.
We propose a fixed-point property for group actions on cones in topological vector spaces. In the special case of equicontinuous actions, we prove that this property always holds; this statement extends the classical Ryll-Nardzewski theorem for Banach spaces. When restricting to cones that are locally compact in the weak topology, we prove that the property holds for all distal actions, thus extending the general Ryll-Nardzewski theorem for all locally convex spaces. Returning to arbitrary actions, the proposed fixed-point property becomes a group property, considerably stronger than amenabili…
We study equivalence relations that arise from translation actions $Γ\curvearrowright G$ which are associated to dense embeddings $Γ<G$ of countable groups into second countable locally compact groups. Assuming that $G$ is simply connected and the action $Γ\curvearrowright G$ is strongly ergodic, we prove that $Γ\curvearrowright G$ is orbit equivalent to another such translation action $Λ\curvearrowright H$ if and only if there exists an isomorphism $δ:G\rightarrow H$ such that $δ(Γ)=Λ$. If $G$ is moreover a real algebraic group, then we establish analogous rigidity results for the translation…