Search

We introduce and study certain asymptotic invariants associated with fusion algebras (equipped with a dimension function), which arise naturally in the representation theory of compact quantum groups. Our invariants generalise the analogous concepts studied for classical discrete groups. Specifically we introduce uniform F\o lner constants and the uniform Kazhdan constant for a regular representation of a fusion algebra, and establish a relationship between these, amenability, and the exponential growth rate considered earlier by Banica and Vergnioux. Further we compute the invariants for fusion algebras associated with % discrete duals of quantum $SU_q(2)$ and $SO_q(3)$ and determine the uniform exponential growth rate for the fusion algebras of all $q$-deformations of semisimple, simply connected, compact Lie groups and for all free unitary quantum groups., Comment: 39 pages

We describe all Gaussian generating functionals on several easy quantum groups given by non-crossing partitions. This includes in particular the free unitary, orthogonal and symplectic quantum groups. We further characterize central Gaussian generating functionals and describe a centralization procedure yielding interesting (non-Gaussian) generating functionals., Comment: 24 pages

Motivated by classical investigation of conjugation invariant positive-definite functions on discrete groups, we study tracial central states on universal C*-algebras associated with compact quantum groups, where centrality is understood in the sense of invariance under the adjoint action. We fully classify such states on $q$-deformations of compact Lie groups, on free orthogonal quantum groups, quantum permutation groups and on quantum hyperoctahedral groups., Comment: 29 pages, v2 corrects a few minor points

We extend the theory of Fourier--Stieltjes algebras to the category of twisted actions by \'etale groupoids on arbitrary C*-bundles, generalizing theories constructed previously by B\'{e}dos and Conti for twisted group actions on unital C*-algebras, and by Renault and others for groupoid C*-algebras, in each case motivated by the classical theory of Fourier--Stieltjes algebras of discrete groups. To this end we develop a toolbox including, among other things, a theory of multiplier C*-correspondences, multiplier C*-correspondence bundles, Busby--Smith twisted groupoid actions, and the associated crossed products, equivariant representations and Fell's absorption theorems. For a fixed \'etale groupoid $G$ a Fourier--Stieltjes multiplier is a family of maps acting on fibers, arising from an equivariant representation. It corresponds to a certain fiber-preserving strict completely bounded map between twisted full (or reduced) crossed products. We establish a KSGNS-type dilation result which shows that the correspondence above restricts to a bijection between positive-definite multipliers and a particular class of completely positive maps. Further we introduce a subclass of Fourier multipliers, that enjoys a natural absorption property with respect to Fourier--Stieltjes multipliers and gives rise to `reduced to full' multiplier maps on crossed products. Finally we provide several applications of the theory developed, for example to the approximation properties, such as weak containment or nuclearity, of the crossed products and actions in question, and discuss outstanding open problems., Comment: 76 pages

Consider a locally compact quantum group $\mathbb{G}$ with a closed classical abelian subgroup $\Gamma$ equipped with a $2$-cocycle $\Psi:\hat{\Gamma}\times\hat{\Gamma}\to\mathbb{C}$. We study in detail the associated Rieffel deformation $\mathbb{G}^{\Psi}$ and establish a canonical correspondence between $\Gamma$-invariant convolution semigroups of states on $\mathbb{G}$ and on $\mathbb{G}^{\Psi}$., Comment: 37 pages. v3: minor changes. To appear in Letters in Mathematical Physics

Using Godement mean on the Fourier-Stieltjes algebra of a locally compact quantum group we obtain strong separation results for quantum positive-definite functions associated to a subclass of representations, strengthening for example the known relationship between amenability of a discrete quantum group and existence of a net of finitely supported quantum positive-definite functions converging pointwise to $I$. We apply these results to show that von Neumann algebras of unimodular discrete quantum groups enjoy a strong form of non-$w^*$-CPAP, which we call the matrix $\epsilon$-separation property., Comment: 24 pages, v2 corrects a few typos and adds minor comments. The final version of the paper will appear in Selecta Mathematica

