Uniqueness and factorization of Coleff-Herrera currents (Q2655876)

Let \(X\) be an \(n\)-dimensional complex manifold and let \(Z\) be an analytic variety of pure codimension \(p\). The sheaf of Coleff-Herrera currents \(\mathcal{CH}_Z\) consists of all \(\bar{\partial}\)-closed \((*,p)\)-currents \(\mu\) with support on \(Z\) such that \(\bar\psi\mu=0\) for each \(\psi\) vanishing on \(Z\), and which in addition fulfill the standard extension property. Let \(f=(f_1,\dots,f_m)\) be a holomorphic tuple on \(X\). It is practical to introduce a vector bundle \(E\rightarrow X\) with global frame \(e_1,\dots, e_m\) and consider \(f=\sum f_ie_i^*\) as a section of the dual bundle \(E^*\), where \(e_i^*\) is the dual frame. Then \(f\) induces a mapping \(\delta_f\), interior multiplication with \(f\), on the exterior algebra \(\Lambda E\). Let \(\mathcal C_{0,k}(\Lambda^lE)\) be the sheaf of \((0,k)\)-currents with values in \(\Lambda^lE\). We set \(Z^f=\{f=0\}\), \(\mathcal L^k=\bigoplus_j\mathcal C_{0,j+k}(\Lambda^jE)\) and \(\nabla_f=\delta_f-\bar\partial\). In the article, a uniqueness result for Coleff-Herrera currents is proved. Assume that \(Z^f\) has pure codimension \(p\). If \(\tau\in \mathcal{CH}_{Z^f}\) and there is a solution \(V\in\mathcal L^{p-m-1}\) to \(\nabla_fV=\tau\wedge e\), then \(\tau=0\). From the uniqueness result the author deduces that any Coleff-Herrera current on a variety \(Z\) is a finite sum of products of residue currents with support on \(Z\) and holomorphic forms. More precisely, the following factorization result holds: assume that \(Z^f\) has pure codimension \(p\) and let \(\mu\in \mathcal{CH}_{Z^f}\) be \((0,p)\) and such that \(\mathcal J(f)\mu=0\). Then there is locally \(\xi\in\mathcal O(\Lambda^{m-p}E)\) such that \(\mu\wedge e=R^f_p\wedge \xi\).