Geometric invariants for resolutions of Hilbert modules (Q4400728)

On considère un domaine borné \(\Omega\) de \(\mathbb{C}^m\), puis une fonction \(K\) définie sur \(\Omega\times\Omega\) (holomorphe pour la première variable et antiholomorphe pour la seconde) et non négative sur toute partie finie de \(\Omega\), enfin l'espace de Hilbert \({\mathcal M}\) des fonctions \(f\) holomorphes sur \(\Omega\) et vérifiant \(\langle f,K(.,w)\rangle= f(w)\), espace fonctionnel de Hilbert dont \(K\) est le noyau reproduisant, sur lequel agit l'adhérence \({\mathcal A}(\Omega)\) de l'ensemble des polynômes sur \(\Omega\). Les AA. étudient le difficile problème du cas du sous-module \({\mathcal M}_0\) formé de tous les éléments de \({\mathcal M}\) s'annulant sur une hypersurface analytique \({\mathcal Z}\) par l'intermédiaire de l'espace fonctionnel \({\mathcal M}\). Divers résultats fondamentaux sont obtenus dans cette voie grâce aux calculs des courbures, en se limitant le plus souvent au cas d'une fibre sur un ouvert situé dans un hyperplan. Les nombreux exemples proposés sont entièrement traités et montrent la complexité des questions abordées; c'est dire la richesse de ce travail, qui met en évidence la difficulté du passage du cas d'une seule variable (largement connu) à celui de plusieurs variables. For the entire collection see [Zbl 0892.00040].