Show simple item record

dc.contributor.authorLeon Sanchez, Omar 15:35:01 (GMT) 15:35:01 (GMT)
dc.description.abstractIn 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. It is shown that every differential algebraic group which is not of maximal differential type is definably isomorphic to the sharp points of a relative D-group. Pillay's generalized finite dimensional differential Galois theory is extended to the possibly infinite dimensional partial setting. Logarithmic differential equations on relative D-groups are discussed and the associated differential Galois theory is developed. The notion of generalized strongly normal extension is naturally extended to the partial setting, and a connection betwen these extensions and the Galois extensions associated to logarithmic differential equations is established. A geometric characterization, in the spirit of Pierce-Pillay, for the theory DCF_{0,m+1} (differentially closed fields of characteristic zero with m+1 commuting derivations) is given in terms of the differential algebraic geometry of DCF_{0,m} using relative prolongations. It is shown that this characterization can be rephrased in terms of characteristic sets of prime differential ideals, yielding a first-order geometric axiomatization of DCF_{0,m+1}. Using the machinery of characteristic sets of prime differential ideals it is shown that the theory of partial differential fields with an automorphism has a model companion. Some basic model theoretic properties of this theory are presented: description of its completions, supersimplicity and elimination of imaginaries. Differential-difference modules are introduced and they are used, together with jet spaces, to establish the canonical base property for finite dimensional types, and consequently the Zilber dichotomy for minimal finite dimensional types.en
dc.publisherUniversity of Waterlooen
dc.subjectModel theoryen
dc.subjectDifferential algebraen
dc.titleContributions to the model theory of partial differential fieldsen
dc.typeDoctoral Thesisen
dc.subject.programPure Mathematicsen Mathematicsen
uws-etd.degreeDoctor of Philosophyen

Files in this item


This item appears in the following Collection(s)

Show simple item record


University of Waterloo Library
200 University Avenue West
Waterloo, Ontario, Canada N2L 3G1
519 888 4883

All items in UWSpace are protected by copyright, with all rights reserved.

DSpace software

Service outages