English

When any three solutions are independent

Algebraic Geometry 2022-11-23 v2 Logic Number Theory

Abstract

Given an algebraic differential equation of order greater than one, it is shown that if there is any nontrivial algebraic relation amongst any number of distinct nonalgebraic solutions, along with their derivatives, then there is already such a relation between three solutions. In the autonomous situation when the equation is over constant parameters the assumption that the order be greater than one can be dropped, and a nontrivial algebraic relation exists already between two solutions. These theorems are deduced as an application of the following model-theoretic result: Suppose pp is a stationary nonalgebraic type in the theory of differentially closed fields of characteristic zero; if any three distinct realisations of pp are independent then pp is minimal. If the type is over the constants then minimality (and complete disintegratedness) already follow from knowing that any two realisations are independent. An algebro-geometric formulation in terms of DD-varieties is given. The same methods yield also an analogous statement about families of compact K\"ahler manifolds.

Keywords

Cite

@article{arxiv.2110.08123,
  title  = {When any three solutions are independent},
  author = {James Freitag and Rémi Jaoui and Rahim Moosa},
  journal= {arXiv preprint arXiv:2110.08123},
  year   = {2022}
}

Comments

13 pages, significant revision improving the main theorem in the autonomous case

R2 v1 2026-06-24T06:55:19.761Z