The Fundamental theorem of tropical differential algebra over nontrivially valued fields and the radius of convergence of nonarchimedean differential equations
Fuente:
arXiv
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2023
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866914477621903360 |
|---|---|
| author | Gallinaro, Francesco Mereta, Stefano |
| author_facet | Gallinaro, Francesco Mereta, Stefano |
| contents | We prove a fundamental theorem for tropical partial differential equations, analogous to the fundamental theorem of tropical geometry in this context. We extend results from Aroca et al., Falkensteiner et al. and from Fink and Toghani for the case of trivial valuation as introduced by Grigoriev to differential equations with power series coefficients over any valued field. Crucial ingredients are the framework for tropical partial differential equations introduced by Giansiracusa and Mereta and a result on infinite intersections of projections of fibers of tropicalizations, which we prove using Hrushovski and Loeser's model-theoretic interpretation of Berkovich analytification. As a corollary of the fundamental theorem, we show that the radius of convergence of solutions of an ordinary differential equation over a nontrivially valued field can be computed tropically. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2303_12124 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | The Fundamental theorem of tropical differential algebra over nontrivially valued fields and the radius of convergence of nonarchimedean differential equations Gallinaro, Francesco Mereta, Stefano Algebraic Geometry Commutative Algebra Rings and Algebras We prove a fundamental theorem for tropical partial differential equations, analogous to the fundamental theorem of tropical geometry in this context. We extend results from Aroca et al., Falkensteiner et al. and from Fink and Toghani for the case of trivial valuation as introduced by Grigoriev to differential equations with power series coefficients over any valued field. Crucial ingredients are the framework for tropical partial differential equations introduced by Giansiracusa and Mereta and a result on infinite intersections of projections of fibers of tropicalizations, which we prove using Hrushovski and Loeser's model-theoretic interpretation of Berkovich analytification. As a corollary of the fundamental theorem, we show that the radius of convergence of solutions of an ordinary differential equation over a nontrivially valued field can be computed tropically. |
| title | The Fundamental theorem of tropical differential algebra over nontrivially valued fields and the radius of convergence of nonarchimedean differential equations |
| topic | Algebraic Geometry Commutative Algebra Rings and Algebras |
| url | https://arxiv.org/abs/2303.12124 |