In previous work of the authors and their collaborators (see Progress in Math, vol. 114, Birkäuser, 1993) it was shown how the equivalence of several constructions of residue currents associated to complete intersection families of (germs of) holomorphic functions in ${\bf C}^n$ could be profitably used to solve algebraic problems like effective versions of the Nullstellensatz. In this work we explain how an application of similar ideas in the non-complete intersection case leads to a remarkable algebraic result, namely:
Let $P_1,...,P_n$ be $n$ polynomials in $n$ variables such that the zero set of $P_1,...,P_n$ can be defined as the zero set of $P_1,...,P_ν$, with $ν< n$. Then, the Jacobian $J(P_1,...,P_n)$ of $(P_1,...,P_n)$ is in the ideal generated by the $P_j$, $j=1,...,n$.
The same methods lead to further insights into the construction of Green currents associated to effective cycles in projective space.
We construct in complete intersection's case, elementary currents which describe the local ideal, and give a decomposition in it for holomorphic function.
Let $f_1$, $f_2$, and $f_3$ be holomorphic functions on a complex manifold and assume that the common zero set of the $f_j$ has maximal codimension, i.e., that it is a complete intersection. We prove that the iterated Mellin transform of the residue integral has an analytic continuation to a neighborhood of the origin in $\mathbb{C}^3$. We prove also that the natural regularization of the residue current converges unrestrictedly.
Given a coherent ideal sheaf $J$ we construct locally a vector-valued residue current $R$ whose annihilator is precisely the given sheaf. In case $J$ is a complete intersection, $R$ is just the classical Coleff-Herrera product. By means of these currents we can extend various results, previously known for a complete intersection, to general ideal sheaves. Combining with integral formulas we obtain a residue version of the Ehrenpreis-Palamodov fundamental principle.
We present a restricted version of some affine Jacobi's residue formula (on an affine algebraic variety) with applications to higher dimensional (and affine) analogues of Wood's (or Reiss's) relations about the interpolation of pieces of analytic manifolds. We also compare algebraic and analytic constructions of residue currents along analytic cycles and sketch some of their main properties. This work extend previous work of the authors in the affine space.
We introduce the notion of a Thom class of a current and define the localized intersection of currents. In particular we consider the situation where we have a smooth map of manifolds and study localized intersections of the source manifold and currents on the target manifold. We then obtain a residue theorem on the source manifold and give explicit formulas for the residues in some cases. These are applied to the problem of coincidence points of two maps. We define the global and local coincidence homology classes and indices. A representation of the Thom class of the graph as a Cech-de~Rham …
We prove that the Coleff-Herrera residue current, corresponding to a pair of holomorphic functions defining a complete intersection, can be obtained as the unrestricted weak limit of a natural smooth $(0,2)$-form depending on two parameters. Moreover, we prove that the rate of convergence is Hölder. This result is in contrast to the fact, first discovered by Passare and Tsikh, that the residue integral in general is discontinuous at the origin. We also generalize our regularization results to pairs of so called Bochner-Martinelli, or more generally, Cauchy-Fantappie-Leray blocks in the case of…
We give a local criterion in terms of a residue current for strong holomorphicity of a meromorphic function on an arbitrary pure-dimensional analytic variety. This generalizes a result by A Tsikh for the case of a reduced complete intersection.
Let $X$ be a complex manifold and $f\colon X\to \C^p$ a holomorphic mapping defining a complete intersection. We prove that the iterated Mellin transform of the residue integral associated to $f$ has an analytic continuation to a neighborhood of the origin in $\C^p$.
Given a reduced analytic space $Y$ we introduce a class of {\it nice} cycles, including all effective $\mathbb{Q}$-Cartier divisors. Equidimensional nice cycles that intersect properly allow for a natural intersection product. Using $\bar{\partial}$-potentials and residue calculus we provide an intrinsic way of defining this product. The intrinsic definition makes it possible to prove global formulas. In case $Y$ is smooth all cycles are differences of nice cycles, and so we get a new way to define classical proper intersections.
In this work we prove a Brunella-Khanedani-Suwa variational type residue theorem for currents invariant by holomorphic foliations. As a consequence, we give conditions for the leaves of a singular holomorphic foliation to accumulate in the intersection of the singular set of the foliation with the support of an invariant current.
With a given holomorphic section of a Hermitian vector bundle, one can associate a residue current by means of Cauchy-Fantappiè-Leray type formulas. In this paper we define products of such residue currents. We prove that, in the case of a complete intersection, the product of the residue currents of a tuple of sections coincides with the residue current of the direct sum of the sections.
Under assumptions about complete intersection, we prove that Coleff-Herrera type currents satisfy a robust calculus in the sense that natural regularizations of such currents can be multiplied to yield regularizations of the Coleff-Herrera product of the currents.
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é-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.
We compute residue currents of Bochner-Martinelli type associated with a monomial ideal $I$, by methods involving certain toric varieties. In case the variety of $I$ is the origin, we give a complete description of the annihilator of the currents in terms of the associated Newton diagram. In particular, we show that the annihilator is strictly included in $I$, unless $I$ is defined by a complete intersection. We also provide partial results for general monomial ideals.
Given a free resolution of an ideal $\mathfrak a$ of holomorpic functions there is an associated residue current $R$ that coincides with the classical Coleff-Herrera product if $\mathfrak a$ is a complete intersection ideal and whose annihilator ideal equals $\mathfrak a$. In the case when $\mathfrak a$ is an Artinian monomial ideal, we show that the singularities of $R$ are small in a certain sense if and only if $\mathfrak a$ is integrally closed.
We construct Coleff-Herrera products and Bochner-Martinelli type residue currents associated with a tuple $f$ of weakly holomorphic functions, and show that these currents satisfy basic properties from the (strongly) holomorphic case, as the transformation law, the Poincaré-Lelong formula and the equivalence of the Coleff-Herrera product and the Bochner-Martinelli type residue current associated with $f$ when $f$ defines a complete intersection.
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é-Lelong formula.
We show that Coleff-Herrera type products of residue currents can be defined by analytic continuation of natural functions depending on one complex variable.
In this paper, we continue the study of the polar analytic functions, a notion introduced in \cite{BBMS1} and successfully applied in Mellin analysis. Here we obtain another version of the Cauchy integral formula and a residue theorem for polar Mellin derivatives, employing the new notion of logarithmic pole. The identity theorem for polar analytic functions is also derived. As applications we obtain an analogue of Boas' differentiation formula for polar Mellin derivatives, and an extension of the classical Bernstein inequality to polar Mellin derivatives. Finally we give an analogue of the we…
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…
In his paper "On the Number of Primes Less Than a Given Magnitude", Bernhard Riemann introduced a prime counting function F(x) which counts the number of primes under x. Riemann obtained an analytic expression for F(x) by evaluating an inverse Laplace Transform. His method involved advanced techniques of analysis. However, this transform can be evaluated using the Residue Theorem when an appropriate branch of log(zeta) is defined. In this paper, a method for constructing a holomorphic branch of log(zeta) extending to the left half-plane is described along with it's geometry surrounding the log…
We introduce a class of normal complex spaces having only mild sin-gularities (close to quotient singularities) for which we generalize the notion of a (analytic) fundamental class for an analytic cycle and also the notion of a relative fundamental class for an analytic family of cycles. We also generalize to these spaces the geometric intersection theory for analytic cycles with rational positive coefficients and show that it behaves well with respect to analytic families of cycles. We prove that this intersection theory has most of the usual properties of the standard geometric intersection …
Given a generically surjective holomorphic vector bundle morphism $f\colon E\to Q$, $E$ and $Q$ Hermitian bundles, we construct a current $R^f$ with values in $\Hom(Q,H)$, where $H$ is a certain derived bundle, and with support on the set $Z$ where $f$ is not surjective. The main property is that if $ϕ$ is a holomorphic section of $Q$, and $R^fϕ=0$, then locally $fψ=ϕ$ has a holomorphic solution $ψ$. In the generic case also the converse holds. This gives a generalization of the corresponding theorem for a complete intersection, due to Dickenstein-Sessa and Passare. We also present results for…
Given a submodule $J\subset \mathcal O_0^{\oplus r}$ and a free resolution of $J$ one can define a certain vector valued residue current whose annihilator is $J$. We make a decomposition of the current with respect to Ass$(J)$ that correspond to a primary decomposition of $J$. As a tool we introduce a class of currents that includes usual residue and principal value currents; in particular these currents admit a certain type of restriction to analytic varieties and more generally to constructible sets.
We show here how residue calculus (residue currents, Grothendieck residues, duality theorem) can be used to obtain an algebraic characterization of the Abel-transform of a meromorphic form on germs of analytic sets. We prove by this way a stronger version of Abel-inverse theorem with an "algebraic" approach and we show the link with Wood's theorem. Furthermore, we obtain a new method to bound easily the dimension of the vector space of abelian forms on an algebraic projective hypersurface.
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 ana…
We develop a global Poincaré residue formula to study period integrals of families of complex manifolds. For any compact complex manifold $X$ equipped with a linear system $V^*$ of generically smooth CY hypersurfaces, the formula expresses period integrals in terms of a canonical global meromorphic top form on $X$. Two important ingredients of our construction are the notion of a CY principal bundle, and a classification of such rank one bundles. We also generalize our construction to CY and general type complete intersections. When $X$ is an algebraic manifold having a sufficiently large auto…
In this note, we discuss the preservation of certain analytic properties of the $\overline{\partial}$-Neumann operator, Bergman projection and Hankel operators on the intersection of pseudoconvex domains.
We say that a group $G$ of local (maybe formal) biholomorphisms satisfies the uniform intersection property if the intersection multiplicity $(ϕ(V), W)$ takes only finitely many values as a function of $G$ for any choice of analytic sets $V$ and $W$. In dimension $2$ we show that $G$ satisfies the uniform intersection property if and only if it is finitely determined, i.e. there exists a natural number $k$ such that different elements of $G$ have different Taylor expansions of degree $k$ at the origin. We also prove that $G$ is finitely determined if and only if the action of $G$ on the space …
It is proved that flatness of an analytic mapping germ from a complete intersection is determined by its sufficiently high jet. As a consequence, one obtains finite determinacy of complete intersections. It is also shown that flatness and openness are stable under deformations.
