Actions, quotients and lattices of locally compact quantum groups

From MaRDI portal
Publication:2227121



Abstract: We prove a number of property (T) permanence results for locally compact quantum groups under exact sequences and the presence of invariant states, analogous to their classical versions. Along the way we characterize the existence of invariant weights on quantum homogeneous spaces of quotient type, and relate invariant states for LCQG actions on von Neumann algebras to invariant vectors in canonical unitary implementations, providing an application to amenability. Finally, we introduce a notion of lattice in a locally compact quantum group, noting examples provided by Drinfeld doubles of compact quantum groups. We show that property (T) lifts from a lattice to the ambient LCQG, just as it does classically, thus obtaining new examples of non-classical, non-compact, non-discrete LCQGs with property (T).


Property~(T) for a locally compact group says that any unitary representation that has almost invariant vectors also has invariant vectors. This property also makes sense for locally compact quantum groups. This article proves several permanence results for property~(T) for general locally compact quantum groups that are well known for groups. Some of them have already been proven for discrete quantum groups. This is used to produce some new examples of locally compact quantum groups with property~(T). Along the way, the article also develops tools to study the representation theory of locally compact quantum groups, which may also be useful for other purposes than the study of property~(T). An important result about property~(T) for groups says that if~\(H\) is a subgroup in~\(G\) of finite covolume, then~\(H\) has property~(T) if and only if~\(G\) has it. This equivalence is extended here to locally compact quantum groups. As a preparation, one must define when a quantum subgroup has finite covolume. And this, in turn, requires the canonical measure on the homogeneous space~\(G/H\), which exists if the modular function of~\(G\) restricted to~\(H\) is the modular function of~\(H\). This article carries this result over to locally compact quantum groups. Then ``finite covolume means that the resulting unique invariant weight is finite. If such a finite invariant weight exists, then it is shown that the quantum subgroup is unimodular if and only if the ambient quantum group is unimodular. Property~(T) also has a relative version for a pair of locally compact (quantum) groups, saying that a representation with almost invariant vectors for the larger quantum group has true invariant vectors for the smaller quantum group. It is shown that this relative version for a normal quantum subgroup is equivalent to property~(T) for the quotient quantum group. The Drinfeld double construction puts together a quantum group and its dual in a canonical way. A discrete quantum group is a quantum subgroup of finite covolume in its Drinfeld double if and only if it is of Kac type. Since discrete quantum groups with property~(T) must be of Kac type by a result of \textit{P. Fima} [Int. J. Math. 21, No. 1, 47--65 (2010; Zbl 1195.46072)], it follows that the Drinfeld double of a discrete quantum group with property~(T) inherits property~(T).



Cites work









This page was built for publication: Actions, quotients and lattices of locally compact quantum groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2227121)