Examples of locally compact quantum groups through the bicrossed product construction
Stefaan Vaes
备注：
7 pages, invited talk at XIIIth International Conference Mathematical Physics, London, 2000
发表信息：
In Proceedings of the XIIIth International Congress of Mathematical Physics, Imperial College, London, 2000. Editors A. Grigoryan, A. Fokas, T. Kibble and B. Zegarlinski, International Press of Boston, Somerville MA (2001), pp. 341--348.
The main aim of this paper is to introduce some examples of non-compact locally compact quantum groups to a non-specialized audience. The major importance of these examples is their simplicity. Other examples as the quantum E(2) group of Woronowicz are much more difficult to construct. We will make use of the bicrossed product construction to obtain our examples. This construction dates back to Kac, Takeuchi and Majid. It was also considered by Baaj & Skandalis.
In the framework of locally compact quantum groups, we study cocycle actions. We develop the cocycle bicrossed product construction, starting from a matched pair of locally compact quantum groups. We define exact sequences and establish a one-to-one correspondence between cocycle bicrossed products and cleft extensions. In this way, we obtain new examples of locally compact quantum groups.
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.
By working with several specific Poisson-Lie groups arising from Heisenberg Lie bialgebras and by carrying out their quantizations, a case is made for a useful but simple method of constructing locally compact quantum groups. The strategy is to analyze and collect enough information from a Poisson-Lie group, and using it to carry out a ``cocycle bicrossed product construction''. Constructions are done using multiplicative unitary operators, obtaining C*-algebraic, locally compact quantum (semi-)groups.
We study the Kac cohomology for matched pairs of locally compact groups. This cohomology theory arises from the extension theory of locally compact quantum groups. We prove a topological version of the Kac exact sequence and provide methods to compute the cohomology. We give explicit calculations in several examples using results of Moore and Wigner.
We make a comprehensive and self-contained study of compact bicrossed products arising from matched pairs of discrete groups and compact groups. We exhibit an automatic regularity property of such a matched pair and and produce an easy construction of the associated bicrossed product $\mathbb{G}$. We investigate the relative co-property $(T)$ and the relative co-Haagerup property of the pair comprising of the compact group and the bicrossed product, discuss property $(T)$ and Haagerup property of the discrete dual $\widehat{\mathbb{G}}$, and review co-amenability of $\mathbb{G}$ as well. We di…
We study the rapid decay property and polynomial growth for duals of bicrossed products coming from a matched pair of a discrete group and a compact group
We establish two conditions equivalent to coamenability for type I locally compact quantum groups. The first condition is concerned with the spectra of certain convolution operators on the space $\operatorname{L}^2(\operatorname{Irr}(\mathbb{G}))$ of functions which are square integrable with respect to the Plancherel measure. The second condition involves spectra of character-like operators associated with direct integrals of irreducible representations. As examples we study special classes of quantum groups: classical, dual to classical, compact or given by a certain bicrossed product constr…
For a matched pair of locally compact quantum groups, we construct the double crossed product as a locally compact quantum group. This construction generalizes Drinfeld's quantum double construction. We study C*-algebraic properties of these double crossed products and several links between double crossed products and bicrossed products. In an appendix, we study the Radon-Nikodym derivative of a weight under a quantum group action, following Yamanouchi and obtain, as a corollary, a new characterization of closed quantum subgroups.
Beginning with a skew-symmetric matrix, we define a certain Poisson--Lie group. Its Poisson bracket can be viewed as a cocycle perturbation of the linear (or "Lie-Poisson") Poisson bracket. By analyzing this Poisson structure, we gather enough information to construct a C*-algebraic locally compact quantum group, via the "cocycle bicrossed product construction" method. The quantum group thus obtained is shown to be a deformation quantization of the Poisson-Lie group, in the sense of Rieffel.
Continuing our research on extensions of locally compact quantum groups, we give a classification of all cocycle matched pairs of Lie algebras in small dimensions and prove that all of them can be exponentiated to cocycle matched pairs of Lie groups. Hence, all of them give rise to locally compact quantum groups by the cocycle bicrossed product construction. We also clarify the notion of an extension of locally compact quantum groups by relating it to the concept of a closed normal quantum subgroup and the quotient construction. Finally, we describe the infinitesimal objects of locally compact…
In this short article, we obtained some equivalent formulations of property $T$ for a general locally compact quantum group $\mathbb{G}$, in terms of the full quantum group $C^*$-algebras $C_0^\mathrm{u}(\widehat{\mathbb{G}})$ and the $*$-representation of $C_0^\mathrm{u}(\widehat{\mathbb{G}})$ associated with the trivial unitary corepresentation (that generalize the corresponding results for locally compact groups). Moreover, if $\mathbb{G}$ is of Kac type, we show that $\mathbb{G}$ has property $T$ if and only if every finite dimensional irreducible $*$-representation of $C_0^\mathrm{u}(\wid…
In this paper, we study C*-algebraic quantum groups obtained through the bicrossed product construction. Examples using groups of adeles are given and they provide the first examples of locally compact quantum groups which are not semi-regular: the crossed product of the quantum group acting on itself by translations does not contain any compact operator. We describe all corepresentations of these quantum groups and the associated universal C*-algebras. On the way, we provide several remarks on C*-algebraic properties of quantum groups and their actions.
We study analogues of the radial subalgebras in free group factors (called the algebras of class functions) in the setting of compact quantum groups. For the free orthogonal quantum groups we show that they are not MASAs, as soon as we are in a non-Kac situation. The most important notion to our present work is that of a (quasi-)split inclusion. We prove that the inclusion of the algebra of class functions is quasi-split for some unitary quantum groups; in this case the subalgebra is non-abelian and we also obtain a result concerning its relative commutant. In the positive direction, we constr…
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 paper we complete in several aspects the picture of locally compact quantum groups. First of all we give a definition of a locally compact quantum group in the von Neumann algebraic setting and show how to deduce from it a C*-algebraic quantum group. Further we prove several results about locally compact quantum groups which are important for applications, but were not yet settled in our paper "Locally compact quantum groups". We prove a serious strengthening of the left invariance of the Haar weight, and we give several formulas connecting the locally compact quantum group with its du…
Bornological quantum groups were introduced by Voigt in order to generalize the theory of algebraic quantum groups in the sense of van Daele. In particular the class of bornological quantum groups contains all classical locally compact groups. In this paper we prove that a bornological quantum group gives rise to a locally compact quantum group, in a similar way to Kustermans and van Daele's result for algebraic quantum groups. We show that the bornological quantum groups, although more general than the algebraic ones, share most of their nice properties. We also argue that bornological quantu…
We study lattice operations on the set of idempotent states on a locally compact quantum group corresponding to the operations of intersection of compact subgroups and forming the subgroup generated by two compact subgroups. Normal ($σ$-weakly continuous) idempotent states are investigated and a duality between normal idempotent states on a locally compact quantum group $\mathbb{G}$ and on its dual $\widehat{\mathbb{G}}$ is established. Additionally we analyze the question when a left coideal corresponding canonically to an idempotent state is finite dimensional and give a characterization of …
Quantization of locally compact groups associated with essentially bijective $1$-cocycles
Université Catholique de Louvain（天主教鲁汶大学）；Université de Reims Champagne-Ardenne（兰斯香槟-阿登大学）；University of Oslo（奥斯陆大学）；OsloMet - storbyuniversitetet（奥斯陆城市大学）
We study the dual relationship between quantum group convolution maps $L^1(\mathbb{G})\rightarrow L^{\infty}(\mathbb{G})$ and completely bounded multipliers of $\widehat{\mathbb{G}}$. For a large class of locally compact quantum groups $\mathbb{G}$ we completely isomorphically identify the mapping ideal of row Hilbert space factorizable convolution maps with $M_{cb}(L^1(\widehat{\mathbb{G}}))$, yielding a quantum Gilbert representation for completely bounded multipliers. We also identify the mapping ideals of completely integral and completely nuclear convolution maps, the latter case coincidi…
We show that there is a one-to-one correspondence between compact quantum subgroups of a co-amenable locally compact quantum group $\mathbb{G}$ and certain left invariant C*-subalgebras of $C_0(\mathbb{G})$. We also prove that every compact quantum subgroup of a co-amenable quantum group is co-amenable. Moreover, there is a one-to-one correspondence between open subgroups of an amenable locally compact group $G$ and non-zero, invariant C*-subalgebras of the group C*-algebra $C^*(G)$.
The theory of measured quantum groupoids, as defined by Lesieur and myself, was made to generalize the theory of quantum groups made by Kustarmans and Vaes, but was only defined in a von Neumann algebra setting; Th. Timmermann constructed locally compact quantum groupoids, which is a C*-version of quantum groupoids. Here, we associate to such a locally compact quantum groupoid a measured quantum groupoid in which it is weakly dense; we then associate to a measured quantum groupoid a locally compact quantum groupoid which is weakly dense in the measured quantum groupoid, but such a locally comp…
We give a partial solution to a long-standing open problem in the theory of quantum groups, namely we prove that all finite-dimensional representations of a wide class of locally compact quantum groups factor through matrix quantum groups (Admissibility Conjecture for quantum group representations). We use this to study Kazhdan's Property (T) for quantum groups with non-trivial scaling group, strengthening and generalising some of the earlier results obtained by Fima, Kyed and Sołtan, Chen and Ng, Daws, Skalski and Viselter, and Brannan and Kerr. Our main results are: (i) All finite-dimensiona…
We introduce the construction of induced corepresentations in the setting of locally compact quantum groups and prove that the resulting induced corepresentations are unitary under some mild integrability condition. We also establish a quantum analogue of the classical bijective correspondence between quasi-invariant measures and certain measures on the larger locally compact group.
The Haar measure on some locally compact quantum groups is constructed. The main example we treat is the az+b-group of Woronowicz. We also briefly consider some other examples (like the ax+b-group). We get the first examples of a locally compact quantum group where the Haar measure is not invariant with respect to the scaling group.
We generalize the representation theorem of Junge, Neufang and Ruan [A representation theorem for locally compact quantum groups, Internat. J. Math. 20(3) (2009) 377-400], and some of the important results which were used in its proof, to the case of actions of locally compact quantum groups on von Neumann algebras.
We show a classification theorem for locally compact separable abelain group actions on factorsw with the Rohlin property. This is a generalization of Masuda and Tomatsu's work.
We develop the twisting construction for locally compact quantum groups. A new feature, in contrast to the previous work of M. Enock and the second author, is a non-trivial deformation of the Haar measure. Then we construct Rieffel's deformation of locally compact quantum groups and show that it is dual to the twisting. This allows to give new interesting concrete examples of locally compact quantum groups, in particular, deformations of the classical $az+b$ group and of the Woronowicz' quantum $az+b$ group.
Dana P. Williams raised in [Proc. Am. Math. Soc., Ser. B, 2016] the following question: Must a second countable, locally compact, transitive groupoid have open range map? This paper gives a negative answer to that question. Although a second countable, locally compact transitive groupoid G may fail to have open range map, we prove that we can replace its topology with a topology which is also second countable, locally compact, and with respect to which G is a topological groupoid whose range map is open. Moreover, the two topologies generate the same Borel structure and coincide on the fibres …
We give some new characterizations of exactness for locally compact second countable groups. In particular, we prove that a locally compact second countable group is exact if and only if it admits a topologically amenable action on a compact Hausdorff space. This answers an open question by Anantharaman-Delaroche.
We introduce and investigate using Hilbert modules the properties of the Fourier algebra A(G) for a locally compact groupoid G. We establish a duality theorem for such groupoids in terms of multiplicative module maps. This includes as a special case the classical duality theorem for locally compact groups proved by P. Eymard.
Equivariant T-duality triples of locally compact abelian groups are considered. The motivating example dealing with the group $\R^n$ containing a lattice $\Z^n$ comes with an isomorphism in twisted equivariant K-theory.
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.
In this paper, we generalize Young's inequality for locally compact quantum groups and obtain some results for extremal pairs of Young's inequality and extremal functions of Hausdorff-Young inequality.
It is proved that every second countable locally Hausdorff and locally compact continuous groupoid has a Borel set of units that meets every orbit and is what is called "lacunary," a property that implies that the intersection with every orbit is countable.
We study universal properties of locally compact G-spaces for countable infinite groups G. In particular we consider open invariant subsets of the β-compactification of G (which is a G-space in a natural way), and their minimal closed invariant subspaces. These are locally compact free G-spaces, and the latter are also minimal. We examine the properies of these G-spaces with emphasis on their universal properties. As an example of our resuts, we use combinatorial methods to show that each countable infinite group admits a free minimal action on the locally compact non-compact Cantor set.
We introduce and investigate using Hilbert modules the properties of the {\em Fourier algebra} $A(G)$ for a locally compact groupoid $G$. We establish a duality theorem for such groupoids in terms of multiplicative module maps. This includes as a special case the classical duality theorem for locally compact groups proved by P. Eymard.
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.
The purpose of this paper is extend the notion of morphism of groupoids introduced by Zakrzewski to locally compact $σ$-compact groupoids endowed with Haar systems and to use the extension to construct a covariant functor from this category to a category of $C^{\ast}$-algebras in the sense of Woronowicz.
We introduce the notion of a quantum locally compact metric space, which is the noncommutative analogue of a locally compact metric space, and generalize to the nonunital setting the notion of quantum metric spaces introduced by Rieffel. We then provide several examples of such structures, including the Moyal plane, as well as compact quantum metric spaces and locally compact metric spaces. This paper provides an answer to the question raised in the literature about the proper notion of a quantum metric space in the nonunital setup and offers important insights into noncommutative geometry for…
We extend the classical Stone duality between zero dimensional compact Hausdorff spaces and Boolean algebras. Specifically, we simultaneously remove the zero dimensionality restriction and extend to étale groupoids, obtaining a duality with an elementary class of inverse semigroups.
The purpose of this paper is to study property (RD) for locally compact Hecke pairs. We discuss length functions on Hecke pairs and the growth of Hecke pairs. We establish an equivalence between property (RD) of locally compact groups and property (RD) of certain locally compact Hecke pairs. This allows us to transfer several important results concerning property (RD) of locally compact groups into our setting, and consequently to identify many classes of examples of locally compact Hecke pairs with property (RD). We also show that a reduced discrete Hecke pair $(G,H)$ has (RD) if and only if …
We combine harmonic analysis and operator algebraic techniques to give a concise argument that the left regular representation of a locally compact group is cyclic if and only if the group is first countable, a result first proved by Greenleaf and Moskowitz.
In this paper, we introduce properties including groupoid comparison, pure infiniteness and paradoxical comparison as well as a new algebraic tool called groupoid semigroup for locally compact Hausdorff étale groupoids. We show these new tools help establishing pure infiniteness of reduced groupoid $C^*$-algebras. As an application, we show a dichotomy of stably finiteness against pure infiniteness for reduced groupoid $C^*$-algebras arising from locally compact Hausdorff étale minimal topological principal groupoids. This generalizes the dichotomy obtained by Bönicke-Li and Rainone-Sims. We a…
We discuss a very general Kirillov Theory for the representations of certain nilpotent groups which gives a combined view an many known examples from the literature.
This is a short survey on idempotent states on locally compact groups and locally compact quantum groups. The central topic is the relationship between idempotent states, subgroups and invariant C*-subalgebras. We concentrate on recent results on locally compact quantum groups, but begin with the classical notion of idempotent probability measure. We also consider the `intermediate' case of idempotent states in the Fourier--Stieltjes algebra: this is the dual case of idempotent probability measures and so an instance of idempotent states on a locally compact quantum group.
Let $\G$ be a unimodular type I second countable locally compact group and $\wG$ its unitary dual. Motivated by a recent pseudo-differential calculus, we develop a positive Berezin-type quantization with operator-valued symbols defined on $\wG\times\G$.
We study class $\mathcal S$ for locally compact groups. We characterize locally compact groups in this class as groups having an amenable action on a boundary that is small at infinity, generalizing a theorem of Ozawa. Using this characterization, we provide new examples of groups in class $\mathcal S$ and prove unique prime factorization results for group von Neumann algebras of products of locally compact groups in this class. We also prove that class $\mathcal S$ is a measure equivalence invariant.
For locally compact groups, we define an analogue to Yu's property A that he defined for discrete metric spaces. We show that our property A for locally compact groups agrees with Roe's notion of property A for proper metric spaces, defined in \cite{R05}. We prove that many of the results that are known to hold in the discrete setting, hold also in the locally compact setting. In particular, we show that property A is equivalent to amenability at infinity (see \cite{HR00} for the discrete case), and that a locally compact group with property A embeds uniformly into a Hilbert space (see \cite{Y…
