I have a question about the proof of Proposition 2 on page 26 of Fulton's algebraic curves.
Let $V\subset \mathbb A^n$ and $W\subset \mathbb A^m$ be affine varieties, and let $\Gamma(V)$ and $\Gamma(W)$ be their coordinate rings.
Suppose that we have a homomorphism $\alpha\colon \Gamma(V)\longrightarrow\Gamma(W)$. We want to show that there is a polynomial map from $V$ into $W$, which induces $\alpha$.
Choose $T_1,…,T_m\in k[X_1,…,X_n]$ with the property $\alpha(\overline{X_1})=\overline{T_1},\ldots,\alpha(\overline{X_m})=\overline{T_m}$, where bars denote taking residues in $\Gamma(V)$ and $\Gamma(W)$. We thus get a polynomial map $T=(T_1,\ldots,T_m)\colon\mathbb A^n\longrightarrow \mathbb A^m$. This induces a homomorphism $\widetilde{T}\colon k[X_1,\ldots,X_m]\longrightarrow k[X_1,\ldots,X_n]$. Fulton says that it is easy to check that $\widetilde{T}(I(W))\subset I(V)$. Why should this be true?
Best Answer
The first thing to point out is that this correspondence reverses the order. $$ \alpha\colon \Gamma(W)\longrightarrow\Gamma(V) \Leftrightarrow T\colon V \longrightarrow W $$
You have the polynomial map $T\colon\mathbb A^n\longrightarrow \mathbb A^m$ and the induced map $\widetilde{T}\colon k[Y_1,\ldots,Y_m]\longrightarrow k[X_1,\ldots,X_n]$ is given by $$ g(Y_1,\ldots,Y_m) \mapsto (g\circ T) (X_1,\ldots,X_n) = g(T_1(X_1,\ldots,X_n),\ldots,T_m(X_1,\ldots,X_n)) $$ where $\alpha(\overline Y_i) = \overline T_i$. (Here I just changed the notation to distinguish the variables)
If $g \in I(W)$, $g \equiv 0 \pmod{I(W)}$, hence $\mod{I(V)}$ we get $$ 0 = \alpha(\bar{g}) = \alpha(g(\overline Y_1,\ldots,\overline Y_m)) = g(\alpha(\overline Y_1),\ldots, \alpha(\overline Y_m)) = g(\overline T_1,\ldots,\overline T_m) $$ which means that $\widetilde{T}(g) = g\circ T \in I(V)$.