Proposition 4
Tag 00XH, permanent. Cite it as [Bourbaki, Tag 00XH].
Lie Groups and Lie Algebras, chapter VII, Appendix 1. Polynomial maps and Zariski topology
Let be a polynomial map. Assume that there exists such that is surjective. Then is dominant.
Applying a translation in V and one in W, we can assume that and . The decomposition of as a sum of homogeneous elements can then be written
with deg ,
and the linear map is surjective by hypothesis. Suppose that is not dominant. Then there exists a non-zero element of such that . Let be the decomposition of into homogeneous elements, with deg and . Then
where is a sum of homogeneous polynomial maps of degrees . It follows that . Since is surjective, , a contradiction.
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
Cites
Nothing.