5

Is the intersection of two quasi-compact open subsets of a scheme quasi-compact? Is there a counterexample?

Makoto Kato
  • 42,602
  • 2
    The 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. – Keenan Kidwell Dec 11 '12 at 12:10

1 Answers1

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)$.

Gregor Botero
  • 3,315
  • 3
  • 23
  • 33