I am working on the problem from "Ideas, Varieties and Algorithms" by David Cox, John Little and Donal O'Shea. Here is the homework problem for my course.
Let $V \subset k^n$ and $W \subset k^m$ be two affine varieties, and let
$$\begin{aligned} V \times W &= \{(x_1, \dots, x_n, y_1, \dots, y_m) \in k^{n + m}|\\&\quad(x_1, \dots x_n) \in k^n, (y_1, \dots y_m) \in k^m\} \end{aligned}$$
be their cartesian product. Prove that $V \times W$ is an affine variety in $k^{n + m}$. Hint: If $V$ is defined by $f_1, \dots, f_s \in k[x_1, \dots, x_n]$, then we can regard $f_1, \dots, f_s$ as polynomials in $k[x_1, \dots, x_n, y_1, \dots, y_m]$, and similarly for $W$. Show that this gives defining equations for the cartesian product.
My Attempt
Assume that $V \subset k^n$ and $W \subset k^m$ are affine varieties. That is: $$\begin{aligned} V &= \{(x_1, \dots, x_n) \in k^n |f_1=f_2=\cdots=f_s = 0 \}\\ W &= \{(y_1, \dots, y_m) \in k^m |g_1=g_2=\cdots=g_t = 0 \} \end{aligned}$$
As already given $$\begin{aligned} V \times W &= \{(x_1, \dots, x_n, y_1, \dots, y_m) \in k^{n + m}|\\&\quad(x_1, \dots x_n) \in k^n, (y_1, \dots y_m) \in k^m\} \end{aligned}$$
Using the hint for this problem, we have the following:
- If $V$ is defined by $f_1, \dots, f_s \in k[x_1, \dots, x_n]$, then we can regard $f_1, \dots, f_s$ as polynomials in $k[x_1, \dots, x_n, y_1, \dots, y_m]$
- Likewise, if $W$ is defined by $g_1, \dots, g_t \in k[y_1, \dots, y_m]$, then we can regard $g_1, \dots, g_t$ as polynomials in $k[x_1, \dots, x_n, y_1, \dots, y_m]$
I am not sure what to claim for this problem (e.g. for $V \cup W$, we claim $V \cup W = \mathbf{V}(f_ig_i : 1 \leq i \leq s, 1 \leq i \leq t)$), so I go on and write what I understand about this problem...
Set $(x_1, \dots, x_n, y_1, \dots, y_m) \in (V \times W)$, where $(x_1, \dots, x_n) \in V$ and $(y_1, \dots, y_m) \in W$. Then, at the same time $f_1, \dots, f_s$ vanish at $(x_1, \dots, x_n)$ and $g_1, \dots, g_t$ vanish at $(y_1, \dots, y_m)$.
For the next step, I thought for around hours or so and then gave the following try:
Since $f_1, \dots, f_s \in k[x_1, \dots, x_n, y_1, \dots, y_m]$, and $f_1, \dots, f_s$ vanish at $(x_1, \dots, x_n)$, the set of those polynomials also vanish at $(x_1, \dots, x_n, y_1, \dots, y_m)$. Likewise, since $g_1, \dots, g_t \in k[x_1, \dots, x_n, y_1, \dots, y_m]$ and $g_1, \dots, g_t$ vanish at $(y_1, \dots, y_m)$, the set of those polynomials also vanish at $(x_1, \dots, x_n, y_1, \dots, y_m)$. So $f_ig_j$ for $1 \leq i \leq s$ and $1 \leq j \leq t$ vanish at $(x_1, \dots, x_n, y_1, \dots, y_m)$.
I think my proof needs a bit of adjustment or extra reasoning, but I'm not sure about this.
Any advices or comments about my approach?