Homological dimensions of modules of holomorphic functions on submanifolds of Stein manifolds (Q2512389): Difference between revisions

For a closed complex analytic submanifold \(Y\) of a Stein manifold \(X\) the author calculates the projective and the weak homological dimensions in the sense of Helemskii of \(\mathcal{O}(Y)\) as a Fréchet bimodule over the Fréchet algebra \(\mathcal{O}(X)\), i.e., the length of the shortest projective or flat resolution in the category of \(\mathcal{O}(X)\)-Fréchet modules (where, a priori, all exact sequences are required to split in the category of Fréchet \textit{spaces}). Using several deep tools from complex and functional analysis (namely, constructions of Forster of special exact resolutions and the splitting theory for nuclear Fréchet spaces of Vogt and Wagner) the natural result is proved that the weak homological dimension is always the codimension of \(Y\) in \(X\). For the projective homological dimension the same holds if \(X\) and \(Y\) both satisfy the Liouville property that all bounded plurisubharmonic functions are constant. The most surprising result is that this is no longer true without the Liouville property of the submanifold: If \(X\) is Liouville but \(Y\) is \textit{hyperconvex} (i.e., exhausted by compact sublevel sets of a plurisubharmonic function -- a condition somehow contrary to Liouville) then the projective homological dimension of \(\mathcal{O}(Y)\) with respect to \(\mathcal{O}(X)\) equals the dimension of \(X\). This is obtained by combining topological versions of so-called Van den Bergh isomorphisms, characterizations of the involved properties of the manifolds in terms of invariants for Fréchet spaces, and a result of Vogt on bounded linear operators between Fréchet spaces.