Showing 1–20 of 20 results for author: Aslanyan, V

Algebraic types in Zilber's exponential field

Authors: Vahagn Aslanyan, Jonathan Kirby

Abstract: We characterise the model-theoretic algebraic closure in Zilber's exponential field. A key step involves showing that certain algebraic varieties have finite intersections with certain finite-rank subgroups of the graph of exponentiation. Mordell-Lang for algebraic tori (a theorem of Laurent) plays a central role in our proof. We characterise the model-theoretic algebraic closure in Zilber's exponential field. A key step involves showing that certain algebraic varieties have finite intersections with certain finite-rank subgroups of the graph of exponentiation. Mordell-Lang for algebraic tori (a theorem of Laurent) plays a central role in our proof. △ Less

Submitted 2 May, 2024; originally announced May 2024.

MSC Class: 03C60 (primary); 03C65; 12L12

The mathematical work of Anania Shirakatsi

Authors: Vahagn Aslanyan

Abstract: This paper aims to give a brief account of the mathematical work of the 7th-century Armenian polymath and natural philosopher Anania Shirakatsi. The three sections of Anania's ``Book of Arithmetic'' -- tables of arithmetic operations, a list of problems and their answers, and a collection of entertaining puzzles -- are presented and discussed, the focus being on the problems and solutions. A close… ▽ More This paper aims to give a brief account of the mathematical work of the 7th-century Armenian polymath and natural philosopher Anania Shirakatsi. The three sections of Anania's ``Book of Arithmetic'' -- tables of arithmetic operations, a list of problems and their answers, and a collection of entertaining puzzles -- are presented and discussed, the focus being on the problems and solutions. A close examination of the structure of these problems reveals that Anania's proficiency in arithmetic was considerably more sophisticated than their mathematical contents might suggest. The geography of Anania's problems is illustrated through two maps highlighting the locations referenced within these problems. △ Less

Submitted 24 April, 2024; originally announced April 2024.

Comments: 13 pages, 3 figures

The Existential Closedness and Zilber-Pink Conjectures

Authors: Vahagn Aslanyan

Abstract: In this paper we survey the history of, and recent developments on, two major conjectures originating in Zilber's model-theoretic work on complex exponentiation -- Existential Closedness and Zilber-Pink. The main focus is on the modular versions of these conjectures and specifically on novel variants incorporating the derivatives of modular functions. The functional analogues of all the conjecture… ▽ More In this paper we survey the history of, and recent developments on, two major conjectures originating in Zilber's model-theoretic work on complex exponentiation -- Existential Closedness and Zilber-Pink. The main focus is on the modular versions of these conjectures and specifically on novel variants incorporating the derivatives of modular functions. The functional analogues of all the conjectures that we consider are theorems which are presented too. The paper also contains some new results and conjectures. △ Less

Submitted 14 March, 2024; originally announced March 2024.

Comments: This paper is dedicated to Boris Zilber on the occasion of his 75th birthday

Equations involving the modular $j$-function and its derivatives

Authors: Vahagn Aslanyan, Sebastian Eterović, Vincenzo Mantova

Abstract: We show that for any polynomial $F(X,Y_0,Y_1,Y_2) \in \mathbb{C}[X, Y_0, Y_1, Y_2]$, the equation $F(z,j(z),j'(z),j''(z))=0$ has a Zariski dense set of solutions in the hypersurface $F(X,Y_0,Y_1,Y_2)=0$, unless $F$ is in $\mathbb{C}[X]$ or it is divisible by $Y_0$, $Y_0-1728$, or $Y_1$. Our methods establish criteria for finding solutions to more general equations involving periodic functions. F… ▽ More We show that for any polynomial $F(X,Y_0,Y_1,Y_2) \in \mathbb{C}[X, Y_0, Y_1, Y_2]$, the equation $F(z,j(z),j'(z),j''(z))=0$ has a Zariski dense set of solutions in the hypersurface $F(X,Y_0,Y_1,Y_2)=0$, unless $F$ is in $\mathbb{C}[X]$ or it is divisible by $Y_0$, $Y_0-1728$, or $Y_1$. Our methods establish criteria for finding solutions to more general equations involving periodic functions. Furthermore, they produce a qualitative description of the distribution of these solutions. △ Less

Submitted 15 December, 2023; originally announced December 2023.

Comments: 30 pages

MSC Class: 11F03; 11F23; 11U09

Multiplicative relations among differences of singular moduli

