On the Sobolev embedding properties for compact matrix quantum groups of Kac type (Q2177008)

The paper under review studies the optimal order of Sobolev embedding properties for compact matrix quantum groups. More precisely, given a compact matrix quantum group \(\mathbb{G}\) and a natural length function \(|\cdot|\) on the family of equivalent classes of irreducible representations \(\mathrm{Irr}(\mathbb G)\), one is interested in determining the optimal parameter \(\gamma>0\) so that the following inequalities hold: \[ \left(\sum_{\alpha \in \mathrm{Irr}(\mathbb G)} \frac{\dim (\alpha)}{(1+|\alpha |)^{\gamma (\frac{2}{p} -1)}} \| \hat f (\alpha) \|_{S^2_{\dim (\alpha)}}^2 \right)^{1/2} \lesssim \| f\|_{L^p (\mathbb G)},\] where \(L^p (\mathbb G)\) denotes the usual noncommutative \(L^p\)-spaces associated with the Haar state on \(\mathbb G\), \(S^2_d\) denotes the Schatten-\(2\) classes on matrices of size \(d\), and \(\hat f\) denotes the noncommutative Fourier series of \(f\in L^p (\mathbb G)\). Various Sobolev inequalities of the above form have been established in [\textit{R. Akylzhanov} et al., Commun. Math. Phys. 362, No. 3, 761--799 (2018; Zbl 1428.46043)] and [\textit{X. Xiong}, Indiana Univ. Math. J. 66, No. 6, 1921--1947 (2017; Zbl 1392.46047)], but no optimality was known before this work. The author obtains the desired optimal order for the following cases: 1. Compact matrix quantum groups with certain strict polynomial cogrowth conditions. Typical examples include all connected compact Lie groups, quantum duals of discrete groups with polynomial growth, Wang's free quantum groups \(O_2^+\) and \(S_4^+\). The author provides two approaches; the first one is based on the analysis of noncommutative symmetric contraction semigroups studied in [\textit{X. Xiong}, Indiana Univ. Math. J. 66, No. 6, 1921--1947 (2017; Zbl 1392.46047)], which also allows to extend the results to \(L_p\)-\( L_q\) Sobolev embeddings, while the second one comes from interpolation tricks together with a precise computation for \(p=4\). The optimal order is precisely determined by the growth rate. 2. Compact duals of free groups \(\widehat{\mathbb F _N}\) (\(N\geq 2\)) and the quantum analogues \(O_N^+\) (\(N\geq 3\)) and \(S_N^+\) (\(N\geq 5\)). The optimal order is \(\gamma=3\). The author indeed establishes the optimal rapid decay degrees for such quantum groups. The paper also develops a general method to deduce the \(L_p\)-\( L_2\) Sobolev embedding properties from rapid decay degrees without assuming the existence of standard noncommutative semigroups of unital completely positive operators. This approach is based on a newly-built sharpened Hausdorff-Young inequality together with the Hardy-Littlewood inequalities studied in [\textit{S.-G. Youn}, Anal. PDE 11, No. 1, 237--261 (2018; Zbl 1387.43003)]. This argument in particular yields sharp Hardy-Littlewood inequalities on the dual quantum group \(\widehat{\mathbb F _N}\).