Generalized Laplacians for generalized Poisson-Cauchy transforms on classical domains (Q2455348)

The goal of the authors is to recover and to extend, via group-theoretic methods, some of the remarkable work of L. K. Hua in which he gave explicit formulae for various kernel functions on classical Cartan domains. This paper is part of a programme on this theme, extending over several papers, the first being [\textit{K. Okamoto}, Conf. harmonic Analysis, College Park, Maryland 1971, Lect. Notes Math. 266, 255--271 (1972; Zbl 0234.43009)]. Restricting to irreducible bounded symmetric domains \(D\), a homogeneous space \(G/K\), assumed to be of one of the non-exceptional types, the authors consider \(D\) in its Harish Chandra representation. The Lie algebra \(\mathfrak g\) of \(G\) has a Cartan decomposition \(\mathfrak g = \mathfrak k \oplus \mathfrak p\) for \(\mathfrak k\) the Lie algebra of \(K\), and in the complexification \(\mathfrak g _c\) we have an abelian subalgebra \(\mathfrak p_+\) (arising as an eigenspace of the Cartan involution). Take \(U = K_c P_{+}\) inside \(G_c\) (where \(G_c\), \(K_c\) and \(P_{+}\) have Lie algebras \(\mathfrak g _c\), \(\mathfrak k _c\) and \(\mathfrak p_+\)). Let \(u_0 \in \mathfrak p _+\) be in the Šilov boundary \(\check{S}\) of \(D \subset \mathfrak p_+\) and \(\mu_o = \exp(u_0)\). Then \(P = G \cap \mu_0 U \mu_0^{-1}\) is a maximal parabolic subgroup of \(G\) and \(G/P\) corresponds to \(\check{S}\). Fix a character \(\tau\) of \(K\) (which is the trivial character in the classical case). Let \(\eta\) be an extension of \(\tau\) to a character of \(U\) and \(\xi(p) = \eta( \mu_0^{-1} p \mu_0)\) (for \(p \in P\)), a character of \(P\). There is a line bundle \(\tilde{E}_\tau\) over \(G_c/U\) associated with \(\tau\). Restriction to \(GU/U \cong G/K \cong D\) gives a bundle \(E_\tau\). There is also a line bundle \(\tilde{L}_\eta\) over \(G_c/U\) associated with \(\eta\) and by restriction to \(G \mu_0 U/U \cong G/P \cong \check{S}\) we get another line bundle \(L_\eta\) associated with \(\eta\). Lifting sections to functions on \(G\) and averaging over \(K\) produces a `generalized Poisson-Cauchy transform' \(P_{\tau, \eta}\) from smooth sections of \(L_\eta\) to sections of \(E_\tau\). One main result is a demonstration that the range of this transform is within a certain eigenspace for a generalized Laplacian \(\Delta_\tau\) (which coincides with the Laplace-Beltrami operator for a \(G\)-invariant Riemannian metric on \(D\) when \(E_\tau\) is a trivial line bundle). Another result is an explicit formula for the eigenvalue and the `Poisson-Cauchy' kernel function required to express \(P_{\tau, \eta}\) as an integral over \(\check{S}\) (for type I domains).