Authors: Vahagn Aslanyan, Sebastian Eterović, Guy Fowler

Abstract: Let $n \in \mathbb{Z}_{>0}$. We prove that there exist a finite set $V$ and finitely many algebraic curves $T_1, \ldots, T_k$ with the following property: if $(x_1, \ldots, x_n, y)$ is an $(n+1)$-tuple of pairwise distinct singular moduli such that $\prod_{i=1}^n (x_i - y)^{a_i}=1$ for some $a_1, \ldots, a_n \in \mathbb{Z} \setminus \{0\}$, then… ▽ More Let $n \in \mathbb{Z}_{>0}$. We prove that there exist a finite set $V$ and finitely many algebraic curves $T_1, \ldots, T_k$ with the following property: if $(x_1, \ldots, x_n, y)$ is an $(n+1)$-tuple of pairwise distinct singular moduli such that $\prod_{i=1}^n (x_i - y)^{a_i}=1$ for some $a_1, \ldots, a_n \in \mathbb{Z} \setminus \{0\}$, then $(x_1, \ldots, x_n, y) \in V \cup T_1 \cup \ldots \cup T_k$. Further, the curves $T_1, \ldots, T_k$ may be determined explicitly for a given $n$. △ Less

Submitted 23 August, 2023; originally announced August 2023.

Comments: 36 pages

Independence relations for exponential fields

Authors: Vahagn Aslanyan, Robert Henderson, Mark Kamsma, Jonathan Kirby

Abstract: We give four different independence relations on any exponential field. Each is a canonical independence relation on a suitable Abstract Elementary Class of exponential fields, showing that two of these are NSOP$_1$-like and non-simple, a third is stable, and the fourth is the quasiminimal pregeometry of Zilber's exponential fields, previously known to be stable (and uncountably categorical). We a… ▽ More We give four different independence relations on any exponential field. Each is a canonical independence relation on a suitable Abstract Elementary Class of exponential fields, showing that two of these are NSOP$_1$-like and non-simple, a third is stable, and the fourth is the quasiminimal pregeometry of Zilber's exponential fields, previously known to be stable (and uncountably categorical). We also characterise the fourth independence relation in terms of the third, strong independence. △ Less

Submitted 17 May, 2023; v1 submitted 6 November, 2022; originally announced November 2022.

Comments: 25 pages

MSC Class: 03C45; 03C65; 03C48

Journal ref: Annals of Pure and Applied Logic (2023), 103288

A note on unlikely intersections in Shimura varieties

Authors: Vahagn Aslanyan, Christopher Daw

Abstract: We discuss the relationships between the André-Oort, André-Pink-Zannier, and Mordell-Lang conjectures for Shimura varieties. We then combine the latter with the geometric Zilber-Pink conjecture to obtain some new results on unlikely intersections in Shimura varieties. We discuss the relationships between the André-Oort, André-Pink-Zannier, and Mordell-Lang conjectures for Shimura varieties. We then combine the latter with the geometric Zilber-Pink conjecture to obtain some new results on unlikely intersections in Shimura varieties. △ Less

Submitted 11 March, 2024; v1 submitted 16 September, 2022; originally announced September 2022.

The Dynamic Coupling of Streamers and Pseudostreamers to the Heliosphere

Authors: V. Aslanyan, D. I. Pontin, A. K. Higginson, P. F. Wyper, R. B. Scott, S. K. Antiochos

Abstract: The slow solar wind is generally believed to result from the interaction of open and closed coronal magnetic flux at streamers and pseudostreamers. We use 3-dimensional magnetohydrodynamic simulations to determine the detailed structure and dynamics of open-closed interactions that are driven by photospheric convective flows. The photospheric magnetic field model includes a global dipole giving ri… ▽ More The slow solar wind is generally believed to result from the interaction of open and closed coronal magnetic flux at streamers and pseudostreamers. We use 3-dimensional magnetohydrodynamic simulations to determine the detailed structure and dynamics of open-closed interactions that are driven by photospheric convective flows. The photospheric magnetic field model includes a global dipole giving rise to a streamer together with a large parasitic polarity region giving rise to a pseudostreamer that separates a satellite coronal hole from the main polar hole. Our numerical domain extends out to 30 solar radii and includes an isothermal solar wind, so that the coupling between the corona and heliosphere can be calculated rigorously. This system is driven by imposing a large set of quasi-random surface flows that capture the driving of coronal flux in the vicinity of streamer and pseudostreamer boundaries by the supergranular motions. We describe the resulting structures and dynamics. Interchange reconnection dominates the evolution at both streamer and pseudostreamer boundaries, but the details of the resulting structures are clearly different from one another. Additionally, we calculate in situ signatures of the reconnection and determine the dynamic map** from the inner heliosphere back to the Sun for a test spacecraft orbit. We discuss the implications of our results for interpreting observations from inner heliospheric missions, such as Parker Solar Probe and Solar Orbiter, and for space weather modeling of the slow solar wind. △ Less

