Arxiv:2012.14067V3 [Math.AG] 29 Apr 2021

EXPLORING TROPICAL DIFFERENTIAL EQUATIONS

ETHAN COTTERILL, CRISTHIAN GARAY LOPEZ,´ AND JOHANA LUVIANO

Abstract. The purpose of this paper is fourfold. The first is to develop the theory of tropical differential algebraic geometry from scratch; the second is to present the tropical fundamental theorem for differential algebraic geometry, and show how it may be used to extract combinatorial information about the set of power series solutions to a given system of differential equations, both in the archimedean (complex analytic) and in the non-archimedean (e.g., p- adic) settings. A third and subsidiary aim is to show how tropical differential algebraic geometry is a natural application of semiring theory, and in so doing, contribute to the valuative study of differential algebraic geometry. Finally, the methods we have used in formulating and proving the fundamental theorem reveal new examples of non-classical valuations that merit further study in their own right.

1. Introduction Solving systems of differential equations is in general a difficult task. Indeed, the results of [5] imply that computing formal power series solutions to systems of algebraic partial differential equations with (complex) formal power series coefficients is algorithmically impossible. On the other hand, the rapidly-evolving area of tropical differential algebraic geometry, introduced in [14], provides an algebraic framework for recording precise combinatorial information about the set of formal power series solutions to systems of differential equations. The foundation of this tropical theory is an analogue of the tropical fundamental theorem (itself a tropical analogue of the classical Nullstellensatz) adapted to the differential-algebraic context. A tropical fundamental theorem in its basic form refers to a correspondence between tropicalizations of geometric objects on one side and tropicalizations of algebraic objects on the other; and constructing such correspondences is the primary impetus for the application of tropical methods in commutative algebra. By tropi- arXiv:2012.14067v3 [math.AG] 29 Apr 2021 calization we mean schemes (R, S, v) in the sense of [12, 16], in which R is a commutative ring (possibly endowed with some extra structure), S is a commutative (additively idempotent) semiring, and v : R → S is a map that satisfies the usual properties of a (quasi)valuation. We are typically interested in the set of algebraic solutions Sol(Σ) of a system of algebraic equations Σ ⊂ R0 for some R-algebra R0. Whenever the tropicalization v(Sol(Σ)) of Sol(Σ) coincides with the solution set

Date: April 30, 2021. 2020 Mathematics Subject Classification. 13N99, 14T10, 13P15, 52B20. Key words and phrases. Differential algebra, tropical geometry, power series, Newton polygons, initial forms. The first author was supported by CONACYT through Project 299261. 1 2 ETHAN COTTERILL, CRISTHIAN GARAY LOPEZ,´ AND JOHANA LUVIANO

Sol(v(Σ)) of the tropicalization v(Σ) of the original system, we say that a tropical fundamental theorem holds in this context. Historically, the first tropical fundamental theorem (“Kapranov’s theorem”) was for very affine varieties over valued fields, in which the tropicalization scheme (R, S, v) has valuation v : K → R ∪ {−∞} of rank at most one, the R-algebra 0 ±1 ±1 R is equal to F [x1 , . . . , xn ] for some algebraic field extension F/K, and Sol(Σ) is the Zariski-closed set defined by Σ. In the differential-algebraic setting, the first tropical fundamental theorem proved was for systems of ordinary differential algebraic equations over rings of formal power series; this is the main result of [1]. In this case, the valued ring that underlies the tropicalization scheme is R = K[[t]], where K is an uncountable, algebraically closed field of characteristic zero; the R-algebra R0 is equal to the ring of ordinary differential polynomials K[[t]]{x1, . . . , xn}; and the Sol(Σ) are power series solution sets to systems of ordinary differential equations Σ. This tropical fundamental theorem was subsequently generalized to systems of partial differential equations in [6]. There is a third characterization of tropical varieties in terms of initial ideals; see, [18, Thm 3.2.5]. In [10, Lem 2.6] its analogue was stated for systems of ordinary differential equations; and in [7, Thm 9.6], the latter result was generalized to the partial differential setting. This partial fundamental theorem gives three equivalent characterizations of the tropical DA varieties that arise as support sets of solutions to systems of algebraic differential equations; here DA stands for differential algebraic. It is the most important result in the area to date, as it opens the door to applying tropical methods to a broad array of problems in differential algebraic geometry. In this note, we reframe tropical differential algebraic geometry in general, and the tropical fundamental theorem in particular, within a theory of generalized valuations for semirings. In general, we are forced to work with non-classical valuations, in which there is no total order on (differential monomials of) the target idempotent semiring; indeed, our methods fall under the umbrella of what is often referred to as tropical geometry in rank greater than one, valuations (of rank one) with values in totally ordered abelian monoids comprising the classical situation. We single out a number of non-classical valuations that may be worthy of further study. Our work also represents an important first step in the systematic valuative study of support and tropicalization maps; and we discuss potential applications of the fundamental theorem to algebraic differential equations, in both the archimedean and non-archimedean settings. The main protagonists here are certain vertex polynomials, whose (finite) supports determine the Newton polyhedra of (infinite) power series, and the semiring V B[T ] they determine. The idempotent semiring V B[T ] is the target of our tropical valuation on K[[T ]], and it has many useful properties. Crucially, we show that it is integral, which enables us to extend our valuative theory from K[[T ]] to its quotient field K((T )); to naturally distinguish a ring of integers K[[T ]] ⊂ K((T ))◦ ⊂ K((T )) analogous to the valuation ring of a classical valuation; and to formulate geometric translation maps that underlie a robust theory of initial forms associated to fixed choices of weight vectors. EXPLORING TROPICAL DIFFERENTIAL EQUATIONS 3

1.1. Roadmap. The remainder of the paper following this introduction is orga- nized as follows. Section 2 is an introduction to differential algebraic geometry over (formal) power series semirings. The differential structures of semirings of differential polynomials are codified by natural Nm-actions, where m is the number of derivatives. These are slightly more elegant to formulate within the framework of semirings of twisted polynomials that we introduce in Section 2.2. In section 3, we introduce tropical differential equations and their associated tropical power series solutions; and in Example 3.6 we illustrate explicitly how these two concepts work together. Solutions are “corner loci” of vertex polynomials; see Definition 3.5 for a formal statement. In section 4, we study V B[T ], which we construct as a quotient of boolean power series by a semiring congruence. Lemma 4.2 establishes that this construction agrees with the semiring of vertex sets previously studied in [6]. Proposition 4.4 explicitly recasts solutions to tropical differential equations in the sense of Definition 3.5 in terms of algebraic properties of vertex polynomials. In subsection 4.1, we introduce a refinement of the natural order structure on vertex polynomials, based upon the concept of relevancy; see Definition 4.8. This refinement allows us to recover some useful features of Krull valuations in the non-Krull case. Subsection 4.2, on the other hand, is a more detailed study of vertex polynomials through the lens of (Newton) polyhedra. Propositions 4.11, 4.12, and 4.13 establish structural results for vertex sets, and their behavior under unions and Minkowski sums. We also m m examine how V B[T ] relates to the semiring PZ of lattice polytopes in Z studied in [16]. In section 5, we introduce quasivaluations for algebras defined over a field K with targets in semirings, support series over the boolean semifield B for K-formal power series, and support vectors for solutions to systems of tropical algebraic differential equations. A key technical fact, established in Theorem 5.6, whose proof we defer to Appendix 8.2, is that the support maps sp : K[[T ]] → B[[T ]] are nondegenerate quasivaluations that commute with the respective differentials of K[[T ]] and B[[T ]]. We further show in Theorem 5.3 that composing the support maps with the canonical projections B[[T ]] → V B[T ] yields nondegenerate valuations trop : K[[T ]] → V B[T ]; that is, the quasivaluations trop are in fact multiplicative. It follows that our tropicalization scheme for differential algebraic geometry is a differential enhancement in the sense of [12] of classical tropicalization. In Definition 5.9, we reconstruct the initial forms of [7] in terms of quasivaluations and the relevancy relation introduced in section 4. In section 6, we introduce tropical DA varieties and we present our fundamental theorem 6.7 of tropical differential algebraic geometry, which characterizes these varieties in three distinct ways. While Theorem 6.7 was previously proved in [6], our approach is novel and emerges naturally from the theory developed in the preceding sections. Thinking of tropical DA varieties as the supports of power series solutions associated to differential ideals of K[[T ]], it is likewise natural to ask for an analogue of Theorem 6.7 for (differential ideals of) the quotient field K((T )). In section 7, we extend the valuative theory of section 5 from K[[T ]] to K((T )). The key technical ingredient is Proposition 7.1, which establishes that the semiring V B[T ] of vertex polynomials is integral, so canonically injects in its semiring of fractions V B(T ). In Theorem 7.7, we produce K((T ))-analogues of two of the three 4 ETHAN COTTERILL, CRISTHIAN GARAY LOPEZ,´ AND JOHANA LUVIANO characterizations of tropical DA varieties in Theorem 6.7; namely, as a set of weight vectors w ∈ B[[T ]] that define monomial-free initial differential ideals, and as a set of (coordinatewise) supports of solutions, associated to a given system of algebraic differential equations. Theorem 7.8, meanwhile, generalizes a result of [11] that when m = 1 describes tropical bases of differential ideals with respect to prescribed support vectors in B[[T ]]n to the case of arbitrary m. Subsection 7.1 is devoted to initial degenerations defined by weight vectors w ∈ B[[T ]]n, which are the geometric counterparts of ideals of initial forms. The tropical valuation trop : K[[T ]] → V B[T ] introduced in section 5 extends naturally to a valuation trop : K((T )) → V B(T ), which in turn enables us to single out a distinguished ring of integers K((T ))◦ ⊂ K((T )). For every weight vector w ∈ B[[T ]]n, we define a “translation” by w specified explicitly by (18) that sends differential polynomials over K((T )) to differential polynomials over K((T ))◦. Translating differential ideals by weight vectors, we obtain algebraic specialization maps that relate differential ideals to their initial forms, modulo a flatness hypothesis. In section 8 we discuss computational aspects of tropical DA varieties, and we highlight several outstanding problems of valuation-theoretic and polyhedral na- ture. In the final subsection 8.2 we explain how to evaluate a particular tropical differential polynomial P , and we describe a general strategy for computing the solution set of any P . 1.2. Conventions. Outside of Section 2.2, every algebraic structure considered here will be commutative. We let N denote the semiring of natural numbers (in- cluding 0) endowed with the usual operations. Given a nonzero natural number m, we let {e1, . . . , em} denote the usual basis of the free commutative N-module m m N . Given multi-indices I = (i1, . . . , im) and J = (j1, . . . , jm) ∈ N , we set m kIk∞ := max{i1, . . . , im} = max(I) and J − I := (j1 − i1, . . . , jm − im) ∈ Z . m Given any tuple T = (t1, . . . , tm) and any multi-index I = (i1, . . . , im) ∈ N , we I i1 im let T denote the formal monomial t1 ··· tm . Finally, whenever A is a subset of Nm, we set A − I := {J − I : J ∈ A}.

2. Differential algebraic geometry over power series semirings In this section, we develop the algebraic architecture that underlies the tropical approach to (differential) algebraic geometry. Here the basic objects of study are semirings. Recall that a semiring is an algebraic structure which satisfies all the axioms of rings, possibly with the exception of the existence of additive inverses. Semirings comprise a category, namely that of N-algebras, that is a proper enlarge- ment of the category of rings. The monograph [13] is a good reference for the general theory of semirings. Throughout this section, S = (S, +, ×, 0, 1) will denote a commutative semiring with additive and multiplicative units 0 and 1, respectively. For tropical differential algebraic geometry, the central objects of study are differential polynomials with coefficients in a power series semiring, which generalize in a straightforward way the differential polynomials with coefficients in a differential field studied in [19]. Algebraic differential equations in the traditional ring-theoretic sense are the zero loci of differential polynomials; unfortunately, as we shall see later, simply allowing all coefficients to belong to an arbitrary semiring S results in an unsatisfactory theory of tropical differential equations. EXPLORING TROPICAL DIFFERENTIAL EQUATIONS 5

Definition 2.1. The semiring S[[T ]] := (S[[T ]], +, ×, 0, 1) of formal power series with coefficients in S in the variables t1, . . . , tm is the set X I m S[[T ]] := a = aI T : ∅ ⊆ A ⊆ N , aI ∈ S I∈A endowed with the usual operations of term-wise sum and convolution product. P I P I P That is, given a = I∈A aI T and b = I∈B bI T , we have a + b = I∈A∪B(aI + I P P I bI )T and ab = I∈A+B( J+K=I aJ bK )T . m P I We let Supp(a) denote the subset of the index set A ⊆ N in a = I∈A aI T m whose associated coefficients aI are nonzero; this is the support of a. Given A ⊆ N , P I we let σS(A) denote the series I∈A T in S[[T ]]. Next we introduce differential polynomials with coefficients in S[[T ]]; these are sums of differential monomials, where by an n-variable differential monomial we m mean any monomial in the differential variables {xi,J : 1 ≤ i ≤ n, J ∈ N }, where n and m are nonzero natural numbers. The order of xi,J is kJk∞, so a differential monomial of order less than or equal to r ∈ N is any expression of the form

