6.1 [036Y]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
6.1
Let be finitely many tropical charts contained in and let be a polytope contained in the open subset of . We consider the space of -forms on with support in such that is given on by a superform for every . Since the tropicalization map is proper (see 4.4), the set is compact. Similarly as in the complex case, we endow with the structure of a locally convex space such that a sequence converges to if and only if all derivatives of the superforms converge uniformly to the derivatives of the superform on . Here, (resp. ) is the superform on which defines (resp. ) on and we mean more precisely the derivatives of the coefficients of (resp. ). It follows easily from Proposition 4.16 that is the union of all spaces with ranging over all possibilities as above.