Namespaces
Variants
Actions

Masser-Philippon/Lazard-Mora example

From Encyclopedia of Mathematics
Revision as of 17:03, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Lazard–Mora/Masser–Philippon example, Lazard–Mora example, Masser–Philippon example

An extremal family for the degrees in the Hilbert Nullstellensatz (cf. Hilbert theorem) is given by the following example, ascribed variously to D.W. Masser and P. Philippon and to D. Lazard and T. Mora:

The are readily seen to have no common zeros. If are polynomials such that

by evaluation on the rational curve

it is easy to see that . This lower bound of order for the degrees of the coefficients for the Nullstellensatz is much better than the doubly exponential lower bound for the general ideal membership problem given in [a2]. Variants of the example, cf. [a3], show that the terms in the Liouville–Łojasiewicz inequality are nearly optimal, with the presumed exception depending solely on the degree.

Another family of extremal examples for the Nullstellensatz is given in [a1].

References

[a1] J. Kollár, "Sharp effective Nullstellensatz" J. Amer. Math. Soc. , 1 (1988) pp. 963–975
[a2] E.W. Mayr, A.R. Meyer, "The complexity of the word problems in commutative semigroups and polynlomial ideals" Adv. Math. , 46 (1982) pp. 305–329
[a3] W.D. Brownawell, "Local diophantine Nullstellen equalities" J. Amer. Math. Soc. , 1 (1988) pp. 311–322
How to Cite This Entry:
Masser-Philippon/Lazard-Mora example. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Masser-Philippon/Lazard-Mora_example&oldid=13337
This article was adapted from an original article by W. Dale Brownawell (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article