Showing 1–36 of 36 results for author: Sanchez, O L

Zilber dichotomy for $DCF_{0,m}$

Authors: Omar Leon Sanchez

Abstract: We prove that the theory of differentially closed fields of characteristic zero in $m\geq 1$ commuting derivations DCF$_{0,m}$ satisfies the expected form of the dichotomy. Namely, any minimal type is either locally modular or nonorthogonal to the (algebraically closed) field of constants. This dichotomy is well known for finite-dimensional types; however, a proof that includes the possible case o… ▽ More We prove that the theory of differentially closed fields of characteristic zero in $m\geq 1$ commuting derivations DCF$_{0,m}$ satisfies the expected form of the dichotomy. Namely, any minimal type is either locally modular or nonorthogonal to the (algebraically closed) field of constants. This dichotomy is well known for finite-dimensional types; however, a proof that includes the possible case of infinite dimension does not explicitly appear elsewhere. △ Less

Submitted 7 November, 2024; originally announced November 2024.

MSC Class: 03C10; 03C60; 12H05; 14A99

The theory DCF$_p$A exists for $p>0$

Authors: Kai Ino, Omar Leon Sanchez

Abstract: We prove that the (elementary) class of differential-difference fields in characteristic $p>0$ admits a model-companion. In the terminology of Chatzidakis-Pillay, this says that the class of differentially closed fields of characteristic $p$ equipped with a generic differential-automorphism is elementary; i.e., DCF$_p$A exists. Along the way, we provide alternative first-order axiomatisations for… ▽ More We prove that the (elementary) class of differential-difference fields in characteristic $p>0$ admits a model-companion. In the terminology of Chatzidakis-Pillay, this says that the class of differentially closed fields of characteristic $p$ equipped with a generic differential-automorphism is elementary; i.e., DCF$_p$A exists. Along the way, we provide alternative first-order axiomatisations for DCF (differentially closed fields) and also for DCF$_0$A. △ Less

Submitted 23 October, 2024; originally announced October 2024.

MSC Class: 12H05; 12H10; 03C10; 03C60

Neostability transfers in derivation-like theories

Authors: Omar Leon Sanchez, Shezad Mohamed

Abstract: Motivated by structural properties of differential field extensions, we introduce the notion of a theory $T$ being derivation-like with respect to another model complete theory $T_0$. We prove that when $T$ admits a model companion $T_+$, several model-theoretic properties transfer from $T_0$ to $T_+$. These properties include completeness, quantifier elimination, stability, simplicity, and NSOP… ▽ More Motivated by structural properties of differential field extensions, we introduce the notion of a theory $T$ being derivation-like with respect to another model complete theory $T_0$. We prove that when $T$ admits a model companion $T_+$, several model-theoretic properties transfer from $T_0$ to $T_+$. These properties include completeness, quantifier elimination, stability, simplicity, and NSOP$_1$. We also observe that, aside from the theory of differential fields, examples of derivation-like theories are plentiful. △ Less

Submitted 24 March, 2025; v1 submitted 17 September, 2024; originally announced September 2024.

Comments: Revised introduction and preliminaries; added example to section 4

MSC Class: 03C45; 03C60; 12H05

On ordinary differentially large fields

Authors: Omar León Sánchez, Marcus Tressl

Abstract: We provide a characterisation of differentially large fields in arbitrary characteristic and a single derivation in the spirit of Blum axioms for differentially closed fields. In the case of characteristic zero, we use these axioms to characterise differential largeness in terms of being existentially closed in the differential algebraic Laurent series ring, and we prove that any large field of in… ▽ More We provide a characterisation of differentially large fields in arbitrary characteristic and a single derivation in the spirit of Blum axioms for differentially closed fields. In the case of characteristic zero, we use these axioms to characterise differential largeness in terms of being existentially closed in the differential algebraic Laurent series ring, and we prove that any large field of infinite transcendence degree can be expanded to a differentially large field even under certain prescribed constant fields. As an application, we show that the theory of proper dense pairs of models of a complete and modelcomplete theory of large fields, is a complete theory. As a further consequence of the expansion result we show that there is no real closed and differential field that has a prime model extension in closed ordered differential fields, unless it is itself a closed ordered differential field. △ Less

Submitted 30 July, 2024; v1 submitted 24 July, 2023; originally announced July 2023.

Comments: 20 pages

MSC Class: Primary: 12H05; 12E99. Secondary: 03C60

Separably differentially closed fields

Authors: Kai Ino, Omar Leon Sanchez

