Abstract
AbstractWe construct a general framework for tropical differential equations based on idempotent semirings and an idempotent version of differential algebra. Over a differential ring equipped with a non-archimedean norm enhanced with additional differential information, we define tropicalization of differential equations and tropicalization of their solution sets. This framework includes rings of interest in the theory of p-adic differential equations: rings of convergent power series over a non-archimedean normed field. The tropicalization records the norms of the coefficients. This gives a significant refinement of Grigoriev’s framework for tropical differential equations. We then prove a differential analogue of Payne’s inverse limit theorem: the limit of all tropicalizations of a system of differential equations is isomorphic to a differential variant of the Berkovich analytification.
Funder
Max Planck Institute for Mathematics in the Sciences
Publisher
Springer Science and Business Media LLC
Reference26 articles.
1. Aroca, F., Garay, C., Toghani, Z.: The fundamental theorem of tropical differential algebraic geometry. Pac. J. Math. 283(2), 257–270 (2016)
2. Baker, M., Bowler, N.: Matroids over partial hyperstructures. Adv. Math. 343, 821–863 (2019)
3. Bertram, A., Easton, R.: The tropical Nullstellensatz for congruences. Adv. Math. 308, 36–82 (2017)
4. Cotterill, E., Cristhian G., and Johana L.: Exploring tropical differential equations. arXiv:2012.14067 (2020)
5. Crowley, C., Giansiracusa, N., Mundinger, J.: A module-theoretic approach to matroids. J. Pure Appl. Algebra 224(2), 894–916 (2020)