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 of has a canonical moment map. We note that the abelian group is free of finite rank (see [Sa66], Lemme 1). Here, we use that is algebraically closed (or at least that is geometrically reduced). We choose representatives in of a basis. This leads to a moment map . By construction, refines every other moment map on . Note that this moment map is canonical up to (multiplicative) translation by an element of .
Let be a morphism of algebraic varieties over and let is an open subset of with . Then induces a homomorphism of lattices. We get a canonical affine homomorphism of the canonical tori with . This will be applied very often in the case where is an open subset of in and . Then we get a canonical affine homomorphism .