Geometric invariants for a class of submodules of analytic Hilbert modules via the sheaf model (Q6084368)

Let \(\Omega\) be a bounded domain in \(\mathbb{C}^m\). A Hilbert space \(H\) is said to be an analytic Hilbert module if \(H \subseteq \mathcal{O}(\Omega)\) is a reproducing kernel Hilbert space over \(\Omega\) and \(\mathbb{C}[z_1, \ldots, z_m]\) is dense in \(H\), and \((M_{z_1}, \ldots, M_{z_m})\) defines a commuting tuple of bounded linear operators on \(H\). Here \[ (M_{z_j} f)(w) = w_j f(w) \qquad (f \in H, w \in \Omega), \] for all \(j=1, \ldots, m\). Given an ideal \(I \subseteq \mathbb{C}[z_1, \ldots, z_m]\), denote by \([I]\) the completion of \(I\) in \(H\). In the present context, let us call this a submodule of \(H\). The issue of general interest is the determination of when such submodules are unitarily equivalent. Of course, one approach is to identify tractable or computable invariants for such submodules. This is the general objective of the present paper. The Hilbert modules under investigation here follow the idea of the Cowen and Douglas class of operators, which was introduced to explore some fascinating links between operator theory and complex geometry (see [\textit{M. J. Cowen} and \textit{R. G. Douglas}, Acta Math. 141, 187--261 (1978; Zbl 0427.47016)]). In the present context, define the zero set \[ V_{[I]} = \{z \in \Omega: f(z) = 0 \text{ for all } f \in [I]\}. \] Let us focus on the situation of finitely generated ideals \(I\). Suppose \(t\) is the number of generators of \(I\). If the zero set \(V_{[I]}\) is a submanifold of codimension \(t\), then there is a unique local decomposition for the kernel of the submoudle \([I]\) along the zero set that serves as a holomorphic frame for a vector bundle on \(V_{[I]}\). The complex geometric invariants, namely curvatures, of this vector bundle also appear to be unitary invariants for the submodule \([I]\).