By Bekka's theorem the group C*-algebra of an amenable group $G$ is residually finite dimensional (RFD) if and only if $G$ is maximally almost periodic (MAP). We generalize this result in two directions of dynamical flavour. Firstly, we provide a sufficient condition for the RFD property of the C*-algebra of an amenable \'etale groupoid. Secondly, we characterize RFD property for crossed products by amenable actions of discrete groups on C*-algebras. The characterisation can be formulated in various terms, such as primitive ideals, (pure) states and approximations of representations, and can be viewed as a dynamical version of Exel-Loring characterization of RFD C*-algebras. As byproduct of our methods we also characterize the property FD of Lubotzky and Shalom for semidirect products by amenable groups and obtain characterizations of the properties MAP and RF for general semidirect products of groups. The latter descriptions allow us to obtain the properties MAP, RF, RFD and FD for various examples., Comment: 40 pages, v2 contains a modified introduction and several new examples in Section 5

We establish factoriality of $q$-Araki-Woods von Neumann algebras (with the number of generators at least two) in full generality, exploiting the approach via conjugate variables developed recently in the tracial case by Akihiro Miyagawa and Roland Speicher, and abstract results of Brent Nelson. We also establish non-injectivity and determine the type of the factors in question. The factors are solid and full when the number of generators is finite., Comment: 11 pages; v4 adds a few minor comments. The final version of the paper will appear in Communications in Mathematical Physics

Given two unital C*-algebras equipped with states and a positive operator in the enveloping von Neumann algebra of their minimal tensor product, we define three parameters that measure the capacity of the operator to align with a coupling of the two given states. Further we establish a duality formula that shows the equality of two of the parameters for operators in the minimal tensor product of the relevant C*-algebras. In the context of abelian C*-algebras our parameters are related to quantitative versions of Arveson's Null Set Theorem and to dualities considered in the theory of optimal transport. On the other hand, restricting to matrix algebras we recover and generalise quantum versions of Strassen's Theorem. We show that in the latter case our parameters can detect maximal entanglement and separability., Comment: 20 pages; v3 introduces minor corrections. The final version of the paper will appear in the Proceedings of the Royal Society of Edinburgh, Section A: Mathematics

We introduce the Gaussian part of a compact quantum group $\mathbb{G}$, namely the largest quantum subgroup of $\mathbb{G}$ supporting all the Gaussian functionals of $\mathbb{G}$. We prove that the Gaussian part is always contained in the Kac part, and characterise Gaussian parts of classical compact groups, duals of classical discrete groups and $q$-deformations of compact Lie groups. The notion turns out to be related to a new concept of "strong connectedness" and we exhibit several examples of both strongly connected and totally strongly disconnected compact quantum groups., Comment: 23 pages; v3 changes the title

We introduce Hecke algebras associated to discrete quantum groups with commensurated quantum subgroups. We study their modular properties and the associated Hecke operators. In order to investigate their analytic properties we adapt the construction of the Schlichting completion to the quantum setting, thus obtaining locally compact quantum groups with compact open quantum subgroups. We study in detail a class of examples arising from quantum HNN extensions., Comment: 44 pages

We introduce the relative Haagerup approximation property for a unital, expected inclusion of arbitrary von Neumann algebras and show that if the smaller algebra is finite then the notion only depends on the inclusion itself, and not on the choice of the conditional expectation. Several variations of the definition are shown to be equivalent in this case, and in particular the approximating maps can be chosen to be unital and preserving the reference state. The concept is then applied to amalgamated free products of von Neumann algebras and used to deduce that the standard Haagerup property for a von Neumann algebra is stable under taking free products with amalgamation over finite-dimensional subalgebras. The general results are illustrated by examples coming from q-deformed Hecke-von Neumann algebras and von Neumann algebras of quantum orthogonal groups., Comment: 48 pages; v3 updates a few references. The paper will appear in the Advances in Mathematics