Submitted 27 April, 2022; v1 submitted 7 January, 2022; originally announced January 2022.

Comments: This article was submitted under duress from an unreasonable reviewer for a separate article

A geometric approach to some systems of exponential equations

Authors: Vahagn Aslanyan, Jonathan Kirby, Vincenzo Mantova

Abstract: Zilber's Exponential Algebraic Closedness conjecture (also known as Zilber's Nullstellensatz) gives conditions under which a complex algebraic variety should intersect the graph of the exponential map of a semiabelian variety. We prove the special case of the conjecture where the variety has dominant projection to the domain of the exponential map, for abelian varieties and for algebraic tori. F… ▽ More Zilber's Exponential Algebraic Closedness conjecture (also known as Zilber's Nullstellensatz) gives conditions under which a complex algebraic variety should intersect the graph of the exponential map of a semiabelian variety. We prove the special case of the conjecture where the variety has dominant projection to the domain of the exponential map, for abelian varieties and for algebraic tori. Furthermore, in the situation where the intersection is 0-dimensional, we exhibit structure in the intersection by parametrizing the sufficiently large points as the images of the period lattice under a (multivalued) analytic map. Our approach is complex geometric, in contrast to a real analytic proof given by Brownawell and Masser just for the case of algebraic tori. △ Less

Submitted 28 September, 2021; v1 submitted 26 May, 2021; originally announced May 2021.

Comments: 34 pages; new remarks 4.10, 5.8, and minor clarifications

MSC Class: Primary: 11G10; 14K20; Secondary: 03C60; 12L12

Journal ref: International Mathematics Research Notices, Volume 2023, Issue 5, March 2023, Pages 4046-4081

A closure operator respecting the modular $j$-function

Authors: Vahagn Aslanyan, Sebastian Eterović, Jonathan Kirby

Abstract: We prove some unconditional cases of the Existential Closedness problem for the modular $j$-function. For this, we show that for any finitely generated field we can find a "convenient" set of generators. This is done by showing that in any field equipped with functions replicating the algebraic behaviour of the modular $j$-function and its derivatives, one can define a natural closure operator in… ▽ More We prove some unconditional cases of the Existential Closedness problem for the modular $j$-function. For this, we show that for any finitely generated field we can find a "convenient" set of generators. This is done by showing that in any field equipped with functions replicating the algebraic behaviour of the modular $j$-function and its derivatives, one can define a natural closure operator in three equivalent different ways. △ Less

Submitted 2 July, 2021; v1 submitted 30 September, 2020; originally announced October 2020.

Comments: 28 pages. Minor corrections

MSC Class: 12H05; 11F03; 03C60

Journal ref: Israel Journal of Mathematics, 2022

Blurrings of the $j$-function

Authors: Vahagn Aslanyan, Jonathan Kirby

Abstract: Inspired by the idea of blurring the exponential function, we define blurred variants of the $j$-function and its derivatives, where blurring is given by the action of a subgroup of $\rm{GL}_2(\mathbb{C})$. For a dense subgroup (in the complex topology) we prove an Existential Closedness theorem which states that all systems of equations in terms of the corresponding blurred $j$ with derivatives h… ▽ More Inspired by the idea of blurring the exponential function, we define blurred variants of the $j$-function and its derivatives, where blurring is given by the action of a subgroup of $\rm{GL}_2(\mathbb{C})$. For a dense subgroup (in the complex topology) we prove an Existential Closedness theorem which states that all systems of equations in terms of the corresponding blurred $j$ with derivatives have complex solutions, except where there is a functional transcendence reason why they should not. For the $j$-function without derivatives we prove a stronger theorem, namely, Existential Closedness for $j$ blurred by the action of a subgroup which is dense in $\rm{GL}_2^+(\mathbb{R})$, but not necessarily in $\rm{GL}_2(\mathbb{C})$. We also show that for a suitably chosen countable algebraically closed subfield $C \subseteq \mathbb{C}$, the complex field augmented with a predicate for the blurring of the $j$-function by $\rm{GL}_2(C)$ is model theoretically tame, in particular, $ω$-stable and quasiminimal. △ Less

