Examples of non-compact quantum group actions

We consider compact matrix quantum groups whose $N$-dimensional fundamental representation decomposes into an $(N-1)$-dimensional and a one-dimensional subrepresentation. Even if we know that the compact matrix quantum group associated to this $(N-1)$-dimensional subrepresentation is isomorphic to the given $N$-dimensional one, it is a priori not clear how the intertwiner spaces transform under this isomorphism. In the context of so-called easy and non-easy quantum groups, we are able to define a transformation of linear combinations of partitions and we explicitly describe the transformation of intertwiner spaces. As a side effect, this enables us to produce many new examples of non-easy quantum groups being isomorphic to easy quantum groups as compact quantum groups but not as compact matrix quantum groups.

Embeddable quantum homogeneous spaces

This is a transcript of a series of eight lectures, 90 min each, held at IMSc Chennai, India from 5–24 January 2015. We give basic definitions, properties and examples of compact quantum groups and compact matrix quantum groups such as the existence of a Haar state, the representation theory and Woronowicz’s quantum version of the Tannaka–Krein theorem. Building on this, we define Banica–Speicher quantum groups (also called easy quantum groups), a class of compact matrix quantum groups determined by the combinatorics of set partitions. We sketch the classification of Banica–Speicher quantum groups and we list some applications. We review the state-of-the-art regarding Banica–Speicher quantum groups and we list some open problems.

On square roots of the Haar state on compact quantum groups

We define a category containing the discrete quantum groups (and hence the discrete groups and the duals of compact groups) and the compact quantum groups (and hence the compact groups and the duals of discrete groups). The dual of an object can be defined within the same category and we have a biduality theorem. This theory extends the duality between compact quantum groups and discrete quantum groups (and hence the one between compact abelian groups and discrete abelian groups). The objects in our category are multiplier Hopf algebras, with invertible antipode, admitting invariant functionals (integrals), satisfying some extra condition (to take care of the non-abelianness of the underlying algebras). If we start with a multiplier Hopf ∗-algebra with positive invariant functionals, then also the dual is a multiplier Hopf ∗-algebra with positive invariant functionals. This makes it possible to formulate this duality also within the framework of C∗-algebras.

The notion of positive-definite functions over locally compact quantum groups was recently introduced and studied by Daws and Salmi. Based on this work, we generalize various well-known results about positive-definite functions over groups to the quantum framework. Among these are theorems on “square roots” of positive-definite functions, comparison of various topologies, positive-definite measures and characterizations of amenability, and the separation property with respect to compact quantum subgroups.

Quantum groups have been studied intensively for the last two decades from various points of view. The underlying mathematical structure is that of an algebra with a coproduct. Compact quantum groups admit Haar measures. However, if we want to have a Haar measure also in the noncompact case, we are forced to work with algebras without identity, and the notion of a coproduct has to be adapted. These considerations lead to the theory of multiplier Hopf algebras, which provides the mathematical tool for studying noncompact quantum groups with Haar measures. I will concentrate on the *-algebra case and assume positivity of the invariant integral. Doing so, I create an algebraic framework that serves as a model for the operator algebra approach to quantum groups. Indeed, the theory of locally compact quantum groups can be seen as the topological version of the theory of quantum groups as they are developed here in a purely algebraic context.

Let G / H be a homogeneous space of a compact simple classical Lie group G. Assume that the maximal torus T H of H is conjugate to a torus T β whose Lie algebra t β is the kernel of the maximal root β of the root system of the complexified Lie algebra g c . We prove that such homogeneous space is formal. As an application, we give a short direct proof of the formality property of compact homogeneous 3-Sasakian spaces of classical type. This is a complement to the work of Fernández, Muñoz, and Sanchez which contains a full analysis of the formality property of S O ( 3 ) -bundles over the Wolf spaces and the proof of the formality property of homogeneous 3-Sasakian manifolds as a corollary.

Symmetries of Lévy processes on compact quantum groups, their Markov semigroups and potential theory

We give an elementary introduction to the theory of algebraic and topological quantum groups (in the spirit of S. L. Woronowicz). In particular, we recall the basic facts from Hopf (*-) algebra theory, theory of compact (matrix) quantum groups and the theory of their actions on compact quantum spaces. We also provide the most important examples, including the classification of quantum SL(2)-groups, their real forms and quantum spheres. We also consider quantum SLq(N)-groups and quantum Lorentz groups.