We compute the second (and the first) cohomology groups of $^*$-algebras associated to the universal quantum unitary groups of not neccesarily Kac type, extending our earlier results for the free unitary group $U_d^+$. The extended setup forces us to use infinite-dimensional representations to construct the cocycles., Comment: 23 pages; v2 corrects a few minor points. The paper will appear in the Annales de l'Institut Fourier

Exploiting the graph product structure and results concerning amalgamated free products of C*-algebras we provide an explicit computation of the K-theoretic invariants of right-angled Hecke C*-algebras, including concrete algebraic representants of a basis in K-theory. On the way, we show that these Hecke algebras are KK-equivalent with their undeformed counterparts and satisfy the UCT. Our results are applied to study the isomorphism problem for Hecke C*-algebras, highlighting the limits of K-theoretic classification, both for varying Coxeter type as well as for fixed Coxeter type., Comment: 19 pages, v4 adds the missing assumption of the existence of conditional expectations in Propositions 2.2 and 3.1. The main results are not affected by the change. The paper will appear in Advances in Mathematics

We determine the Kac quotient and the RFD (residually finite dimensional) quotient for the Hopf *-algebras associated to universal orthogonal quantum groups.

We give a decomposition of the equivariant Kasparov category for discrete quantum group with torsions. As an outcome, we show that the crossed product by a discrete quantum group in a certain class preserves the UCT. We then show that quasidiagonality of a reduced C*-algebra of a countable discrete quantum group $\Gamma$ implies that $\Gamma$ is amenable, and deduce from the work of Tikuisis, White and Winter, and the results in the first part of the paper, the converse (i.e. the quantum Rosenberg Conjecture) for a large class of countable discrete unimodular quantum groups. We also note that the unimodularity is a necessary condition., Comment: 15 pages, v2 corrects a few minor points. The final version of the paper will appear in the Proceedings of the American Mathematical Society

We obtain a complete characterisation of factorial multiparameter Hecke von Neumann algebras associated with right-angled Coxeter groups. Considering their $\ell^p$-convolution algebra analogues, we exhibit an interesting parameter dependence, contrasting phenomena observed earlier for group Banach algebras. Translated to Iwahori-Hecke von Neumann algebras, these results allow us to draw conclusions on spherical representation theory of groups acting on right-angled buildings, which are in strong contrast to behaviour of spherical representations in the affine case. We also investigate certain graph product representations of right-angled Coxeter groups and note that our von Neumann algebraic structure results show that these are finite factor representations. Further classifying a suitable family of them up to unitary equivalence allows us to reveal high-dimensional Euclidean subspaces of the space of extremal characters of right-angled Coxeter groups., Comment: v6: final version accepted for publication in J. Math. Pures Appl. v5: added details and corrections v4: correction a mistake in Lemma 3.2 through a major revision of Section 3. Theorem A takes into account additional one-dimensional direct summands v3: fixed minor inaccuracies; v2: added references