Abstract: We introduce and study a new class of differential fields in positive characteristic. We call them separably differentially closed fields and demonstrate that they are the differential analogue of separably closed fields. We prove several (algebraic and model-theoretic) properties of this class. Among other things, we show that it is an elementary class, whose theory we denote $\SDCF$, and that it… ▽ More We introduce and study a new class of differential fields in positive characteristic. We call them separably differentially closed fields and demonstrate that they are the differential analogue of separably closed fields. We prove several (algebraic and model-theoretic) properties of this class. Among other things, we show that it is an elementary class, whose theory we denote $\SDCF$, and that its completions are determined by specifying the characteristic $p$ and the differential degree of imperfection $ε$. Furthermore, after adding what we call the differential $λ$-functions, we prove that the theory $\SDCFl$ admits quantifier elimination, is stable, and prime model extensions exist. △ Less

Submitted 22 February, 2023; originally announced February 2023.

Commutative bidifferential algebra

Authors: Omar Leon Sanchez, Rahim Moosa

Abstract: Motivated by the Poisson Dixmier-Moeglin equivalence problem, a systematic study of commutative unitary rings equipped with a {\em biderivation}, namely a binary operation that is a derivation in each argument, is here begun, with an eye toward the geometry of the corresponding {\em $B$-varieties}. Foundational results about extending biderivations to localisations, algebraic extensions and transc… ▽ More Motivated by the Poisson Dixmier-Moeglin equivalence problem, a systematic study of commutative unitary rings equipped with a {\em biderivation}, namely a binary operation that is a derivation in each argument, is here begun, with an eye toward the geometry of the corresponding {\em $B$-varieties}. Foundational results about extending biderivations to localisations, algebraic extensions and transcendental extensions are established. Resolving a deficiency in Poisson algebraic geometry, a theory of base extension is achieved, and it is shown that dominant $B$-morphisms admit generic $B$-fibres. A bidifferential version of the Dixmier-Moeglin equivalence problem is articulated. △ Less

Submitted 5 November, 2021; originally announced November 2021.

MSC Class: 12H05; 13N15; 16W25; 17B63

More on Galois cohomology, definability and differential algebraic groups

Authors: Omar Leon Sanchez, David Meretzky, Anand Pillay

Abstract: We make further observations on the features of Galois cohomology in the general model theoretic context. We make explicit the connection between forms of definable groups and first cohomology sets with coefficients in a suitable automorphism group. We then use a method of twisting cohomology (inspired on Serre's algebraic twisting) to describe arbitrary fibres in cohomology sequences -- yielding… ▽ More We make further observations on the features of Galois cohomology in the general model theoretic context. We make explicit the connection between forms of definable groups and first cohomology sets with coefficients in a suitable automorphism group. We then use a method of twisting cohomology (inspired on Serre's algebraic twisting) to describe arbitrary fibres in cohomology sequences -- yielding a useful finiteness result on cohomology sets. Applied to the special case of differential fields and Kolchin's constrained cohomology, we prove that the first constrained cohomology set of a differential algebraic group over a bounded, differentially large, field is countable. △ Less

Submitted 27 May, 2021; originally announced May 2021.

MSC Class: 03C60; 03C98; 12L12

Model theory of differential fields with finite group actions

Authors: Daniel Max Hoffmann, Omar León Sánchez

Abstract: Let G be a finite group. We explore the model theoretic properties of the class of differential fields of characteristic zero in m commuting derivations equipped with a G-action by differential field automorphisms. In the language of G-differential rings (i.e. the language of rings with added symbols for derivations and automorphisms), we prove that this class has a model-companion - denoted G-DCF… ▽ More Let G be a finite group. We explore the model theoretic properties of the class of differential fields of characteristic zero in m commuting derivations equipped with a G-action by differential field automorphisms. In the language of G-differential rings (i.e. the language of rings with added symbols for derivations and automorphisms), we prove that this class has a model-companion - denoted G-DCF. We then deploy the model-theoretic tools developed in the first author's paper [11] to show that any model of G-DCF is supersimple (but unstable when G is nontrivial), a PAC-differential field (and hence differentially large in the sense of the second author and Tressl [30]), and admits elimination of imaginaries after adding a tuple of parameters. We also address model-completeness and supersimplicity of theories of bounded PAC-differential fields (extending the results of Chatzidakis-Pillay [5] on bounded PAC-fields). △ Less

Submitted 18 January, 2021; v1 submitted 28 December, 2020; originally announced December 2020.

MSC Class: 03C60 (Primary) 12L12; 12H05; 12H10 (Secondary)

A Poisson basis theorem for symmetric algebras of infinite-dimensional Lie algebras

Authors: Omar Leon Sanchez, Susan J. Sierra

