Schatten-von Neumann Hankel operators on the Bergman space of planar domains (Q733623)

For a bounded domain \(\Omega\) in the complex plane, let \(L^2(\Omega)\) be the usual Hilbert space of functions that are square integrable with respect to the Lebesgue area measure. The Bergman space \(L^2_a(\Omega)\) is the closed subspace of \(L^2(\Omega)\) consisting of holomorphic functions. Let \(P\) be the orthogonal projection from \(L^2(\Omega)\) onto \(L^2_a(\Omega)\). For a bounded function \(\varphi\), the Hankel operator \(H_\varphi: L^2_a(\Omega)\rightarrow L^2(\Omega)\ominus L^2_a(\Omega)\) is defined by \(H_\varphi=(1-P)M_\varphi\), where \(M_\varphi\) is the operator of multiplication by \(\varphi\). In the paper under review, the author is concerned with the joint membership of \(H_\varphi\) and \(H_{\overline{\varphi}}\) in the Schatten-von Neumann \(p\)-class \({\mathcal S}_p\) when \(\Omega\) is a regular domain, which is a bounded multiply-connected domain whose boundary consists of finitely many pairwise disjoint simple closed smooth analytic curves \(\{\gamma_1,\dots,\gamma_n\}\). Assume that \(\gamma_1\) is the boundary of the unbounded component of \(\mathbb C\backslash\Omega\). Let \(\Omega_1\) be the bounded component of \(\mathbb C\backslash\gamma_1\) and \(\Omega_j\) be the unbounded component of \(\mathbb C\backslash\gamma_j\) for \(2\leq j\leq n\). Let \(\{p_1,\dots,p_n\}\) be a \(\partial\)-partition for \(\Omega\), which is a smooth partition of unity for \(\Omega\) such that \(p_j\) is equal to 1 near \(\gamma_j\) for each \(j\). Set \(\varphi_j = \varphi p_j\) and let \(H_{\varphi_j}, H_{\overline{\varphi}_j}:L^2_a(\Omega_j)\rightarrow L^2(\Omega_j)\ominus L^2_a(\Omega_j)\) be Hankel operators with symbols \(\varphi_j\) and \(\overline{\varphi_j}\) for \(1\leq j\leq n\). The main result of the paper asserts that both operators \(H_\varphi\) and \(H_{\overline{\varphi}}\) belong to \({\mathcal S}_p\) if and only if for all \(1\leq j\leq n\), both \(H_{\varphi_j}\) and \(H_{\overline{\varphi}_j}\) belong to \({\mathcal S}_p\). The author first proves the result when \(\Omega\) is a canonical domain whose boundary consists of finitely many disjoint circles. The general result then follows from the well-known fact that any regular domain is conformally equivalent to a canonical one.