ScalingStacks

4.8 [035R]

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

4.8

For an open subset UU of the algebraic variety XX, a moment map is a morphism ฯ†:Uโ†’T\varphi:U\rightarrow T to a split multiplicative torus T:=๐”พmrT:={\mathbb{G}}_{m}^{r} over KK. The tropicalization of ฯ†\varphi is

ฯ†trop:=tropโˆ˜ฯ†an:Uanโ€‹โŸถฯ†anโ€‹Tanโ€‹โŸถtropโ€‹โ„r.{\varphi_{\rm trop}}:={\rm trop}\circ\varphi^{\rm an}:{U^{\rm an}}\overset{\varphi^{\rm an}}{\longrightarrow}{T^{\rm an}}\overset{{\rm trop}}{\longrightarrow}{\mathbb{R}}^{r}.

Obviously, this is a continuous map with respect to the topology on the analytification Uan{U^{\rm an}}. Note that our moment maps are algebraic which differs from the moment maps in [CD12] which are defined analytically.

We say that the moment map ฯ†โ€ฒ:Uโ€ฒโ†’Tโ€ฒ\varphi^{\prime}:U^{\prime}\rightarrow T^{\prime} of the open subset Uโ€ฒU^{\prime} of XX refines the moment map ฯ†:Uโ†’T\varphi:U\rightarrow T if Uโ€ฒโŠ‚UU^{\prime}\subset U and if there is an affine homomorphism ฯˆ:Tโ€ฒโ†’T\psi:T^{\prime}\rightarrow T of the multiplicative tori such that ฯ†=ฯˆโˆ˜ฯ†โ€ฒ\varphi=\psi\circ\varphi^{\prime} on Uโ€ฒU^{\prime}. Here, an affine homomorphism means a group homomorphism composed with a (multiplicative) translation on TT. This group homomorphism induces a homomorphism Mโ†’Mโ€ฒM\rightarrow M^{\prime} of character lattices. Its dual is the linear part of an integral affine map Tropโก(ฯˆ):Nโ„โ€ฒโ†’Nโ„{\rm Trop}(\psi):N^{\prime}_{\mathbb{R}}\rightarrow N_{\mathbb{R}} such that ฯ†trop=Tropโก(ฯˆ)โˆ˜ฯ†tropโ€ฒ{\varphi_{\rm trop}}={\rm Trop}(\psi)\circ\varphi_{\rm trop}^{\prime} on (Uโ€ฒ)an(U^{\prime})^{\rm an}.

If ฯ†i:Uiโ†’Ti\varphi_{i}:U_{i}\rightarrow T_{i} are finitely many moment maps of non-empty open subsets UiU_{i} of XX with iโˆˆIi\in I, then U:=โˆฉiUiU:=\cap_{i}U_{i} is a non-empty open subset of XX and ฯ†:Uโ†’โˆiTi,xโ†ฆ(ฯ†iโ€‹(x))iโˆˆI\varphi:U\rightarrow\prod_{i}T_{i},x\mapsto(\varphi_{i}(x))_{i\in I} is a moment map which refines every ฯ†i\varphi_{i}. Moreover, it follows easily from the universal property of the product that every moment map ฯ†โ€ฒ:Uโ€ฒโ†’Tโ€ฒ\varphi^{\prime}:U^{\prime}\rightarrow T^{\prime} which refines every ฯ†i\varphi_{i} refines also ฯ†\varphi.

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