Zilber dichotomy for $\mathrm{DCF}_{0,m}$
Volume 268 / 2025
Fundamenta Mathematicae 268 (2025), 285-293
MSC: Primary 12H05; Secondary 03C10, 03C60, 14A99
DOI: 10.4064/fm241107-14-1
Published online: 14 March 2025
Abstract
We prove that the theory of differentially closed fields of characteristic zero in $m\geq 1$ commuting derivations DCF$_{0,m}$ satisfies the expected form of the dichotomy. Namely, any minimal type is either locally modular or nonorthogonal to the (algebraically closed) field of constants. This dichotomy is well known for finite-dimensional types; however, a proof that includes the possible case of infinite dimension does not explicitly appear elsewhere.
