On the duality theorem on an analytic variety

The duality theorem for Coleff-Herrera products on a complex manifold says that if $f = (f_1,\dots,f_p)$ defines a complete intersection, then the annihilator of the Coleff-Herrera product $\mu^f$ equals (locally) the ideal generated by $f$. This does not hold unrestrictedly on an analytic variety $Z$. We give necessary, and in many cases sufficient conditions for when the duality theorem holds. These conditions are related to how the zero set of $f$ intersects certain singularity subvarieties of the sheaf $\mathcal{O}_Z$.Comment: 21 pages, v2: Incorporate changes from the review proces

Residue currents with prescribed annihilator ideals on singular varieties

Given an ideal $\mathcal{J}$ on a complex manifold, Andersson and Wulcan constructed a current $R^\mathcal{J}$ such that the annihilator of $R^\mathcal{J}$ is $\mathcal{J}$, generalizing the duality theorem for Coleff-Herrera products. We describe a way to generalize this construction to ideals on singular varieties.Comment: 31 pages. Version 3: Minor corrections from the review proces

A comparison formula for residue currents

Given two ideals $\mathcal{I}$ and $\mathcal{J}$ of holomorphic functions such that $\mathcal{I} \subseteq \mathcal{J}$, we describe a comparison formula relating the Andersson-Wulcan currents of $\mathcal{I}$ and $\mathcal{J}$. More generally, this comparison formula holds for residue currents associated to two generically exact Hermitian complexes together with a morphism between the complexes. One application of the comparison formula is a generalization of the transformation law for Coleff-Herrera products to Andersson-Wulcan currents of Cohen-Macaulay ideals. We also use it to give an analytic proof by means of residue currents of theorems of Hickel, Vasconcelos and Wiebe related to the Jacobian ideal of a holomorphic mapping.Comment: 22 pages, v6: Minor sign correction in equation (3.4

Koppelman formulas on the A_1-singularity

In the present paper, we study the regularity of the Andersson-Samuelsson Koppelman integral operator on the $A_1$-singularity. Particularly, we prove $L^p$- and $C^0$-estimates. As applications, we obtain $L^p$-homotopy formulas for the $\bar{\partial}$-equation on the $A_1$-singularity, and we prove that the $\mathcal{A}$-forms introduced by Andersson-Samuelsson are continuous on the $A_1$-singularity.Comment: 23 pages. v3: Minor changes made for the final versio

Koppelman formulas on affine cones over smooth projective complete intersections

In the present paper, we study regularity of the Andersson-Samuelsson Koppelman integral operator on affine cones over smooth projective complete intersections. Particularly, we prove $L^p$- and $C^\alpha$-estimates, and compactness of the operator, when the degree is sufficiently small. As applications, we obtain homotopy formulas for different $\overline{\partial}$-operators acting on $L^p$-spaces of forms, including the case $p=2$ if the varieties have canonical singularities. We also prove that the $\mathcal{A}$-forms introduced by Andersson-Samuelsson are $C^\alpha$ for $\alpha < 1$.Comment: 22 pages. v2: corrections from the review process. arXiv admin note: text overlap with arXiv:1407.570

The ∂ˉ\bar{\partial}-equation on a non-reduced analytic space

Let $X$ be a, possibly non-reduced, analytic space of pure dimension. We introduce a notion of $\overline{\partial}$-equation on $X$ and prove a Dolbeault-Grothendieck lemma. We obtain fine sheaves $\mathcal{A}_X^q$ of $(0,q)$-currents, so that the associated Dolbeault complex yields a resolution of the structure sheaf $\mathscr{O}_X$. Our construction is based on intrinsic semi-global Koppelman formulas on $X$.Comment: v2: Some changes from the review proces

Residue currents and cycles of complexes of vector bundles

We give a factorization of the cycle of a bounded complex of vector bundles in terms of certain associated differential forms and residue currents. This is a generalization of previous results in the case when the complex is a locally free resolution of the structure sheaf of an analytic space and it can be seen as a generalization of the classical Poincar\'e-Lelong formula.Comment: 18 page

Computing residue currents of monomial ideals using comparison formulas

Given a free resolution of an ideal $\mathfrak{a}$ of holomorphic functions, one can construct a vector-valued residue current, $R$, which coincides with the classical Coleff-Herrera product if $\mathfrak{a}$ is a complete intersection ideal and whose annihilator ideal is precisely ~$\mathfrak{a}$. We give a complete description of $R$ in the case when $\mathfrak{a}$ is an Artinian monomial ideal and the resolution is the hull resolution (or a more general cellular resolution), extending previous results by the second author. The main ingredient in the proof is a comparison formula for residue currents due to the first author. By means of this description we obtain in the monomial case a current version of a factorization of the fundamental cycle of $\mathfrak{a}$ due to Lejeune-Jalabert.Comment: 21 page

Residue currents and fundamental cycles

We give a factorization of the fundamental cycle of an analytic space in terms of certain differential forms and residue currents associated with a locally free resolution of its structure sheaf. Our result can be seen as a generalization of the classical Poincar\'e-Lelong formula. It is also a current version of a result by Lejeune-Jalabert, who similarly expressed the fundamental class of a Cohen-Macaulay analytic space in terms of differential forms and cohomological residues.Comment: 24 page