Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Is it true that a morphism of affine algebraic varieties is continuous in Zariski topology? How should I proceed? thank you

share|improve this question
1  
Hint: a function is continuous if and only if the pre-image of a closed set under the function is closed. So you should try to show that the pre-image of an algebraic variety is itself an algebraic variety, by finding an ideal that it is the variety of. –  Matt Pressland Apr 5 '12 at 16:57
    
thank you for the reply.But need an explicit answer.it would be nice if you elaborate by an example. –  Une Femme Douce Apr 5 '12 at 17:02
    
That might be nice, but it would be best if you tried to use Matt's hint, and then told us where you get stuck. Why do you need an explicit answer? –  Mariano Suárez-Alvarez Apr 5 '12 at 22:40
    
@MimMim: have you tried thinking of one for yourself? –  Clive Newstead Apr 5 '12 at 22:40
2  
What's your definition of a morphism? –  Dylan Moreland Apr 6 '12 at 1:57

1 Answer 1

Let $K$ be a field. Let $\mathbb{A}^n$ and $\mathbb{A}^m$ be affine spaces over $K$. Let $X$ be a closed subset of $\mathbb{A}^n$ and $Y$ be a closed subset of $\mathbb{A}^m$.

Let $F_1,\dots,F_m \in K[X_1,\dots,X_n]$. Let $f:X \rightarrow Y$ be a morphism defined by $f(x) = (F_1(x),\dots,F_m(x))$. We prove that $f$ is continuous.

Let $T$ be a closed subset of $Y$. It suffices to prove that $f^{-1}(T)$ is closed in $X$.

Since T is a closed subset of $\mathbb{A}^m$, there exist polynomials $G_1,\dots,G_r \in K[Y_1,\dots,Y_m]$ such that $T$ is the set of common zeros of $G_1,\dots,G_r$.

Let $H_i = G_i(F_1(X_1,\dots,X_n),\dots,F_m(X_1,\dots,X_n))$ for $i = 1,\dots,r$. Let $S$ be the intersection of $X$ and the set of common zeros of $H_1,\dots,H_r$. If $f(x) \in T$, then $H_1(x) = \cdots = H_r(x) = 0$. Hence $x \in S$. Conversely if $x \in S$, then $H_1(x) = \cdots = H_r(x) = 0$. Hence $f(x) \in T$. Hence $f^{-1}(T) = S$. This completes the proof.

share|improve this answer
1  
Dear Makoto, +1 for the nice and precise way this is written. Notice that your proof doesn't use that $K$ is algebraically closed nor, come to think of it, that $K$ is a field: every word you write is true for an arbitrary ring $K$. I am not criticizing your excellent answer but emphasizing its (welcome) formal character. –  Georges Elencwajg Aug 12 '12 at 11:58
    
@GeorgesElencwajg Thanks. I edited my answer. –  Makoto Kato Aug 12 '12 at 18:35

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.