We introduce the Haagerup property for twisted groupoid $C^*$-dynamical systems in terms of naturally defined positive-definite operator-valued multipliers. By developing a version of `the Haagerup trick' we prove that this property is equivalent to the Haagerup property of the reduced crossed product $C^*$-algebra with respect to the canonical conditional expectation $E$. This extends a theorem of Dong and Ruan for discrete group actions, and implies that a given Cartan inclusion of separable $C^*$-algebras has the Haagerup property if and only if the associated Weyl groupoid has the Haagerup property in the sense of Tu. We use the latter statement to prove that every separable $C^*$-algebra which has the Haagerup property with respect to some Cartan subalgebra satisfies the Universal Coefficient Theorem. This generalises a recent result of Barlak and Li on the UCT for nuclear Cartan pairs., Comment: 40 pages; v2 introduces many small corrections and updates references. The final version of the paper will appear in the Journal of Functional Analysis

We introduce and study the notions of boundary actions and of the Furstenberg boundary of a discrete quantum group. As for classical groups, properties of boundary actions turn out to encode significant properties of the operator algebras associated with the discrete quantum group in question; for example we prove that if the action on the Furstenberg boundary is faithful, the quantum group C*-algebra admits at most one KMS-state for the scaling automorphism group. To obtain these results we develop a version of Hamana's theory of injective envelopes for quantum group actions, and establish several facts on relative amenability for quantum subgroups. We then show that the Gromov boundary actions of free orthogonal quantum groups, as studied by Vaes and Vergnioux, are also boundary actions in our sense; we obtain this by proving that these actions admit unique stationary states. Moreover, we prove these actions are faithful, hence conclude a new unique KMS-state property in the general case, and a new proof of unique trace property when restricted to the unimodular case. We prove equivalence of simplicity of the crossed products of all boundary actions of a given discrete quantum group, and use it to obtain a new simplicity result for the crossed product of the Gromov boundary actions of free orthogonal quantum groups., Comment: 45 pages, v2 corrects a few minor points. A final version of the paper will appear in the Analysis & PDE

We study fixed points of contractive convolution operators associated to contractive quantum measures on locally compact quantum groups. We characterise the existence of non-zero fixed points respectively on $L^\infty(\mathbb{G})$ and on $C_0(\mathbb{G})$, and exploit these results to obtain for example the structure of the fixed points on the non-commutative $L_p$-spaces. Some consequences for the fixed points of classical convolution operators and Herz-Schur multipliers are also indicated., Comment: 26 pages, v2 contains very minor changes. The paper will appear in the Indiana University Mathematics Journal

We initiate a study of maximal subgroups and maximal von Neumann subalgebras which have the Haagerup property. We determine maximal Haagerup subgroups inside $\mathbb{Z}^2 \rtimes SL_2(\mathbb{Z})$ and obtain several explicit instances where maximal Haagerup subgroups yield maximal Haagerup subalgebras. Our techniques are on one hand based on group-theoretic considerations, and on the other on certain results on intermediate von Neumann algebras, in particular these allowing us to deduce that all the intermediate algebras for certain inclusions arise from groups or from group actions. Some remarks and examples concerning maximal non-(T) subgroups and subalgebras are also presented, and we answer two questions of Ge regarding maximal von Neumann subalgebras., Comment: 33 pages; v5 introduces several minor changes and updates the references. Accepted for publication in the Groups, Geometry and Dynamics

Every symmetric generating functional of a convolution semigroup of states on a locally compact quantum group is shown to admit a dense unital $*$-subalgebra with core-like properties in its domain. On the other hand we prove that every normalised, symmetric, hermitian conditionally positive functional on a dense $*$-subalgebra of the unitisation of the universal C$^*$-algebra of a locally compact quantum group, satisfying certain technical conditions, extends in a canonical way to a generating functional. Some consequences of these results are outlined, notably those related to constructing cocycles out of convolution semigroups., Comment: 25 pages. v2: added an example and made several minor changes. To appear in International Mathematics Research Notices

We discuss just infiniteness of C*-algebras associated to discrete quantum groups and relate it to the C*-uniqueness of the quantum groups in question, i.e. to the uniqueness of a C*-completion of the underlying Hopf *-algebra. It is shown that duals of q-deformations of simply connected semisimple compact Lie groups are never C*-unique. On the other hand we present an example of a discrete quantum group which is not locally finite and yet is C*-unique., Comment: 13 pages, v2 corrects small points and adds more explanations. This version will appear in the Bulletin of the London Mathematical Society

We consider the construction of twisted tensor products in the category of C*-algebras equipped with orthogonal filtrations and under certain assumptions on the form of the twist compute the corresponding quantum symmetry group, which turns out to be the generalised Drinfeld double of the quantum symmetry groups of the original filtrations. We show how these results apply to a wide class of crossed products of C*-algebras by actions of discrete groups. We also discuss an example where the hypothesis of our main theorem is not satisfied and the quantum symmetry group is not a generalised Drinfeld double., Comment: 28 pages, v3 changes some notations, adds further comments and corrects a few typographic errors; the paper will appear in Communications in Mathematical Physics

We study the first and second cohomology groups of the $^*$-algebras of the universal unitary and orthogonal quantum groups $U_F^+$ and $O_F^+$. This provides valuable information for constructing and classifying L\'evy processes on these quantum groups, as pointed out by Sch\"urmann. In the case when all eigenvalues of $F^*F$ are distinct, we show that these $^*$-algebras have the properties (GC), (NC), and (LK) introduced by Sch\"urmann and studied recently by Franz, Gerhold and Thom. In the degenerate case $F=I_d$, we show that they do not have any of these properties. We also compute the second cohomology group of $U_d^+$ with trivial coefficients -- $H^2(U_d^+,{}_\epsilon\Bbb{C}_\epsilon)\cong \Bbb{C}^{d^2-1}$ -- and construct an explicit basis for the corresponding second cohomology group for $O_d^+$ (whose dimension was known earlier thanks to the work of Collins, H\"artel and Thom)., Comment: 30 pages, v4 has a slightly modified title and contains several presentational changes (main mathematical contents remain unchanged). The paper will appear in Infinite Dimensional Analysis, Quantum Probability and Related Topics

The subject of this paper is the study of convolution semigroups of states on a locally compact quantum group, generalising classical families of distributions of a L\'{e}vy process on a locally compact group. In particular a definitive one-to-one correspondence between symmetric convolution semigroups of states and noncommutative Dirichlet forms satisfying the natural translation invariance property is established, extending earlier partial results and providing a powerful tool to analyse such semigroups. This is then applied to provide new characterisations of the Haagerup Property and Property (T) for locally compact quantum groups, and some examples are presented. The proofs of the main theorems require developing certain general results concerning Haagerup's $L^{p}$-spaces., Comment: 52 pages. v2: minor changes. To appear in Journal de Math\'ematiques Pures et Appliqu\'ees

For a $C^*$-algebra $A$ and a set $X$ we give a Stinespring-type characterisation of the completely positive Schur $A$-multipliers on $K(\ell^2(X))\otimes A$. We then relate them to completely positive Herz-Schur multipliers on $C^*$-algebraic crossed products of the form $A\rtimes_{\alpha,r} G$, with $G$ a discrete group, whose various versions were considered earlier by Anantharaman-Delaroche, B\'edos and Conti, and Dong and Ruan. The latter maps are shown to implement approximation properties, such as nuclearity or the Haagerup property, for $A\rtimes_{\alpha,r} G$., Comment: 21 pages, v2 corrects a few minor typos. The paper will appear in the Mathematical Proceedings of the Cambridge Philosophical Society

We study certain $q$-deformed analogues of the maximal abelian subalgebras of the group von Neumann algebras of free groups. The radial subalgebra is defined for Hecke deformed von Neumann algebras of the Coxeter group $(\mathbb{Z}/{2\mathbb{Z}})^{\star k}$ and shown to be a maximal abelian subalgebra which is singular and with Puk\'anszky invariant $\{\infty\}$. Further all non-equal generator masas in the $q$-deformed Gaussian von Neumann algebras are shown to be mutually non-unitarily conjugate., Comment: 16 pages

These are notes from introductory lectures at the graduate school "Topological Quantum Groups" in B\k{e}dlewo (June 28--July 11, 2015). The notes present the passage from Hopf algebras to compact quantum groups and sketch the notion of discrete quantum groups viewed as duals of compact quantum groups., Comment: 18 pages, the article will appear in the Banach Center Publications volume `Topological Quantum Groups'

