Reproducing kernels and composition series for spaces of vector-valued holomorphic functions on tube domains (Q1331658)

Let \(D\) be the domain in \(\text{Sym}(n, \mathbb{C})\) defined by \[ D= \{Z\in \text{Sym}(n, \mathbb{C})\mid 1- Z^* Z> 0\}. \] It is the bounded realization of the Hermitian symmetric domain of tube type \(G/K\) with \(G= \text{Sp}(n, \mathbb{R})\) and \(K= U(n)\). For \(\lambda> n\) one considers the Hilbert space \(H_ \lambda\) of \(\mathbb{C}^ n\)-valued holomorphic functions \(f\) on \(D\) with the norm \[ \| f\|^ 2_ \lambda= c_ \lambda \int_ D \langle(1- Z^* Z) f(Z), f(Z)\rangle\text{det}(1- Z^* Z)^{\lambda- (n+ 1)}d\mu, \] where \(d\mu\) is the Lebesgue measure, suitably normalized by the constant \(c_ \lambda\). The reproducing kernel \(K_ \lambda\) of \(H_ \lambda\) is the following \(M(n, \mathbb{C})\)- valued function \[ K_ \lambda(Z, W)= (\text{det}(1- W^* Z))^{- \lambda} (1- W^* Z)^{-1}. \] One determines first the decomposition of \(H_ \lambda\) into irreducible subspaces under the \(K\)-action. The space \(\mathcal P\) of polynomials on \(\text{Sym}(n, \mathbb{C})\) decomposes as \[ {\mathcal P}= \sum_ m V^ m, \] where \(V^ m\) is the \(K\)-space with highest weight \({\mathbf m}= (m_ 1,\dots, m_ n)\), \((m_ 1\geq \cdots\geq m_ n\geq 0)\). One proves that the space \(H_ \lambda\) decomposes as follows \[ H_ \lambda= \bigoplus^ n_{i= 1} \bigoplus_{{\mathbf m}} V^{{\mathbf m}+ \varepsilon_ i}, \] where \(\varepsilon_ i= (0,\dots, 0,1,0,\dots, 0)\) (1 at the \(i\)th place). This leads to a series expansion for \(K_ \lambda\), \[ K_ \lambda(Z, W)= \sum^ n_{i= 1} \sum_{{\mathbf m}} a^{(i)}_{{\mathbf m}} (\lambda) K^{(i)}_{{\mathbf m}} (Z,W), \] where \(K^{(i)}_{{\mathbf m}}\) is the reproducing kernel of \(V^{{\mathbf m}+\varepsilon_ i}\) with a suitable normalization. The coefficients \(a^{(i)}_{{\mathbf m}}(\lambda)\) are computed explicitly. Similar results are obtained for the Hermitian symmetric space \(G/K\) with \(G= O^*(4n)\), \(K= U(2n)\). As a consequence one determines for which \(\lambda\) the kernel \(K_ \lambda\) is positive definite, the composition series at reducibility values of \(\lambda\), and unitarizability of quotient spaces.