### Current browse context:

math.AG

### Change to browse by:

### References & Citations

# Mathematics > Algebraic Geometry

# Title: When any three solutions are independent

(Submitted on 15 Oct 2021 (v1), last revised 22 Nov 2021 (this version, v2))

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 $p$ is a stationary nonalgebraic type in the theory of differentially closed fields of characteristic zero; if any three distinct realisations of $p$ are independent then $p$ 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 $D$-varieties is given. The same methods yield also an analogous statement about families of compact K\"ahler manifolds.

## Submission history

From: James Freitag [view email]**[v1]**Fri, 15 Oct 2021 14:47:18 GMT (14kb)

**[v2]**Mon, 22 Nov 2021 19:16:16 GMT (16kb)

Link back to: arXiv, form interface, contact.