The Fundamental Theorem of Tropical Differential Algebraic Geometry
Fuensanta Aroca, Cristhian Garay, Zeinab Toghani

TL;DR
This paper extends the fundamental theorem of tropical algebraic geometry to differential algebra, proving an analogous equality between the tropicalization of solution sets and the solution sets of tropicalized differential ideals.
Contribution
It establishes a tropical fundamental theorem for differential algebraic geometry, linking solution sets of differential ideals with their tropical counterparts.
Findings
Proves the equality $ ext{trop}( ext{Sol}(G))= ext{Sol}( ext{trop}(G))$ for differential ideals.
Answers a recent question by D. Grigoriev on tropical differential algebraic geometry.
Extends classical tropical geometry results to the differential algebra setting.
Abstract
Let be an ideal of the ring of Laurent polynomials with coefficients in a real-valued field . The fundamental theorem of tropical algebraic geometry states the equality between the tropicalization of the closed subscheme and the tropical variety associated to the tropicalization of the ideal . In this work we prove an analogous result for a differential ideal of the ring of differential polynomials , where is an uncountable algebraically closed field of characteristic zero. We define the tropicalization of the set of solutions of , and the set of solutions associated to the tropicalization of the ideal . These two…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
