3.9 [035F]
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
3.9
Now let be an affine map whose underlying linear map is integral, i.e. induced by a homomorphism . We will define the push-forward of a weighted integral -affine polyhedral complex of pure dimension on . For details, we refer to [AR10], §7. After a subdivision of , we may assume that
is a polyhedral complex in . We define the multiplicity of an -dimensional by
Endowed with these multiplicities, we get a weighted integral -affine polyhedral complex of . If is a tropical cycle, then is also a tropical cycle. It might happen that is empty, then we get the tropical zero cycle.