7.10 [037P]
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
7.10
In an algebraic setting, our goal is to compare the tropical multiplicities introduced in 4.7 with the ones from Definition 7.5. Let us consider an algebraic variety over of dimension and an algebraic moment map over . We assume that the map is generically finite. Note that . We conclude that is the support of an integral -affine polyhedral complex of dimension endowed with the tropical multiplicities of . Note that this tropical multiplicities are compatible with refinement and hence they define an integer valued function on the regular points of . This means that the function is defined and constant in the relative interior of every -dimensional polyhedron contained in and if is from the above integral -affine polyhedral complex, then is equal to the tropical multiplicity of in for every .
The analytification is not compact (unless ), but as , we can define tropical multiplicities in the same analytic manner as in Definition 7.5. Again, this is compatible with refinement and hence leads to a tropical multiplicity function on the regular points of .