Abstract: We consider when the symmetric algebra of an infinite-dimensional Lie algebra, equipped with the natural Poisson bracket, satisfies the ascending chain condition (ACC) on Poisson ideals. We define a combinatorial condition on a graded Lie algebra which we call Dicksonian because it is related to Dickson's lemma on finite subsets of $\mathbb N^k$. Our main result is: Theorem. If $\mathfrak g$ is… ▽ More We consider when the symmetric algebra of an infinite-dimensional Lie algebra, equipped with the natural Poisson bracket, satisfies the ascending chain condition (ACC) on Poisson ideals. We define a combinatorial condition on a graded Lie algebra which we call Dicksonian because it is related to Dickson's lemma on finite subsets of $\mathbb N^k$. Our main result is: Theorem. If $\mathfrak g$ is a Dicksonian graded Lie algebra over a field of characteristic zero, then the symmetric algebra $S(\mathfrak g)$ satisfies the ACC on radical Poisson ideals. As an application, we establish this ACC for the symmetric algebra of any graded simple Lie algebra of polynomial growth over an algebraically closed field of characteristic zero, and for the symmetric algebra of the Virasoro algebra. We also derive some consequences connected to the Poisson primitive spectrum of finitely Poisson-generated algebras. △ Less

Submitted 6 February, 2023; v1 submitted 6 August, 2020; originally announced August 2020.

Comments: 31 pages; comments welcome; v2 minor changes to introduction; v3 refined assumption on graded simple Lie algebras of polynomial growth in Corollary 1.6/5.14. To appear in Arkiv för Matematik

MSC Class: 17B70; 17B63; 16P70

Differentially Large Fields

Authors: Omar León Sánchez, Marcus Tressl

Abstract: We introduce the notion of differential largeness for fields equipped with several commuting derivations (as an analogue to largeness of fields). We lay out the foundations of this new class of "tame" differential fields. We state several characterizations and exhibit plenty of examples and applications. Our results strongly indicate that differentially large fields will play a key role in differe… ▽ More We introduce the notion of differential largeness for fields equipped with several commuting derivations (as an analogue to largeness of fields). We lay out the foundations of this new class of "tame" differential fields. We state several characterizations and exhibit plenty of examples and applications. Our results strongly indicate that differentially large fields will play a key role in differential field arithmetic. For instance, we characterise differential largeness in terms of being existentially closed in their power series field (furnished with natural derivations), we give explicit constructions of differentially large fields in terms of iterated powers series, we prove that the class of differentially large fields is elementary, and we show that differential largeness is preserved under algebraic extensions, therefore showing that their algebraic closure is differentially closed. △ Less

Submitted 2 May, 2020; originally announced May 2020.

Comments: 30 pages. arXiv admin note: text overlap with arXiv:1807.09317

MSC Class: Primary: 12H05; 12E99. Secondary: 03C60; 34M25

Journal ref: Alg. Number Th. 18 (2024) 249-280

Differential Weil descent

Authors: Omar León Sánchez, Marcus Tressl

Abstract: In this short note a differential version of the classical Weil descent is established in all characteristics. This yields a ready-to-deploy tool of differential restriction of scalars for differential varieties over finite differential field extensions. In this short note a differential version of the classical Weil descent is established in all characteristics. This yields a ready-to-deploy tool of differential restriction of scalars for differential varieties over finite differential field extensions. △ Less

Submitted 5 March, 2020; originally announced March 2020.

Comments: This is a slightly improved version of the first half of the previous preprint arXiv:1807.09317 The second half will also be submitted to arXiv with substantially new results. The previous preprint will not be published

MSC Class: 12H05; 14A99

Coincidence of dimensions in closed ordered differential fields

Authors: Pantelis E. Eleftheriou, Omar Leon Sanchez, Nathalie Regnault

Abstract: Let $\mathcal K=\langle\mathcal R, δ\rangle$ be a closed ordered differential field, in the sense of M. Singer, and $C$ its field of constants. In this note, we prove that, for sets definable in the pair $\mathcal M=\langle \mathcal R, C\rangle$, the $δ$-dimension and the large dimension coincide. As an application, we characterize the definable sets in $\mathcal K$ that are internal to $C$ as tho… ▽ More Let $\mathcal K=\langle\mathcal R, δ\rangle$ be a closed ordered differential field, in the sense of M. Singer, and $C$ its field of constants. In this note, we prove that, for sets definable in the pair $\mathcal M=\langle \mathcal R, C\rangle$, the $δ$-dimension and the large dimension coincide. As an application, we characterize the definable sets in $\mathcal K$ that are internal to $C$ as those sets that are definable in $\mathcal M$ and have $δ$-dimension $0$. We further show that, for sets definable in $\mathcal K$, having $δ$-dimension $0$ does not generally imply co-analyzability in $C$ (in contrast to the case of transseries). We also point out that the coincidence of dimensions also holds in the context of differentially closed fields and in the context of transseries. △ Less

Submitted 9 October, 2020; v1 submitted 28 February, 2020; originally announced February 2020.

MSC Class: 03C98; 03C60

Differential Galois cohomology and parameterized Picard-Vessiot extensions

Authors: Omar Leon Sanchez, Anand Pillay