In this paper we revisit the theory of induced representations in the setting of locally compact quantum groups. In the case of induction from open quantum subgroups, we show that constructions of Kustermans and Vaes are equivalent to the classical, and much simpler, construction of Rieffel. We also prove in general setting the continuity of induction in the sense of Vaes with respect to weak containment., Comment: 20 pages

To any action of a compact quantum group on a von Neumann algebra which is a direct sum of factors we associate an equivalence relation corresponding to the partition of a space into orbits of the action. We show that in case all factors are finite-dimensional (i.e. when the action is on a discrete quantum space) the relation has finite orbits. We then apply this to generalize the classical theory of Clifford, concerning the restrictions of representations to normal subgroups, to the framework of quantum subgroups of discrete quantum groups, itself extending the context of closed normal quantum subgroups of compact quantum groups. Finally, a link is made between our equivalence relation in question and another equivalence relation defined by R.Vergnioux., Comment: 18 pages

We prove that the mixed $q$-Gaussian algebra $\Gamma_{Q}(H_{\mathbb{R}})$ associated to a real Hilbert space $H_{\mathbb{R}}$ and a real symmetric matrix $Q=(q_{ij})$ with $\sup|q_{ij}|<1$, is a factor as soon as $\dim H_{\mathbb{R}}\geq2$. We also discuss the factoriality of $q$-deformed Araki-Woods algebras, in particular showing that the $q$-deformed Araki-Woods algebra $\Gamma_{q}(H_{\mathbb{R}},U_{t})$ given by a real Hilbert space $H_{\mathbb{R}}$ and a strongly continuous group $U_{t}$ is a factor when $\dim H_{\mathbb{R}}\geq2$ and $U_{t}$ admits an invariant eigenvector., Comment: 9 pages; v2 corrects a few minor points. The paper will appear in the Proceedings of the AMS