We consider a coamenable compact quantum group \mathbb{G} as a compact quantum metric space if its function algebra \mathrm{C}(\mathbb{G}) is equipped with a Lip-norm. By using a projection P onto direct summands of the Peter–Weyl decomposition, the \mathrm{C}^{*} -algebra \mathrm{C}(\mathbb{G}) can be compressed to an operator system P\mathrm{C}(\mathbb{G})P , and there are induced left and right coactions on this operator system. Assuming that the Lip-norm on \mathrm{C}(\mathbb{G}) is bi-invariant in the sense of Li, there is an induced bi-invariant Lip-norm on the operator system P\mathrm{C}(\mathbb{G})P turning it into a compact quantum metric space. Given an appropriate net of such projections which converges strongly to the identity map on the Hilbert space \mathrm{L}^{2}(\mathbb{G}) , we obtain a net of compact quantum metric spaces. We prove convergence of such nets in terms of Kerr’s complete Gromov–Hausdorff distance. An important tool is the choice of an appropriate state whose induced slice map gives an approximate inverse of the compression map \mathrm{C}(\mathbb{G}) \ni a \mapsto PaP in Lip-norm.

For a locally compact quantum group $\mathbb{G}$ we define its center, $\mathscr{Z}(\mathbb{G})$, and its quantum group of inner automorphisms, $\mathrm{Inn}(\mathbb{G})$. We show that one obtains a natural isomorphism between $\mathrm{Inn}(\mathbb{G})$ and $\mathbb{G}/\!\mathscr{Z}(\mathbb{G})$, we characterize normal quantum subgroups of a compact quantum group as those left invariant by the action of the quantum group of inner automorphisms and discuss several examples.

The notion of compact quantum subgroup is revisited and an alternative definition is given. Induced representations are considered and a Frobenius reciprocity theorem is obtained. A relationship between ergodic actions of compact quantum groups on C*-algebras and topological transitivity is investigated. A sufficient condition for embedding such actions in quantum quotient spaces is obtained.

This paper is a survey of results (partly obtained by the authors) on homogeneous spaces of Lie groups \(G\) with a compact stabilizer subgroup \(H\), on which every \(G\)-invariant distribution is integrable. It is proved that the condition of integrability is necessary and sufficient for every invariant inner metric to be (holonomic) Finsler on such a space. As a corollary of the obtained results, we assert that the class of homogeneous spaces with invariant non-holonomic Riemannian metrics (in other terms, sub-Riemannian or Carnot–Caratheodory metrics), which were actively studied last 3 decades after Gromov’s work, is rather broad. On the other hand, the class of homogeneous spaces with integrable invariant distributions includes Cartan’s symmetric spaces as well as isotropy irreducible, in particular, strictly isotropy irreducible, homogeneous spaces, which have been classified in simply connected case in the papers by Wang and Ziller (respectively, by Manturov, Wolf and Kramer). Special attention is paid to the case, when the Lie groups \(G\) and \(H\) are connected. Then the integrability condition of the invariant distributions is equivalent to a purely algebraic condition, that for the Lie algebra \(h\) of the subgroup \(H\), any \(ad(h)\)-invariant vector subspace in the Lie algebra \(g\) of the Lie group \(G\) is a Lie subalgebra; such Lie subalgebra \(h\subset g\) is called a strong subalgebra. The first author proved that a simply connected and compact space \(G/H\) with this condition is isomorphic to a direct product of strictly isotropy irreducible homogeneous spaces. In line with this, the second author recently found several non-compact simply connected homogeneous spaces with this condition, which are not isomorphic to such direct products. These results are naturally related to the structure questions of a class of general homogeneous locally compact spaces with an inner metric. This class is exactly the closure in the Gromov–Hausdorff sense of the class of homogeneous manifolds with an inner metric. Any such manifold is isometric to some homogeneous manifold \(G/H\) with \(G\)-invariant (may be, non-holonomic) Finsler metric. The authors give fairly detailed survey of the existing methods of the search of geodesics, i.e., locally shortest arcs, on such manifolds (particularly, with invariant non-holonomic Riemannian metrics), non-holonomic metric geometry and its relations with the geometric group theory, \(CR\)-manifolds, thermodynamics, etc. Some unsolved problems are suggested.

In this paper, we investigate the co-amenability of compact quantum groups. Combining with some properties of regular C*-norms on algebraic compact quantum groups, we show that the quantum double of co-amenable compact quantum groups is unique. Based on this, this paper proves that co-amenability is preserved under formulation of the quantum double construction of compact quantum groups, which exhibits a type of nice symmetry between the co-amenability of quantum groups and the amenability of groups.