Submitted 23 July, 2021; v1 submitted 20 May, 2020; originally announced May 2020.

Comments: Minor changes

MSC Class: 11F03; 03C60; 03C64

Journal ref: The Quarterly Journal of Mathematics, 2021

Differential Existential Closedness for the $j$-function

Authors: Vahagn Aslanyan, Sebastian Eterović, Jonathan Kirby

Abstract: We prove the Existential Closedness conjecture for the differential equation of the $j$-function and its derivatives. It states that in a differentially closed field certain equations involving the differential equation of the $j$-function have solutions. Its consequences include a complete axiomatisation of $j$-reducts of differentially closed fields, a dichotomy result for strongly minimal sets… ▽ More We prove the Existential Closedness conjecture for the differential equation of the $j$-function and its derivatives. It states that in a differentially closed field certain equations involving the differential equation of the $j$-function have solutions. Its consequences include a complete axiomatisation of $j$-reducts of differentially closed fields, a dichotomy result for strongly minimal sets in those reducts, and a functional analogue of the Modular Zilber-Pink with Derivatives conjecture. △ Less

Submitted 6 September, 2020; v1 submitted 24 March, 2020; originally announced March 2020.

Comments: Minor revisions

Journal ref: Proc. Amer. Math. Soc. 149 (2021), 1417-1429

Some Remarks on Atypical Intersections

Authors: Vahagn Aslanyan

Abstract: In this paper we show how some known weak forms of the Zilber--Pink conjecture can be strengthened by combining them with the Mordell--Lang conjecture or its variants. We illustrate this idea by proving some theorems on atypical intersections in the semiabelian and modular settings. Given a "finitely generated" set $Γ$ with a certain structure, we consider $Γ$-special subvarieties -- weakly specia… ▽ More In this paper we show how some known weak forms of the Zilber--Pink conjecture can be strengthened by combining them with the Mordell--Lang conjecture or its variants. We illustrate this idea by proving some theorems on atypical intersections in the semiabelian and modular settings. Given a "finitely generated" set $Γ$ with a certain structure, we consider $Γ$-special subvarieties -- weakly special subvarieties containing a point of $Γ$ -- and show that every variety $V$ contains only finitely many maximal $Γ$-atypical subvarieties, i.e. atypical intersections of $V$ with $Γ$-special varieties the weakly special closures of which are $Γ$-special. △ Less

Submitted 8 April, 2021; v1 submitted 2 May, 2019; originally announced May 2019.

Comments: Minor revisions. Improved the presentation

Journal ref: Proc. Amer. Math. Soc., 2021

Existentially closed De Morgan algebras

Authors: Vahagn Aslanyan

Abstract: We show that the theory of De Morgan algebras has a model completion and axiomatise it. Then we prove that it is $\aleph_0$-categorical and describe definable and algebraic closures in that theory. We also obtain similar results for Boole-De Morgan algebras. We show that the theory of De Morgan algebras has a model completion and axiomatise it. Then we prove that it is $\aleph_0$-categorical and describe definable and algebraic closures in that theory. We also obtain similar results for Boole-De Morgan algebras. △ Less

Submitted 8 November, 2019; v1 submitted 4 October, 2018; originally announced October 2018.

Comments: Minor corrections

MSC Class: 06D30 06E25 03C10 03C35

Ax-Schanuel and strong minimality for the $j$-function

Authors: Vahagn Aslanyan

