Composition operators on the Bergman spaces of a minimal bounded homogeneous domain (Q1952459)

Let \(\mu\) be a minimal bounded homogeneous domain in \(\mathbb C^d\), \(dV\) the Lebesgue measure on \(\mathbb C^d\) and \( o( \mu )\) the space of all holomorphic functions on \(\mu\). The Bergman kernel \(K_\mu :\mu \times \mu \to\mathbb C\) is the reproducing kernel of the Bergman space \( L_a^2 ( {\mu ,dV} ): = L^2 ( {\mu ,dV} ) \cap o( \mu )\). For \( \beta \in\mathbb R\), let \(dV_\beta\) denote the measure on \(\mu\) given by \( dV_\beta ( z ): = K_\mu ( {z,z} )^{ - \beta } dV( z )\). It is known that there exists a constant \( \varepsilon _{\min }\) such that \( L_a^p ( {\mu ,dV_\beta } )\) is nontrivial for all \(p\) if \(\beta > \varepsilon _{\min }\). Every holomorphic map \( \varphi :\mu \to \mu\) defines a composition operator \(C_\varphi\) on \(o( \mu )\), in particular on \( L_a^p ( {\mu ,dV_\beta } )\), by \(C_\varphi f: = f \circ \varphi\). Thanks to properties of Carleson measures, the author obtains the following result: If \(C_\varphi\) is a bounded (resp., compact) operator on \(L_a^q ( {\mu ,dV_{\beta _0 } } )\) for some \( q > 0\) and \( \beta _0 > \varepsilon _{\min }\), then \(C_\varphi\) is a bounded (resp., compact) operator on \(L_a^p ( {\mu ,dV_{\beta } } )\) for any \( p > 0\) and \( \beta \geq {\beta _0 }\). Composition operators on the weighted Bergman space of the unit ball were considered by \textit{K. Zhu} [Houston J. Math. 33, No. 1, 273--283 (2007; Zbl 1114.47031)]. His results could be extended to the case where the domain is the Harish-Chandra realization of an irreducible bounded symmetric domain in [\textit{X.-F.\thinspace Lü} and \textit{Z.-J.\thinspace Hu}, Acta Math. Sci., Ser. B, Engl. Ed. 31, No. 2, 468--476 (2011; Zbl 1235.47026)]. Motivated by the above references, the author generalizes their works further to weighted Bergman spaces of a minimal bounded homogeneous domain and, using Zhu's technique together with an integral formula, the author obtains the following theorem: Assume that \(C_\varphi\) is a bounded operator on \(L_a^q ( {\mu ,dV_{\beta _0 } } )\) for some \( q > 0\) and \( \beta _0 > \varepsilon _{\min }\). Then \(C_\varphi\) is compact on \(L_a^p ( {\mu ,dV_{\beta } } )\) for any \( p > 0\) and \(\beta > \beta _0 + \varepsilon _\mu\) if and only if \[ \mathop {\lim }\limits_{z \to \partial \mu } \frac{{K_\mu ( {\varphi ( z ),\varphi ( z )} )}}{{K_\mu ( {z,z} )}} = 0. \]