Proposition 4.11 [035V] Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Source coverage notes 36 original structured objects have an unresolved mathematical role; their permanent tags identify source occurrences only. Complete original source context · Original author HTML
Proposition 4.11
Let φ ′ : U ′ → T ′ \varphi^{\prime}:U^{\prime}\rightarrow T^{\prime} be a moment map of the non-empty open subset U ′ U^{\prime} of X X which refines the moment map φ : U → T \varphi:U\rightarrow T , i.e. there is an affine homomorphism ψ : T ′ → T \psi:T^{\prime}\rightarrow T such that φ = ψ ∘ φ ′ \varphi=\psi\circ\varphi^{\prime} on U ′ ⊂ U U^{\prime}\subset U . Then we have
( Trop ( ψ ) ) ∗ ( Trop ( φ ∗ ′ ( U ′ ) ) ) = Trop ( φ ∗ ( U ) ) ({\rm Trop}(\psi))_{*}({\rm Trop}(\varphi_{*}^{\prime}(U^{\prime})))={\rm Trop}(\varphi_{*}(U))
in the sense of tropical cycles (see 3.9 ).