Abstract:
Let k be a field and f1 , . . . , fs be non constant polynomials in k[X1 , . . . , Xn] which generate the trivial ideal. In this paper we define an invariant associated to the sequence f1 , . . . , fs: the geometric degree of the system. With this notion we can show the following effective Nullstellensatz: if δ denotes the geometric degree of the trivial system f1 , . . .. , fs and d:= maxjdeg(fj), then there exist polynomials p1 , . . . , ps ∈ k[X1 , . . . , Xn] such that 1 = ∑jpjfjand deg pjfj ≦ 3n2δd. Since the number δ is always bounded by (d + 1)n-1, one deduces a classical single exponential upper bound in terms of d and n, but in some cases our new bound improves the known ones.
Registro:
Documento: |
Artículo
|
Título: | On intrinsic bounds in the Nullstellensatz |
Autor: | Krick, T.; Sabia, J.; Solernó, P. |
Filiación: | Departamento de Matemática, Fac. de Ciencias Exactas y Naturales, Universidad de Buenos Aires, 1428- Buenos Aires, Argentina Depto. de Economía y Matemat., Universidad de San Andrés, Vito Dumas 284, 1644- Victoria, Buenos Aires, Argentina
|
Palabras clave: | Complete intersection polynomial ideals; Effective Nullstellensatz; Geometric degree; Trace theory; Functions; Geometry; Number theory; Set theory; Geometric degree; Hilbert Nullstellensatz; Trace theory; Polynomials |
Año: | 1997
|
Volumen: | 8
|
Número: | 2
|
Página de inicio: | 125
|
Página de fin: | 134
|
DOI: |
http://dx.doi.org/10.1007/s002000050057 |
Título revista: | Applicable Algebra in Engineering, Communications and Computing
|
Título revista abreviado: | Appl Algebra Eng Commun Comput
|
ISSN: | 09381279
|
CODEN: | AAECE
|
Registro: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_09381279_v8_n2_p125_Krick |
Referencias:
- Amoroso, F., On a conjecture of C. Berenstein and A. Yger Proc. MEGA'94, , Birkhäuser Progress in Math (to appear)
- Alonso, M., Becker, E., Roy, M.-F., Wörmann, T., Zeros, Multiplicities and Idempotents for Zerodimensional Systems Proc. MEGA'94, , Birkhäuser Progress in Math. (to appear)
- Berenstein, C., Struppa, D., Recent improvements in the Complexity of the Effective Nullstellensatz (1991) Linear Algebra and Its Appl., 157, pp. 203-215
- Berenstein, C., Yger, A., Bounds for the degrees in the division problem (1990) Mich. Math. J., 37, pp. 25-43
- Brownawell, D., Bounds for the degrees in the Nullstellensatz (1987) Ann. Math. Second Series, 126 (3), pp. 577-591
- Caniglia, L., Galligo, A., Heintz, J., Some new effectivity bounds in computational geometry (1989) Lecture Notes Comput. Sci., 357, pp. 131-151. , Proc. 6th Int. Conf. Applied Algebra, Algebraic Algorithms and Error Correcting Codes AAECC-6, Roma 1988. Berlin, Heidelberg, New York: Springer
- Caniglia, E., Guccione, J.A., Guccione, J.J., Local membership problems for polynomial ideals. Effective Methods in Algebraic Geometry MEGA 90 (1991) Progress in Mathematics, 94, pp. 31-45. , Mora, T., Traverso, C. (eds). Birkhäuser
- Cardinal, J.-P., (1993) Dualité et Algorithmes Itératifs pour la Résolution de Systèmes Polynomiaux, , Thesis. Université de Rennes
- Dickenstein, A., Sessa, C., An effective residual criterion for the membership problem in ℂ[z1 , . . . , zn] (1991) J. Pure and Appl. Algebra, 74, pp. 149-158. , Amsterdam: North-Holland
- Fitchas, N., Galligo, A., Nullstellensatz effectif et conjecture de Serre (théorème de Quillen-Suslin) pour le Calcul Formel (1990) Math. Nachr., 149, pp. 231-253
- Fitchas, N., Giusti, M., Smietanski, F., Sur la complexité du théorème des zéros (1995) Approximation and Optimization, 8, pp. 274-329. , Verlag Peter Lang
- Giusti, M., Heintz, J., Sabia, J., On the efficiency of effective Nullstellensätze (1993) Comput. Complexity, 3, pp. 56-95. , Basel: Birkhäuser
- Giusti, M., Heintz, J., Morais, J., Morgenstern, J., Pardo, L., Straight-line Programs in Geometric Elimination Theory J. Pure and Appl. Algebra, , to appear
- Heintz, J., Definability and fast quantifier elimination in algebraically closed fields (1983) Theoret. Comput. Sci., 24, pp. 239-277
- Hermann, G., Die Frage der endlich vielen Schritte in der Theorie der Polynomideale (1926) Math. Ann., 95, pp. 736-788
- Kollár, J., Sharp effective Nullstellensatz (1988) J. AMS, 1, pp. 963-975
- Krick, T., Pardo, L., A computational Method for Diophantine Approximation Proc. MEGA '94, , Birkhäuser Progress in Math (to appear)
- Kunz, E., Kähler Differentials (1986) Adv. Lect. in Math, , Vieweg Verlag
- Philippon, P., Dénominateurs dans le théorème des zéros de Hilbert (1991) Acta. Arith., 58, pp. 1-25
- Sabia, J., Solernó, P., Bounds for Traces in Complete Intersections and Degrees in the Nullstellensatz (1995) AAECC, 6 (6), pp. 353-376
- Shiffman, B., Degree bounds for the division problem in polynomial ideals (1989) Michigan Math. J., 36, pp. 163-171
- Sombra, M., (1996) Bounds for the Hilbert Function of Polynomial Ideals, , Preprint, Universidad de Buenos Aires
- Teissier, B., Résultats récents d'algèbre commutative effective. Séminaire Bourbaki 1989-1990 (1991) Astérisque, 189-190, pp. 107-131
- Vasconcelos, W., Jacobian Matrices and Constructions in Algebra (1992) Lecture Notes Comput. Sci., 539, pp. 48-64. , Proc. 9th Int. Conf. Applied Algebra. Algebraic Algorithms and Error Correcting Codes AAECC-9, New Orleans, 1991, Berlin, Heidelberg, New York: Springer
Citas:
---------- APA ----------
Krick, T., Sabia, J. & Solernó, P.
(1997)
. On intrinsic bounds in the Nullstellensatz. Applicable Algebra in Engineering, Communications and Computing, 8(2), 125-134.
http://dx.doi.org/10.1007/s002000050057---------- CHICAGO ----------
Krick, T., Sabia, J., Solernó, P.
"On intrinsic bounds in the Nullstellensatz"
. Applicable Algebra in Engineering, Communications and Computing 8, no. 2
(1997) : 125-134.
http://dx.doi.org/10.1007/s002000050057---------- MLA ----------
Krick, T., Sabia, J., Solernó, P.
"On intrinsic bounds in the Nullstellensatz"
. Applicable Algebra in Engineering, Communications and Computing, vol. 8, no. 2, 1997, pp. 125-134.
http://dx.doi.org/10.1007/s002000050057---------- VANCOUVER ----------
Krick, T., Sabia, J., Solernó, P. On intrinsic bounds in the Nullstellensatz. Appl Algebra Eng Commun Comput. 1997;8(2):125-134.
http://dx.doi.org/10.1007/s002000050057