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.

Let $X_1$ and $X_2$ two algebraic varieties such that their product $X_1\times X_2$ is affine. Are $X_1$ and $X_2$ affine then?

If this is not true, could you give a counterexample?

share|improve this question
Take $X_1=\emptyset$ and $X_2$ arbitrary. –  Martin Brandenburg May 12 '13 at 11:36

3 Answers 3

up vote 8 down vote accepted

I'll assume you are in the classical context of varieties over an algebraically closed field.
If $a_2\in X_2$ is an arbitrary point, the subvariety $X_1\times \{a_2\}\subset X_1\times X_2$ is closed in the affine variety $X_1\times X_2$ and is thus affine.
Since $X_1$ is isomorphic to $X_1\times \{a_2\}$, $X_1$ is affine too.

share|improve this answer

Let $X,Y$ be two $k$-schemes. If $X \times_k Y$ is affine and $X \neq \emptyset$, then $Y$ is affine.

Proof: Assume $x \in X$ is a $k$-rational point. The two morphisms $\mathrm{id}_{X \times_k Y}, (x,\mathrm{id}_Y) : X \times_k Y \to X \times_k Y$ have equalizer $Y$. But affine schemes are closed under finite limits of schemes, so that we are done. If $X$ has no $k$-rational point, then $X_K$ has a $K$-rational point for some field extension $K/k$ and we conclude that $Y_K$ is affine. But then $Y$ is also affine by fpqc descent. $\square$

share|improve this answer
Of course this coincides with Georges' proof when we apply it to varieties. –  Martin Brandenburg May 12 '13 at 19:47

If say $X_1$ is projective then $X=X_1\times X_2$ could not be affine, as every function on $X$ would be of the form $f=(c,f_2)$, for $c$ some constant (since functions on projective varieties are necessarily constant). Certainly if $X$ was affine then there would be more functions on $X$, namely functions which are non-constant in the first factor.

share|improve this answer

Your Answer


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.