4
$\begingroup$

Question as in title. I only really need the special case where one of the open embeddings is the identity, but the more general case would be useful to know.

Edit - By product I mean: given $U\to X$ and $V\to Y$ open embeddings, is the canonical map $U\times V \to X\times Y$ an open embedding?

  • 0
    @Matt I mean the product in the category of schemes of the two maps $U \to X$ and $V \to Y$. I'll edit to make it clear.2011-03-01

1 Answers 1

5

Yes. In fact, this can be seen as follows. Open immersions are preserved under base-change; thus $U \times V \to X \times V$ is an open immersion; similarly so is $X \times V \to X \times Y$; thus the composition is.

Most of the nice properties of schemes (immersions, separatedness, properness, finite type, quasicompactness, quasiseparatedness, smoothness, flatness, quasifiniteness, surjectivity, radicialness) are preserved the basic operations of base-change and composition. This implies that they are preserved under products as you ask. (Much of made of this in EGA.)

  • 0
    Thanks. I had guessed it would be, but I thought my topological intuition would let me down.2011-03-01