Y mi,J (1) E := xi,J . 1≤i≤n ||J||∞≤r Alternatively, we may specify the differential monomial (1) using the array M := n×(r+1)m (mi,J ) ∈ N , in which case we write E = EM . Definition 2.2. A differential polynomial with coefficients in S[[T ]] is a finite sum X (2) P = aMi EMi i of scalar multiples of differential monomials EMi as in (1) with nonzero coefficients aMi ∈ S[[T ]]. Definition 2.3. The semiring of differential polynomials with coefficients in S[[T ]] m is S[[T ]][xi,J : 1 ≤ i ≤ n, J ∈ N ], endowed with the usual operations of term-wise addition and convolution product of polynomials. The element P in (2) is ordinary if m = 1 and partial otherwise. Our next task is to equip these semirings with a differential structure. 2.1. Differential semirings. Definition 2.4. A map d :S → S is a derivation if it is linear and satisfies the Leibniz rule with respect to products of elements in S. A differential semiring is a pair (S,D) consisting of a semiring S together with a finite collection D of derivations on S that commute pairwise. The usual definition of partial derivations in a ring of formal power series with ring coefficients extends easily to the semiring coefficient case. Namely, given a ∈ m S \{0}, I = (i1, . . . , im) ∈ N and j = 1, . . . , m, we set  i aT I−ej if i 6= 0; and  j j (3) ∂ (aT I ) := ∂tj 0, otherwise. 6 ETHAN COTTERILL, CRISTHIAN GARAY LOPEZ,´ AND JOHANA LUVIANO

That (3) is well-defined follows from the way in which N acts on S. Leibniz implies ∂ I J I ∂ J J ∂ I ∂ P I P ∂ I that (aT bT ) = aT (bT )+bT (aT ); so ( aI T ) = (aI T ) ∂tj ∂tj ∂tj ∂tj I I ∂tj ∂ ∂ defines a derivation on S[[T ]]. The pair Sm := (S[[T ]],D = { ,..., }) is the ∂t1 ∂tm differential semiring of formal power series in T = (t1, . . . , tm) with S-coefficients. ∂ m We now extend each derivation from S[[T ]] to S[[T ]][xi,J : 1 ≤ i ≤ n, J ∈ N ] ∂ti ∂ by setting xk,J = xk,J+ei . We denote the resulting pair (S[[T ]][xi,J : 1 ≤ i ≤ ∂ti m n, J ∈ N ],D) by either S[[T ]]{x1, . . . , xn} or Sm,n.

We further declare S0,0 to be the trivial diﬀerential semiring (S,D = {0}), Sm,0 := Sm, and that S0,n := (S{x1, . . . , xn},D). The inclusion Sa,b ⊂ Sc,d is an extension of diﬀerential semirings whenever 0 ≤ a ≤ c and 0 ≤ b ≤ d.

The following map is the key to interpreting elements of Sm,n as diﬀerential equations with coeﬃcients in S.

Definition 2.5. Given a differential semiring (S, D = {d1, . . . , dm}), let Θ(S,D) : m N → End(S) denote the N-module action in which ei acts as di. That is, the endo- m j1 jm morphism of S corresponding to (j1, . . . , jm) = J ∈ N is Θ(S,D)(J) := d1 ··· dm . Whenever there is no risk of confusion, we will write Θ(J) in place of Θ(S,D)(J). Each differential monomial E as in (1) singles out an evaluation map E : S[[T ]]n → m S[[T ]], as the indices J ∈ N of the variables xi,J of our differential polynomials encode the map ΘSm (J) : S[[T ]] → S[[T ]]. It is given explicitly by

(4) P j mi,J ∂ i i (a ) Y mi,J Y i a = (a1, . . . , an) 7→ E(a) := (ΘS (J)ai) = . m j1 jm 1≤i≤n 1≤i≤n ∂t1 ··· ∂tm kJk∞≤r kJk∞≤r The assignment (4) extends by linearity to yield an evaluation map P : S[[T ]]n → n S[[T ]] for every P ∈ Sm,n; and deciding when a ∈ S[[T ]] should be deemed a solution of P will depend on the evaluation P (a). We will see later that the precise deﬁnition of solution we adopt will also depend on the type of the base semiring S under consideration.

m Remark 2.6. Let ΘSm,n : N → Sm,n denote the corresponding N-module action m of N on Sm,n. Because Sm,0 ⊂ Sm,n is an extension of differential semirings, it follows from (4) that differentiation of differential polynomials commutes with evaluation, i.e., given P ∈ Sm,n, we have n m (ΘSm,n (J)P )(a) = ΘSm (J)(P (a)) for every a ∈ S[[T ]] and J ∈ N .

In the next subsection we will promote the action Θ(S,D) to an action of semirings. 2.2. Intermezzo: the semiring of twisted polynomials. In this subsection, we explain how to adapt differential polynomials to the semiring-theoretic context using differential modules over differential semirings. The resulting formalism is at a piece with contemporary presentations of differential algebra; see, e.g., [17]. To begin, recall from [13, Ch.14] that modules over a (not-necessarily commutative) semiring S are pairs (M, ·) consisting of a commutative monoid M = (M, +, 0M ) together with a scalar multiplication · :S × M → M that satisfies the EXPLORING TROPICAL DIFFERENTIAL EQUATIONS 7 usual axioms for modules over rings, along with the additional requirement that s · 0M = 0M = 0R · m for every s ∈ S and m ∈ M. Similarly, the definition of differential modules over a differential semiring is an adaptation of the usual definition for differential rings. We will focus on the case of Sm = (S[[T ]],D).

Deﬁnition 2.7. A diﬀerential module over Sm is a pair (M,DM) in which M is a module over S[[T ]] equipped with additive maps DM = {δ1, . . . , δm} for which ∂a δi(a · m) = a · δi(m) + · m for every a ∈ S[[T ]], m ∈ M. ∂ti

Deﬁnition 2.8. The semiring of twisted polynomials S[[T ]]{d1, . . . , dm} is the ad- L I I i1 im ditive semigroup m S[[T ]]·D , where D = d ··· d , and in which we impose I∈N 1 m the following rules for the product: ∂a (1) dia = adi + for every a ∈ S[[T ]]; and ∂ti (2) didj = djdi for every i, j = 1, . . . , m.

Via the semiring of twisted polynomials S[[T ]]{d1, . . . , dm}, we may identify the category of diﬀerential modules over Sm with the category of left S[[T ]]{d1, . . . , dm}- modules. Indeed, we have an action of S[[T ]]{d1, . . . , dm} on (M,DM) for which di acts as δi; so S[[T ]]{d1, . . . , dm} acts on Sm,n and its diﬀerential sub-semiring Sm ∂ with di acting as . In this way, we recover the actions ΘS and ΘS described ∂ti m,n m in the preceding subsection.

3. Tropical differential equations and their solutions In this section we introduce tropical differential polynomials and the formal power series solutions to the tropical differential equations they define. In practice, this means applying the constructions of section 2 to the case in which S is the boolean semiring B = ({0, 1}, +, ×). Here × denotes the usual product, while a + b = 1 whenever a or b is nonzero.

Most of these concepts were introduced in [6] using subsets of Nm; here we reframe them using the language of formal power series in order to maximize their proximity to their classical counterparts (see Remark 3.1). We refer the curious to the simple example 3.6, or to the worked example in section 8.2 to see how these concepts apply in practice. A semiring S is additively idempotent if a + a = a for all a ∈ S, and the category of idempotent semirings is precisely the category of B-algebras. Thus the semiring structure map N → S factors through the idempotent semiring structure map B → S via the (unique) homomorphism N → B. Hereafter, any reference to an idempotent semiring means one that is additively idempotent.

Fix an integer m ≥ 1. The semiring B[[T ]] = (B[[T ]], +, ×, 0, 1) of formal power series in the variables t1, . . . , tm with B-coeﬃcients is X I m B[[T ]] = a = T : ∅ ⊆ A ⊆ N I∈A P I P I P I in which a + b = I∈A∪B T and ab = I∈A+B T for every a = I∈A T and P I b = I∈B T . 8 ETHAN COTTERILL, CRISTHIAN GARAY LOPEZ,´ AND JOHANA LUVIANO

∂ ∂ Recall that m = ( [[T ]],D), where D = { ,..., } is the set of partial B B ∂t1 ∂tm m derivations; in particular, for every J ∈ N , the map ΘBm (J): B[[T ]] → B[[T ]] sends a = P T I to the series Θ (J)a = P T I , where I∈A Bm I∈(A−J)≥0

(5) (A − J)≥0 := {(i1, . . . , im) ∈ A − J | i1, . . . , im ≥ 0} . Indeed, this follows from the fact that the action of N used to define (3) factors through the structure map B → S. Remark 3.1. Let P(Nm) denote the idempotent semiring whose elements are subsets of Nm, in which the sum A + B := A ∪ B is the union of sets and the product AB := {I + J : I ∈ A, J ∈ B} is the Minkowski product. We use (5) to equip P(Nm) with a Nm-action that makes P(Nm) a differential semiring; in so doing, the support map Supp : (B[[T ]],D) −→ (P(Nm),D) becomes an isomorphism of differential semirings with inverse A 7→ σB(A). It is worth noting here that P I m although a = I∈A T ∈ B[[T ]] and A ∈ P(N ) determine one another, they are distinct objects. However, we will see that the representation given by the support set in P(Nm) is more suitable for computations; see, e.g., the concrete description of the support (A − J)≥0 of ΘBm (J)a in (21).

Our aim is now to use the elements of the semiring Bm,n = (B[[T ]][xi,J : 1 ≤ i ≤ n, J ∈ Nm],D) of differential polynomials with coefficients in B[[T ]] to define tropical differential equations. This requires a bit of care, however, inasmuch as directly copying the definition operative in the ring-theoretic setting produces incomplete P n results. Indeed, given P = aMi EMi in Bm,n, the only elements a ∈ B[[T ]] i P whose P -evaluations using (4) satisfy P (a) = i aMi EMi (a) = 0 are such that

EMi (a) = 0 for every i. So we will have to work harder in order to produce a useful definition of solutions. For this purpose, we will require the following basic concepts from convex geometry. A polyhedron P is the intersection of finitely many affine halfspaces in Rm, and it is a polytope whenever it is bounded. A (proper) face of the polyhedron P is the intersection of P with a hyperplane H that contains P in one of its two halfspaces. We let V(P ) denote the set of zero-dimensional faces of P ; these comprise the vertices of P . We let Conv(A) denote the convex hull of a set A ⊂ Nm. A polyhedron P is integral if P = Conv(P ∩ Zm). Definition 3.2. Given A ⊂ Nm, its Newton polyhedron New(A) is the convex hull m m 0 of the set {I + J : I ∈ A, J ∈ N } ⊆ R≥0. We say that A ⊆ A is a spanning set whenever New(A0) = New(A).

Theorem 3.3 (See [6]). Every A ⊂ Nm has a minimal spanning set (that is unique with respect to inclusions of sets). This unique spanning set is precisely the vertex set V(New(A)) of the polyhedron P I New(A); in particular, it is finite. Given a = I∈A T in B[[T ]] we let V (a) := P I I∈V(New(A)) T denote the vertex polynomial of a (we use “polynomial” as its support V(New(A)) is finite). P I Remark 3.4. The Newton polyhedron New(a) of a = I∈A T in B[[T ]] is the m convex hull of aωm, where ωm ∈ B[[T ]] is the unique series with support N . Theo- rem 3.3 should be viewed as a polyhedral analogue of Dickson’s finiteness-of-basis lemma for monomial ideals. Indeed, V (a) is always contained in the minimal basis EXPLORING TROPICAL DIFFERENTIAL EQUATIONS 9 for the monomial ideal generated by the monomial terms of a, though the inclusion may be strict in general. We now have all of the ingredients necessary to construct solutions of tropical differential polynomials. The following definition differs slightly from that presented originally in [6], but it is equivalent and has the advantage of being less technical. n P Definition 3.5. An element a ∈ B[[T ]] is a solution of i aMi EMi = P ∈ Bm,n if for every monomial T I appearing in V (P (a)), there are at least two distinct I terms aMk EMk and aM` EM` of P for which T appears in both V (aMk EMk (a)) and V (aM` EM` (a)).

It is worth noting that to verify whether an n-tuple a = (a1, . . . , an) of (a priori infinite) boolean power series satisfies the tropical differential equation determined by a differential polynomial P ∈ Bm,n, only a finite number of conditions need to be checked. We let Sol(P ) ⊂ B[[T ]]n denote the set of solutions of P ; more generally, given any collection Σ ⊂ Bm,n of tropical differential polynomials, we let Sol(Σ) denote the set of solutions common to all P ∈ Σ. A natural question that arises is how the tropical vanishing condition introduced in Definition 3.5 compares with the usual one operative in tropical geometry. In the n P usual paradigm, a ∈ B[[T ]] is a solution of i aMi EMi = P ∈ Bm,n whenever there are at least two distinct terms aMk EMk and aM` EM` of P for which V (P (a)) =

V (aMk EMk (a)) = V (aM` EM` (a)). In fact, in the ordinary diﬀerential case, the P i min(A) vertex polynomial V ( i∈A t ) is simply the monomial t , and our deﬁnition of tropical vanishing agrees with the classical one. However when m > 1, classical solutions are also solutions in our sense, while the converse fails to hold in general, as in the following example.

