Order 1 strongly minimal sets in differentially closed fields

Abstract

We give a classification of non-orthogonality classes of trivial order 1 strongly minimal sets in differentially closed fields. A central idea is the introduction of $\ddot{I}„$-forms, functions on the prolongation of a variety which are analogous to 1-forms. Order 1 strongly minimal sets then correspond to smooth projective curves with $\ddot{I}„$-forms. We also introduce $\ddot{I}„$-differentials, algebraic versions of $\ddot{I}„$-forms which are analogous to usual differentials, and develop their basic properties. This enables us to reformulate our classification scheme-theoretically in terms of curves with $\ddot{I}„$-invertible sheaves. This work partially generalizes and extends results of Hrushovski and Itai.

19 pages, some corrections and reorganization