We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.AG

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Algebraic Geometry

Title: When any three solutions are independent

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.
Comments: 13 pages, significant revision improving the main theorem in the autonomous case
Subjects: Algebraic Geometry (math.AG); Logic (math.LO); Number Theory (math.NT)
MSC classes: 03C45, 12H05, 11J81, 32J27
Cite as: arXiv:2110.08123 [math.AG]
  (or arXiv:2110.08123v2 [math.AG] for this version)

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.