u u u u

t t t t a) b)

Figure 1. a) V (aMi EMi (a)) for i = 1, 2, 3; and b) V (P (a)).

2 3 Example 3.6. Set P = tx(1,0) + ux(0,1) + (t + u ) ∈ B[[t, u]]{x}, and a = t2 + tu + u3 ∈ B[[t, u]]. Then P (a) = t(t + u) + u(t + u2) + (t2 + u3) = t2 + tu + u3 and using Figure 1b it is easy to check that V (P (a)) = P (a).

For every monomial aM EM in the expansion of P , we compute aM EM (a) and V (aM EM (a)); here both series are equal in each instance, as is clear from Figure 10 ETHAN COTTERILL, CRISTHIAN GARAY LOPEZ,´ AND JOHANA LUVIANO

1a. We also see that a is a solution of P by directly checking against Deﬁnition 3.5; however, V (aM EM (a)) and V (P (a)) are distinct for every monomial aM EM . Here the polynomial P is so simple that we may compute all of its solutions without further techniques. Explicitly, we have X Sol(P ) = a = tiuj : (1, 0), (0, 1), (0, 2) ∈/ A, and (2, 0), (0, 3) ∈ A . (i,j)∈A To see this, write a = ε + c(t) + d(u) + f(t, u), where ε ∈ B and distinct summands ∂a have disjoint supports. Then tΘ(1, 0)a = t ∂t = c(t) + f(t, u) and uΘ(0, 1)a = ∂a 2 3 u ∂u = d(u) + f(t, u), while the monomial t + u is constant. From here the required properties of our putative solution set may be checked by hand.

Vertex polynomials are the key to this theory; we analyze them closely in the next section.

4. The idempotent semiring of vertex polynomials In section 3, the concept of vertex polynomial served primarily to define solutions of tropical differential equations; however, they fit into a broader algebraic framework. In this section, we will start by giving a more algebraic presentation of the semiring of vertex polynomials. To this end, recall that an equivalence relation on a set S is a subset of S×S that is reflexive, symmetric and transitive binary relation. A congruence on a semiring S is an equivalence relation ∼ on S for which a + c ∼ b + c and ac ∼ bc for every c S whenever a ∼ b. The semiring structure on S then descends to the quotient ∼, S and the quotient projection π :S → ∼ becomes a homomorphism of semirings. [[T ]] Definition 4.1. The semiring of vertex polynomials is the quotient B New, where New ⊂ B[[T ]] × B[[T ]] denotes the equivalence relation comprised of pairs of boolean power series with equal Newton polyhedra.

In [6], the map Vert : P(Nm) −→P(Nm) that sends a set A to Vert(A) := 2 V(New(A)) was shown to satisfy Vert = Id, and the semiring of vertex sets Tm = (Tm, ⊕, ) was defined to be the image of Vert equipped with the operations A ⊕ B = Vert(A ∪ B) and A B = Vert(AB). B[[T ]] We will show below that Tm and New are isomorphic semirings. This gives a more intrinsic explanation for the facts that Tm is a semiring and that m Vert : P(N ) → Tm is a semiring homomorphism. Lemma 4.2. The equivalence relation New on B[[T ]] from Definition 4.1 is a semir- m ing congruence, and the map Vert : P(N ) −→ Tm is equal to the quotient projection [[T ]] π : B[[T ]] → B New. Proof. Clearly New is an equivalence relation. That New is compatible with sum and product on B[[T ]] follows from the facts that New(a + b) = Conv(New(a) ∪ New(b)) and New(ab) = New(a)New(b). On the other hand, from [7, Lemma 3.1] we have New(a) = New(b) if and only B[[T ]] if Vert(A) = Vert(B), which means that σB : Tm → New is a bijection of EXPLORING TROPICAL DIFFERENTIAL EQUATIONS 11 sets. Finally, the binary operations ⊕, on Tm satisfy A ⊕ B := Vert(A ∪ B) = [σB(A) + σB(B)] and A B := Vert(AB) = [σB(A)σB(B)], so they are precisely [[T ]] those of B New. Hereafter V B[T ] will denote the set of vertex polynomials, i : V B[T ] → B[[T ]] the natural inclusion of sets induced by viewing polynomials as series, and V : B[[T ]] → V B[T ] the quotient map. The operations on V B[T ] are defined by a ⊕ b = V (i(a) + i(b)) and a b = V (i(a)i(b)). Given any sum s = a1 ⊕ · · · ⊕ ak in V B[T ] involving k ≥ 2 summands, we let s := a ⊕· · · a ⊕· · ·⊕a denote the corresponding bi 1 bi k sum obtained by omitting the i-th summand, for every index i = 1, . . . , k.

Deﬁnition 4.3. We say that the sum s = a1 ⊕ · · · ⊕ ak in V B[T ] with k ≥ 2 tropically vanishes in V B[T ] if s = s for every i = 1, . . . , k. bi We now recast Deﬁnition 3.5 in terms intrinsic to the algebraic structure of V B[T ]. Proposition 4.4. An n-tuple of Boolean power series a ∈ B[[T ]]n is a solution of Pk Lk P = i=1 aMi EMi ∈ Bm,n if and only if V (P (a)) = i=1 V (aMi EMi (a)) tropically vanishes in V B[T ]. Pk Pk Proof. Say that P = i=1 aMi EMi . Then P (a) = i=1 aMi EMi (a), and as V is a homomorphism, it follows that

k k X M V (P (a)) = V ( aMi EMi (a)) = V (aMi EMi (a)). i=1 i=1 Suppose now that a∈ / Sol(P ); there is then some tI ∈ V (P (a)) for which tI ∈

V (aMi EMi (a)) for some unique index i ∈ {1, . . . , k}, which means that V (P (a)) is not contained in V (P (a)) . Conversely, if V (P (a)) does not tropically vanish, bi then V (P (a)) fails to be contained in V (P (a)) for some index i ∈ {1, . . . , k}. This bi means there is some tI ∈ V (P (a)) that appears as a term in the expansion of