Abstract: Assuming that the differential field $(K,δ)$ is differentially large, in the sense of León Sánchez and Tressl, and "bounded" as a field, we prove that for any linear differential algebraic group $G$ over $K$, the differential Galois (or constrained) cohomology set $H^1_δ(K,G)$ is finite. This applies, among other things, to closed ordered differential fields $K$, in the sense of Singer, and to clo… ▽ More Assuming that the differential field $(K,δ)$ is differentially large, in the sense of León Sánchez and Tressl, and "bounded" as a field, we prove that for any linear differential algebraic group $G$ over $K$, the differential Galois (or constrained) cohomology set $H^1_δ(K,G)$ is finite. This applies, among other things, to closed ordered differential fields $K$, in the sense of Singer, and to closed $p$-adic differential fields in the sense of Tressl. As an application, we prove a general existence result for parameterized Picard-Vessiot extensions within certain families of fields; if $(K,δ_x,δ_t)$ is a field with two commuting derivations, and $δ_x Z = AZ$ is a parameterized linear differential equation over $K$, and $(K^{δ_x},δ_t)$ is "differentially large" and $K^{δ_x}$ is bounded, and $(K^{δ_x}, δ_t)$ is existentially closed in $(K,δ_t)$, then there is a PPV extension $(L,δ_x,δ_t)$ of $K$ for the equation such that $(K^{δ_x},δ_t)$ is existentially closed in $(L,δ_t)$. For instance, it follows that if the $δ_x$-constants of a formally real differential field $(K,δ_x,δ_t)$ is a closed ordered $δ_t$-field, then for any homogeneous linear $δ_x$-equation over $K$ there exists a PPV extension that is formally real. Similar observations apply to $p$-adic fields. △ Less

Submitted 13 September, 2020; v1 submitted 14 November, 2019; originally announced November 2019.

Differential Weil Descent and Differentially Large Fields

Authors: Omar León Sánchez, Marcus Tressl

Abstract: A differential version of the classical Weil descent is established in all characteristics. It yields a theory of differential restriction of scalars for differential varieties over finite differential field extensions. This theory is then used to prove that in characteristic 0, \textit{differential largeness} (a notion introduced here as an analogue to largeness of fields) is preserved under alge… ▽ More A differential version of the classical Weil descent is established in all characteristics. It yields a theory of differential restriction of scalars for differential varieties over finite differential field extensions. This theory is then used to prove that in characteristic 0, \textit{differential largeness} (a notion introduced here as an analogue to largeness of fields) is preserved under algebraic extensions. This provides many new differential fields with minimal differential closures. A further application is Kolchin-density of rational points in differential algebraic groups defined over differentially large fields. △ Less

Submitted 30 July, 2018; v1 submitted 24 July, 2018; originally announced July 2018.

Comments: 26 pages

MSC Class: 12H05

Effective definability of Kolchin polynomials

Authors: James Freitag, Omar Leon Sanchez, Wei Li

Abstract: While the natural model-theoretic ranks available in differentially closed fields (of characteristic zero), namely Lascar and Morley rank, are known not to be definable in families of differential varieties; in this note we show that the differential-algebraic rank given by the Kolchin polynomial is in fact definable. As a byproduct, we are able to prove that the property of being weakly irreducib… ▽ More While the natural model-theoretic ranks available in differentially closed fields (of characteristic zero), namely Lascar and Morley rank, are known not to be definable in families of differential varieties; in this note we show that the differential-algebraic rank given by the Kolchin polynomial is in fact definable. As a byproduct, we are able to prove that the property of being weakly irreducible for a differential variety is also definable in families. The question of full irreducibility remains open, it is known to be equivalent to the generalized Ritt problem. △ Less

Submitted 6 June, 2018; originally announced June 2018.

MSC Class: 12H05; 14Q20

Isolated types of finite rank: an abstract Dixmier-Moeglin equivalence

Authors: Omar León Sánchez, Rahim Moosa

Abstract: Suppose $T$ is totally transcendental and every minimal non-locally-modular type is nonorthogonal to a nonisolated minimal type over the empty set. It is shown that a finite rank type $p=tp(a/A)$ is isolated if and only if $a$ is independent from $q(\mathcal U)$ over $Ab$ for every $b\in \operatorname{acl}(Aa)$ and $q\in S(Ab)$ nonisolated and minimal. This applies to the theory of differentially… ▽ More Suppose $T$ is totally transcendental and every minimal non-locally-modular type is nonorthogonal to a nonisolated minimal type over the empty set. It is shown that a finite rank type $p=tp(a/A)$ is isolated if and only if $a$ is independent from $q(\mathcal U)$ over $Ab$ for every $b\in \operatorname{acl}(Aa)$ and $q\in S(Ab)$ nonisolated and minimal. This applies to the theory of differentially closed fields -- where it is motivated by the differential Dixmier-Moeglin equivalence problem -- and the theory of compact complex manifolds. △ Less

Submitted 9 October, 2018; v1 submitted 4 December, 2017; originally announced December 2017.

MSC Class: 03C95; 03C98; 12H05