Abstract: Let $\mathcal{K}:=(K;+,\cdot, D, 0, 1)$ be a differentially closed field of characteristic $0$ with field of constants $C$. In the first part of the paper we explore the connection between Ax-Schanuel type theorems (predimension inequalities) for a differential equation $E(x,y)$ and the geometry of the fibres $U_s:=\{ y:E(s,y) \wedge y \notin C \}$ where $s$ is a non-constant element. We show th… ▽ More Let $\mathcal{K}:=(K;+,\cdot, D, 0, 1)$ be a differentially closed field of characteristic $0$ with field of constants $C$. In the first part of the paper we explore the connection between Ax-Schanuel type theorems (predimension inequalities) for a differential equation $E(x,y)$ and the geometry of the fibres $U_s:=\{ y:E(s,y) \wedge y \notin C \}$ where $s$ is a non-constant element. We show that certain types of predimension inequalities imply strong minimality and geometric triviality of $U_s$. Moreover, the induced structure on the Cartesian powers of $U_s$ is given by special subvarieties. In particular, since the $j$-function satisfies an Ax-Schanuel inequality of the required form (due to Pila and Tsimerman), applying our results to the $j$-function we recover a theorem of Freitag and Scanlon stating that the differential equation of $j$ defines a strongly minimal set with trivial geometry. In the second part of the paper we study strongly minimal sets in the $j$-reducts of differentially closed fields. Let $E_j(x,y)$ be the (two-variable) differential equation of the $j$-function. We prove a Zilber style classification result for strongly minimal sets in the reduct $\mathsf{K}:=(K;+, \cdot, E_j)$. More precisely, we show that in $\mathsf{K}$ all strongly minimal sets are geometrically trivial or non-orthogonal to $C$. Our proof is based on the Ax-Schanuel theorem and a matching Existential Closedness statement which asserts that systems of equations in terms of $E_j$ have solutions in $\mathsf{K}$ unless having a solution contradicts Ax-Schanuel. △ Less

Submitted 5 August, 2020; v1 submitted 9 May, 2018; originally announced May 2018.

Comments: 27 pages. This is a combination of arXiv:1606.01778v3 and arXiv:1805.03985v1 (with substantial revisions)

Journal ref: Annals of Pure and Applied Logic, Volume 172, Issue 1, 2021

Weak Modular Zilber-Pink with Derivatives

Authors: Vahagn Aslanyan

Abstract: In unpublished notes Pila proposed a Modular Zilber-Pink with Derivatives (MZPD) conjecture, which is a Zilber-Pink type statement for the modular $j$-function and its derivatives. In this article we define D-special varieties, then state and prove two functional (differential) analogues of the MZPD conjecture for those varieties. In particular, we prove a weak version of MZPD. As a special case o… ▽ More In unpublished notes Pila proposed a Modular Zilber-Pink with Derivatives (MZPD) conjecture, which is a Zilber-Pink type statement for the modular $j$-function and its derivatives. In this article we define D-special varieties, then state and prove two functional (differential) analogues of the MZPD conjecture for those varieties. In particular, we prove a weak version of MZPD. As a special case of our results, we obtain a functional Modular André-Oort with Derivatives statement. The main tools used in the paper come from (model theoretic) differential algebra and complex analytic geometry, and the Ax-Schanuel theorem for the $j$-function and its derivatives (established by Pila and Tsimerman) plays a crucial role in our proofs. In the proof of the second Zilber-Pink type theorem we also use an Existential Closedness statement for the differential equation of the $j$-function. △ Less

Submitted 7 May, 2021; v1 submitted 15 March, 2018; originally announced March 2018.

Comments: v5: substantial changes throughout the paper, both Zilber-Pink type theorems are now proven unconditionally, v6-v7: minor revisions, v8: minor changes as suggested by the reviewer

MSC Class: 11F03; 03C60; 12H05

Journal ref: Mathematische Annalen, 2021

Adequate Predimension Inequalities in Differential Fields

Authors: Vahagn Aslanyan

Abstract: In this paper we study predimension inequalities in differential fields and define what it means for such an inequality to be \emph{adequate}. Adequacy was informally introduced by Zilber, and here we give a precise definition in a quite general context. We also discuss the connection of this problem to definability of derivations in the reducts of differentially closed fields. The Ax-Schanuel ine… ▽ More In this paper we study predimension inequalities in differential fields and define what it means for such an inequality to be \emph{adequate}. Adequacy was informally introduced by Zilber, and here we give a precise definition in a quite general context. We also discuss the connection of this problem to definability of derivations in the reducts of differentially closed fields. The Ax-Schanuel inequality for the exponential differential equation (proved by Ax) and its analogue for the differential equation of the $j$-function (established by Pila and Tsimerman) are our main examples of predimensions. We carry out a Hrushovski construction with the latter predimension and obtain a natural candidate for the first-order theory of the differential equation of the $j$-function. It is analogous to Kirby's axiomatisation of the theory of the exponential differential equation (which in turn is based on the axioms of Zilber's pseudo-exponentiation), although there are many significant differences. In joint work with Sebastian Eterović and Jonathan Kirby we have recently proven that the axiomatisation obtained in this paper is indeed an axiomatisation of the theory of the differential equation of the $j$-function, that is, the Ax-Schanuel inequality for the $j$-function is adequate. △ Less

Submitted 15 August, 2021; v1 submitted 13 March, 2018; originally announced March 2018.

