Canonical representatives in moderate cohomology (Q761577): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / author | |||
Property / author: Carmen Sessa / rank | |||
Property / author | |||
Property / author: Carmen Sessa / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the global lifting of meromorphic forms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4195061 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3903264 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Gap-sheaves and extension of coherent analytic subsheaves / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2039981928 / rank | |||
Normal rank |
Latest revision as of 09:21, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Canonical representatives in moderate cohomology |
scientific article |
Statements
Canonical representatives in moderate cohomology (English)
0 references
1985
0 references
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.
0 references
sheaf of currents
0 references
global moderate cohomology
0 references
locally residual currents
0 references
duality theorem
0 references