Corrigendum: 'On bounds for the effective differential Nullstellensatz, arXiv:1508.07508'

Authors: Omar Leon Sanchez, Alexey Ovchinnikov

Abstract: We correct a small gap found in the authors' paper 'On bounds for the effective differential Nullstellensatz' (J Algebra 449:1-21, 2016). This gap is due to an inequality that does not generally hold. However, under one additional assumption, it does hold. In this note, we provide a detailed proof of this. We then point out that this assumption is satisfied in all instances in which the inequality… ▽ More We correct a small gap found in the authors' paper 'On bounds for the effective differential Nullstellensatz' (J Algebra 449:1-21, 2016). This gap is due to an inequality that does not generally hold. However, under one additional assumption, it does hold. In this note, we provide a detailed proof of this. We then point out that this assumption is satisfied in all instances in which the inequality was used. △ Less

Submitted 10 January, 2018; v1 submitted 20 October, 2017; originally announced October 2017.

Journal ref: Journal of Algebra 502 (2018) 506-514

On the Dixmier-Moeglin equivalence for Poisson-Hopf algebra

Authors: Stéphane Launois, Omar León Sánchez

Abstract: We prove that the Poisson version of the Dixmier-Moeglin equivalence holds for cocommutative affine Poisson-Hopf algebras. This is a first step towards understanding the symplectic foliation and the representation theory of (cocommutative) affine Poisson-Hopf algebras. Our proof makes substantial use of the model theory of fields equipped with finitely many possibly noncommuting derivations. As an… ▽ More We prove that the Poisson version of the Dixmier-Moeglin equivalence holds for cocommutative affine Poisson-Hopf algebras. This is a first step towards understanding the symplectic foliation and the representation theory of (cocommutative) affine Poisson-Hopf algebras. Our proof makes substantial use of the model theory of fields equipped with finitely many possibly noncommuting derivations. As an application, we show that the symmetric algebra of a finite dimensional Lie algebra, equipped with its natural Poisson structure, satisfies the Poisson Dixmier-Moeglin equivalence. △ Less

Submitted 9 November, 2017; v1 submitted 5 June, 2017; originally announced June 2017.

MSC Class: 17B63; 03C98; 12H05; 16T05

Estimates for the coefficients of differential dimension polynomials

Authors: Omar Leon Sanchez

Abstract: We answer the following long-standing question of Kolchin: given a system of algebraic-differential equations $Σ(x_1,\dots,x_n)=0$ in $m$ derivatives over a differential field of characteristic zero, is there a computable bound, that only depends on the order of the system (and on the fixed data $m$ and $n$), for the typical differential dimension of any prime component of $Σ$? We give a positive… ▽ More We answer the following long-standing question of Kolchin: given a system of algebraic-differential equations $Σ(x_1,\dots,x_n)=0$ in $m$ derivatives over a differential field of characteristic zero, is there a computable bound, that only depends on the order of the system (and on the fixed data $m$ and $n$), for the typical differential dimension of any prime component of $Σ$? We give a positive answer in a strong form; that is, we compute a (lower and upper) bound for all the coefficients of the Kolchin polynomial of every such prime component. We then show that, if we look at those components of a specified differential type, we can compute a significantly better bound for the typical differential dimension. This latter improvement comes from new combinatorial results on characteristic sets, in combination with the classical theorems of Macaulay and Gotzmann on the growth of Hilbert-Samuel functions. △ Less

Submitted 20 January, 2018; v1 submitted 1 March, 2017; originally announced March 2017.

D-groups and the Dixmier-Moeglin equivalence

Authors: Jason Bell, Omar Leon Sanchez, Rahim Moosa

Abstract: A differential-algebraic geometric analogue of the Dixmier-Moeglin equivalence is articulated, and proven to hold for $D$-groups over the constants. The model theory of differentially closed fields of characteristic zero, in particular the notion of analysability in the constants, plays a central role. As an application it is shown that if $R$ is a commutative affine Hopf algebra over a field of c… ▽ More A differential-algebraic geometric analogue of the Dixmier-Moeglin equivalence is articulated, and proven to hold for $D$-groups over the constants. The model theory of differentially closed fields of characteristic zero, in particular the notion of analysability in the constants, plays a central role. As an application it is shown that if $R$ is a commutative affine Hopf algebra over a field of characteristic zero, and $A$ is an Ore extension to which the Hopf algebra structure extends, then $A$ satisfies the classical Dixmier-Moeglin equivalence. Along the way it is shown that all such $A$ are Hopf Ore extensions △ Less

Submitted 3 October, 2017; v1 submitted 30 November, 2016; originally announced December 2016.

MSC Class: 03C60; 12H05; 16T05; 16S36

Journal ref: Alg. Number Th. 12 (2018) 343-378

Algebro-geometric axioms for DCF$_{0,m}$

Authors: Omar Leon Sanchez

