Computation of the (local intersectional) degree of a phase curve of a polynomial vector field, produced in Lecture 11, is based on the length of the ascending chain of polynomial ideals generated by consecutive derivations.
Let be the Lie derivation of the algebra of polynomials along the vector field . It increases the degrees by at most . Let be a seed polynomial of degree and consider the ascending chain of ideals
where . By Noetherianity, this chain must eventually stabilize at some step: . In addition to this chain of ideals, one can consider the associated descending chain of algebraic varieties
This chain also stabilizes no later than on the th step, but may stabilize earlier. The following properties of these chains can be verified by elementary arguments.
- The chain of ideals is strictly ascending: If , then all subsequent ideals in the chain coincide.
- The chain of varieties may be nonstrictly ascending: e.g., .
- The length of the descending chain measures the maximal nontrivial order of contact between the trajectories of and the hypersurface .
In general, the length of a strictly ascending chain of polynomial ideals generated by the sequence of polynomials of degrees not exceeding an explicit (growing) function of , can be bounded by an algorithmically computable function. However, even in the simplest case where (as above), this function turns out to be the Ackermann generalized exponential, a recursive but not primitively recursive function of which grows faster than any elementary (or primitive recursive) function. It is the algebraic origin of the sequence of polynomials, which allows to establish better results.
Example. Assume that is an endomorphism of the ring of the polynomials, and instead of the iterations of the Lie derivation, we consider the sequence . Then analogous chains can be constructed, yet their properties will be slightly different (in a sense, better). In particular, the chain of varieties becomes strictly descending and its length can be relatively simply bounded by simple function of . If the growth rate of is linear (as above), the bound will be double exponential in . However, in general the growth rate of iterates is exponential, which leads to the bound given by a tower function (iterated exponent) of height .
The easiest way to estimate the length of varieties generated by consecutive derivations is based on the explicit Nullstellensatz. By this theorem, for any polynomial which vanishes on the variety which is the zero locus of an ideal there exist a finite power such that . The number can be explicitly bounded from above (J. Kollar, 1988): if is generated by polynomials of degree no greater than , then . Having this bound, for each irreducible component of the variety which does not belong to the stable limit, one can predict, how many steps in can survive before being eliminated. The resulting upper bound will be double exponential in .
However, a better, more realistic and simple exponential in upper bound can be achieved by completely different argument.
Example. Assume that and we look at an isolated contact between a (nonsingular) trajectory of a vector field and an algebraic curve of degree at a point . Consider the local analytic chart in which is parallel to the -axis and the point is at the origin. If the curve has tangency of order with the vertical axis, then its projection on the -axis is locally a ramified covering of order . Consider a small bidisk neighborhood of the origin and apply a small analytic perturbation to . The multiple tangency point will be scattered into several points of simple (quadratic) tangency, while the topological covering property will persist. Denote by the number of obtained simple tangencies: at each tangency exactly two leaves of the covering “collide”. Thus the total number of leaves cannot be greater than . The problem thus becomes to estimate . However, the set of points of quadratic contact is algebraic: it is defined by the equations of degrees and , so by the Bezout theorem the number of points does not exceed the product of these two numbers.
To generalize this argument for the multidimensional settings, one has to modify the topological part of the argument dealing with “exactly two leaves of the covering collide”. Instead of just one set , one has to consider the sets (recall that is the dimension of the ambient space), and instead of counting points, one should consider their Euler characteristics. The corresponding combinatorics can be elegantly expressed by the “integration over the Euler characteristic” discovered by O. Viro (1988), while the bounds for the Euler characteristic of algebraic varieties can be bounded by virtue of the J. Milnor’s result (1964).
The result, due to A. Gabrielov and A. Khovanskii, is simple exponential (in ) bound, was achieved in 1998. However, for some problems in the analytic number theory (algebraic independence of transcendental numbers) it is important to have a more precise estimate of the maximal tangency order for fixed, but variable and growing to infinity. The most recent achievements in this direction are due to G. Binyamini , see below.
Besides, a different (and considerably more difficult) problem arises in the singular context, when one tries to estimate the order of contact of an algebraic hypersurface with a separatrix of a polynomial vector field, an invariant analytic curve (usually non-smooth) which contains a singular point of the vector field . Here again the most recent breakthroughs are due to Binyamini .
References (in addition to those mentioned earlier).
- A. Gabrielov, A. Khovanksii, Multiplicity of a Noetherian intersection. Geometry of differential equations, 119–130,
Amer. Math. Soc. Transl. Ser. 2, 186, Amer. Math. Soc., Providence, RI, 1998.
- O. Viro, Some integral calculus based on Euler characteristic. Topology and geometry—Rohlin Seminar, 127–138,
Lecture Notes in Math., 1346, Springer, Berlin, 1988.
- J. Milnor, On the Betti numbers of real varieties. Proc. Amer. Math. Soc. 15 1964 275–280.
- G. Binyamini, Multiplicity Estimates: a Morse-theoretic approach, arXiv:1406.1858 (2014).
- G. Binyamini, Multiplicity estimates, analytic cycles and Newton polytopes, arXiv:1407.1183