Publication date:
9 July 2017
Source:Advances in Mathematics, Volume 314
Author(s): James Freitag, Rahim Moosa
Hrushovski's generalization and application of Jouanolou (1978) [9] is here refined and extended to the partial differential setting with possibly nonconstant coefficient fields. In particular, it is shown that if X is a differential-algebraic variety over a partial differential field F that is finitely generated over its constant field $F_0$, then there exists a dominant differential-rational map from X to the constant points of an algebraic variety V over $F_0$, such that all but finitely many codimension one subvarieties of X over F arise as pull-backs of algebraic subvarieties of V over $F_0$. As an application, it is shown that the algebraic solutions to a first order algebraic differential equation over $\mathbb{C}(t)$ are of bounded height, answering a question of Eremenko. Two expected model-theoretic applications to ${\mathrm{DCF}}_{0,m}$ are also given: 1) Lascar rank and Morley rank agree in dimension two, and 2) dimension one strongly minimal sets orthogonal to the constants are ${\mathrm{\aleph }}_0$-categorical. A detailed exposition of Hrushovski's original (unpublished) theorem is included, influenced by Ghys (2000) [5].