Artículo

Krick, T.; Sabia, J.; Solernó, P. "On intrinsic bounds in the Nullstellensatz" (1997) Applicable Algebra in Engineering, Communications and Computing. 8(2):125-134
Estamos trabajando para incorporar este artículo al repositorio
Consulte el artículo en la página del editor
Consulte la política de Acceso Abierto del editor

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