Bounds for traces in complete intersections and degrees in the Nullstellensatz

In this paper we obtain an effective Nullstellensatz using quantitative considerations of the classical duality theory in complete intersections. Letk be an infinite perfect field and let f₁,...,f n–rkX₁,...,X_n] be a regular sequence with d:=max_j deg f_j. Denote byA the polynomial ringk X₁,..., X_r] and byB the factor ring kX₁,...,X_n]/(f₁,...,f_n r); assume that the canonical morphism AB is injective and integral and that the Jacobian determinant with respect to the variables X_r+1,...,X_n is not a zero divisor inB. Let finally B^*:=Hom_A(B, A) be the generator of B^* associated to the regular sequence.We show that for each polynomialf the inequality deg (¯f) dⁿ r(+1) holds (¯fdenotes the class off inB and is an upper bound for (n–r)d and degf). For the usual trace associated to the (free) extensionA B we obtain a somewhat more precise bound: deg Tr(¯f) dⁿ r degf. From these bounds and Bertini's theorem we deduce an elementary proof of the following effective Nullstellensatz: let f₁,..., f_s be polynomials in kX₁,...,X_n] with degrees bounded by a constant d2; then 1 (f₁,..., f_s) if and only if there exist polynomials p₁,..., p_skX₁,..., X_n] with degrees bounded by 4n(d+ 1)ⁿ such that 1=_ip_if_i. in the particular cases when the characteristic of the base fieldk is zero ord=2 the sharper bound 4ndⁿ is obtained.Partially supported by UBACYT and CONICET (Argentina)