Multiplication operators on the Bergman spaces of pseudoconvex domains (Q903728)

Let \(A^2 (\Omega)\) and \(A^\infty (\Omega)\) denote the Bergman space (the space of square integrable holomorphic functions) on \(\Omega\) and the space of functions holomorphic on \(\Omega\) and smooth on \(\overline\Omega\), respectively. Furthermore, let \(I(S)\) denotes the ideal of holomorphic functions on \(\Omega\) that vanish on \(S\). The author makes two assumptions throughout the paper: The domain \(\Omega \subset \mathbb C^n\) is smooth, bounded, and pseudoconvex such that, for any \(z \in \partial \Omega\), the set \(A^\infty (\Omega) \cap I(z)\) is dense in \(A^2 (\Omega)\) and the mapping \(f = (f_1 , \dots , f_n ) :\overline{ \Omega} \to \mathbb C^n\) has a holomorphic extension to a neighborhood of \(\overline{ \Omega}\), and its Jacobian \(J_f\) is not identically \(0\). Under the assumptions mentioned above, the author proves several theorems. Theorem 1: If \(J_f\) is nonzero on \(f^{ -1} (0) \cap \overline{\Omega}\), then \(\big(\sum f_j A^2 (\Omega)\big)^\perp = \sum_{w\in f^{ -1} (0)} \mathbb CK_w\). Theorem 2: If \(S : A^2 (\Omega) \to A^2 (\Omega)\) is a compact linear operator that commutes with the Toeplitz operator \(T_f\), then \(S = 0\). The following is a corollary of the second result above: Corollary. Let \(\Omega\) be a smooth bounded strongly pseudoconvex domain in \(\mathbb C^n\). If \(S\) is an element of the Toeplitz algebra on \(A^2 (\Omega)\) which commutes with \(T_f\), then \(S\) is a multiplication operator by a bounded holomorphic function on \(\Omega\). Finally the author proves a geometric description of the algebra of commutants of \(\{T_{f_j} , j = 1, \dots , n\} \cup \{T^*_{f_j} , j = 1, \dots , n\}\) generalizing a result by \textit{R. G. Douglas} et al. [Adv. Math. 226, No. 1, 541--583 (2011; Zbl 1216.47053)].