Comments: v4: Improved the presentation

Ax-Schanuel type theorems and geometry of strongly minimal sets in differentially closed fields

Authors: Vahagn Aslanyan

Abstract: Let $(K;+,\cdot, ', 0, 1)$ be a differentially closed field. In this paper we explore the connection between Ax-Schanuel type theorems (predimension inequalities) for a differential equation $E(x,y)$ and the geometry of the set $U:=\{ y:E(t,y) \wedge y' \neq 0 \}$ where $t$ is an element with $t'=1$. We show that certain types of predimension inequalities imply strong minimality and geometric triv… ▽ More Let $(K;+,\cdot, ', 0, 1)$ be a differentially closed field. In this paper we explore the connection between Ax-Schanuel type theorems (predimension inequalities) for a differential equation $E(x,y)$ and the geometry of the set $U:=\{ y:E(t,y) \wedge y' \neq 0 \}$ where $t$ is an element with $t'=1$. We show that certain types of predimension inequalities imply strong minimality and geometric triviality of $U$. Moreover, the induced structure on Cartesian powers of $U$ is given by special subvarieties. If $E$ has some special form then all fibres $U_s:=\{ y:E(s,y) \wedge y' \neq 0 \}$ (with $s$ non-constant) have the same properties. In particular, since the $j$-function satisfies an Ax-Schanuel theorem of the required form (due to Pila and Tsimerman), our results will give another proof for a theorem of Freitag and Scanlon stating that the differential equation of $j$ defines a strongly minimal set with trivial geometry (which is not $\aleph_0$-categorical though). △ Less

Submitted 4 August, 2020; v1 submitted 6 June, 2016; originally announced June 2016.

Comments: 12 pages. Incorporated into arXiv:1805.03985v2

MSC Class: 12H05; 12H20; 03C60; 11F03

Ax-Schanuel for Linear Differential Equations

Authors: Vahagn Aslanyan

Abstract: We generalise the exponential Ax-Schanuel theorem to arbitrary linear differential equations with constant coefficients. Using the analysis of the exponential differential equation by J. Kirby and C. Crampin we give a complete axiomatisation of the first order theories of linear differential equations and show that the generalised Ax-Schanuel inequalities are adequate for them. We generalise the exponential Ax-Schanuel theorem to arbitrary linear differential equations with constant coefficients. Using the analysis of the exponential differential equation by J. Kirby and C. Crampin we give a complete axiomatisation of the first order theories of linear differential equations and show that the generalised Ax-Schanuel inequalities are adequate for them. △ Less

Submitted 4 October, 2017; v1 submitted 15 March, 2016; originally announced March 2016.

Comments: 24 pages. Minor changes in Sections 1-5. Section 6 has been significantly modified

MSC Class: 12H05; 12H20; 03C60

Journal ref: Arch. Math. Logic (2017)

Definability of derivations in the reducts of differentially closed fields

Authors: Vahagn Aslanyan

Abstract: Let $\mathcal{F}=(F;+,\cdot,0,1,D)$ be a differentially closed field. We consider the question of definability of the derivation $D$ in reducts of $\mathcal{F}$ of the form $\mathcal{F}_{R}=(F;+,\cdot,0,1,P)_{P \in R}$ where $R$ is a collection of definable sets in $\mathcal{F}$. We give examples and non-examples and establish some criteria for definability of $D$. Finally, using the tools develop… ▽ More Let $\mathcal{F}=(F;+,\cdot,0,1,D)$ be a differentially closed field. We consider the question of definability of the derivation $D$ in reducts of $\mathcal{F}$ of the form $\mathcal{F}_{R}=(F;+,\cdot,0,1,P)_{P \in R}$ where $R$ is a collection of definable sets in $\mathcal{F}$. We give examples and non-examples and establish some criteria for definability of $D$. Finally, using the tools developed in the paper we prove that under the assumption of inductiveness of $Th(\mathcal{F}_{R})$ model completeness is a necessary condition for definability of $D$. This can be seen as part of a broader project where one is interested in finding Ax-Schanuel type inequalities (or predimension inequalities) for differential equations. △ Less

Submitted 22 July, 2017; v1 submitted 3 July, 2015; originally announced July 2015.

Comments: 34 pages. New results and clarifications in some proofs added

MSC Class: 03C10; 03C60; 12H05; 12H20; 13N15

Journal ref: The Journal of Symbolic Logic, 82(4), 2017, pp. 1252-1277