ScalingStacks

Proposition 7.2 [037C]

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 7.2

Let XX be an algebraic variety over KK and let φ:W→Tan\varphi:W\rightarrow{T^{\rm an}} be an analytic moment map defined on an open subset WW of Xan{X^{\rm an}}. For every x∈Wx\in W, there is a very affine open subset UU of XX with an algebraic moment map φ′:U→T\varphi^{\prime}:U\rightarrow T and an open neighbourhood VV of xx in Uan∩W{U^{\rm an}}\cap W such that φtrop=φtrop′{\varphi_{\rm trop}}=\varphi^{\prime}_{\rm trop} on VV.

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