Correspondence between idempotent states and expected right-invariant subalgebras is extended to non-coamenable, non-unimodular locally compact quantum groups; in particular left convolution operators are shown to automatically preserve the right Haar weight., Comment: v3: 10 pages. Final version. Minor changes and a correction to the formula defining symmetric subalgebras. To appear in the Quarterly Journal of Mathematics

We study Property (T) for locally compact quantum groups, providing several new characterisations, especially related to operator algebraic ergodic theory. Quantum Property (T) is described in terms of the existence of various Kazhdan type pairs, and some earlier structural results of Kyed, Chen and Ng are strengthened and generalised. For second countable discrete unimodular quantum groups with low duals Property (T) is shown to be equivalent to Property (T)$^{1,1}$ of Bekka and Valette. This is used to extend to this class of quantum groups classical theorems on 'typical' representations (due to Kerr and Pichot), and on connections of Property (T) with spectral gaps (due to Li and Ng) and with strong ergodicity of weakly mixing actions on a particular von Neumann algebra (due to Connes and Weiss). Finally we discuss in the Appendix equivalent characterisations of the notion of a quantum group morphism with dense image., Comment: 53 pages; v2: made several structural changes and added more material, in particular Propositions 2.14, 2.15 and 3.5 and Corollary 3.6, solving affirmatively the question raised in former Remark 1.29; to appear in Communications in Mathematical Physics

By analogy with the classical construction due to Forrest, Samei and Spronk we associate to every compact quantum group $\mathbb{G}$ a completely contractive Banach algebra $A_\Delta(\mathbb{G})$, which can be viewed as a deformed Fourier algebra of $\mathbb{G}$. To motivate the construction we first analyse in detail the quantum version of the integration over the diagonal subgroup, showing that although the quantum diagonal subgroups in fact never exist, as noted earlier by Kasprzak and So{\l}tan, the corresponding integration represented by a certain idempotent state on $C(\mathbb{G})$ makes sense as long as $\mathbb{G}$ is of Kac type. Finally we analyse as an explicit example the algebras $A_\Delta(O_N^+)$, $N\ge 2$, associated to Wang's free orthogonal groups, and show that they are not operator weakly amenable., Comment: Minor updates; Remark 5.7 has been added; 31 pages

