Zero counting and invariant sets of differential equations
Abstract
Consider a polynomial vector field in with algebraic coefficients, and a compact piece of a trajectory. Let denote the maximal number of isolated intersections between and an algebraic hypersurface of degree . We introduce a condition on called \emph{constructible orbits} and show that under this condition grows polynomially with . We establish the constructible orbits condition for linear differential equations over , for planar polynomial differential equations and for some differential equations related to the automorphic -function. As an application of the main result we prove a polylogarithmic upper bound for the number of rational points of a given height in planar projections of following works of Bombieri-Pila and Masser.
Cite
@article{arxiv.1510.00120,
title = {Zero counting and invariant sets of differential equations},
author = {Gal Binyamini},
journal= {arXiv preprint arXiv:1510.00120},
year = {2017}
}
Comments
Revision with significantly expanded presentation; to appear in IMRN