The theory of exponential differential equations
This thesis is a model-theoretic study of exponential differential equations in the context of differential algebra. I define the theory of a set of differential equations and give an axiomatization for the theory of the exponential differential equations of split semiabelian varieties. In particula...
| 主要作者: | |
|---|---|
| 格式: | Thesis |
| 出版: |
University of Oxford;Mathematical Institute
2006
|
| _version_ | 1826312276187021312 |
|---|---|
| author | Kirby, P |
| author_facet | Kirby, P |
| author_sort | Kirby, P |
| collection | OXFORD |
| description | This thesis is a model-theoretic study of exponential differential equations in the context of differential algebra. I define the theory of a set of differential equations and give an axiomatization for the theory of the exponential differential equations of split semiabelian varieties. In particular, this includes the theory of the equations satisfied by the usual complex exponential function and the Weierstrass p-functions. The theory consists of a description of the algebraic structure on the solution sets together with necessary and sufficient conditions for a system of equations to have solutions. These conditions are stated in terms of a dimension theory; their necessity generalizes Ax’s differential field version of Schanuel’s conjecture and their sufficiency generalizes recent work of Crampin. They are shown to apply to the solving of systems of equations in holomorphic functions away from singularities, as well as in the abstract setting. The theory can also be obtained by means of a Hrushovski-style amalgamation construction, and I give a category-theoretic account of the method. Restricting to the usual exponential differential equation, I show that a “blurring” of Zilber’s pseudo-exponentiation satisfies the same theory. I conjecture that this theory also holds for a suitable blurring of the complex exponential maps and partially resolve the question, proving the necessity but not the sufficiency of the aforementioned conditions. As an algebraic application, I prove a weak form of Zilber’s conjecture on intersections with subgroups (known as CIT) for semiabelian varieties. This in turn is used to show that the necessary and sufficient conditions are expressible in the appropriate first order language. |
| first_indexed | 2024-03-07T08:25:07Z |
| format | Thesis |
| id | oxford-uuid:b3fdaff3-9253-4efe-a3ff-400c7b4c7db0 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T08:25:07Z |
| publishDate | 2006 |
| publisher | University of Oxford;Mathematical Institute |
| record_format | dspace |
| spelling | oxford-uuid:b3fdaff3-9253-4efe-a3ff-400c7b4c7db02024-02-12T11:42:50ZThe theory of exponential differential equationsThesishttp://purl.org/coar/resource_type/c_db06uuid:b3fdaff3-9253-4efe-a3ff-400c7b4c7db0Mathematical Institute - ePrintsUniversity of Oxford;Mathematical Institute2006Kirby, PThis thesis is a model-theoretic study of exponential differential equations in the context of differential algebra. I define the theory of a set of differential equations and give an axiomatization for the theory of the exponential differential equations of split semiabelian varieties. In particular, this includes the theory of the equations satisfied by the usual complex exponential function and the Weierstrass p-functions. The theory consists of a description of the algebraic structure on the solution sets together with necessary and sufficient conditions for a system of equations to have solutions. These conditions are stated in terms of a dimension theory; their necessity generalizes Ax’s differential field version of Schanuel’s conjecture and their sufficiency generalizes recent work of Crampin. They are shown to apply to the solving of systems of equations in holomorphic functions away from singularities, as well as in the abstract setting. The theory can also be obtained by means of a Hrushovski-style amalgamation construction, and I give a category-theoretic account of the method. Restricting to the usual exponential differential equation, I show that a “blurring” of Zilber’s pseudo-exponentiation satisfies the same theory. I conjecture that this theory also holds for a suitable blurring of the complex exponential maps and partially resolve the question, proving the necessity but not the sufficiency of the aforementioned conditions. As an algebraic application, I prove a weak form of Zilber’s conjecture on intersections with subgroups (known as CIT) for semiabelian varieties. This in turn is used to show that the necessary and sufficient conditions are expressible in the appropriate first order language. |
| spellingShingle | Kirby, P The theory of exponential differential equations |
| title | The theory of exponential differential equations |
| title_full | The theory of exponential differential equations |
| title_fullStr | The theory of exponential differential equations |
| title_full_unstemmed | The theory of exponential differential equations |
| title_short | The theory of exponential differential equations |
| title_sort | theory of exponential differential equations |
| work_keys_str_mv | AT kirbyp thetheoryofexponentialdifferentialequations AT kirbyp theoryofexponentialdifferentialequations |