The free wreath product of a compact quantum group by a quantum automorphism group (Q738919)

Let \(B\) be a finite-dimensional \(C^\ast\)-algebra and \(\psi:B\to\mathbb C\) be a faithful state. Denote by \(\mathbb G^{\mathrm{aut}}(B,\psi)\) the quantum automorphism group associated to \((B,\psi)\) (see [\textit{S.-Z. Wang}, Commun. Math. Phys. 195, No. 1, 195--211 (1998; Zbl 1013.17008)]). It is the universal object in the category of compact quantum groups acting on \(B\) while leaving \(\psi\) invariant. For instance, choosing \((B,\psi)=(\mathbb C^n,\mathrm{trace})\), one obtains the quantum symmetric group \(S_n^+\). For \(\delta>0\), call \(\psi\) a \(\delta\)-form if, viewing \(B\) as the GNS Hilbert space of \((B,\psi)\), the multiplication map \(m:B\otimes B\to B\) satisfies \(mm^\ast=\delta1_{B}\). Let \(\mathbb G\) be a compact quantum group. In the paper under review, the authors introduce and study the free wreath product \(\mathbb G\wr_\ast\mathbb G^{\mathrm{aut}}(B,\psi)\) of \(\mathbb G\) by \(\mathbb G^{\mathrm{aut}}(B,\psi)\), thus continuing previous works of Bichon, Banica-Vergnioux, De Commer-Freslon-Yamashita, Lemeux, Lemeux-Tarrago, the second-named author, and Wahl on free wreath products by quantum symmetric groups. The underlying (universal) \(C^\ast\)-algebra of \(\mathbb G\wr_\ast\mathbb G^{\mathrm{aut}}(B,\psi)\) is defined as the universal unital \(C^\ast\)-algebra generated by coefficients of unitaries \(a(\alpha)\), \(\alpha\in\mathrm{Irr}(\mathbb G)\), satisfying several relations. The co-multiplication is defined in a way that makes the \(a(\alpha)\) representations of \(\mathbb G\wr_\ast\mathbb G^{\mathrm{aut}}(B,\psi)\). When \(\dim B\geq 4\) and \(\psi\) is a \(\delta\)-form, the \(a(\alpha)\) are irreducible and pairwise non-equivalent for \(1_{\mathbb G}\not\simeq\alpha\in\mathrm{Irr}(\mathbb G)\) (Proposition 5.1). The intertwiner spaces \(\mathrm{Hom}(\bigotimes_{i=1}^ka(\alpha_i),\bigotimes_{j=1}^la(\beta_j))\) are given a combinatorial description when \(\dim B\geq 4\) and \(\psi\) is a \(\delta\)-form (Theorem 3.5). Assuming that \(\dim B\geq 4\) and \(\psi\) is a possibly non-unital \(1\)-form, \(\mathbb G\wr_\ast\mathbb G^{\mathrm{aut}}(B,\psi)\) is proved to be monoidally equivalent to the quantum quotient of the free product \(\mathbb G\hat\ast \mathrm{SU}_q(2)\) whose underlying \(C^\ast\)-algebra is given by \[ \left\langle b_{ij}ab_{kl}:1\leq i,j,k,l\leq2,a\in C(\mathbb G)\right\rangle \subseteq C(\mathbb G)*C(SU_{q}(2)), \] where \(0<q\leq1\) is such that \(q+q^{-1}=\sqrt{\psi(1)}\), \(SU_{q}(2)\) is the quantum \(SU(2)\) group of Woronowicz, and \(b=\left(b_{ij}\right)_{i,j=1}^{2}\) is its fundamental representation (Theorem 4.1). Using this result, it is proved that \(\mathrm{Irr}(\mathbb{G}\wr_{*}\mathbb{G}^{\mathrm{aut}}(B,\psi))\) can be parametrized by the monoid of all words with letters in \(\mathrm{Irr}(\mathbb{G})\), and the fusion rules are described explicitly (Theorem 5.3). Stability of monoidal equivalence and of isomorphism of fusion semirings under the free wreath product is established in Section 6 when the dimensions of the \(C^{*}\)-algebras are at least \(4\) and the states are \(\delta\)-forms. Section 7 shows that under suitable conditions, several approximation properties on the discrete dual \(\widehat{\mathbb{G}}\) pass to the discrete dual of \(\mathbb{G}\wr_{*}\mathbb{G}^{\mathrm{aut}}(B,\psi)\). The conditions involve the decomposition of \(\mathbb{G}\wr_{*}\mathbb{G}^{\mathrm{aut}}(B,\psi)\) as the free product \(\hat{*}_{i=1}^{d}\mathbb{G}\wr_{*}\mathbb{G}^{\mathrm{aut}}(B_{i},\psi_{i})\), where \(\psi_{i}\) is a \(\delta_{i}\)-form for every \(i\) (Proposition 5.4). Simplicity and uniqueness of trace of the reduced \(C^{*}\)-algebra underlying \(\mathbb{G}\wr_{*}\mathbb{G}^{\mathrm{aut}}(B,\psi)\) are also discussed. Finally, starting from the universality properties of the algebras involved, it is proved in a tour de force that, under the standard conditions on the pairs \((B,\psi)\) and \((B',\psi')\), there exists an isomorphism \[ C(\mathbb{G}^{\mathrm{aut}}(B\otimes B',\psi\otimes\psi'))/I\cong C(\mathbb{G}^{\mathrm{aut}}(B',\psi')\wr_{*}\mathbb{G}^{\mathrm{aut}}(B,\psi)) \] for a suitable explicitly-described ideal \(I\) (Theorem 8.2).