Abstract
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.
Similar content being viewed by others
References
Ahlberg, D.: Some variants of the Max Nöther and Macaulay Theorems. Master’s Thesis. Chalmers University of Technology and Göteborg University (2006)
Andersson M.: Residue currents and ideals of holomorphic functions. Bull. Sci. Math. 128(6), 481–512 (2004)
Andersson M.: The membership problem for polynomial ideals in terms of residue currents. Ann. Inst. Fourier 56, 101–119 (2006)
Andersson, M., Götmark, E.: Explicit representation of membership of polynomial ideals. Math. Ann. (to appear)
Andersson M., Wulcan E.: Decomposition of residue currents. J. Reine Angew. Math. 638, 103–118 (2010)
Berenstein, C.A., Gay, R., Vidras, A., Yger, A.: Residue currents and Bezout identities. Progress in Mathematics, vol. 114. Birkhäuser Verlag, Basel (1993)
Berenstein C.A., Vidras A., Yger A.: Analytic residues along algebraic cycles. J. Complexity 21(1), 5–42 (2005)
Björk, J.-E.: Residues and \({\mathcal D}\)-modules. In: The legacy of Niels Henrik Abel, pp. 605–651. Springer, Berlin (2004)
Briançon J., Skoda H.: Sur la clôture intégrale d’un idéal de germes de fonctions holomorphes en un point de \({\mathbb C^n}\). C. R. Acad. Sci. Paris Sér. A 278, 949–951 (1974)
Brownawell W.D.: Bounds for the degrees in the Nullstellensatz. Ann. Math. 126(3), 577–591 (1987)
Castryck, W., Denef, J., Vercauteren, F.: Computing zeta functions of nondegenerate curves, IMRP. Int. Math. Res. Pap. 72017, 57 (2006)
Coleff, N., Herrera, M.: Les courants résiduels associcés à une forme méromorphe, vol. 633. Lecture Notes in Mathematics. Springer, Berlin (1978)
Cox D.: The homogeneous coordinate ring of a toric variety. J. Algebraic Geom. 4(1), 17–50 (1995)
Cox D., Sidman J.: Secant varieties of toric varieties. J. Pure Appl. Algebra 209(3), 651–669 (2007)
Demailly, J.-P.: Complex analytic and algebraic geometry, Monograph. http://www-fourier.ujf-grenoble.fr/~demailly
Dickenstein A., Sessa C.: Canonical representatives in moderate cohomology. Invent. Math. 80, 417–434 (1985)
Ein L., Lazarsfeld R.: A geometric effective Nullstellensatz. Invent. Math. 137, 427–448 (1999)
Fulton, W.: Introduction to toric varieties, Annals of Mathematics Studies, vol. 131. The William H. Roever Lectures in Geometry. Princeton University Press, Princeton (1993)
Hickel M.: Solution d’une conjecture de C. Berenstein–A. Yger et invariants de contact à l’infini. Ann. Inst. Fourier 51, 707–744 (2001)
Hörmander L.: Generators for some rings of analytic functions. Bull. Am. Math. Soc. 73, 943–949 (1967)
Jelonek Z.: On the effective Nullstellensatz. Invent. Math. 162(1), 1–17 (2005)
Kollár J.: Sharp effective Nullstellensatz. J. Am. Math. Soc. 1, 963–975 (1988)
Kollár J.: Effective Nullstellensatz for arbitrary ideals. J. Eur. Math. Soc. 1(3), 313–337 (1999)
Lärkäng, R.: Residue currents associated with weakly holomorphic functions. arXiv:0910.3589 (preprint)
Lazarsfeld R.: Positivity in Algebraic Geometry. II. Positivity for Vector Bundles, and Multiplier Ideals. Springer, Berlin (2004)
Macaulay F.S.: The Algebraic Theory of Modular Systems. Cambridge University Press, Cambridge (1916)
Nöther M.: Über einen Satz aus der Theorie der algebraischen Functionen. Math. Ann. 6(3), 351–359 (1873)
Oda T.: Convex bodies and algebraic geometry. An introduction to the theory of toric varieties, Ergebnisse der Mathematik und ihrer Grenzgebiete 15. Springer, Berlin (1988)
Passare M.: Residues, currents, and their relation to ideals of holomorphic functions. Math. Scand. 62(1), 75–152 (1988)
Passare M., Tsikh A., Yger A.: Residue currents of the Bochner–Martinelli type. Publ. Mat. 44, 85–117 (2000)
Payne S.: Fujita’s very ampleness conjecture for singular toric varieties. Tohoku Math. J. 58(3), 447–459 (2006)
Skoda H.: Application des techniques L 2 à la théorie des idéaux d’une algèbre de fonctions holomorphes avec poids. Ann. Sci. École Norm. Sup. 5, 545–579 (1972)
Sombra M.: A sparse effective Nullstellensatz. Adv. Appl. Math. 22, 271–295 (1999)
Tuitman, J.: A mixed sparse effective nullstellensatz (2008, preprint)
Weimann, M.: La trace en géométrie projective et torique. Ph.D. Thesis, Université Bordeaux (2006)
Wulcan, E.: Some variants of Macaulay’s and Max Noether’s Theorems. J. Commut. Algebra (to appear)
Author information
Authors and Affiliations
Corresponding author
Additional information
E. Wulcan was partially supported by the Swedish Research Council.
Rights and permissions
About this article
Cite this article
Wulcan, E. Sparse effective membership problems via residue currents. Math. Ann. 350, 661–682 (2011). https://doi.org/10.1007/s00208-010-0575-6
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-010-0575-6