Abstract
Let K be a field, R:= K[X] the ring of polynomials in the indeterminates X 1,…, X n over K and J an ideal of R. In this work we consider the following Localization Problem (LP): Given f, f 1, …, f t ∈ R,
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
D. Bayer, A. Galligo, M. Stillman, Primary Decomposition, Preprint 1989.
J. Briancon, Sur le degré des relations entre polynômes, C. R. Acad. Sc. Paris 297 (1983).
W. D. Brownawell, Bounds for the degree in the Nullstellensatz, Ann. Math. 126 (1987), 577–591.
W. D. Brownawell, Borne effective pour Vexposant dans le théorème des zéros, C. R. Acad. Sci. Paris 305 (1987), 287–290.
W. D. Brownawell, Local diophantine Nullstellen inequalities, J. Am. Math. Soc. 1 (1988), 311–322.
W. D. Brownawell, Note on a paper of P. Philippon, Manuscript.
W. D. Brownawell, A prime power product version of the Nullstellensatz, Manuscript 1989.
L. Caniglia, Complejidad de Algoritmos en Geometria Algebraica Computacional, Thesis Univ. Buenos Aires, 1989.
L. Caniglia, How to compute the Chow Form of an unmixed polynomial ideal in single exponential time, Manuscript. 1989.
L. Caniglia, A. Galligo, J. Heintz, Some new effectivity bounds in computational geometry, in “Proc. of the 6th Intern. Conference AAECC,” Rome 1988, Springer LN Comp. Sci. 357, 1989, pp. 131–151.
L. Caniglia, A. Galligo, J. Heintz, Borne simple exponentielle pour les degrés dans le théorème des zéros sur un corps de caractéristique quelconque, Comptes Rendus de l’Academie des Sciencies 307 (1988).
L. Caniglia, A. Galligo, J. Heintz, Equations for the projective closure of affine algebraic varietes, Algebraic Algorithms and Error Correcting Codes, AAECC-7, Toulouse 1989, Discrete Applied Mathem (to appear).
A. Dickenstein, N. Fitchas, M. Giusti, C. Sessa, The membership problem for unmixed polynomial ideals is solvable in single exponential time, Algebraic Algorithms and Error Correcting Codes, AAECC-7, Toulouse 1989, Discrete Applied Mathem. (to appear).
A. Dickenstein, C. Sessa, An effective residual criterion for the membership problem in C[Z 1,…,Z n], in “Proc. IX ELAM, Santiago de Chile, 1988 ” (to appear)
N. Fitchas, Catania Lecture Notes on Complexity in Elementary Geometry, Manuscript, October, 1988.
N. Fitchas, A. Galligo, Nullstellensatz effectiv et Conjecture de Serre, Preprint Seminaire Structures Algébriques Ordonnées, 1987-1988, Univ. Paris VII, Math. Nachrichten (to appear).
N. Fitchas, A. Galligo, J. Morgenstern, Algorithmes rapides en séquentiel et en parallele por l’élimination de quantificateurs en géométrie élémentaire, Manuscript 1987.
A. Galligo, C. Traverso, Practical determination of the Dirnension of an algebraic variety, in “Computers and Mathematics,” Kaltofen-Watt ed., Springer, 1989.
M. Giusti, J. Heintz, Un algorithme — disons ‘rapide’ — pour la décomposition équidimentionelle d’une varété algébrique, (These proceedings).
W. Göbner, “Moderne Algebraische Geometrie,” Springer Verlag, Wien-Innsbruk, 1949.
J. Heintz, Definability and fast quantifier elimination in algebraically closed fields, Theoret. Comput. Sci. 24 (1983), 239–277.
J. Kollar, Sharp effective Nullstellensatz, J. Am. Math. Soc. 1 (1988), 963–975.
A. Logar, A computational proof of the Noether’s Normalization Lemma, in “Proc. AAECC-6,” LN Comput. Sci., Springer.
H. Matsumura, “Commutative Algebra,” Second Edition, Benjamin/Cummings, 1980.
E. Mayr — A. Meyer, The complexity of the word problem for commutative semigroups and polynomial ideals, Advances in Math. 46 (1982), 305–329.
P. Philippon, Théorème des zéros effectif d’après J. Kollar, Publ. Math. Univ. Paris VI, N.88. Probl. Dioph. 1988-1989.
P. Philippon, Dénominateurs dans le théorème des zéros, Manuscript.
B. Shiftman, Degree bounds for the division problem in polynomial ideals, Manuscript.
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
Caniglia, L., Guccione, J.A., Guccione, J.J. (1991). Local Membership Problems for Polynomial Ideals. 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_3
Download citation
DOI: https://doi.org/10.1007/978-1-4612-0441-1_3
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