\(K\)-invariant Hilbert modules and singular vector bundles on bounded symmetric domains (Q6161165): Difference between revisions

The author studies the eigenbundle of a Hilbert module over a bounded symmetric domain, especially the singular fibers at the boundary points. A Hilbert module \(\mathcal{H}\) over a domain \(D\subset \mathbb{C}^d\) is a Hilbert space of holomorphic functions on \(D\) which is a \(\mathcal{P}\)-module, where \(\mathcal{P}\) is the algebra of polynomials in \(d\) variables: for any polynomial \(p\), the multiplication operator \(T_p\) leaves \(\mathcal{H}\) invariant and is bounded. For \(\zeta \in D\), the fiber \(\mathcal{H}_{\zeta }\) of the eigenbundle of \(\mathcal{H}\) is defined by \[ \mathcal{H}_{\zeta } =\{f\in \mathcal{H} \mid \forall p\in \mathcal{P},\ T_p^*f=\overline{p(\zeta )}f\}. \] The fiber \(\mathcal{H}_{\zeta }\) is isomorphic to the quotient \(\mathcal{H}/\overline{\mathfrak{m}_{\zeta }\mathcal{H}}\), where \(\mathfrak{m}_{\zeta }\) is the maximal ideal at \(\zeta \): \(\mathfrak{m}_{\zeta }=\{f\in \mathcal{P}\mid f(\zeta )=0\}\). The author considers the case where \(\mathcal{H}\) is the Hilbert closure of an ideal \(\mathcal{J}\) in \(\mathcal{P}\). Then it is assumed that \(D=G/K\) is an irreducible bounded symmetric domain of rank \(r\). The polynomial algebra \(\mathcal{P}\) admits a Peter-Weyl decomposition into irreducible subspaces: \[ \mathcal{P}=\bigoplus _{\lambda \in \mathbb{N}_+^r}\mathcal{P}^{\lambda}, \] parametrized by partitions \(\lambda =(\lambda _1,\ldots ,\lambda _r)\), \(\lambda _i\in \mathbb{N}\), \(\lambda _1\geq \ldots \lambda _r\geq 0\). The main results of the paper concern the case where the Hilbert module \(\mathcal{H}\) is the Hilbert closure \(\mathcal{H}^{\lambda }\) of the ideal \(\mathcal{J}^{\lambda }\) generated by the subspace \(\mathcal{P}^{\lambda }\). It is proven that \(\mathcal{J}^{\lambda }\) admits the following Peter-Weyl decomposition: \[ \mathcal{J}^{\lambda } =\bigoplus _{\mu \geq \lambda }\mathcal{P}^{\mu }, \] where \(\mu \geq \lambda \) means that \(\mu _i \geq \lambda _i\) (\(1\leq i\leq r\)). The fiber \(\mathcal{H}_0^{\lambda }\) at \(\zeta =0\) is equal to \(\mathcal{P}^{\lambda }\). The eigenbundle is singular at the boundary of \(D\). In order to study the stratification property of the eigenbundle of \(\mathcal{H}\) the author uses a Jordan triple \(E\) for describing the geometry of the boundary of \(D\). To study the restriction of the eigenbundle of \(\mathcal{H}^{\lambda }\) to the Kepler manifold \(E_{\ell }\) defined as \(E_{\ell }=\{\zeta \in E\mid \mathrm{ rank }(\zeta )=\ell \}\) (\(1\leq \ell \leq r)\), it suffices to determine the fiber \(\mathcal{H}_c^{\lambda }\) for a tripotent \(c\) of rank \(\ell \). Let \(W\) be the 0-space in the Peirce decomposition of \(E\) associated to \(c\): \(W=\{z\in E\mid c\cdot z=0\}\), and \(\mathcal{P}_W\) be the polynomial algebra of the space \(W\). It is proven that \(\mathcal{H}_c^{\lambda }=\mathcal{P}_W^{\lambda ^*}\), where \(\lambda ^*\) is the truncated partition \(\lambda ^*= (\lambda _{\ell +1},\ldots ,\lambda _r)\). Moreover the ideal \(\mathcal{J}_W^{\lambda ^*}\) in \(\mathcal{P}_W\) generated by \(\mathcal{P}_W^{\lambda ^*}\) is given by \(\mathcal{J}_W^{\lambda ^*}=\pi _c(\mathcal{J}^{\lambda } )\), where \(\bigl(\pi _c(f)\bigr)(w)=f(c+w)\) (\(w\in W\)).