Abstract
The classical problem of deciding membership to arbitrary polynomial ideals is EXPSPACE complete. Moreover, the problem of finding a representation of a polynomial by generators of a given ideal may involve doubly exponential (in the number of variables) degrees ([16]). The same difficulty arises when computing Gröebner bases of arbitrary polynomial ideals ([11]). This means that all known techniques to decide membership and to find representations of polynomials with respect to a given ideal lead to doubly exponential (sequential time) worst case complexities. However, if the geometry of the underlying algebraic variety is particularly simple, e.g. if the given ideal is zero dimensional or complete intersection, algorithms of considerably lower complexity can be found (see e.g. [7], [9]). The improvements are due to recent progress concerning affine versions of the effective Nullstellensatz (compare [18] and the references given there).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Angeniol, B., Résidus et Effectivité, Preprint (1983).
Berenstein, C., Yger, A., Bounds for the degrees in the division problem, Preprint Univ. of Maryland (1989).
Brownawell, W.D., Bounds for the degrees in the Nullstellensatz, Annals of Math. 126 (1987), 577–591.
Caniglia, L., Galligo, A., Heintz, J., Some new effectivity bounds in Computational Geometry, in “Applied Algebra, Algebraic Algorithms and Error Correcting Codes. Proc. 6th Int’l Conf., Rome 1988,” (Ed. T. Mora), Springer LN Comput. Sci. 357, 1989, pp. 131–151.
Chistov, A.L., Grigor’ev, D.Yu., Subexponential time solving systems of algebraic equations, LOMI preprints E-9-83 E-10-83, Leningrad (1983).
Coleff, N., Herrera, M., “Les Courants Residueis Associés à une Forme Meromorphe,” Springer LN Math. 633, 1978.
Dickenstein, A., Fitchas, N., Giusti, M., Sessa, C., The membership problem for unmixed polynomial ideals is solvable in single exponential time, in “Discrete Applied Algebra, Proc. AAECC-7, Toulouse 1989” (to appear).
Dickenstein, A., Sessa, C., Canonical Representatives in Moderate Cohomology, Invent. Math. 80 (1985), 417–434.
Dickenstein, A., Sessa, C., An Effective Residual Criterion for the Membership Problem in C[z 1,…, z n], J. Pure Appl. Algebra (to appear).
von zur Gathen, J., Parallel arithmetic computations. A survey, in “Proc. 13th Symp. MFCS 1986,” Springer LN Comput. Sci. 233, 1986, pp. 93–112.
Giusti, M., Complexity of standard bases in projective dimension zero, Preprint Ecole Polytechnique Paris (1987).
Griffiths, P., Harris, J., “Principles of Algebraic Geometry,” John Wiley & Sons, 1978.
Hartshorne, R., “Residues and Duality,” Springer L.N. Math. 20, 1966.
Lazard, D., Algèbre linéaire sur K[x 1,…, x n]_et élimination, Bull. Soc. Math. France 105 (1977), 165–190.
Lipman, J., Dualizing sheaves, differentials and residues on algebraic varieties, Astérisque 117 (1984).
Mayr, E., Meyer, A., The complexity of the word problem for commutative semigroups and polynomial ideals, Advances in Math. 46 (1982), 305–329.
Serre, J.P., Géometrie Algébrique et Géometrie Analytique, (G.A.G.A.), Annales de l’Institut Fourier VI (1956), 1–42.
Teissier, B., Résultats récents d’algèbre commutative effective, in “Séminaire Bourbaki, 42ème année, 1989-90,” n° 718, pp. 1–19.
Zariski, O., Samuel, P., “Commutative Algebra,” Vol. 1, Van Nostrand, New York, 1958.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1991 Springer Science+Business Media New York
About this chapter
Cite this chapter
Dickenstein, A., Sessa, C. (1991). Duality methods for the membership problem. In: Mora, T., Traverso, C. (eds) Effective Methods in Algebraic Geometry. Progress in Mathematics, vol 94. Birkhäuser, Boston, MA. https://doi.org/10.1007/978-1-4612-0441-1_6
Download citation
DOI: https://doi.org/10.1007/978-1-4612-0441-1_6
Publisher Name: Birkhäuser, Boston, MA
Print ISBN: 978-1-4612-6761-4
Online ISBN: 978-1-4612-0441-1
eBook Packages: Springer Book Archive