Invariant metrics and Laplacians on Siegel-Jacobi space (Q2469212)

For a given positive integer \(n\) we denote by \(H_n:= \{Z\in \mathbb C^{(n,n)}\mid Z={^tZ}\), \(\Im Z >0\}\) the Siegel upper half plane of degree \(n\) and by \(\text{Sp} (n, \mathbb R)\) the symplectic group of degree \(n\), i.e., \(\text{Sp} (n, \mathbb R):=\{ M\in\mathbb R^{(2n,2n)}\mid {}^t M J_n M = J_n\}\), with the matrix \(J_n= \left( \begin{smallmatrix} 0 & E_n \\ -E_n & 0 \end{smallmatrix} \right)\). Here \(E_n\) is the identity matrix. For integers \(n,m\) let \(H_{\mathbb R}^{(n,m)}\) denote the Heisenberg group \[ H_{\mathbb R}^{(n,m)} :=\{ (\lambda, \mu ; \kappa)\mid \lambda, \mu \in \mathbb R^{(m,n)}, \;\kappa \in \mathbb R^{(m,m)},\;\kappa + \mu ^t \lambda \text{ symmetric}\} \] equipped with the group operation \[ (\lambda, \mu;\kappa) \circ (\lambda' ,\mu';\kappa'):= (\lambda + \lambda', \mu + \mu'; \kappa + \kappa' + \lambda (^t \mu') - \mu (^t \lambda ')). \] Furthermore, let \[ G^J:= \text{Sp} (n,\mathbb R) \,\,\triangleright \!\!\!< H_{\mathbb R}^{(n,m)} \] be the semidirect product between the symplectic and the Heisenberg group, endowed with the multiplication \[ (M, (\lambda, \mu; \kappa)) \cdot (M', (\lambda', \mu' ; \kappa')) (MM',(\widetilde \lambda+ \lambda', \widetilde\mu \mu'; \kappa+ \kappa'+ \widetilde \lambda (^t \mu') -\widetilde \mu (^t \lambda '))), \] with \(M,M' \in \text{Sp} (n, \mathbb R)\), \((\lambda, \mu; \kappa), (\lambda', \mu'; \kappa') \in H_{\mathbb R}^{(n,m)}\), and \( ( \widetilde \lambda, \widetilde \mu)= (\lambda , \mu )M'\). We call \(G^J\) the Jacobian group of degree \(n\) and index \(m\). There is a natural action of \(G^J\) on the homogeneous Siegel-Jacobi-space \(H_{n,m}:= H_n \times \mathbb C^{(m,n)}\), defined by \[ (M, (\lambda, \mu ; \kappa )) \cdot (Z,W)=(M\cdot Z , (W+\lambda Z + \mu)(CZ +D)^{-1}) , \tag \(*\) \] where \(M=\left(\begin{smallmatrix} A&B\\ C&D \end{smallmatrix}\right) \in \text{Sp} (n, \mathbb R), (\lambda, \mu; \kappa ) \in H_{\mathbb R}^{(n,m)}\), and \((Z,W) \in H_n \times \mathbb C^{(m,n)}\). The aim of the article is to define a Riemannian metric that is invariant under the action defined by (*). To describe this we choose the notation: \(d Z= ( d z_{\nu \mu})\) and \(d \overline{Z} = (d \bar z_{\nu \mu})\), for \(Z=(z_{\nu \mu })_ {\nu, \mu} \in H_n\). For a square matrix \(A\) let \(\sigma (A)\) denote the trace of \(A\). Then the first main result is the following Theorem: For positive numbers \(A,B\) the metric \[ \begin{aligned} ds^2_{n,m;A,B}= &A \sigma (Y^{-1} dZ Y^{-1} d \overline{Z} )\\ &+ B\{ \sigma({Y^{-1}} ^tV V Y^{-1} dZ Y^{-1} d\overline{Z}) + \sigma({Y^{-1}} ^t (dW) \,d \overline{W} ) \\ &- \sigma(VY^{-1} dZ {Y^{-1}}\, ^t (d \overline{W})\,) - \sigma(VY^{-1} d \overline{Z} {Y^{-1}}\, ^t (d W)\,) )\,\} \end{aligned} \] is a Riemannian metric on \(H_{n,m}\) which is invariant under the action (*) of the Jacobi group. Here \(Z=X+iY, W=U+iV\) with real matrices \(X,Y,U\), and \(V\). In a second main result the Laplacian of \((H_{n,m} , \, ds^2_{n,m;A,B})\) is computed explicitly.