Canonical representatives in moderate cohomology (Q761577)

Let X be an n-dimensional complex manifold and Y a complex subspace of X of pure codimension p, \(0<p\leq n,\) which is locally a complete intersection. Denote '\({\mathcal D}^{r,p}\) the sheaf of currents on X of bidegree (r,p). We prove that for any \(T\in \Gamma_ Y(X,'{\mathcal D}^{r,p})\) \({\bar \partial}\)-closed current supported on Y, there exists a unique locally residual current R such that \(T=R+{\bar \partial}S,\) with \(S\in \Gamma_ Y(X,'{\mathcal D}^{r,p-1})\). As an immediate consequence of our result we deduce that the support - in the sense of sheaves - of any class in the global moderate cohomology group \(H^ p_{[Y]}(X,\Omega^ r)\) is always analytic. Conversely, we show that locally residual currents generalize analytic cycles; precisely: given T a cycle of codimension p and \(x\in X\), for every family of hypersurfaces \({\mathcal J}=\{Y_ 1,...,Y_ p\}\) in complete intersection position such that \(\sup p(T)\subseteq \cap {\mathcal J}\) near x, there exists a meromorphic p-form \(\tau\) with poles on \(\cup {\mathcal J}\) such that \(T=R_{Y_ 1,...,Y_ p}[\tau]\) (Coleff-Herrera operator). Our methods also give a duality theorem for residual currents, which is the natural extension of Grothendieck's duality theorem for scalar residues, and which is the natural way to dealing with fibrations of analytic ideals using fibration of currents. Finally, we exhibit a straightforward construction for the cup-product \(H^ p_{[Y]}(X,\Omega^ r)\otimes H^{p'}_{[Y']}(X,\Omega^{r'})\to H^{p+p'}_{[Y\cap Y']}(X,\Omega^{r+r'})\) for subpspaces Y and Y' of X in the proper intersection position.