Actions of locally compact groups and quantum groups on W*-ternary rings of operators are discussed and related crossed products introduced. The results generalise those for von Neumann algebraic actions with proofs based mostly on passing to the linking von Neumann algebra. They are motivated by the study of fixed point spaces for convolution operators generated by contractive, non-necessarily positive measures, both in the classical and in the quantum context., Comment: 19 pages

The notion of an open quantum subgroup of a locally compact quantum group is introduced and given several equivalent characterizations in terms of group-like projections, inclusions of quantum group C*-algebras and properties of respective quantum homogenous spaces. Open quantum subgroups are shown to be closed in the sense of Vaes and normal open quantum subgroups are proved to be in 1-1 correspondence with normal compact quantum subgroups of the dual quantum group., Comment: 30 pages, v2 simplifies the proof of Theorem 5.8 (and drops the properness assumption) as well as corrects several small points. The final version will appear in Advances in Mathematics

We describe basic motivations behind quantum or noncommutative probability, introduce quantum L\'evy processes on compact quantum groups, and discuss several aspects of the study of the latter in the example of quantum permutation groups. The first half of this paper is a survey on quantum probability, compact quantum groups, and L\'evy processes on compact quantum groups. In the second half the theory is applied to quantum permutations groups. Explicit examples are constructed and certain classes of such L\'evy processes are classified., Comment: 60 pages

We introduce a notion of partition wreath product of a finite group by a partition quantum group, a construction motivated on the one hand by classical wreath products and on the other hand by the free wreath product of J. Bichon. We identify the resulting quantum group in several cases, establish some of its properties and show that when the finite group in question is abelian, the partition wreath product is itself a partition quantum group. This allows us to compute its representation theory, using earlier results of the first named author., Comment: 25 pages. Minor corrections

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., Comment: v4: 14 pages, modified title. The final version of the paper will appear in Mathematische Nachrichten

The notion of families of quantum invertible maps ($C^*$-algebra homomorphisms satisfying Podle\'s condition) is employed to strengthen and reinterpret several results concerning universal quantum groups acting on finite quantum spaces. In particular Wang's quantum automorphism groups are shown to be universal with respect to quantum families of invertible maps. Further the construction of the Hopf image of Banica and Bichon is phrased in the purely analytic language and employed to define the quantum subgroup generated by a family of quantum subgroups or more generally a family of quantum invertible maps., Comment: 23 pages. The final version will appear in the Canadian Journal of Mathematics

We prove that under a symmetry assumption all cocycles on Hopf *-algebras arise from generating functionals. This extends earlier results of R.Vergnioux and D.Kyed and has two quantum group applications: all quantum L\'evy processes with symmetric generating functionals decompose into a maximal Gaussian and purely non-Gaussian part and the Haagerup property for discrete quantum groups is characterized by the existence of an arbitrary proper cocycle., Comment: 16 pages; v2 corrects a few minor points. The article has been accepted for publication in Mathematische Zeitschrift

A notion of a quantum automorphism group of a finite quantum group, generalising that of a classical automorphism group of a finite group, is proposed and a corresponding existence result proved., Comment: 18 pages; v2 corrects several minor points and improves results in Section 3. The article will appear in the Journal of Algebra

The Haagerup approximation property for a von Neumann algebra equipped with a faithful normal state $\varphi$ is shown to imply existence of unital, $\varphi$-preserving and KMS-symmetric approximating maps. This is used to obtain a characterisation of the Haagerup approximation property via quantum Markov semigroups (extending the tracial case result due to Jolissaint and Martin) and further via quantum Dirichlet forms., Comment: 26 pages; v3 adds Corollary 5.8, corrects a mistake in Section 3 and updates references; all the main results remain unchanged. The article will appear in the Communications in Mathematical Physics