We find a relation between the vanishing of a globally defined residue current on $¶^n$ and solution of the membership problem with control of the polynomial degrees. Several classical results appear as special cases, such as Max Nöther's theorem, and we also obtain a generalization of that theorem. There are also connections to effective versions of the Nullstellensatz. We also provide explicit integral representations of the solutions.
We use residue currents on toric varieties to obtain bounds on the degrees of solutions to polynomial ideal membership problems. Our bounds depend on (the volume of) the Newton polytope of the polynomial system and are therefore well adjusted to sparse polynomial systems. We present sparse versions of Max Nöther's $AF+BG$ Theorem, Macaulay's Theorem, and Kollár's Effective Nullstellensatz, as well as recent results by Hickel and Andersson-Götmark.
We discuss the possibility of representing elements in polynomial ideals in $\C^N$ with optimal degree bounds. Classical theorems due to Macaulay and Max Noether say that such a representation is possible under certain conditions on the variety of the associated homogeneous ideal. We present some variants of these results, as well as generalizations to subvarieties of $\C^N$.
Given a free resolution of an ideal $J$ of holomorphic functions, one can construct a vector valued residue current $R$, whose annihilator is precisely $J$. In this paper we compute $R$ in case $J$ is a monomial ideal and the resolution is a cellular resolution in the sense of Bayer and Sturmfels. A description of $R$ is given in terms of the underlying polyhedral cell complex and it is related to irreducible decompositions of $J$.
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…
For a Cohen-Macaulay ideal of holomorphic functions, we construct by elementary means residue currents whose annihilator is precisely the given ideal. We give two proofs that the currents have the prescribed annihilator, one using the theory of linkage, and another using an explicit division formula involving these residue currents to express the ideal membership.
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 prove that a certain cohomological residue associated to an ideal of pure dimension is annihilated exactly by the ideal. The cohomological residue is quite explicit and generalizes the classical local Grothendieck residue and the cohomological residue of Passare.
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 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.
We study the residue current R^f of Bochner-Martinelli type associated with a tuple f=(f_1,...,f_m) of holomorphic germs at the origin in C^n, whose common zero set equals the origin. Our main results are a geometric description of R^f in terms of the Rees valuations associated with the ideal (f) generated by f and a characterization of when the annihilator ideal of R^f equals (f).
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.
We study the ideal membership problem in $H^\infty$ on the unit disc. Thus, given functions $f,f_1,\ldots,f_n$ in $H^\infty$, we seek sufficient conditions on the size of $f$ in order for $f$ to belong to the ideal of $H^\infty$ generated by $f_1,\ldots,f_n$. We provide a different proof of a theorem of Treil, which gives the sharpest known sufficient condition. To this end, we solve a closely related problem in the Hilbert space $H^2$, which is equivalent to the ideal membership problem by the Nevanlinna-Pick property of $H^2$.
We introduce a new division formula on projective space which provides explicit solutions to various polynomial division problems with sharp degree estimates. We consider simple examples as the classical Macaulay theorem as well as a quite recent result by Hickel, related to the effective Nullstellensatz. We also obtain a related result that generalizes Max Noether's classical AF+BG theorem.
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…
Proofs of two results about a monomial ideal -- describing membership in auxiliary ideals associated to the monomial ideal -- are given which do not invoke resolution of singularities. The AM--GM inequality is used as a substitute for taking a log resolution of the monomial ideal.
We study the weighted Bochner-Martinelli residue current R^p(f) associated with a sequence f=(f_1,...,f_m) of holomorphic germs at the origin in C^n, whose common zero set equals the origin, and p=(p_1,..., p_m)\in N^n. Our main results are a description of R^p(f) and its annihilator ideal in terms of the Rees valuations of the ideal generated by (f_1^{p_1},..., f_m^{p_m}) and an explicit description of R^p(f) when f is monomial. For a monomial sequence f we show that R^p(f) is independent of p if and only if f is a regular sequence.
We use residue currents on toric varieties to obtain bounds on the support of solutions to polynomial ideal membership problems. Our bounds depend on the Newton polytopes of the polynomial systems and are therefore well adjusted to sparse systems of polynomials. We present variants of classical results due to Macaulay and Max Noether.
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 …
We give a new proof of a recent result due to Mats Andersson and Elizabeth Wulcan, generalizing the local Grothendieck duality theorem. It can also be seen as a generalization of a previous result by Mikael Passare. Our method does not require the use of the Hironaka desingularization theorem and it provides a semi-explicit realization of the residue that is annihilated by functions from the given ideal.
We give new a proof of the general Briançon-Skoda theorem about ideals of holomorphic functions by means of multivariable residue calculus. The method gives new variants of this theorem for products of ideals. Moreover, we obtain a related result for the ideal generated by the the subdeterminants of a matrix-valued generically surjective holomorphic function, generalizing the duality theorem for a complete intersection. We also provide explicit versions of the various results, including the general Briançon-Skoda theorem, with integral representation formulas.
A full description of the membership in the Schatten ideal $S_ p(A^2_ω)$ for $0<p<\infty$ of the Toeplitz operator acting on large weighted Bergman spaces is obtained.
