ScalingStacks

4.12 [035X]

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

We will show that every open affine subset UU of XX has a canonical moment map. We note that the abelian group MU:=𝒪​(U)×/K×M_{U}:={\mathscr{O}}(U)^{\times}/K^{\times} is free of finite rank (see [Sa66], Lemme 1). Here, we use that KK is algebraically closed (or at least that XX is geometrically reduced). We choose representatives φ1,…,φr\varphi_{1},\dots,\varphi_{r} in 𝒪​(U)×{\mathscr{O}}(U)^{\times} of a basis. This leads to a moment map φU:U→TU=Spec⁡(K⁡[MU])\varphi_{U}:U\rightarrow T_{U}={\rm Spec}(K[M_{U}]). By construction, φU\varphi_{U} refines every other moment map on UU. Note that this moment map φU\varphi_{U} is canonical up to (multiplicative) translation by an element of TU​(K)T_{U}(K).

Let f:X′→Xf:X^{\prime}\rightarrow X be a morphism of algebraic varieties over KK and let U′U^{\prime} is an open subset of X′X^{\prime} with f⁡(U′)⊂Uf(U^{\prime})\subset U. Then f♯f^{\sharp} induces a homomorphism MU→MU′M_{U}\rightarrow M_{U^{\prime}} of lattices. We get a canonical affine homomorphism ψU,U′:TU′→TU\psi_{U,U^{\prime}}:T_{U^{\prime}}\rightarrow T_{U} of the canonical tori with ψU,U′∘φU′=φU∘f\psi_{U,U^{\prime}}\circ\varphi_{U^{\prime}}=\varphi_{U}\circ f. This will be applied very often in the case where U′U^{\prime} is an open subset of UU in X′=XX^{\prime}=X and f=idf={\rm id}. Then we get a canonical affine homomorphism ψU,U′:TU′→TU\psi_{U,U^{\prime}}:T_{U^{\prime}}\rightarrow T_{U}.

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