V (aMi EMi (a)) and in no other V (aM` EM` (a)), ` 6= i; thus a∈ / Sol(P ). Tropical vanishing depends strongly on the realization of P (a) as a sum of monomials, but not on the value of P (a). See Remark 6.2 for an illustrative example.

4.1. The order relation. In any idempotent semiring S, we use a ≤ b to mean that a+b = b, or equivalently, that a+c = b for some c in S. Then ≤ is an algebraic order relation, as a ≤ b implies a + c ≤ b + c and ac ≤ bc for all c ∈ S. In this context, the least upper bound of any ﬁnite set of elements of S is equal to their sum. We use a < b to mean that a ≤ b and a 6= b. For example, a ≤ b (resp., a < b) in B[[T ]] if and only if Supp(a) ⊂ Supp(b) (resp. Supp(a) ( Supp(b)). We will now explicitly describe the order relation on V B[T ]. Interesting and as- yet unexplored combinatorial phenomena emerge whenever m > 1. The following concept will be useful for our purposes.

Deﬁnition 4.5. Given A ⊂ Nm, we let Ae := New(A) ∩ Nm denote the set of integer points of the Newton polyhedron of A. We refer to I(A) := Ae \ Vert(A) as the irrelevant part of A. 12 ETHAN COTTERILL, CRISTHIAN GARAY LOPEZ,´ AND JOHANA LUVIANO

Given a ∈ B[[T ]], let ea := Supp(^a); the result is an idempotent map e· : B[[T ]] −→ B[[T ]] for which eaeb ⊂ abe and ea +eb ⊂ a]+ b. Note, however, that e· is not a homomorphism. For example, letting a = t2 and b = u2 in B[[t, u]], we have t + u ∈ a]+ b; but t + u∈ / ea + eb. Lemma 4.6. Given a, b ∈ V B[T ] with supports A and B respectively, we have a ≤ b if and only if A ⊆ Be. Proof. Suppose that A ⊆ Be. As B ⊂ Be, we have B ⊂ A ∪ B ⊂ Be, so B + Nm ⊂ A ∪ B + Nm ⊂ Be + Nm = Be. Since New(B) is an integral polyhedron, it follows that Conv(A∪B +Nm) = New(B), and consequently New(B) = Conv(Be). Passing to vertex sets now yields a ⊕ b = b, i.e., a ≤ b. Conversely, whenever a ⊕ b = b we have A ⊂ Conv(A ∪ B + Nm) = New(B), so m A = A ∩ N ⊂ Be. Remark 4.7. In the terminology of the theory of ordered sets [2], Lemma 4.6 establishes that V : B[[T ]] → V B[T ] is a residuated mapping, with residual e· : V B[T ] −→ B[[T ]]. Note that ≤ deﬁnes a partial order on V B[T ] with least (resp., largest) element 0 (resp., 1). Here V B[T ] contains the set of monomials {T I : I ∈ Nm}, and the order induced by ≤ on monomials is the opposite of the usual product order on Nm; namely, it is given by

I ≤ J ⇐⇒ jk ≤ ik for all k = 1, . . . , m. Moreover, whenever monomials a = T I , b = T J ∈ V B[T ] are such that I − J ∈ Zm contains both positive and negative coordinates, we have a ⊕ b = V (a + b) = T I + T J ∈/ {a, b}.

Applying Lemma 4.6 in tandem with the decomposition Ae := Vert(A) t I(A), we see that 0 0 0 0 (6) if a ≤ b in V B(T ), then A = A t B , where A ⊂ B and B ⊂ I(B). It is important to note that A0 and B0 are themselves vertex sets; see Proposi- tion 4.11 below. Moreover, if a < b, then A = A0 t B0 necessarily satisfies A0 ( B. We will use the decomposition (6) to refine the partial order ≤ on V B[T ]. Definition 4.8. Given a ≤ b in V B[T ] where a 6= 0 and A = A0 t B0 as in (6), a is irrelevant for b whenever A ⊂ I(B), or equivalently, whenever A ∩ B = ∅; in this case, we write a ≺ b. Otherwise, a is relevant for b, and we write a ⊀ b. Note that a ≺ b implies a < b, but the converse is not true unless m = 1 or if m > 1 and b = T I is a monomial. The fact that either a ⊀ b or a ≺ b whenever a ≤ b generalizes the basic dichotomy between a = b and a < b that exists whenever a ≤ b and m = 1 (in which case ≤ is a total order). Example 4.9. Let s = a ⊕ · · · ⊕ a , so that a ≤ s for all i. If a ≺ s, then s = s ; 1 k i i bi but the converse does not hold. Whenever s 6= s , we say that a is essential in s. bi i When m = 1, we have ai ≺ s if and only if ai < s, and ai will not be essential unless it is unique. On the other hand, in Example 3.6 we have t2 + tu + u3 = P (a) = V (P (a)) = (t2 + tu) ⊕ (tu + u3) ⊕ (t2 + u3) EXPLORING TROPICAL DIFFERENTIAL EQUATIONS 13 so each of the three monomials of V (P (a)) is relevant, while none is essential. In general, V (P (a)) will vanish in V B[T ] precisely when none of its monomials is essential. We close this subsection with some properties of the binary relation ≺ that will be useful in what follows. These also hold for the basic order relation < on any idempotent semiring S, with the exception of item (4), which holds whenever S is totally ordered or bipotent, meaning that a + b ∈ {a, b} for every a and b. Remark 4.10. Assume that a, b, and c ∈ V B[T ] have supports A, B, and C, respectively. The relation ≺ satisfies the following properties. (1) Transitivity: a ≺ b, b ≺ c =⇒ a ≤ c. This follows from the transitivity of ≤, and because A ⊂ I(B) ⊂ Be ⊂ I(C). (2) c ≺ a, b =⇒ c ≺ a ⊕ b. Clearly c ≤ a ⊕ b; on the other hand, Proposition 4.13 implies that the support of a ⊕ b is contained in A ∪ B by; and C ∩ (A ∪ B) = ∅ because C ∩ A = C ∩ B = ∅. (3) a ≺ b, c 6= 0 =⇒ a c ≺ b c. Clearly a c ≤ b c, and the conclusion now follows from Proposition 4.13. Indeed, otherwise would have Ia + Ic = I = Ib + Id for uniquely-prescribed Ia ∈ A, Ib ∈ B and Ic,Id ∈ C; but this is precluded by the fact that A ⊂ I(B). (4) a, b ≺ c =⇒ a ⊕ b ≺ c. Clearly a ⊕ b ≤ c, and the rest of the proof follows that of item (2). 4.2. Intermezzo: alternative characterizations of vertex polynomials. In this subsection we focus on the polyhedral aspects of vertex polynomials. By definition, the support of the vertex polynomial V (a) associated to a ∈ B[[T ]] is the vertex set of the Newton polyhedron New(a). The Minkowski-Weyl theorem for polyhedra implies, in turn, that New(a) decomposes as m (7) New(a) = ∆ + R≥0 for some polytope ∆. While ∆ is not unique, there exists a distinguished representative ∆ = ∆a whose vertex set V(∆a) is precisely V (a), i.e., for which Conv(V (a)) = ∆a; see [20, Thm 4.1.3]. We call ∆a the Newton polytope of a. We anticipate that the Newton decomposition (7) may be leveraged to streamline the proofs of the salient properties of vertex sets described in [6]. A crucial property of vertex sets is that they are hereditary in the following sense.

Proposition 4.11. Given a ∈ V B[T ] with support A, we have σB(B) ∈ V B[T ] for every subset B ⊂ A. Proof. Without loss of generality we assume that ∅ ( B ( A, as otherwise the conclusion holds vacuously. We will show that B = V(New(B)). To this end, ﬁrst note that B is the vertex set of ∆B = Conv(B). Indeed, no b ∈ B is realizable as P a nontrivial convex combination b = i λibi of distinct vertices bi ∈ B, as no such m nontrivial convex realization exists for vertices of A. Now New(B) = ∆B + R≥0; so V(New(B)) ⊂ B. Meanwhile, the fact that New(B) ⊂ New(A) implies that New(B)∩A ⊂ V(New(B)) by [7, Lem. 3.1]. Given v ∈ New(B) ∩ A, write v = w + x with w ∈ ∆B ⊂ ∆A m and x ∈ R≥0. Since v is a vertex of New(a), there is a hyperplane H such that m m H ∩ New(a) = {v}. But since w + R≥0 ⊂ New(a), we have H ∩ (w + R≥0) ⊂ {v}, which implies that x = 0. As a result, we have v = w and this forces v ∈ B. 14 ETHAN COTTERILL, CRISTHIAN GARAY LOPEZ,´ AND JOHANA LUVIANO

As further applications of the same circle of ideas, we will show that for A ∈ Nm, the set (Aet{0}, +) is a finitely generated N-module; and we will give a useful refined description of the supports of the algebraic operations in V B[T ] in terms of vertices of lattice polytopes. In particular, [7, Lem. 3.5], which establishes that for every a, b ∈ V B[T ], every point I in the support of a b is associated with uniquely- prescribed elements Ia ∈ A and Ib ∈ B, is a consequence of this refined description.

Proposition 4.12. Given A ∈ Nm, we have Ae + Ae ⊂ Ae. Letting New(A) = m ∆A + R≥0, with ∆A := Conv(Vert(A)), we have m m m (8) Ae = (∆A + [0, 1) ) ∩ N + N .

Proof. Given v, w ∈ Ae, we have v = p + x and w = q + y for some p, q ∈ ∆A and m x, y ∈ R≥0. So v + w = (p + q)/2 + [(p + q)/2 + x + y] ∈ Ae. We now prove (8). The inclusion ⊇ is clear, since any element I on the right- m hand side of (8) may be written as I = (I1 +I2)+I3, where (I1 +I2) ∈ ∆A +[0, 1] m m and I3 ∈ N ; so in particular I = I1 + (I2 + I3) with I1 ∈ ∆A and (I2 + I3) ∈ R≥0. Conversely, given v ∈ Ae, we have v = p+x as before, and moreover x decomposes as x = m + y with m ∈ Nm and y ∈ [0, 1)m. So v = p + m + y, and v − m = p + y ∈ m m (∆A + [0, 1] ) ∩ N as v and m are integral.

Now say that a, b ∈ V B[T ] have supports A, B and Newton polytopes ∆a, ∆b, respectively. Then, as explained, e.g., in [4, §3.1], the vertex set of the Minkowski sum of ∆a and ∆b is given by

V(∆a + ∆b) = {I ∈ A + B : I decomposes uniquely as Ia + Ib,Ia ∈ ∆a,Ib ∈ ∆b}. Proposition 4.13. Given a, b ∈ V B[T ] with supports A, B and Newton polytopes ∆a, ∆b, respectively, we have

V (ab) ⊆ V(∆a + ∆b) ⊆ A + B and (9) V (a + b) ⊆ V(Conv(∆a ∪ ∆b)) ⊆ A ∪ B.

Proof. By deﬁnition, we have a b = V (ab) = V(New(A + B + Nm)). As New(A + m m B + N ) = (∆a + ∆b) + R≥0, it follows that V (ab) ⊂ V(∆a + ∆b). Similarly, we have a ⊕ b = V (a + b) = V(New(A ∪ B + Nm)); and as New(A ∪ m m B + N ) = Conv(∆a ∪ ∆b) + R≥0, it follows that V (a + b) ⊂ Conv(∆a ∪ ∆b).

Example 4.14. Whenever m = 1, we have Ae = min(A) + N, and accordingly the chains of inclusions in (9) specialize to V (ab) = V(∆a + ∆b) = A + B and min{A, B} = V (a + b) = V(Conv(∆a ∪ ∆b)) ⊆ A ∪ B, respectively. Example 4.15. Here we show that the inclusions in (9) may be proper when m > 1. Indeed, letting a = t2u3 + t3u + t5 and b = u4 + tu3 + t4u2 in V B[t, u], we see that the support of a b (resp., a ⊕ b) is {(2, 7), (3, 5), (4, 4), (6, 3), (9, 2)} (resp., {(0, 4), (1, 3), (5, 0)}).

Now let ∆a = Conv{(2, 3), (3, 1), (5, 0)} and ∆b = Conv{(0, 4), (1, 3), (4, 2)} denote the Newton polytopes of a and b, respectively. As indicated in Figure 2b, we have

A + B = V(∆a + ∆b) ∪ {(3, 6), (5, 4), (7, 3)} and V(∆a + ∆b) = V (ab) ∪ {(6, 5)}; while

A ∪ B = V(Conv(∆a ∪ ∆b)) ∪ {(1, 3), (2, 3)} and V(Conv(∆a ∪ ∆b)) = V (a + b) ∪ {(4, 2)}. EXPLORING TROPICAL DIFFERENTIAL EQUATIONS 15

a) b)

Figure 2. Polytopes from Example 4.15: a) ∆a and ∆b; and b) Conv(a ⊕ b) ⊂ Conv(∆a ∪ ∆b) and Conv(a b) ⊂ ∆a + ∆b, where the included polytopes are shaded.

m m Remark 4.16. Let PZ = (PZ , ⊕, ⊗) denote the semiring of lattice polytopes in m Z , in which ∆1 ⊕ ∆2 = Conv(∆1 ∪ ∆2), and ∆1 ⊗ ∆2 denotes the Minkowski sum m of P and Q. While the map Conv : V B[T ] → PZ that sends a to Conv(a) = ∆a is set-theoretically injective, it is not a semiring homomorphism. On the other hand, Conv is naturally dominated by a semiring homomorphism in the following sense. Indeed, we have Conv(0) = 0 and Conv(1) = 1; while Conv(a ⊕ b) ≤ Conv(a) ⊕ Conv(b) and Conv(a b) ≤ Conv(a) ⊗ Conv(b)

m because P ≤ Q in PZ if and only if P ⊆ Q. Now let Z denote the idempotent semiﬁeld given set-theoretically by Z ∪ {−∞} and equipped with the usual max-plus tropical addition and multiplication laws,

m and let OZ denote the idempotent semiﬁeld given set-theoretically by m m OZ = {f : Z → Z : f is piecewise linear} ∪ {−∞} and equipped with the operations of point-wise tropical addition and multiplication.

m m Then the map φ : PZ → OZ sending the polytope P to its support function m φP : Z → Z deﬁned by φP (x) = max{hu, xi : u ∈ P } (where hu, xi denotes the usual Euclidean inner product) is an embedding of semirings. See [16] for the details of this proof, and in particular, for a recapitulation of the well-known correspondence between piecewise linear functions and polytopes. m Given a ∈ V B[T ], let φa : Z −→ Z denote the support function associated to ∆a given explicitly by φa(x) = max{hu, xi : u ∈ ∆a}.

m Let X ⊂ OZ denote the image of V B[T ] under φa. It is natural to wonder whether X and Z may be endowed with algebraic structure so that the resulting inclusion V B[T ] → X sending a to φa is a semiring homomorphism. 5. Quasivaluations and initial forms Our tropicalization scheme for diﬀerential algebraic geometry is an enriched version of the classical tropicalization scheme based on valuations; the key technical notion we require is that of quasivaluation (see [16]), which generalizes ring valuations as formulated in [12]. 16 ETHAN COTTERILL, CRISTHIAN GARAY LOPEZ,´ AND JOHANA LUVIANO

We also use quasivaluations in order to single out new types of initial forms associated with (differential) polynomials. Initial forms for differential polynomials P ∈ Km,n over a field of characteristic zero K were first introduced in [10, Sect. 2] when m = 1; they were subsequently generalized in [7, Sect. 8] for every m. Here we first reframe initial forms in terms of quasivaluations; and in Section 7, we show how to extend the construction of initial forms for elements of K[[T ]] to arbitrary elements of its quotient field. Throughout this section, K denotes a field of characteristic zero. Definition 5.1. A quasivaluation is a map v : R → S from a ring R to an idempotent semiring S for which (1) v(0) = 0 and v(±1) = 1; (2) v(a + b) ≤ v(a) + v(b); and (3) v(ab) ≤ v(a)v(b). Whenever R is a K-algebra, we replace the condition v(±1) = 1 by the requirement that v(a) = 1 for every nonzero element a ∈ K. The quasivaluation v is non-degenerate if furthermore no nonzero element a satisfies v(a) = 0, and a valuation if it is multiplicative, i.e., such that v(ab) = v(a)v(b) for every a, b ∈ R. Whenever S arises from a totally ordered monoid (M, ×, 1, ≤) (or (M, +, 0, ≤)), the quasivaluation v is of Krull (or classical) type. P I Definition 5.2. The support series of the element a = I∈A aI T ∈ S[[T ]] is the P I boolean formal power series sp(a) := I∈A T . Our use of support in Definition 5.2 is abusive, inasmuch as the support set of both a and sp(a) is A. Both support sets and series are associated with maps, however, and the support set map factors that of the support series: sp S[[T ]] / [[T ]] B O σ B Supp $ P(Nm). Moreover, as we show in the proof of Proposition 5.6 below, the map sp : K[[T ]] → B[[T ]] commutes with the respective differentials of Km = (K[[T ]],D) and Bm = (B[[T ]],D); and the resulting enhancement sp : Km → Bm is a non-degenerate K- algebra quasivaluation1. Accordingly, we call the series support map sp a differential quasivaluation. Putting everything together and applying Lemma 4.2, we obtain a more intrinsic formulation of the following result from [6, Sect. 4]. Theorem 5.3. We have a commutative diagram (10) ( [[T ]],D) B8 sp π (K[[T ]],D) / B[[T ]] trop New in which

1 m In fact (see [6]), sp commutes with every diﬀerential operator Θ(J), J ∈ N . EXPLORING TROPICAL DIFFERENTIAL EQUATIONS 17

(1) the map sp is a non-degenerate K-algebra quasivaluation that commutes with D; [[T ]] (2) π : B[[T ]] → B New is a quotient homomorphism; and [[T ]] (3) trop : K[[T ]] → B New is a non-degenerate K-algebra valuation. Proof. Item 1 (resp., 2) follows immediately from Proposition 5.6 (resp., Lemma 4.2). Item 3 is the content of [6, Lem. 4.3], but the argument given there for the mul- tiplicativity of trop unfortunately is lacking, as it is predicated on reducing to a multiplicative property for (pairs of) Newton polytopes in several variables, which fails in general.

I To justify item 3, we argue as follows. Given I ∈ trop(ϕψ), let cI t denote the corresponding monomial. According to Proposition 4.13, there are unique mono- J K I J K mials aJ T of ϕ and bK T of ψ for which cI t = aJ T bK T ; so I ∈ sp(ϕ)sp(ψ); that trop is multiplicative now follows from the fact that π is a homomorphism. The algebro-geometric study of tropical geometry over the semiﬁeld of piecewise

m m linear functions OZ , and in particular of OZ -valued valuations, was initiated in [16]. Remark 4.16 implies that our valuations trop : Km −→ V B[T ] are closely related to theirs. Remark 5.4. The diagram (10) is an instance of what J. Giansiracusa calls a differential enhancement of a tropicalization scheme, namely a commutative diagram

(S,D ) 9 S w f / (R,DR) v T in which

(1) (R,DR) is a differential ring, (S,DS) is an idempotent differential semiring, and w :(R,DR) → (S,DS) commutes with the derivations; (2) v : R → T is a tropicalization scheme; and (3) f :S → T is a homomorphism of semirings. Theorem 5.3 establishes that sp is a differential enhancement of trop.

It is important to note that although the tropicalization map trop : Km −→ V B[T ] is a non-degenerate valuation, it is never of Krull type when m > 1, which follows from Lemma 4.6. Remarkably, though, there is still a meaningful theory of initial forms with respect to trop, as we show in the next subsection. Remark 5.5. In [12, Lemma 2.5.3], the authors claim that whenever v : R → S is a valuation and v(a) < v(b), we have v(a + b) = v(a) + v(b); but this may fail when [[t, u]] 2 S is not totally ordered. For example, let R = K[[t, u]], S = B New, a = −u , and b = u2 + t2; then u2 = trop(a) < trop(b) = u2 + t2, while t2 = trop(a + b) 6= trop(a) ⊕ trop(b) = u2 + t2. On the other hand, whenever trop(a) ≺ trop(b), we have trop(a + b) = trop(a) ⊕ trop(b) = trop(b), because b decomposes as in (14) as b = b + (b − b), and in this instance no cancellations may occur because trop(a) ∩ trop(b) = ∅. 18 ETHAN COTTERILL, CRISTHIAN GARAY LOPEZ,´ AND JOHANA LUVIANO

5.1. Initial forms. In this subsection we use the properties of the extension sp : Pd Km,n → Bm,n from Deﬁnition 5.2 that sends P = i=1 αMi EMi to sp(P ) = Pd i=1 sp(αMi )EMi whenever n > 0 in order to recast the results of [7] in terms of valuation theory. Our main technical tool is the following result, whose proof we defer to Appendix 8.2.

Proposition 5.6. The map sp : Km,n → Bm,n for n > 0 is a non-degenerate K-algebra quasivaluation that satisﬁes

sp ◦ ΘKm,n (ei) ≤ ΘBm,n (ei) ◦ sp for every i = 1, . . . , m. Now assume that K is a field equipped with a rank one valuation v : K → R ∪ {−∞}. As is well-known, for every w ∈ Rn, v induces a K-algebra valuation ±1 ±1 I vw : K[x1 , . . . , xn ] → R∪{−∞} defined on monomials by vw(ax ) = v(a)+hI, wi, and which extends by linearity to X I M I (11) vw aI x = vw(aI x ) = minI {v(aI ) + hI, wi}. I I When K = K((t)) and v is the t-adic valuation, we may choose a canonical w w1 wn n I lift t = (t , . . . , t ) of w ∈ R and define vw(ax ) to be the valuation of the I P i evaluation ax | w . Also any nonzero element a = a t in K decomposes as x=t i≥i0 i

v(a) i0 (12) a = a + (a − a), where a = av(a)t = ai0 t and a is the initial term of a with respect to the valuation v. We use the valuation ∗ (11) in tandem with the decomposition (12) to define the initial form inw(f) of f with respect to the weight vector w ∈ Rn, setting ∗ X I (13) inw(f) := aI x I {I: vw(aI x )⊀vw(f)} where ≺ is as in Definition 4.8. I I Alternatively, as vw(aI x ) ⊀ vw(f) if and only if vw(aI x ) = vw(f) in the totally ∗ P v(aI ) I ordered case, we have in (f) = I a t x . So (13), un- w {I: vw(aI x )=vw(f)} I,v(aI ) P I like the usual initial form in (f) = I a x , has coefficients w {I: vw(aI x )=vw(f)} I,v(aI ) divisible by powers of t; in fact, the usual initial form inw(f) is related to (and ∗ ∗ recoverable from) inw(f) as a specialization, namely inw(f) = inw(f)|t=1. We now adapt the construction of the preceding paragraph to define the initial n form of a differential polynomial P ∈ Km,n “at” the support vector w ∈ B[[T ]] using the valuation trop : K[[T ]] → V B[T ]. Remark 5.7. In this setting support sets also lift canonically. Indeed, given m P I W ∈ P(N ), there is a K-lift σK (W ) given by I∈W T ∈ K[[T ]] whose underlying P I B-valued support series sp(σK (W )) = σB(W ) is also I∈W T , but viewed as an element of B[[T ]]. m n Similarly, given a vector of support sets W = (W1,...,Wn) ∈ P(N ) , we n obtain a K-lift σK (W ) = (σK (W1), . . . , σK (Wn)) ∈ K[[T ]] together with a support n series σB(W ) ∈ B[[T ]] . Given a differential monomial aE, we now define

tropW (aE) := trop(aE(σK (W ))) = trop(a) V (E(σB(W ))). EXPLORING TROPICAL DIFFERENTIAL EQUATIONS 19

n Equivalently, and more directly, given w ∈ B[[T ]] we simply set tropw(aE) := trop(a) V (E(w)).

n Definition 5.8. Given w ∈ B[[T ]] , tropw : Km,n → V B[T ] is defined by extending the previous definition by linearity; explicitly, we have X M M tropw aM EM := tropw(aM EM ) = trop(aM ) V (EM (w)) . M M M

Note that the deﬁnition of tropw emulates the usual valuation speciﬁed by (11), and the outcome is also a K-algebra valuation. We spell this out explicitly in Corollary A.1 of Proposition 5.6, whose proof we also defer to Appendix 8.2.

P I Applying (12), now note that any nonzero element a = I∈A aI T in Km and with Supp(a) = A decomposes as

X I X I (14) a = a + (a − a), where a = aI T = aI T I {I : trop(aI T )⊀trop(a)} I∈Vert(A) and a is the initial term of a with respect to the trop valuation.

We use the valuation tropw in tandem with the latter decomposition to define ∗ n the initial form inw(P ) of P ∈ Km,n with respect to the support vector w ∈ B[[T ]] . ∗ P Definition 5.9. The initial form inw(P ) of P = M aM EM at w is the differential polynomial

∗ X (15) inw(P ) = aM EM .

{M: tropw(aM EM )⊀tropw(P )}

The upshot is that every P ∈ Km,n decomposes as

∗ ∗ ∗ ∗ P = inw(P ) + (P − inw(P )) = inw(P ) + P ∗ ∗ ∗ where P := P − inw(P ), and tropw(bN EN ) ≺ tropw(P ) = tropw(inw(P )) for any ∗ ∗ monomial bN EN in P . In particular, it follows from Remark 4.10 that tropw(P ) ≺ ∗ ∗ tropw(P ). Thus inw(P ) (resp. P ) is the w−relevant (resp. w−irrelevant) part of P .

∗ Example 5.10. The map inw : Km,n −→ Km,n restricts to the map Km,0 −→ Km,0 that sends a to a. Given a = t+u ∈ K[[t, u]], we have a2 = a2 = t2 +u2 +2ut, while a2 = t2 + u2. In particular, the initial form map fails to be multiplicative when m > 1; cf. [9, Lemma 3.6]. This may also be understood in light of Proposition 4.13: given a, b ∈ V B[T ] with supports A and B, the support of a b is in general properly contained in A + B.

Remark 5.11. Definition 5.9 emulates the modified initial form in the classical setting specified by (13); it also generalizes the definition of initial form given in the preprint [10] when m = 1, in which case trop is a Krull valuation2 . For a related construction, see [9].

2In the published paper [11], the initial form is deﬁned without taking the initial terms of the coeﬃcients of the relevant monomials. 20 ETHAN COTTERILL, CRISTHIAN GARAY LOPEZ,´ AND JOHANA LUVIANO

6. A tropical fundamental theorem for differential algebraic geometry In this section we present the extended fundamental theorem in the differential context. Here R = Km,n, where K is a field of characteristic zero; S = Bm,n as in section 3; and v is a support map. One uses the differential enhancement of trop given by the diagram (10) to prove the fundamental theorem, which characterizes what we call tropical DA varieties in three distinct ways. We then formulate an adapted tropical fundamental theorem, and discuss its usefulness in extracting combinatorial information about solutions to systems of differential equations.

Given a system of differential polynomials Σ in Km,n, ideally we’d compute the associated DA variety Sol(Σ) = {ϕ ∈ K[[T ]]n : P (ϕ) = 0 for all P ∈ Σ}. This is often hard; an easier subsidiary task is to compute its set of supports sp(Sol(Σ)), or DA tropicalization. Explicitly, we will concentrate on understanding n sp(Sol(Σ)) := {a = (a1, . . . , an) ∈ B[[T ]] : a = sp(ϕ) for some ϕ ∈ Sol(Σ)} where sp : K[[T ]]n → B[[T ]]n extends sp : K[[T ]] → B[[T ]] coordinate-wise. To define the DA tropicalization of Sol(Σ), we’ll make use of the following concept. Definition 6.1. An ideal of the differential ring (R,D) is differential whenever it is closed under the action of D. Now say that (R,D) is a differential ring, and that X is a subset of R. Following the convention adopted in [10], we let (X) and [X] denote the algebraic and differential ideals generated by X, respectively. By definition, [X] is the intersection of all differential ideals of R that contain X; so [X] is the algebraic ideal L of R m spanned by the set {ΘR(J)(P ): P ∈ X,J ∈ N }. Indeed, clearly L is a differen- P tial ideal, because given any Q ∈ L, we have Q = i RiΘR(Ji)(P ); and for every d ∈ D, d(Q) is also an R-linear combination of elements of the distinguished set. It is also clear that L is contained in any differential ideal containing X.

Remark 6.2. Given a semiring S be a semiring and an element P ∈ Sm,n, Remark 2.6 establishes that ∂ (P (a)) = ∂P (a) for every a ∈ S[[T ]]n and i ∈ ∂ti ∂ti {1, . . . , m}. Now assume that S = K is a field; then P (a) = 0 implies that ∂P (a) = 0; in particular, a system Σ ⊆ Km,n and its associated differential ideal ∂ti [Σ] share the same solution set, i.e., define the same DA varieties. Now suppose instead that S = B. As we saw in Proposition 4.4, tropical vanishing depends on the realization of P (a) as a sum of monomials, and not on the value of 2 2 2 3 P (a). For example, if P = x1,0 +x(0,1) +(t +u ) ∈ B2,1, then a = t u+u ∈ B[[t, u]] ∂P is a solution of P , but not of ∂t .

Deﬁnition 6.3. Given Σ ⊂ Km,n, its set of support polynomials is

sp(Σ) := {p ∈ Bm,n : p = sp(P ) for some P ∈ Σ} where sp : Km,n → Bm,n is the quasivaluation of Proposition 5.6.

Definition 6.4. The tropical DA variety defined by a differential ideal G ⊆ Km,n is the form \ X := Sol(p). p∈sp(G) EXPLORING TROPICAL DIFFERENTIAL EQUATIONS 21

Given Σ ⊆ Km,n, the tropicalization Sol(sp([Σ])) of the DA variety Sol(Σ) is the tropical DA variety associated to [Σ].

Example 6.5 (Tropical DA hypersurfaces). Given P ∈ Km,n, to compute the tropicalization of the associated hypersurface Sol(P ) = {ϕ ∈ K[[T ]]n : P (ϕ) = 0}, we first compute the differential ideal [P ] ⊂ Km,n; the tropicalization of Sol(P ) is T m then p∈sp([P ]) Sol(p). In this case, [P ] = ({ΘKm,n (J)(P ): J ∈ N }), and it is not m clear whether the set {ΘKm,n (J)(P ): J ∈ N } suffices to compute the tropical DA hypersurface defined by P . The following construction from [7] is operative in the fundamental theorem, and generalizes the corresponding construction in the m = 1 case from [10]. n ∗ Definition 6.6. Given w ∈ B[[T ]] , the initial ideal inw(G) of a differential ideal ∗ G ⊂ Km,n is the (algebraic) ideal generated by the initial forms {inw(P ): P ∈ G} in Km,n defined in equation (15). We now have all of the ingredients required to state the tropical fundamental theorem [7, Thm. 9.6] for differential algebraic geometry, which unifies the content of [1] and [6]. Theorem 6.7 (Fundamental theorem of tropical differential algebraic geometry). Fix m, n ≥ 1, let K be an uncountable, algebraically closed field of characteristic zero, let Σ ⊂ Km,n be a family of differential polynomials with associated differential ideal [Σ]. Then the following subsets of B[[T ]]n coincide: (1) the tropicalization Sol(sp([Σ])) of the DA variety Sol(Σ) as in Definition 6.4; n ∗ (2) the set {w ∈ B[[T ]] : inw([Σ]) is monomial-free} as in Definition 6.6; and (3) the set sp(Sol(Σ)) = {(sp(ϕ): ϕ = (ϕ1, . . . , ϕm) ∈ Sol(Σ)} of coordinatewise supports of points in the variety Sol(Σ). To prove Theorem 6.7, we use the support map Supp of equation (10) to trop- icalize equations over Km,n; we then use trop to select for their tropical solutions. We also leverage trop to compute initial forms and ideals. Example 6.8. Applying Theorem 6.7, we see that the tropical DA hypersurface n associated to P ∈ Km,n is X = {sp(ϕ): ϕ ∈ K[[T ]] ,P (ϕ) = 0}; cf. Example 6.5. Remark 6.9. Important examples of base fields K to which our theory applies are alg C and Qp , the algebraic closure of the field of p-adic numbers. Each of these fields is equipped with a natural absolute value, which is archimedean in the complex alg case, and non-archimedean in the p-adic case; let Cp := Qp denote the completion alg of Qp . It is natural to ask for conditions under which the solutions Sol(Σ) are tuples of analytic functions in a neighborhood of the origin with respect to the canonical metrics inherited from C and Cp, respectively. Remark 6.10. It is known (see [3]) that the set of solutions of any system Σ ⊂ Km,n is equal to the set of solutions of a finite system {P1,...,Ps} ⊂ Σ. Each polynomial Pi imposes an infinite number of equations on the coefficients of the solutions ϕ ∈ Sol(Σ).

On the other hand, any given polynomial Q ∈ Bm,n imposes only a ﬁnite number of conditions on the supports of the solutions ϕ ∈ Sol(Q), and in view of

sp(Sol(P1,...,Ps)) = sp(Sol(Σ)) = Sol(sp([Σ])) 22 ETHAN COTTERILL, CRISTHIAN GARAY LOPEZ,´ AND JOHANA LUVIANO we expect an infinite number of elements Q ∈ sp([Σ]) in order to describe this common set. The upshot is the following dichotomy between classical and tropical theories of algebraic differential equations: • the classical theory requires solving a finite number of infinite systems of algebraic equations, while • the tropical theory requires solving an infinite number of finite systems of boolean equations. The tropical fundamental theorem 6.7 characterizes tropical DA varieties as (1) sets of formal B-power series solutions of the tropical differential system sp(G) associated to a differential ideal G ⊂ Km,n; (2) weight vectors that single out monomial-free initial ideals of a fixed differential ideal G; and (3) as support series of all formal K-power series solutions Sol(Σ) of a system Σ ⊂ Km,n. It establishes, in particular, that any formal B-power series solution of the tropical system sp([Σ]) lifts to a formal K-power series solution for Σ. In Theorem 7.7 of the next section, we will extend items (2) and (3) of the fundamental theorem to the quotient field K((T )) of K[[T ]].

7. From K[[T ]] to K((T )) Quoting [10], it is more convenient to develop the Groebner basis theory over fields than over rings. With this principle in mind, in this section we generalize the valuative results obtained for the differential ring Km = (K[[T ]],D) in section 5 to the differential field Fm = (K((T )),D). The results in this section also extend those of [10, Sect. 2.2] to the m > 1 case. The key ingredient in all of this is the following property of the semiring V B[T ] of vertex polynomials. Proposition 7.1. The semiring V B[T ] is integral (or multiplicatively cancellative); that is, for every c 6= 0, we have a c = b c if and only if a = b.

Proof. Let ∼⊂ B[[T ]] × B[[T ]] denote the binary relation consisting of pairs (a, b) of boolean power series that satisfy ac = bc for some c 6= 0. As V is a homomorphism, we have V (ac) = V (a) V (c); while according to Proposition 4.13, the expression of any I ∈ V (ac) as a sum I = I1 + I2 with I1 ∈ V (a) and I2 ∈ V (c) is unique. We will show that a ∼ b implies that V (a) = V (b). To do so we argue indirectly, assuming for the sake of argument that V (a) \ V (b) 6= ∅. Say K ∈ V (a) \ V (b), and that V (c) = {J1,...,Js}. As V (ac) = V (bc), no K + Ji, i = 1, . . . , s belongs to 0 0 0 V (bc). This means that for every i, we have K + Ji = K + Ji for some K ∈ V (a) 0 0 and Ji ∈ V (c) with Ji 6= Ji for all i. But then V (c) = ∅ is forced, a contradiction. Thus V (a) ⊂ V (b); by symmetry, we conclude that V (a) = V (b). We therefore have a commutative diagram of surjective maps of semirings

B[[T ]] V π $ [[T ]] B ∼ / V B[T ] Ve [[T ]] in which B ∼ is cancellative; the desired result follows. EXPLORING TROPICAL DIFFERENTIAL EQUATIONS 23

Each derivation ∂ on K[[T ]] extends to K((T )) via the quotient rule. It is ∂tj similarly straightforward to extend the valuation trop : K[[T ]] → V B[T ] to a map trop : K((T )) → V B(T ) whose target V B(T ) is the semiﬁeld of fractions of V B[T ]. a As a result of Proposition 7.1, elements of V B(T ) are of the form b with a, b ∈ a V B[T ] and b 6= 0; the map V B[T ] → V B(T ) that sends a to 1 is an embedding; a c and b = d if and only if a d = b c. The product and sum of fractions in V B(T ) a c a c a c a d⊕b c is deﬁned as usual by b d = b d , and b ⊕ d = b d . For a detailed account, see [13, Sect. 11].

f trop(f) Corollary 7.2. The map trop : K((T )) → V B(T ) defined by trop( g ) := trop(g) is a non-degenerate K-algebra valuation. Proof. This follows immediately from Theorem 5.3, which establishes that trop : K[[T ]] → V B[T ] has the same property. m Now let Fm,n := (K((T ))[xi,J : 1 ≤ i ≤ n, J ∈ N ],D) denote the differential ring of differential polynomials with coefficients in the differential field K((T )). We extend trop : K((T )) → V B(T ) to differential polynomials as follows: given w ∈ n B[[T ]] , we extend Definition 5.8 to a map tropw : Fm,n → V B(T ) that sends P aM P = EM to M bM M trop(aM ) tropw(P ) := V (EM (w)) . trop(bM ) M

By clearing denominators, every P ∈ Fm,n decomposes as

(16) λP = Q, where λ ∈ K[[T ]] \{0} and Q ∈ Km,n. The decomposition (16) is the key to extending our results from K[[T ]] to K((T )).

Corollary 7.3. The map tropw : Fm,n → V B(T ) is a K-algebra valuation for every w ∈ B[[T ]]n.

Q tropw(Q) Proof. Given P ∈ Fm,n we express it P = λ as in (16), so that tropw(P ) = trop(λ) ; the desired result follows from Corollary A.1, which establishes that tropw : Km,n → V B[T ] is a K-algebra valuation.

We propose the following generalization of (15) from Km,n to Fm,n. Q ∗ Definition 7.4. Given P ∈ Fm,n, write P = λ as in (16). The initial form inw(P ) of P at w ∈ B[[T ]]n is in∗ (Q) in∗ (P ) := w . w λ We then have a decomposition ∗ ∗ ∗ 0 (17) λP = Q = inw(Q) + (Q − inw(Q)) = λinw(P ) + P 0 in which tropw(bN EN ) ≺ tropw(λP ) for every monomial bN EN of P . In fact, we 0 ∗ can say more: namely, that tropw(P ) ≺ tropw(λP ) = tropw(Q) = tropw(inw(Q)), ∗ ∗ so again inw(Q) (resp. (Q − inw(Q))) is the w−relevant (resp. w−irrelevant) part of λP . We close this preliminary subsection with some important extensions of previous results. In particular, in the extension of the fundamental theorem 7.7, we see that 24 ETHAN COTTERILL, CRISTHIAN GARAY LOPEZ,´ AND JOHANA LUVIANO the supports of solutions in K[[T ]]n for systems defined over the field K((T )) are controlled by the theory over K[[T ]].

n Theorem 7.5. A diﬀerential ideal G ⊂ Fm,n has a solution in K[[T ]] with support n ∗ w ∈ B[[T ]] if and only if {inw(P ): P ∈ G} contains no diﬀerential monomials.

Proof. The proof imitates that of [10, Cor. 1], as follows. Let G0 = G ∩ Km,n; then ∗ ∗ for any P ∈ G the expression (16) gives us Q = λP ∈ G0, and inw(Q) = λinw(P ) by definition. It is also easy to see that ϕ ∈ K[[T ]]n is a solution of G if and only if it is a solution of G0; the desired result now follows from part 2 of Theorem 6.7. n Definition 7.6. Given a differential ideal G ⊂ Fm,n and a vector w ∈ B[[T ]] , the ∗ ∗ initial ideal inw(G) of G with respect to w is the ideal (inw(P ): P ∈ G) of Fm,n. Theorem 7.7 (Fundamental theorem of tropical differential algebraic geometry over K((T ))). Fix m, n ≥ 1, let K be an uncountable, algebraically closed field of characteristic zero, and let Σ ⊂ Fm,n be a family of differential polynomials with associated differential ideal [Σ] and solution set Sol(Σ) = {ϕ ∈ K[[T ]]n : P (ϕ) = 0 for all P ∈ Σ}. The following subsets of B[[T ]]n coincide: n ∗ (1) the set {w ∈ B[[T ]] : inw([Σ]) is monomial-free} of Definition 7.6; and (2) the set sp(Sol(Σ)) = {(sp(ϕ): ϕ = (ϕ1, . . . , ϕm) ∈ Sol(Σ)} of coordinatewise supports of points in the variety Sol(Σ). ∗ Proof. The proof is similar to that of [10, Lem. 3]. It suffices to show that if inw(G) ∗ contains a differential monomial, then {inw(P ): P ∈ G} also contains a differential monomial (as the converse is clear). We then conclude by applying Theorem 7.5. P ∗ Accordingly, say that E = i Ziinw(Pi), where Pi ∈ G and Zi ∈ Fm,n satisfy λiPi = Ri and µiZi = Si for some Ri,Si ∈ Km,n. According to Definition 7.4, in∗ (R ) we have in∗ (P ) = w i and thus cE = P c S in∗ (R ), where c = Q µ λ and w i λ i i i w i j j j Q i ci = j6=i µjλj. ∗ Now inw(cE) = cE, which means that for every i only those monomials bN(i)EN(i) ∗ in ciSi for which tropw(bN(i)EN(i)inw(Ri)) ⊀ tropw(cE) contribute to cE. Letting P ∗ Qi denote their sum, we have cE = Qiinw(Ri). On the other hand, letting P i P := i QiRi, we have X 0 X P = cE + QiRi = (λiQi)Pi i i ∗ 0 0 where Ri = inw(Ri) + Ri. Since every monomial of tropw(Ri) is irrelevant for ∗ tropw(Ri) = tropw(inw(Ri)) in the sense of Definition 4.8, we deduce from Re- 0 ∗ mark 4.10 that every monomial of tropw(QiRi) is irrelevant for tropw(Qiinw(Ri)) ∗ and is thus irrelevant for tropw(cE). We conclude that inw(P ) = cE, and this completes the proof. n Given a differential ideal I ⊂ Fm,n and a weight vector w ∈ B[[T ]] , a set G ⊂ I is a tropical basis for I with respect to w provided ∗ ∗ m inw(I) = (inw(Θ(J)(g)) : g ∈ G,J ∈ N ). The following result generalizes [10, Prop. 1]; our strategy of proof is slightly different. EXPLORING TROPICAL DIFFERENTIAL EQUATIONS 25

n Proposition 7.8. Let ωm ∈ B[[T ]] denote the unique series vector with support m N . Given G ⊂ K0,n, let I = [G] denote the differential ideal of Fm,n that it generates. Then G is a tropical basis for I with respect to ωm. m m Proof. Set G := {Θ(J)(g): g ∈ G, J ∈ N } and w := ωm. As N ⊂ Supp(w) ∗ and G ⊂ K0,n, we have inw(h) = h for every h ∈ G. On the other hand, given any P f ∈ I, there is some polynomial f1 ∈ Km,n and λ ∈ K for which λf = f1 = i aihi, where ai ∈ Km,n and hi ∈ G. ∗ ∗ 0 We will compute inw(f1). To this end, we decompose ai as ai = inw(ai) + ai, ∗ 0 so that aihi = inw(ai)hi + ai. For every monomial bN EM of hi, we have vw(hi) = ∗ ∗ vw(bN EM ) = 1. It follows that inw(aihi) = inw(ai)hi, and consequently that ∗ ∗ X ∗ ∗ inw(f1) inw(f1) = inw(ai)hi and inw(f1) = i λ where the sum is over all relevant indices i, which means precisely that G is a tropical basis for I with respect to w. 7.1. Initial degenerations. The geometric counterparts of initial forms are initial degenerations. Each of these is specified by a scheme-theoretic model that is flat over the spectrum of the valuation ring K((T ))◦ = {x ∈ K((T )) : trop(x) ≤ 1} corresponding to the valuation trop : K((T )) → V B(T ), as in [15].

For an affine scheme X defined by an ideal I ⊂ K((T )){x1, . . . , xn}, we now ◦ 0 0 let X denote the spectrum of a quotient ring K((T )) {x1, . . . , xn}/I , where I is a translation of I induced by a weight vector w ∈ B[[T ]]n: this is our putative model. We will show that, for every w ∈ B[[T ]]n, an analogue of the translation ◦ map K((T )){x1, . . . , xn} → K((T )) {x1, . . . , xn} defined when m = 1 in [9] also exists when m > 1. On the other hand, we will also show that when m > 1, there is a tower of ring extensions K[[T ]] ( K((T ))◦ ⊂ K((T )) in which the first inclusion is proper, which diverges from the m = 1 case. In particular, K((T ))◦ is not a local ring, and therefore is not a valuation ring in the traditional sense. Corollary 7.9. Let C := {x ∈ K((T )) : ∂x = 0 for every j}. Then C = K, while ∂tj K((T ))◦ is a subring of K((T )).

Proof. The ﬁrst claim is clear. The second claim follows from the fact that V B(T )◦ := {a ∈ V B(T ): a ≤ 1} is a subsemiring of V B(T ), together with Corollary 7.2. Deﬁnition 7.10. We call K((T ))◦ (resp., V B(T )◦) the ring of integers of K((T )) (resp., the semiring of integers of V B(T )). Proposition 7.11. The ring K((T ))◦ is an extension of K[[T ]], and it is local if and only if m = 1. Proof. If m = 1, then K((T ))◦ = K[[T ]] and there is nothing to prove, so we shall suppose that m > 1. Since every a ∈ V B[T ] is less than 1, we have V B[T ] ⊂ V B(T )◦. In particular, since trop(K[[T ]]) = V B[T ], we deduce that K[[T ]] is a subring of K((T ))◦. In general this inclusion is proper; for example, we have t1t2 ∈ t1+t2 K((T ))◦ \ K[[T ]]. To prove the second point, we use the fact that a ring is local if and only if the sum of any two non units is a non-unit, and we produce an explicit unit that decomposes as a sum of non-units when m = 2. Appealing to Lemma 4.6 again, we 26 ETHAN COTTERILL, CRISTHIAN GARAY LOPEZ,´ AND JOHANA LUVIANO

a 0 0 0 0 have b < 1 in V B(T ) if and only if A = A t B , with A ( B and B ⊂ (Be \ B). Thus x = t1 and y = t2 are non-units in K((T ))◦ for which x + y = 1. t1+t2 t1+t2 Remark 7.12. When m > 1, the extension K[[T ]] ⊂ K((T ))◦ is never diﬀerential, as K((T ))◦ is not closed under diﬀerentiation; for example, when m = 2, the element t1 ◦ ∂ t1 t2 belongs to K((T )) , while ( ) = 2 does not. t1+t2 ∂t1 t1+t2 (t1+t2) Remark 7.13. Recall that a subset I of a semiring S is an ideal if 0, a + b and ac are elements of I whenever a, b ∈ I and c ∈ S, and that an ideal I of S is prime if its complement S \ I is a multiplicative subset of S.

The set X := {x ∈ V B(T )◦ : x < 1} satisﬁes V B(T )◦ X ⊂ X, but is not an ideal of V B(T )◦, as it is not closed under ⊕. As a result, we conclude that trop−1(X) = {x ∈ K((T ))◦ : trop(x) < 1} is absorbent with respect to multiplication, but is not an ideal of K((T ))◦.

On the other hand, Remark 4.10 implies that Y := {x ∈ V B(T )◦ : x ≺ 1} is an ideal of V B(T )◦; while the discussion of Example 4.15 implies that Y is not prime. Indeed, following Example 4.15, choose b, d ∈ V B[t, u] to be b = t2u3 + t3u + t5 and 4 3 4 2 2 3 4 2 a c a c d = u +tu +t u ; and let a = t u and c = t u . Then b , d ⊀ 1, but b d ≺ 1. It follows immediately that trop−1(Y ) = {x ∈ K((T ))◦ : trop(x) ≺ 1} is a non-prime ideal of K((T ))◦. The following construction is inspired by one carried out in [9] in the m = 1 n case. For each weight vector w = (w1, . . . , wn) ∈ B[[T ]] , we deﬁne a map m ◦ m K((T ))[xi,J : 1 ≤ i ≤ n, J ∈ N ] −→ K((T )) [xi,J : 1 ≤ i ≤ n, J ∈ N ] (18) P 7→ Pw.

m For this purpose, we use the canonical section σK : P(N ) → K[[T ]]. To begin, m for every 1 ≤ i ≤ m and J ∈ N , we let T (wi,J) ∈ K[[T ]] denote the series

X I T (wi,J) = T = σK (Vert((Wi − J)≥0)) I∈V (Θ (J)w ) Bm i where Wi = Supp(wi) for i = 1, . . . , n. Given P ∈ Fm,n, suppose that tropw(P ) = a −1 b 6= 0, with A = Supp(a) and B = Supp(b); we then set T (tropw(P )) := P I I∈B T σK (B) P I = ∈ K((T )). I∈A T σK (A)

We now specify a diﬀerential polynomial Pw by substituting every instance of −1 xi,J in P by T (wi,J)xi,J and then multiplying the result by T (tropw(P )) :  T (trop (P ))−1P (T (w ,J)x ), if trop (P ) 6= 0  w i i,J w Pw(xi,J ) :=  0, if tropw(P ) = 0.

◦ Lemma 7.14. The polynomial Pw has coeﬃcients in K((T )) . P P Proof. Let P = M aM EM . We then have Pw(x) = M bM EM , where

−1 Y Mi,J bM = T (tropw(P )) aM (T (wi,J)) . i,J EXPLORING TROPICAL DIFFERENTIAL EQUATIONS 27

We need to show that trop(bM ) ≤ 1, i.e., that Y Mi,J trop(aM ) V (EM (w)) = trop aM (T (wi,J)) ≤ tropw(P ). i,J

Here the equality is clear, while the inequality holds because tropw(P ) is the least L upper bound of M tropw(aM EM ). Whenever G is a differential ideal and the ring ◦ m Rw := K((T )) [xi,J : 1 ≤ i ≤ n, J ∈ N ]/(Pw : P ∈ G) is flat over K((T ))◦, there is an associated (algebraic) initial degeneration given by specializing the scheme X(w) := Spec(Rw) to the fiber over some closed point p ∈ Spec(K((T ))◦).

8. Computational aspects and open problems In this section we discuss issues at play in effectively computing tropical DA varieties, and we highlight several outstanding problems in need of resolution. The first issue concerns the finiteness of presentations of differential ideals, and tropical bases. As stated, the fundamental theorems 6.7 and 7.7 are about differential ideals G, which are infinite sets of differential polynomials. The Ritt- Raudenbush basis theorem (see [3]) establishes that we can always find finitely many P1,...,Ps ∈ G for which Sol(G) = Sol(P1) ∩ · · · ∩ Sol(Ps). It is not true in general, however, that the DA tropicalization of Sol(G) is described by the supports of these generators, i.e., that

sp(Sol(G)) = Sol(sp(P1),..., sp(Ps)), and in fact, following the discussion from Remark 6.10, one expects an infinite set {sp(P ): P ∈ G} to be able to recover this set. A tropical DA basis3 for G is a (preferably smaller) subsystem Φ ⊂ G from which we can compute both the DA variety Sol(Φ) = Sol(G) and its corresponding DA tropicalization Sol(sp(Φ)) = Sol(sp(G)). It is worth noting that Groebner bases exist in both the tropical and the differential settings, and that tropical differential Groebner bases for ordinary differential tropical systems were introduced in [10], but at present these are lacking in the more general partial differential case. These would simultaneously represent adaptations of tropical Groebner bases to the differential setting, and of differential Groebner bases to the tropical setting. Problem 1. Define an appropriate notion of tropical basis for the partial differential setting. The second issue is that of effectively evaluating vertex polynomials. Since the P map V : B[[T ]] −→ V B[T ] is a homomorphism of semirings, given P = M aM EM n P in Km,n and a ∈ K[[T ]] , we have P (a) = M aM EM (a), and consequently X M M V (P (a)) = V aM EM (a) = V (aM EM (a)) = V (aM ) V (EM (a)). M M M

3This should not be confused with the tropical bases for diﬀerential ideals equipped with a particular choice of weight vector w studied in section 7. 28 ETHAN COTTERILL, CRISTHIAN GARAY LOPEZ,´ AND JOHANA LUVIANO

As a result, solutions of P may be formulated either in terms of the vertex polynomials V (aM EM (a)) of the series aM EM (a) (as we do here) or in terms of the vertex polynomials V (aM ) V (EM (a)) = V (V (aM ) + V (EM (a))) of the polynomials V (aM ) + V (EM (a) (as per the original deﬁnition given in [6]). Using the decomposition (14), it should be possible to compute the vertex polynomials V (a) algorithmically by combining (1) a subroutine that computes the vertex set V (P ) of an integral polyhedron P ; and (2) a subroutine that computes the distinguished polytopal representative P = Pa in the decomposition (7) of the integral polyhedron New(a). This is signiﬁcant, as implementations of each of these subroutines are readily available. A closely-related problem is that of producing concrete formulas for the binary operations ⊕ and on vertex polynomials; this, in turn, relates to a number of subsidiary problems involving operations on polytopes. Namely, given vertex polynomials a and b, we have chains of inclusions

a b ⊂ V(∆a + ∆b) ⊆ V(∆a) + V(∆b) and

a ⊕ b ⊆ V(Conv(∆a ∪ ∆b)) ⊆ V(∆a) ∪ V(∆b). where ∆α denotes the convex envelope of α ∈ V B[T ]. Thus, as pointed out in [4], in order to effectively compute a b, one natural strategy is to first compute V(∆a) + V(∆b), and then apply a second algorithm to remove all points that are not vertices of ∆a +∆b. On the other hand, computing a⊕b naturally leads to that of computing V(Conv(Pa ∪Pb)); the latter problem is referred to in the literature as redundancy removal, inasmuch as it involves removing redundant inequalities from a system of linear inequalities. Problem 2. Implement an effective algorithm for computing vertex polynomials and vertex sets. Another issue we would like to highlight is that of convergence. Thus far, we have only considered solutions as formal power series in ϕ ∈ K[[T ]]n, but for geometric applications it would be useful to know whether they represent analytic functions m,an Ω → K with a common domain 0 ∈ Ω ⊂ AK . Possibilities are stratified according to whether or not the valuation on K is Archimedean. (1) The Archimedean case. Here the only possibility is that K = C with the m,an m Euclidean topology; thus AK = (C , H), where H is the sheaf of holo- morphic functions. (2) The non-Archimedean case. As we mentioned in the introduction, an inter- alg esting choice of field is K = Qp ; and an interesting choice of topological m,an alg space is the Berkovich space associated to the completion p of . ACp C Qp Problem 3. Study the analytic properties of lifts of tropical DA varieties. 8.1. Quasivaluations, bis. We saw in Proposition 5.6 that the support map sp : Km,n → Bm,n behaves much like a valuation and also interacts in an interesting way with differentials. In particular, it may be useful in the future study of tropical differential algebra from the perspective of differential (idempotent) semirings. Question 1. Is there a well-behaved notion of tropical differential ideal? EXPLORING TROPICAL DIFFERENTIAL EQUATIONS 29

The fundamental theorem characterizes those systems of tropical differential equations Σ ⊂ Bm,n whose solution sets Sol(Σ) equal the tropicalizations of differential algebraic sets Sol(G) over an algebraically closed uncountable field of characteristic zero. Question 2. Is there an axiomatic characterization of such tropical systems? Classically, a tropical prevariety is a finite intersection of tropical hypersurfaces; see [18, p.102]. On the other hand, the concept of tropical DA hypersurface is clearly well-defined (and is illustrated explicitly in Example 6.5). Question 3. Is there a well-defined notion of tropical DA prevariety? The theory of initial forms with respect to the non-Krull valuation trop introduced in section 5.1 also opens the door to a number of natural questions. Question 4. Is there a theory of Groebner bases adapted to the valuations trop: K[[T ]] → V B[T ] when m > 1? In [10] such a Groebner theory is developed when m = 1, in which case trop is a Krull valuation. In section 7, we extended the trop valuation from the ring K[[T ]] to its quotient field K((T )). In doing so, we established in Proposition 7.11 that for m > 1 the ring of integers K((T ))◦ is not a local ring, and that it properly contains K[[T ]]. Further, according to Lemma 7.14, there is a translation map P 7→ Pw associated to every given weight vector w ∈ B[[T ]]n that sends a differential polynomial with coefficients in K((T )) to a differential polynomial with coefficients in K((T ))◦. We correspondingly considered the spectra X(w) of the ring quotients ◦ m Rw = K((T )) [xi,J : 1 ≤ i ≤ n, J ∈ N ]/(Pw : P ∈ G).

Each Rw potentially represents an initial degeneration of R; it remains, however to check that it is flat. Question 5. Given w, is X(w) flat over the ring of integers K((T ))◦? In forthcoming work [8] we will show that the answer is “yes”. A subsidiary question with obvious geometric implications would be to study the scheme Spec(K((T ))◦) that parameterizes our initial degenerations. Finally, in order to prove the missing item (1) of the fundamental theorem 6.7 for Fm,n when m > 1, we require a differential enhancement in the sense of Remark 5.4 of the basic tropicalization scheme trop : K((T )) → V B(T ). A natural guess for such a differential enhancement is given by (19) ( ((T )),D) B7 w f (K((T )),D) / V (T ) trop B in which B((T )) denotes the localization of B[[T ]] at S = B[[T ]] \{0}. However (19) is not a differential enhancement, as any differential d : B((T )),D) → B((T )),D) necessarily satisfies d(1) = d(w(1)) = w(d(1)) = 0; from Leibniz it then follows that d = 0. See also [6, Ex. 7.4] for a related discussion when m = 1. 30 ETHAN COTTERILL, CRISTHIAN GARAY LOPEZ,´ AND JOHANA LUVIANO

Question 6. Is there an analogue of item (1) of the fundamental theorem 6.7 for the ﬁeld Fm,n, m ≥ 1?

8.2. An example. To concretely illustrate how tropical differential algebra works, in this subsection we evaluate a particular tropical differential polynomial P ∈ B[[t, u]]{x, y}; and we give a general strategy for computing the solution set of an arbitrary differential polynomial P ∈ Bm,n. To begin, note that a differential monomial of order at most 1 is of the form

m1,(0,0) m1,(0,1) m1,(1,0) m1,(1,1) m2,(0,0) m2,(0,1) m2,(1,0) m2,(1,1) EM = x(0,0) x(0,1) x(1,0) x(1,1) y(0,0) y(0,1) y(1,0) y(1,1)

2×4 where M = (mi,J )i,J ∈ N . So 3 2 2 2 (20) P = (t + u)x(0,0)y(1,1) + (1 + t u )x(1,0)x(0,1) + ty(1,0) is a typical polynomial of order at most 1. Here P has three terms, namely 3 2 2 aM1 EM1 = (t + u)x(0,0)y(1,1), aM2 EM2 = (1 + t u )x(1,0)x(0,1), and aM3 EM3 = 2 ty(1,0). Since there are comparatively few variables and the diﬀerential operators ΘB(m, n) involved are of low order, we will use standard partial derivative notation. 2 3 2 3 2 Now say that a = (a1, a2) = (t + t + tu + u , 1 + u + t u + t u ). We then have 2 3 ∂ a2 3 2 • aM1 EM1 (a) = (t + u)a1(ΘB(1, 1)a2) = (t + u)a1( ∂t∂u ) = (t + u)(t + t + tu + u3)(t + t2u)3; 2 2 2 2 ∂a1 ∂a1 • aM2 EM2 (a) = (1 + t u )(ΘB(1, 0)a1)(ΘB(0, 1)a1) = (1 + t u )( ∂t )( ∂u ) = (1 + t2u2)(1 + u + t)(t + u2); and 2 ∂a2 2 2 2 2 3 2 2 2 • aM3 EM3 (a) = t(ΘB(1, 0)a2) = t( ∂t ) = t(tu+t u ) = t u (1+tu+t u ).

The evaluation P (a) is the union of three formal series aMi EMi (a), i = 1, 2, 3; they are displayed in Figure 3. On the other hand, computing vertex polynomials,

(0,0)

Figure 3. Values of aMi EMi (a) for i = 1, 2, 3, and P (a). we ﬁnd that 4 3 3 5 4 3 4 • V (aM1 ) V (EM1 (a)) = V ((t + u)(t + t u )) = t + t u + t u ; 2 2 • V (aM2 ) V (EM2 (a)) = V (1(u + t)) = t + u ; and 2 2 3 2 • V (aM3 ) V (EM3 (a)) = V (t(t u )) = t u . P 2 Finally, note that V (P (a)) = V ( M V (aM ) V (EM (a))) = t + u , and since t 2 and u belong to the support of aM2 EM2 (a) but not to the supports of either of the other two aMi EMi (a), it follows that a is not a solution of P . EXPLORING TROPICAL DIFFERENTIAL EQUATIONS 31

Going further, now let P ∈ Bm,n denote an arbitrary diﬀerential polynomial. Given X,J ⊂ Nm, we let X(≥ J) := {I ∈ X : I ≥ J}. Note that ( X(≥ J) − J, if X(≥ J) 6= ∅; and (21) (X − J)≥0 = ∅, otherwise.

Q mi,J Any diﬀerential monomial aE, with E = m x and A = Supp(a), 1≤i≤n,J∈N i,J induces an operator aE : P(Nm)n −→P(Nm) deﬁned by (22)  ∅, if X (≥ J) = ∅ for some (i, J) in E, and  i aE(X1,...,Xn) = P P i,J mi,J Xi(≥ J) + Vert(A) − i,J mi,J J otherwise.

For example, the maps P(N2) × P(N2) −→P(N2) induced by the monomials of P in (20) are

3 (t + u)x(0,0)y(1,1)(X,Y ) = X + 3Y (≥ (1, 1)) + {(−2, −3), (−3, −2)}; 2 2 (1 + t u )x(1,0)x(0,1)(X,Y ) = X(≥ (1, 0)) + X(≥ (0, 1)) + (−1, −1); and 2 ty(1,0)(X,Y ) = 2Y (≥ (1, 0)) + (−1, 0).

These equations impose restrictions on the support vector (X,Y ) ∈ P(N2) × P(N2) of solutions of P . It remains to carry out a case-by-case analysis of the expression L V (P (a)) = M V (aM EM (a)) based on the number of relevant summands, which must be at least two in order for a to be a solution of P . In the example considered above, there are two cases to be settled.

(1) Two relevant summands: in this case, we have V (aMk EMk (a)) ≺ V (P (a)) =

V (aMi EMi (a)) ⊕ V (aMj EMj (a)), for {i, j, k} = {1, 2, 3}.

(2) Three relevant summands: in this case, we have V (aMk EMk (a)) ⊀ V (P (a)) for k = 1, 2, 3. The casewise inspection required here is very similar to that required to explicitly describe a tropical hypersurface V (f) as a semialgebraic set in tropical aﬃne space.

Appendix A. Proof of Proposition 5.6

Given integers m > 0 and n ≥ 0, we will show that sp : Km,n → Bm,n is a non-degenerate K-algebra quasivaluation for which sp ◦ ΘKm,n (ei) ≤ ΘBm,n (ei) ◦ sp for every i = 1, . . . , m.

Proof. The facts that sp(P ) = 0 if and only if P = 0, that sp(a) = 1 for every nonzero element a ∈ K, and that sp ◦ ΘKm (J)(a) = ΘBm (J) ◦ sp(a) for every m a ∈ Km and J ∈ N are clear. Suppose now that n = 0. Given elements α, β ∈ K[[T ]] with support sets A and B, respectively, we write a, b ∈ B[[T ]] for their corresponding support series, so that

X I X I X I X I α = aI T , β = bI T , a = T , and b = T . I∈A I∈B I∈A I∈B 32 ETHAN COTTERILL, CRISTHIAN GARAY LOPEZ,´ AND JOHANA LUVIANO

We define the additive and multiplicative supports as(α, β), ms(α, β) of (α, β), respectively, by X X (23) as(α, β) := T I and ms(α, β) := T I . I∈A∪B I∈AB P aI +bI =0 I=K+L aK bL=0 These are the unique elements of B[[T ]] for which (1) sp(α + β) ∩ as(α, β) = ∅ and sp(α + β) + as(α, β) = a + b = sp(α) + sp(β); and (2) sp(αβ) ∩ ms(α, β) = ∅ and sp(αβ) + ms(α, β) = ab = sp(α)sp(β). The subadditive and multiplicative properties of sp follow from the existence of as and ms, respectively; and the desired result when n = 0 follows immediately. Note that the associativity of operations in B[[T ]] guarantees that the definitions of the additive and multiplicative supports (23) extend to any finite number of inputs greater than one. P P Now, given P = M∈Λ(P ) aM EM and Q = M∈Λ(Q) bM EM , we have P + Q = P M∈Λ(P )∪Λ(Q)(aM + bM )EM , and the fact that

sp(aM + bM ) + as(aM , bM ) = sp(aM ) + sp(bM ) for every M ∈ Λ(P ) ∪ Λ(Q) implies that sp(P + Q) ≤ sp(P ) + sp(Q). Similarly, to prove that sp(PQ) ≤ sp(P )sp(Q), our point of departure is the fact P P that PQ = O∈Λ(P )+Λ(Q) cOEO, where cO = M+N=O aM bN . We need to show that for any O ∈ Λ(P ) + Λ(Q), there is some γO ∈ B[[T ]] for which sp(cO) + γO = P M+N=O sp(aM )sp(bN ). This, in turn, follows from the facts that P (1) sp(cO) + asM+N=O(aM bN ) = M+N=O sp(aM bN ) and (2) sp(aM bN ) + ms(aM , bN ) = sp(aM )sp(bN ). The ﬁnal condition on derivatives follows from the following observation: given P P = M αM EM and i = 1, . . . , m, we have X X ΘKm,n (ei)P = (ΘKm,n (ei)αM )EM + αM (ΘKm,n (ei)EM ) M M and therefore X X sp(ΘKm,n (ei)P ) ≤ sp(ΘKm,n (ei)αM )EM + sp(αM )(ΘKm,n (ei)EM ). M M To conclude, we note that

(ΘKm,n (ei)EM ) = (ΘBm,n (ei)EM ) and sp ◦ ΘKm,n (ei)(a) = ΘBm,n (ei) ◦ sp(a) for every a ∈ Km,0, as this holds when n = 0. n Corollary A.1. For every w ∈ Bm, the corresponding map tropw : Km,n → V B[T ] is a K-algebra valuation.

Proof. The assignment P 7→ tropw(P ) factors as P 7→ sp(P ) 7→ sp(P )(w) 7→ V (sp(P (w))). We now appeal to Proposition 5.6, the algebra homomorphism properties of the evaluation map, and the linearity of V , in that order. Explicitly, given P,Q ∈ Km,n 0 there are some R,R ∈ Bn,m for which sp(P + Q) + R = sp(P ) + sp(Q) and sp(PQ) + R0 = sp(P )sp(Q). Evaluating at w now yields sp(P + Q)(w) + R(w) = EXPLORING TROPICAL DIFFERENTIAL EQUATIONS 33 sp(P )(w)+sp(Q)(w) and sp(PQ)(w)+R0(w) = sp(P )(w)sp(Q)(w) in B[[T ]]; ﬁnally, the linearity of V implies that tropw is a K-algebra quasivaluation.

To conclude, it remains to show that tropw is multiplicative. Indeed, given a n polynomial P ∈ Km,n and a support vector w ∈ B[[T ]] , every element of {sp(P (ϕ)) : ϕ ∈ K[[T ]]n, sp(ϕ) = w} in contained in sp(P )(w). Moreover, for a generic choice of ϕ ∈ K[[T ]]n with support w, we have sp(P (ϕ)) = sp(P )(w). In particular, this means that

tropw(P ) = V (sp(P )(w)) = V (sp(P (ϕ))) = trop(P (ϕ)). n Now assume P3 = P1P2, and choose an n-tuple of power series ϕ ∈ K[[T ]] for which sp(ϕ) = w and sp(Pi(ϕ)) = sp(Pi)(w) for i = 1, 2, 3. Because evaluation and trop are multiplicative, we deduce that tropw(P1P2) = tropw(P3) = trop(P3(ϕ)) = trop(P1(ϕ)) trop(P2(ϕ)) = tropw(P1) tropw(P2). Acknowledgements. The authors thank Lara Bossinger and Pedro Luis del Angel´ for interesting conversations and valuable comments; Alicia Dickenstein, for detailed comments on the first version of this paper; and Yue Ren, from whom we first learned of the potential applications of these methods to p-adic differential equations during a BIRS talk he gave in June 2020.

References [1] F. Aroca, C. Garay López, and Z. Toghani, The fundamental theorem of tropical differential algebraic geometry, Pacific J. Math. 283 (2016) no. 2, 257–270. [2] T.S. Blyth, Residuated mappings, Order 1 (1984), 187–204. [3] F. Boulier and M. Haiech, The Ritt–Raudenbusch theorem and tropical differential geometry, hal-02403365v2 (2019). [4] V. Delos and D. Teissandier, Minkowski sum of polytopes defined by their vertices, J. Appl. Math. Phys. 3 (2015), no. 1, 62–67. [5] J. Denef and L. Lipshitz, Power series solutions of algebraic differential equations, Math. Ann. 267 (1984), 213–238. [6] S. Falkensteiner, C. Garay López, M. Haiech, M.P. Noordman, Z. Toghani and F. Boulier, The fundamental theorem of tropical partial differential algebraic geometry, Proc. 45th ISSAC (2020), 178–185. [7] S. Falkensteiner, C. Garay López, M. Haiech, M.P. Noordman, Z. Toghani and F. Boulier, On initials and the fundamental theorem of tropical partial differential geometry, hal-03122437 (2020). [8] L. Bossinger, S. Falkensteiner, C. Garay López, M. Haiech and M.P. Noordman, Initial degeneration for systems of algebraic differential equations, in preparation. [9] A. Fink and Z. Toghani, Initial forms and a notion of basis for tropical differential equations, arXiv:2004.08258. [10] X.-S. Gao and Y. Hu, Tropical differential Gröbnerbasis, arXiv:1904.02275. [11] X.-S. Gao and Y. Hu , Tropical differential Gröbnerbases, Math. Comput. Sci. (2020). [12] J. Giansiracusa and N. Giansiracusa, Equations of tropical varieties, Duke Math. J. 165 (2016), no. 18, 3379–3433. [13] J. Golan, Semirings and their applications, Springer, 1999. [14] D. Grigoriev, Tropical differential equations, Adv. Appl. Math. 82 (2017), 120–128. [15] W. Gubler, A guide to tropicalizations, Algebraic and combinatorial aspects of tropical geometry 589 (2013), 125–189. [16] K. Kaveh and C. Manon, Toric bundles, valuations, and tropical geometry over semifield of piecewise linear functions, arXiv:1907.00543. [17] K. Kedlaya, p-adic differential equations, Cambridge Univ. Press, 2010. [18] D. Maclagan and B. Sturmfels, Introduction to tropical geometry, AMS, 2015. 34 ETHAN COTTERILL, CRISTHIAN GARAY LOPEZ,´ AND JOHANA LUVIANO

[19] J.F. Ritt, Diﬀerential algebra, Colloq. Publ. 33, AMS, 1950. [20] R. Webster, Convexity, Oxford Univ. Press, 1994.

Instituto de Matematica,´ UFF, Rua Prof Waldemar de Freitas, S/N, 24.210-201 Niteroi´ RJ, Brazil Email address: [email protected]

Centro de Investigacion´ en Matematicas,´ A.C. (CIMAT), Jalisco S/N, Col. Valen- ciana CP. 36023 Guanajuato, Gto, Mexico´ Email address: [email protected]

Universidad Autonoma´ Metropolitana-Azcapotzalco., Av. San Pablo 180, Col. Reynosa Tamaulipas, Alcald´ıa Azcapotzalco, C.P. 02200, CDMX, Mexico´ Email address: [email protected]