ScalingStacks

4.15 [0361]

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.15

A tropical chart (V,φU)(V,\varphi_{U}) on Xan{X^{\rm an}} consists of an open subset VV of Xan{X^{\rm an}} contained in Uan{U^{\rm an}} for a very affine open subset UU of XX with V=tropU−1​(Ω)V={\rm trop}_{U}^{-1}(\Omega) for some open subset Ω\Omega of Trop⁡(U){\rm Trop}(U). Here the canonical moment map φU:U→TU\varphi_{U}:U\rightarrow T_{U} from 4.12 plays the role of (tropical) coordinates for VV. By 4.13, φU\varphi_{U} is an embedding. The condition V=tropU−1​(Ω)V={\rm trop}_{U}^{-1}(\Omega) means that VV behaves well with respect to the tropical coordinates. In particular, tropU​(V)=Ω{\rm trop}_{U}(V)=\Omega is an open subset of Trop⁡(U){\rm Trop}(U).

We say that the tropical chart (V′,φU′)(V^{\prime},\varphi_{U^{\prime}}) is a tropical subchart of (V,φU)(V,\varphi_{U}) if V′⊂VV^{\prime}\subset V and U′⊂UU^{\prime}\subset U. We note that the definition of tropical chart here is different from the tropical charts in [CD12], §3.1, which consist of an analytic morphism to a split torus and a finite union of polytopes containing the tropicalization.

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