Abstract: We give an algebro-geometric first-order axiomatization of DCF$_{0,m}$ (the theory of differentially closed fields of characteristic zero with m commuting derivations) in the spirit of the classical geometric axioms of DCF$_0$. We give an algebro-geometric first-order axiomatization of DCF$_{0,m}$ (the theory of differentially closed fields of characteristic zero with m commuting derivations) in the spirit of the classical geometric axioms of DCF$_0$. △ Less

Submitted 19 July, 2017; v1 submitted 16 January, 2016; originally announced January 2016.

Effective bounds for the consistency of differential equations

Authors: Richard Gustavson, Omar León Sánchez

Abstract: One method to determine whether or not a system of partial differential equations is consistent is to attempt to construct a solution using merely the "algebraic data" associated to the system. In technical terms, this translates to the problem of determining the existence of regular realizations of differential kernels via their possible prolongations. In this paper we effectively compute an impr… ▽ More One method to determine whether or not a system of partial differential equations is consistent is to attempt to construct a solution using merely the "algebraic data" associated to the system. In technical terms, this translates to the problem of determining the existence of regular realizations of differential kernels via their possible prolongations. In this paper we effectively compute an improved upper bound for the number of prolongations needed to guarantee the existence of such realizations, which ultimately produces solutions to many types of systems of partial differential equations. This bound has several applications, including an improved upper bound for the order of characteristic sets of prime differential ideals. We obtain our upper bound by proving a new result on the growth of the Hilbert-Samuel function, which may be of independent interest. △ Less

Submitted 10 November, 2017; v1 submitted 12 January, 2016; originally announced January 2016.

MSC Class: 12H05 (Primary); 14Q20; 35G50 (Secondary)

Some definable Galois theory and examples

Authors: Omar Leon Sanchez, Anand Pillay

Abstract: We make explicit certain results around the Galois correspondence in the context of definable automorphism groups, and point out the relation to some recent papers dealing with the Galois theory of algebraic differential equations when the constants are not "closed" in suitable senses. We also improve the definitions and results on generalized strongly normal extensions. We make explicit certain results around the Galois correspondence in the context of definable automorphism groups, and point out the relation to some recent papers dealing with the Galois theory of algebraic differential equations when the constants are not "closed" in suitable senses. We also improve the definitions and results on generalized strongly normal extensions. △ Less

Submitted 18 July, 2016; v1 submitted 17 November, 2015; originally announced November 2015.

Comments: arXiv admin note: text overlap with arXiv:1309.6330

On bounds for the effective differential Nullstellensatz

Authors: Omar León Sánchez, Alexey Ovchinnikov

Abstract: Understanding bounds for the effective differential Nullstellensatz is a central problem in differential algebraic geometry. Recently, several bounds have been obtained using Dicksonian and antichains sequences (with a given growth rate). In the present paper, we make these bounds more explicit and, therefore, more applicable to understanding the computational complexity of the problem, which is e… ▽ More Understanding bounds for the effective differential Nullstellensatz is a central problem in differential algebraic geometry. Recently, several bounds have been obtained using Dicksonian and antichains sequences (with a given growth rate). In the present paper, we make these bounds more explicit and, therefore, more applicable to understanding the computational complexity of the problem, which is essential to designing more efficient algorithms. △ Less

Submitted 29 August, 2015; originally announced August 2015.

Journal ref: Journal of Algebra 449 (2016) 1-21

On parameterized differential Galois extensions

Authors: Omar Leon Sanchez, Joel Nagloo

