Resolution of singularities for a class of Hilbert modules (Q2841847)

From MaRDI portal





scientific article; zbMATH DE number 6192705
Language Label Description Also known as
English
Resolution of singularities for a class of Hilbert modules
scientific article; zbMATH DE number 6192705

    Statements

    Resolution of singularities for a class of Hilbert modules (English)
    0 references
    0 references
    0 references
    30 July 2013
    0 references
    Hilbert module
    0 references
    reproducing kernel function
    0 references
    analytic Hilbert module
    0 references
    submodule
    0 references
    holomorphic Hermitian vector bundle
    0 references
    analytic sheaf
    0 references
    From the abstract: Let \(\mathcal M\) be the completion of the polynomial ring \({\mathbb C}[\underline{z}]\) with respect to some inner product, and for any ideal \(\mathcal I\subseteq {\mathbb C}[\underline{z}]\), let \([{\mathcal I}]\) be the closure of \(\mathcal I\) in \(\mathcal M\). For a homogeneous ideal \(\mathcal I\), the joint kernel of the submodule \([{\mathcal I}]\subseteq{\mathcal M}\) is shown, after imposing some mild conditions on \(\mathcal M\), to be the linear span of the set of vectors NEWLINE\[NEWLINE \left\{p_i\left(\frac{\partial}{\partial\bar{w}_1},\dots,\frac{\partial}{\partial\bar{w}_m}\right)K_{[{\mathcal I}]}(\cdot,w)|_{w=0}:1\leq i\leq t \right\}, NEWLINE\]NEWLINE where \(K_{[{\mathcal I}]}\) is the reproducing kernel for the submodule \([{\mathcal I}]\) and \(p_1,\dots,p_t\) is some minimal ``canonical set of generators'' for the ideal \(\mathcal I\). The proof includes an algorithm for constructing this canonical set of generators, which is determined uniquely modulo linear relations, for homogeneous ideals. A short proof of the ``Rigidity Theorem'' using the sheaf model for Hilbert modules over polynomial rings is given. We describe, via the monoidal transformation, the construction of a Hermitian holomomorpic line bundle for a large class of Hilbert modules of the form \([{\mathcal I}]\). We show that the curvature, or even its restriction to the exceptional set, of this line bundle is an invariant for the unitary equivalence class of \([{\mathcal I}]\). Several examples are given to illustrate the explicit computation of these invariants.
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references