Ax-Schanuel for linear differential equations (Q1661684)

In the article under review, the author generalizes previous work of Zilber, Kirby and Crampin to reducts of a differentially closed field of characteristic \(0\) to a larger class of linear differential equations which are satisfied by the exponential function. Ax proved in [\textit{J. Ax}, Ann. Math. (2) 93, 252--268 (1971; Zbl 0232.10026)] a version of Schanuel's conjecture for solutions of the differential equation given by the exponential function in an arbitrary differential field of characteristic \(0\). Motivated by work of \textit{E. Hrushovski} [Ann. Pure Appl. Logic 62, No. 2, 147--166 (1993; Zbl 0804.03020)], Zilber showed using a Hrushovski-Fraïssé construction in [\textit{B. Zilber}, Ann. Pure Appl. Logic 132, No. 1, 67--95 (2005; Zbl 1076.03024)] that the complex numbers are equipped with a (canonical) \emph{pseudo-exponentiation} verifying Schanuel's conjecture. In [\textit{J. Kirby}, Sel. Math., New Ser. 15, No. 3, 445--486 (2009; Zbl 1263.12003)], it was in particular shown that the class of reducts of differentially closed fields of characteristic \(0\) with respect to the graph of the differential equation given by the exponential function is an amalgamation class (with respect to strong embeddings in terms of the Hrushovski-Fraïssé predimension determined by Ax-Schanuel's condition) and that the limit is isomorphic to such a reduct. In this work, the author considers in a differential field \((K, D)\) more general differential equations of the form \[ (Dx)^{2n-1}\big( \partial_x^n(y)+c_{n-1} \partial_x^{n-1}(y)+\cdots+c_1\partial_x(y)+c_0y\big)=0, \] where \(\partial_x=(Dx)^{-1}D\) and the elements \(c_0, \ldots, c_{n-1}\) are constants with \(c_0\ne 0\). The solutions of such an equation satisfy again an Ax-Schanuel condition. The class of reducts of differentially closed fields with respect to the \emph{graph} \(E_n\) of the above equation are a suitable Hrushovski-Fraïssé amalgamation class and the authors provides in Theorem 19 an axiomatization of the Hurshovski-Fraïssé limit. Furthermore, the \(E_n\)-reduct of any differentially closed field of characteristic \(0\) is a model of this theory (Theorem 29).