Abstract: We prove some existence results on parameterized strongly normal extensions for logarithmic equations. We generalize a result in [Wibmer, Existence of d-parameterized Picard-Vessiot extensions over fields with algebraically closed constants, J. Algebra, 361, 2012]. We also consider an extension of the results in [Kamensky and Pillay, Interpretations and differential Galois extensions, Preprint 201… ▽ More We prove some existence results on parameterized strongly normal extensions for logarithmic equations. We generalize a result in [Wibmer, Existence of d-parameterized Picard-Vessiot extensions over fields with algebraically closed constants, J. Algebra, 361, 2012]. We also consider an extension of the results in [Kamensky and Pillay, Interpretations and differential Galois extensions, Preprint 2014] from the ODE case to the parameterized PDE case. △ Less

Submitted 12 October, 2015; v1 submitted 22 July, 2015; originally announced July 2015.

Journal ref: Journal of Pure and Applied Algebra, 220 (2016) 2549-2563

Effective uniform bounding in partial differential fields

Authors: James Freitag, Omar Leon Sanchez

Abstract: Motivated by the effective bounds of ordinary differential equations, we prove an effective version of uniform bounding for partial differential fields with commuting derivations. More precisely, we provide an upper bound for the size of finite solution sets of partial differential polynomial equations in terms of data explicitly given in the equations and independent of parameters. Our methods al… ▽ More Motivated by the effective bounds of ordinary differential equations, we prove an effective version of uniform bounding for partial differential fields with commuting derivations. More precisely, we provide an upper bound for the size of finite solution sets of partial differential polynomial equations in terms of data explicitly given in the equations and independent of parameters. Our methods also produce an upper bound for the degree of the Zariski closure of solution sets, whether they are finite or not. △ Less

Submitted 27 October, 2015; v1 submitted 31 October, 2014; originally announced November 2014.

MSC Class: 03C60; 12H05; 12H20

The model companion of differential fields with free operators

Authors: Omar Leon Sanchez, Rahim Moosa

Abstract: A model companion is shown to exist for the theory of partial differential fields of characteristic zero equipped with free operators that commute with the derivations. The free operators here are those introduced in [R. Moosa and T. Scanlon, Model theory of fields with free operators in characteristic zero, Preprint 2013]. The proof relies on a new lifting lemma in differential algebra: a differe… ▽ More A model companion is shown to exist for the theory of partial differential fields of characteristic zero equipped with free operators that commute with the derivations. The free operators here are those introduced in [R. Moosa and T. Scanlon, Model theory of fields with free operators in characteristic zero, Preprint 2013]. The proof relies on a new lifting lemma in differential algebra: a differential version of Hensel's Lemma for local finite algebras over differentially closed fields. △ Less

Submitted 8 August, 2014; originally announced August 2014.

MSC Class: 03C60; 12H05; 12L12

Poisson algebras via model theory and differential-algebraic geometry

Authors: Jason Bell, Stéphane Launois, Omar León Sánchez, Rahim Moosa

Abstract: Brown and Gordon asked whether the Poisson Dixmier-Moeglin equivalence holds for any complex affine Poisson algebra; that is, whether the sets of Poisson rational ideals, Poisson primitive ideals, and Poisson locally closed ideals coincide. In this article a complete answer is given to this question using techniques from differential-algebraic geometry and model theory. In particular, it is shown… ▽ More Brown and Gordon asked whether the Poisson Dixmier-Moeglin equivalence holds for any complex affine Poisson algebra; that is, whether the sets of Poisson rational ideals, Poisson primitive ideals, and Poisson locally closed ideals coincide. In this article a complete answer is given to this question using techniques from differential-algebraic geometry and model theory. In particular, it is shown that while the sets of Poisson rational and Poisson primitive ideals do coincide, in every Krull dimension at least four there are complex affine Poisson algebras with Poisson rational ideals that are not Poisson locally closed. These counterexamples also give rise to counterexamples to the classical (noncommutative) Dixmier-Moeglin equivalence in finite $\operatorname{GK}$ dimension. A weaker version of the Poisson Dixmier-Moeglin equivalence is proven for all complex affine Poisson algebras, from which it follows that the full equivalence holds in Krull dimension three or less. Finally, it is shown that everything, except possibly that rationality implies primitivity, can be done over an arbitrary base field of characteristic zero. △ Less

Submitted 18 April, 2015; v1 submitted 3 June, 2014; originally announced June 2014.

Comments: 28 pages; v2: minor changes; accepted for publication in Journal of the European Mathematical Society

The Clifford-Fourier transform $\mathcal{F}_O$ and monogenic extensions

Authors: Arnoldo Bezanilla Lopez, Omar Leon Sanchez

Abstract: Several versions of the Fourier transform have been formulated in the framework of Clifford algebra. We present a (Clifford-Fourier) transform, constructed using the geometric properties of Clifford algebra. We show the corresponding results of operational calculus. We obtain a technique to construct monogenic extensions of a certain type of continuous functions, and versions of the Paley-Wiener t… ▽ More Several versions of the Fourier transform have been formulated in the framework of Clifford algebra. We present a (Clifford-Fourier) transform, constructed using the geometric properties of Clifford algebra. We show the corresponding results of operational calculus. We obtain a technique to construct monogenic extensions of a certain type of continuous functions, and versions of the Paley-Wiener theorems are formulated. △ Less

Submitted 25 May, 2014; originally announced May 2014.

MSC Class: 11E88; 15A66; 30G30

Journal ref: Advances in Applied Clifford Algebras, Vol. 21(4), pp.757-772, 2011

On linear dependence over complete differential algebraic varieties

Authors: James Freitag, Omar Leon Sanchez, William Simmons

Abstract: We extend Kolchin's results on linear dependence over projective varieties in the constants, to linear dependence over arbitrary complete differential varieties. We show that in this more general setting, the notion of linear dependence still has necessary and sufficient conditions given by the vanishing of a certain system of differential polynomials equations. We also discuss some conjectural qu… ▽ More We extend Kolchin's results on linear dependence over projective varieties in the constants, to linear dependence over arbitrary complete differential varieties. We show that in this more general setting, the notion of linear dependence still has necessary and sufficient conditions given by the vanishing of a certain system of differential polynomials equations. We also discuss some conjectural questions around completeness and the catenary problem. △ Less

Submitted 8 July, 2014; v1 submitted 23 January, 2014; originally announced January 2014.

MSC Class: 03C60; 12H05

Contributions to the model theory of partial differential fields

Authors: Omar Leon Sanchez

Abstract: In this thesis three topics on the model theory of partial differential fields are considered: the generalized Galois theory for partial differential fields, geometric axioms for the theory of partial differentially closed fields, and the existence and properties of the model companion of the theory of partial differential fields with an automorphism. The approach taken here to these subjects is t… ▽ More In this thesis three topics on the model theory of partial differential fields are considered: the generalized Galois theory for partial differential fields, geometric axioms for the theory of partial differentially closed fields, and the existence and properties of the model companion of the theory of partial differential fields with an automorphism. The approach taken here to these subjects is to relativize the algebro geometric notions of prolongation and D-variety to differential notions with respect to a fixed differential structure. △ Less

Submitted 24 September, 2013; originally announced September 2013.

Comments: PhD Thesis

On the model companion of partial differential fields with an automorphism

Authors: Omar Leon Sanchez

Abstract: We prove that the class of partial differential fields of characteristic zero with an automorphism has a model companion. We then establish the basic model theoretic properties of this theory and prove that it satisfies the Zilber dichotomy for finite dimensional minimal types. We prove that the class of partial differential fields of characteristic zero with an automorphism has a model companion. We then establish the basic model theoretic properties of this theory and prove that it satisfies the Zilber dichotomy for finite dimensional minimal types. △ Less

Submitted 8 July, 2014; v1 submitted 13 September, 2013; originally announced September 2013.

Relative D-groups and differential Galois theory in several derivations

Authors: Omar Leon Sanchez

Abstract: The Galois theory of logarithmic differential equations with respect to relative D-groups in partial differential-algebraic geometry is developed. The Galois theory of logarithmic differential equations with respect to relative D-groups in partial differential-algebraic geometry is developed. △ Less

Submitted 13 September, 2013; v1 submitted 1 December, 2012; originally announced December 2012.

Corrigendum to the paper: Geometric Axioms for Differentially Closed Fields with Several Commuting Derivations

Authors: Omar Leon Sanchez

Abstract: In the proof of Lemma 2.6 (2) the iteration of the map τ was not performed properly and in fact the lemma is wrong; a counterexample is given by f = \bar{x}_1and k = 2. This error does not, however, affect the geometric characterization given in Theorem 3.4 but only the attempt in Theorem 4.3 to express it as a first-order set of axioms. That attempt is incorrect; the main problem being that in ge… ▽ More In the proof of Lemma 2.6 (2) the iteration of the map τ was not performed properly and in fact the lemma is wrong; a counterexample is given by f = \bar{x}_1and k = 2. This error does not, however, affect the geometric characterization given in Theorem 3.4 but only the attempt in Theorem 4.3 to express it as a first-order set of axioms. That attempt is incorrect; the main problem being that in general τV(f_1,..., f_s) 6= V(f_1..., f_s, τf_1,..., τf_s). But a different, indeed simpler, set of first-order axioms, which we will now describe, does express the geometric characterization. △ Less

Submitted 11 October, 2012; originally announced October 2012.

Comments: .A small error in the paper is corrected

Geometric Axioms for Differentially Closed Fields with Several Commuting Derivations

Authors: Omar Leon Sanchez

Abstract: A geometric first-order axiomatization of differentially closed fields of characteristic zero with several commuting derivations, in the spirit of Pierce-Pillay, is formulated in terms of a relative notion of prolongation for Kolchin-closed sets. A geometric first-order axiomatization of differentially closed fields of characteristic zero with several commuting derivations, in the spirit of Pierce-Pillay, is formulated in terms of a relative notion of prolongation for Kolchin-closed sets. △ Less

Submitted 3 March, 2011; originally announced March 2011.

MSC Class: 03C65; 12H05

Fundamental Theorem of Calculus

Authors: Garret Sobczyk, Omar Leon Sanchez

Abstract: A simple but rigorous proof of the Fundamental Theorem of Calculus is given in geometric calculus, after the basis for this theory in geometric algebra has been explained. Various classical examples of this theorem, such as the Green's and Stokes' theorem are discussed, as well as the new theory of monogenic functions, which generalizes the concept of an analytic function of a complex variable t… ▽ More A simple but rigorous proof of the Fundamental Theorem of Calculus is given in geometric calculus, after the basis for this theory in geometric algebra has been explained. Various classical examples of this theorem, such as the Green's and Stokes' theorem are discussed, as well as the new theory of monogenic functions, which generalizes the concept of an analytic function of a complex variable to higher dimensions. △ Less

Submitted 25 September, 2008; originally announced September 2008.

Comments: 11 pages, 2 figures

MSC Class: 32A26; 58A05; 58A10; 58A15