We continue our study of the concepts of amenability and co-amenability for algebraic quantum groups in the sense of A. Van Daele and our investigation of their relationship with nuclearity and injectivity. One major tool for our analysis is that every non-degenerate *-representation of the universal C*-algebra associated to an algebraic quantum qroup has a unitary generator which may be described in a concrete way.
We define concepts of amenability and co-amenability for algebraic quantum groups in the sense of A. Van Daele. We show that co-amenability of an algebraic quantum group always implies amenability of its dual. Various necessary and/or sufficient conditions for amenability or co-amenability are obtained. Co-amenability is shown to have interesting consequences for the modular theory in the case that the algebraic quantum group is of compact type.
We introduce and study several amenability properties for unitary corepresentations and *-representations of algebraic quantum groups, which may be used to characterize amenability or co-amenability of such groups. As a background for this study, we also investigate the involved tensor C*-categories.
We recast the Foelner condition in an operator algebraic setting and prove that it implies a certain dimension flatness property. Furthermore, it is proven that the Foelner condition generalizes the existing notions of amenability and that the enveloping von Neumann algebra arising from a Foelner algebra is automatically injective. As an application we show how our techniques unify the previously known results concerning vanishing of L^2-Betti numbers for amenable groups, groupoids and quantum groups and moreover provides a large class of new examples of algebras with vanishing L^2-Betti numbe…
We study the concept of co-amenability for a compact quantum group. Several conditions are derived that are shown to be equivalent to it. Some consequences of co-amenability that we obtain are faithfulness of the Haar integral and automatic norm-boundedness of positive linear functionals on the quantum group's Hopf *-algebra (neither of these properties necessarily holds without co-amenability).
In this paper, we introduce actions of fusion algebras on unital $C^*$-algebras, and define amenability for fusion algebraic actions. Motivated by S.\ Neshveyev et al.'s work, considering the co-representation ring of a compact quantum group as a fusion algebra, we define the canonical fusion algebraic (for short, CFA) form of a discrete quantum group action on a compact quantum space. Furthermore, through the CFA form, we define FA-amenability of discrete quantum group actions, and present some basic connections between FA-amenable actions and amenable discrete quantum groups. As an applicati…
We show that coincidence of the full and reduced crossed product $C^\ast$-algebras of a group action on a unital commutative $C^\ast$-algebra implies amenability of the action whenever the group is exact. This is a partial answer to a problem posed by C. Anantharaman-Delaroche in 1987.
The basic notions and results of equivariant KK-theory concerning crossed products can be extended to the case of locally compact quantum groups. We recall these constructions and prove some usefull properties of subgroups and amalgamated free products of discrete quantum groups. Using these properties and a quantum analogue of the Bass-Serre tree, we establish the K-amenability of amalgamated free products of amenable discrete quantum groups.
We prove that the Cowling-Haagerup constant of a reduced free product of weakly amenable discrete quantum groups with Cowling-Haagerup constant equal to 1 is again equal to 1.
In this work we apply Noncommutative Potential Theory to prove (relative) amenability and the (relative) Haagerup Property $(H)$ of von Neumann algebras in terms of the spectral growth of Dirichlet forms. Examples deal with (inclusions of) countable discrete groups and free orthogonal compact quantum groups.
We study C*-algebras associated with subsemigroups of groups. For a large class of such semigroups including positive cones in quasi-lattice ordered groups and left Ore semigroups, we describe the corresponding semigroup C*-algebras as C*-algebras of inverse semigroups, groupoid C*-algebras and full corners in associated group crossed products. These descriptions allow us to characterize nuclearity of semigroup C*-algebras in terms of faithfulness of left regular representations and amenability of group actions. Moreover, we also determine when boundary quotients of semigroup C*-algebras are U…
We prove that a partial action is amenable if and only if so is its Morita enveloping action. As applications we prove that any partial representation of a discrete group is positive definite, and we extend a result of Zeller-Meier concerning the amenability of discrete groups and the existence of invariant states to partial actions.
In this article we analyze the notions of amenability and paradoxical decomposition from an algebraic perspective. We consider this dichotomy for locally finite extended metric spaces and for general algebras over commutative fields. In the context of algebras we also study the relation of amenability with proper infiniteness. We apply our general analysis to two important classes of algebras: the unital Leavitt path algebras and the translation algebras on locally finite extended metric spaces. In particular, we show that the amenability of a metric space is equivalent to the algebraic amenab…
We introduce an appropriate notion of inner amenability for locally compact quantum groups, study its basic properties, related notions, and examples arising from the bicrossed product construction. We relate these notions to homological properties of the dual quantum group, which allow us to generalize a well-known result of Lau--Paterson, resolve a recent conjecture of Ng--Viselter, and prove that, for inner amenable quantum groups $\mathbb{G}$, approximation properties of the dual operator algebras can be averaged to approximation properties $\mathbb{G}$. Similar homological techniques are …
In this short note we introduce a notion called "quantum injectivity" of locally compact quantum groups, and prove that it is equivalent to amenability of the dual. Particularly, this provides a new characterization of amenability of locally compact groups.
We first show that co-amenability does not pass to subgroups, answering a question asked by Eymard in 1972. We then address co-amenability for von Neumann algebras, describing notably how it relates to the former.
In this paper we prove that the Thompson groups $T$ and $V$ are not inner amenable. In particular, their group von Neumann algebras do not have property $Γ$. Moreover, we prove that if the reduced group $C^\ast$-algebra of $T$ is simple, then the Thompson group $F$ is non-amenable. Furthermore, we give a few new equivalent characterizations of amenability of $F$.
Let (G,S) be a Coxeter group. We construct a continuation, to the open unit disc, of the unitary representations associated to the positive definite functions g -> r^l(g). (Here 0<r<1, and l denotes the length function with respect to the generating set S.) The constructed representations are uniformly bounded and we prove that this implies the weak amenability of the group G.
We show that the amenability of a locally compact group $G$ is equivalent to a factorization property of $VN(G)$ which is given by $ VN(G) = <VN(G)^*VN(G)>$. This answer partially two problems proposed by Z. Hu and M. Neufang in their article \textit{Distinguishing properties of Arens irregularity}, Proc. Amer. Math. Soc. 137 (2009), no. 5, 1753-1761.
As is well known, the equivalence between amenability of a locally compact group $G$ and injectivity of its von Neumann algebra $\mathcal{L}(G)$ does not hold in general beyond inner amenable groups. In this paper, we show that the equivalence persists for all locally compact groups if $\mathcal{L}(G)$ is considered as a $\mathcal{T}(L_2(G))$-module with respect to a natural action. In fact, we prove an appropriate version of this result for every locally compact quantum group.
Let $H$ be a proper subgroup of a discrete group $G$. We introduce a notion of relative inner amenability of $H$ in $G$, we prove some equivalent conditions and provide examples as well as counter-examples. We also discuss the corresponding relative property gamma for pairs of finite factors $N\subset M$ and we deduce from this a characterization of discrete, icc groups which do not have Kazhdan's property (T).
We study stability properties of amenable locally compact quantum groups under the bicrossed product construction. We obtain as our main result an equivalence between amenability of the bicrossed product and amenability of the matched quantum groups used as building ingredients of the bicrossed product. Finally, we give examples of non-amenable locally compact quantum groups obtained by a bicrossed product construction.
We provide an alternative proof for the extreme amenability of the unitary group of the hyperfinite II${}_1$-factor von Neumann algebra, endowed with the strong operator topology.
We construct the HNN extension of discrete quantum groups, we study their representation theory and we show that an HNN extension of amenable discrete quantum groups is K-amenable.
Building on our previous work, we study the non-relative homology of quantum group convolution algebras. Our main result establishes the equivalence of amenability of a locally compact quantum group $\mathbb{G}$ and 1-injectivity of $L^{\infty}(\widehat{\mathbb{G}})$ as an operator $L^1(\widehat{\mathbb{G}})$-module. In particular, a locally compact group $G$ is amenable if and only if its group von Neumann algebra $VN(G)$ is 1-injective as an operator module over the Fourier algebra $A(G)$. As an application, we provide a decomposability result for completely bounded $L^1(\widehat{\mathbb{G}}…
We prove that amenability of a unitary co-representation $U$ of a locally compact quantum group passes to unitary co-representations that weakly contain $U$. This generalizes a result of Bekka, and answers affirmatively a question of Bédos, Conti and Tuset. As a corollary, we extend to locally compact quantum groups a result of the first-named author, which characterizes amenability of a locally compact group $G$ by nuclearity of the reduced group $C^{*}$-algebra $C_{r}^{*}(G)$ and an additional condition.
Let K be a fine hyperbolic graph and G be a group acting on K with finite quotient. We prove that G is exact provided that all vertex stabilizers are exact. In particular, a relatively hyperbolic group is exact if all its peripheral groups are exact. We prove this by showing that the group G acts amenably on a compact topological space. We include some applications to the theories of group von Neumann algebras and of measurable orbit equivalence relations.
We prove that if G is a discrete group that admits a metrically proper action on a finite-dimensional CAT(0) cube complex X, then G is weakly amenable. We do this by constructing uniformly bounded Hilbert space representations for which the quantities z^{l(g)} are matrix coefficients. Here l is a length function on G obtained from the combinatorial distance function on the complex X.
Following an approach of Ozawa, we show that several semidirect products are not weakly amenable. As a consequence, we are able to characterize the simply connected Lie groups that are weakly amenable.
We show that a large class of i.c.c., countable, discrete groups satisfying a weak negative curvature condition are not inner amenable. By recent work of Hull and Osin, our result recovers that mapping class groups and Out(F_n) are not inner amenable. We also show that the group-measure space constructions associated to free, strongly ergodic p.m.p. actions of such groups do not have property Gamma of Murray and von Neumann.
Generalizing Block and Weinberger's characterization of amenability we introduce the notion of uniformly finite homology for a group action on a compact space and use it to give a homological characterization of topological amenability for actions. By considering the case of the natural action of $G$ on its Stone-\vCech compactification we obtain a homological characterization of exactness of the group, answering a question of Nigel Higson.
We use $\mathrm{C}^{\ast}$-algebra ultrapowers to give a new construction of the Stone-Cech compactification of a separable, locally compact space. We use this construction to give a new proof of the fact that groups that act isometrically, properly, and transitively on trees are boundary amenable.
We completely characterize connected Lie groups all of whose countable subgroups are weakly amenable. We also provide a characterization of connected semisimple Lie groups that are weakly amenable. Finally, we show that a connected Lie group is weakly amenable if the group is weakly amenable as a discrete group.
Let G be a locally compact group, and let A(G) and B(G) denote its Fourier and Fourier-Stieltjes algebras. These algebras are dual objects of the group and measure algebras, L^1(G) and M(G), in a sense which generalizes the Pontryagin duality theorem on abelian groups. We wish to consider the amenability properties of A(G) and B(G) and compare them to such properties for L^1(G) and M(G). For us, ``amenability properties'' refers to amenability, weak amenability, and biflatness, as well as some properties which are more suited to special settings, such as the hyper-Tauberian property for semisi…
In this paper we prove that the general version, F(N) of the Thompson group is inner amenable. As a consequence we generalize a result of P.Jolissaint. To do so, we prove first that F(N) together with a normal subgroup are i.c.c (infinite conjugacy classes) groups. Then, we investigate the relative McDuff property out of which we extract property $Γ$ for the group von Neumann algebras involved. By a result of E.G.Effros, F(N) follows inner amenable.
We show that the universal minimimal proximal flow and the universal minimal strongly proximal flow of a discrete group can be realized as the Stone spaces of translation invariant Boolean algebras of subsets of the group satisfying a higher order notion of syndeticity. We establish algebraic, combinatorial and topological dynamical characterizations of these subsets that we use to obtain new necessary and sufficient conditions for strong amenability and amenability. We also characterize dense orbit sets, answering a question of Glasner, Tsankov, Weiss and Zucker.
We show that, if $G$ is an amenable group and $H$ is a hyperbolic group, then the free product $G\ast H$ is weakly amenable. A key ingredient in the proof is the fact that $G\ast H$ is orbit equivalent to $\mathbb{Z}\ast H$.
Let $G$ be a subgroup of a discrete (countable) group $Γ$. We introduce a notion of relative inner amenability of $G$ in $Γ$, we prove some equivalent conditions and provide examples as well as counter-examples. We also discuss briefly the corresponding relative property gamma for pairs of finite factors and we deduce from this a characterization of discrete, icc groups which do not have Kazhdan's property $T$.
We study weak amenability for locally compact quantum groups in the sense of Kustermans and Vaes. In particular, we focus on non-discrete examples. We prove that a coamenable quantum group is weakly amenable if there exists a net of positive, scaling invariant elements in the Fourier algebra A(G) whose representing multipliers form an approximate identity in C_0(G) that is bounded in the M_0A(G) norm; the bound being an upper estimate for the associated Cowling-Haagerup constant. As an application, we find the appropriate approximation properties of the extended quantum SU(1,1) group and its d…
Given a locally compact quantum group $\mathbb{G}$ and a closed quantum subgroup $\mathbb{H}$, we show that $\mathbb{G}$ is amenable if and only if $\mathbb{H}$ is amenable and $\mathbb{G}$ acts amenably on the quantum homogenous space $\mathbb{G}/\mathbb{H}$. We also study the existence of $L^1(\widehat{\mathbb{G}})$-module projections from $L^{\infty}(\widehat{\mathbb{G}})$ onto $L^{\infty}(\widehat{\mathbb{H}})$.
In his study of amenable unitary representations, M. E. B. Bekka asked if there is an analogue for such representations of the remarkable fixed-point property for amenable groups. In this paper, we prove such a fixed-point theorem in the more general context of a $G$-amenable von Neumann algebra $M$, where $G$ is a locally compact group acting on $M$. The Følner conditions of Connes and Bekka are extended to the case where $M$ is semifinite and admits a faithful, semifinite, normal trace which is invariant under the action of $G$.
In this work we introduce and study a new notion of amenability for actions of locally compact groups on $C^*$-algebras. Our definition extends the definition of amenability for actions of discrete groups due to Claire Anantharaman-Delaroche. We show that our definition has several characterizations and permanence properties analogous to those known in the discrete case. For example, for actions on commutative $C^*$-algebras, we show that our notion of amenability is equivalent to measurewise amenability. Combined with a recent result of Alex Bearden and Jason Crann, this also settles a long s…
This is a survey of some aspects of the subject of approximation properties for locally compact quantum groups, based on lectures given at the {\it Topological Quantum Groups} Graduate School, 28 June - 11 July, 2015 in Bedłewo, Poland. We begin with a study of the dual notions of amenability and co-amenability, and then consider weakenings of these properties in the form of the Haagerup property and weak amenability. For discrete quantum groups, the interaction between these properties and various operator algebra approximation properties are investigated. We also study the connection between…
Given a countable residually finite group, we construct a compact group K and two elements w and u of K with the following properties: The group generated by w and the cube of u is amenable, the group generated by w and u contains a copy of the given group, and these two groups are dense in K. By combining it with a construction of non-exact groups that are LEF by Osajda and Arzhantseva--Osajda and formation of diagonal products, we construct an example for which the latter dense group is non-exact. Our proof employs approximations in the space of marked groups of LEF ("Locally Embeddable into…
In a previous paper the authors developed an operator-algebraic approach to Lewis Bowen's sofic measure entropy that yields invariants for actions of countable sofic groups by homeomorphisms on a compact metrizable space and by measure-preserving transformations on a standard probability space. We show here that these measure and topological entropy invariants both coincide with their classical counterparts when the acting group is amenable.
We prove that $Out(F_N)$ is boundary amenable. This also holds more generally for $Out(G)$, where $G$ is either a toral relatively hyperbolic group or a finitely generated right-angled Artin group. As a consequence, all these groups satisfy the Novikov conjecture on higher signatures.
We consider the Fourier-Stietljes algebra B(G) of a locally compact group G. We show that operator amenablility of B(G) implies that a certain semitolpological compactification of G admits only finitely many idempotents. In the case that G is connected, we show that operator amenability of B(G) entails that $G$ is compact.
Building on a construction of J-P. Serre, we associate to any graph of C*-algebras a maximal and a reduced fundamental C*-algebra and use this theory to construct the fundamental quantum group of a graph of discrete quantum groups. This construction naturally gives rise to a quantum Bass-Serre tree which can be used to study the K-theory of the fundamental quantum group. To illustrate the properties of this construction, we prove that if all the vertex qantum groups are amenable, then the fundamental quantum group is K-amenable. This generalizes previous results of P. Julg, A. Valette, R. Verg…
