The explicit forms and zeros of the Bergman kernel function for Hartogs type domains (Q413200)

The authors explicitly compute the Bergman kernel function for a class of Hartogs domains fibered over products of bounded symmetric domains and deduce that certain of these Hartogs domains are Lu Qi-Keng domains. The following special case (part~ii of Theorem~5.3) indicates the flavor of the work: If \(m\)~is a positive integer, and \(\mu_1\) and \(\mu_2\) are positive real numbers, then the Bergman kernel function of the domain \[ \Big\{\,(z_1,z_2,\zeta) \in \mathbb{C}\times \mathbb{C}^2\times \mathbb{C}^m: \|\zeta\|^2 < (1-|z_1|^2)^{\mu_1}_{} (1-\|z_2\|^2)^{\mu_2}_{}\,\Big\} \] is zero-free if and only if \[ 16+4(m-1) (2\mu_1 + 3\mu_2) + 2m(m-3) (\mu_2^2 +3\mu_1\mu_2) + (m-1) (m^2-5m-2) \mu_1\mu_2^2\geq 0. \] The domains under consideration have the form \(\big\{\, (z,\zeta)\in\Omega\times\mathbb{C}^m: \|\zeta\|^2 < p(z)\,\big\}\), where \(\Omega\) is a product of bounded symmetric domains (that is, domains belonging to one of the six standard types: the four classical families and the two exceptional domains), and the function~\(p\) is a product of positive powers of the ``generic norms'' associated to the factor domains. The authors use the methods of the reviewer, \textit{S. Fu} and \textit{E. J. Straube} [Proc. Am. Math. Soc. 127, No. 3, 805--811 (1999; Zbl 0919.32013)] as elaborated by \textit{G.~Roos} [Sci. China, Ser. A 48, Suppl., 225--237 (2005; Zbl 1125.32001)] to compute the Bergman kernel function explicitly in finite terms (that is, finite sums and finite products). Observing that the main part of the kernel function is a polynomial whose coefficients can be expressed in terms of Stirling numbers of the second kind, the authors apply the Routh-Hurwitz criterion for locating zeroes of polynomials to obtain an algorithmic procedure for determining necessary and sufficient conditions for the Bergman kernel function to be zero-free. The final section of the paper contains concrete examples.