MODNET

Research Training Network in Model Theory

Publications > Preprint server > Preprint Number 1062
Preprint Number 1062
1062. James Freitag and Rahim Moosa Finiteness theorems on hypersurfaces in partial differential-algebraic geometry E-mail: Submission date: 29 June 2016 Abstract: Hrushovski's generalization and application of Jouanolou's work on foliations 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 C(t) are of bounded height, answering a question of Eremenko. Two expected model-theoretic applications to differentially closed fields 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 ℵ_0-categorical. Mathematics Subject Classification: 03C60, 12H05 Keywords and phrases: Differential algebra, hypersurfaces, categoricity, heights in function fields |

Last updated: July 1 2016 12:08 | Please send your corrections to: |