Bourbaki

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 f:V→Wf: V\rightarrow W be a polynomial map. Assume that there exists x0∈Vx_0\in V such that (Df)(x0)(Df)(x_0) is surjective. Then ff is dominant.

Applying a translation in V and one in W, we can assume that x0=0x_0= 0 and f(x0)=0f(x_0) = 0. The decomposition of ff as a sum of homogeneous elements can then be written

f=f1+f2+⋯f=f_1+f_2+\cdots with deg fi=if_i=i,

and the linear map f1f_1 is surjective by hypothesis. Suppose that ff is not dominant. Then there exists a non-zero element ψ\psi of AWA_W such that ψ∘f=0\psi \circ f= 0. Let ψ=ψm+ψm+1+⋯\psi =\psi_m+\psi_{m+1}+\cdots be the decomposition of ψ\psi into homogeneous elements, with deg ψi=i\psi_i=i and ψm≠0\psi_m\not= 0. Then

0=ψ∘f=ψm∘f+ψm+1∘f+⋯ 0 =\psi \circ f=\psi_m\circ f+\psi_{m+1}\circ f+\cdots
=ψm∘f1+ρ =\psi_m\circ f_1+\rho

where ρ\rho is a sum of homogeneous polynomial maps of degrees >m> m. It follows that ψm∘f1=0\psi_m\circ f_1= 0. Since f1f_1 is surjective, ψm=0\psi_m= 0, 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.

Transcribed from the printed volume. Not translated.