Sharp estimates for the arithmetic Nullstellensatz

Abstract

We present sharp estimates for the degree and the height of the polynomials in the Nullstellensatz over the integer ring ℤ. The result improves previous work of P. Philippon, C. Berenstein and A. Yger, and T. Krick and L. M. Pardo.

We also present degree and height estimates of intrinsic type, which depend mainly on the degree and the height of the input polynomial system. As an application we derive an effective arithmetic Nullstellensatz for sparse polynomial systems.

The proof of these results relies heavily on the notion of local height of an affine variety defined over a number field. We introduce this notion and study its basic properties.