Finiteness theorems on hypersurfaces in partial differential-algebraic geometry (Q2357483)

``How to deduce the omega-categoricity of degree one strongly minimal sets in DCF from Jouanolou's work'' due to E. Hrushovski, is a highly influential but unpublished manuscript from the mid nineteen nineties. He showed that in the theory of differentially closed fields (\(DCF\)) of characteristic zero, an order one strongly minimal set that is orthogonal to the constants must be \(\aleph_0\)-categorical. Following this, the present work starts with an exposition of the following: Jouanolou-Hrushovski-Ghys theorem. Suppose \(X\) is a compact complex manifold. If \(\{ \omega=0 \}\) is a codimension \(p\) holomorphic foliation on \(X\) that does not admit a meromorphic first integral then \(\{ \omega = 0 \}\) has only finitely many algebraic solutions. See [\textit{J. P. Jouanolou}, Math. Ann. 232, 239--245 (1978; Zbl 0354.34007)] and [\textit{E. Ghys}, Rend. Circ. Mat. Palermo, II. Ser. 49, No. 1, 175--180 (2000; Zbl 0953.32016)]. The goal of the authors is the generalization of the above results to the partial differential setting, with possibly nonconstant coefficient fields. The first main result reads as follows. 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\). A second related task is the study of differential varieties in the partial case. That is, for differential subvarieties of a differential variety provided of \(m\) commuting derivations \( \{\delta_1 , \ldots , \delta_m \}\). 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 in [\textit{A. Eremenko}, Ann. Acad. Sci. Fenn., Math. 23, No. 1, 181--190 (1998; Zbl 0911.30025)]. Two expected model-theoretic applications to \(DCF_{0, m}\) are also given: 1) Lascar rank and Morley rank agree in dimension two. 2) Dimension one strongly minimal sets orthogonal to the constants are \(\aleph_0\)-categorical.