ScalingStacks

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.

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 XX 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′⊂UU^{\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).

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.