Computations of Bergman kernels on Hua domains (Q2767435)

In his well-known book [`Harmonic analysis of functions of several complex variables in the classical domains' (1963; Zbl 0112.07402), (Reprint 1979; Zbl 0507.32025)], \textit{L.~K. Hua} computed the Bergman kernel function explicitly for the four families of classical Cartan domains. Here the authors record formulas for the Bergman kernel functions of four related domains, described as follows. NEWLINENEWLINENEWLINELet \(Z\) denote an element (expressed as a matrix) of a Cartan domain, let \(Z'\) and \(Z^T\) denote the transpose and the transpose conjugate of~\(Z\) respectively, let \(r\) be a positive integer, let \(p_1, \dots, p_{r-1}\) be reciprocals of positive integers, let \(p_r\) be a positive real number, and when \(1\leq j\leq r\) let \(N_j\) be a positive integer and \(W_j\) a vector in the space \(\mathbb{C}^{N_j}\). The domains in question consist of the points \((Z, W_1, \dots, W_r)\) satisfying the inequality \(\sum_{j=1}^r \|W_j \|^{2p_{j}} < \det (I-ZZ^T)\) when \(Z\) belongs to a Cartan domain of the first three types and \(\sum_{j=1}^r \|W_j \|^{2p_{j}} < 1 - 2ZZ^T +|ZZ'|^2\) when \(Z\) belongs to a Cartan domain of the fourth type. The formulas for the Bergman kernel function are explicit in the sense that they involve finite sums, a finite number of derivatives, and a finite number of constants that are implicitly defined through recurrence relations. NEWLINENEWLINENEWLINEAlthough the authors give no proofs here, in another paper [Sci. China Ser. A 44, No.~6, 727-741 (2001; Zbl 1014.32003)] they present the same results together with a derivation of the formula for the Bergman kernel function for the first of the four types of domains.