Is the intersection of two quasi-compact open subsets of a scheme quasi-compact? Is there a counterexample?
Is the intersection of two quasi-compact open subsets of a scheme quasi-compact?
4
$\begingroup$
algebraic-geometry
-
2The property you ask about, quasi-separatedness (also known as quasi-separatedness of $\mathrm{Spec}(\mathbf{Z})$) is equivalent to the diagonal $X\rightarrow X\times_{\mathrm{Spec}(\mathbf{Z})}X$ being quasi-compact. – 2012-12-11
1 Answers
5
This property is known as "quasiseparatedness" and not every scheme has it.
Consider $X=\mbox{Spec}~k[x_1,x_2,x_3,\ldots]$ and the maximal ideal $\mathfrak{m} = (x_1,x_2,x_3,\ldots)$. Then $U=X\setminus\{\mathfrak{m}\}$ is an open subset of $X$. Glue together two copies of $X$ at $U$ and call this $Y$.
You can think about this example as a generalization of the affine line with doubled origin - it is the infinite-dimensional affine space with doubled origin.
This scheme is not quasiseparated. Both copies of $X$ are quasicompact open subsets of $Y$ (in fact they are affine), but their intersection is $U$, and $U$ is not quasicompact. Just take the cover by all $D(x_i)$.