Proposition 3
Tag 00XG, permanent. Cite it as [Bourbaki, Tag 00XG].
Lie Groups and Lie Algebras, chapter VII, Appendix 1. Polynomial maps and Zariski topology
Assume that is algebraically closed. Let be a dominant polynomial map. The image under of any dense open subset of V contains a dense open subset of W.
It suffices to prove that, for every non-zero element of contains a dense open subset of W. Identify with a subalgebra of by means of the homomorphism associated to . There exists a non-zero element of such that every homomorphism which does not annihilate extends to a homomorphism which does not annihilate Commutative Algebra, Chap. V, §3, no. 1, Cor. 3 of Th. 1). Now such a (resp. ) can be identified with an element of (resp. of ) and to say that extends means that . Hence, . Q.E.D.
Let be a polynomial map, and . The map from V to W is polynomial. Decompose it into a finite sum of homogeneous polynomial maps:
where is homogeneous of degree Algebra, Chap. IV, §5, no. 10, Prop. 19). The linear map is called the tangent linear map of at . We denote it by .
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
- Commutative Algebra, Chap. V, §3, no. 1, Cor. 3 of Th. 1 not in this corpus: AC V
- Algebra, Chap. IV, §5, no. 10, Prop. 19 not in this corpus