The Stacks project

Lemma 5.15.15. Let $X$ be a topological space. Suppose that $Z \subset X$ is irreducible. Let $E \subset X$ be a finite union of locally closed subsets (e.g. $E$ is constructible). The following are equivalent

  1. The intersection $E \cap Z$ contains an open dense subset of $Z$.

  2. The intersection $E \cap Z$ is dense in $Z$.

If $Z$ has a generic point $\xi $, then this is also equivalent to

  1. We have $\xi \in E$.

Proof. The implication (1) $\Rightarrow $ (2) is clear. Assume (2). Note that $E \cap Z$ is a finite union of locally closed subsets $Z_ i$ of $Z$. Since $Z$ is irreducible, one of the $Z_ i$ must be dense in $Z$. Then this $Z_ i$ is dense open in $Z$ as it is open in its closure. Hence (1) holds.

Suppose that $\xi \in Z$ is a generic point. If the equivalent conditions (1) and (2) hold, then $\xi \in E$. Conversely, if $\xi \in E$ then $\xi \in E \cap Z$ and hence $E \cap Z$ is dense in $Z$. $\square$

Comments (5)

Comment #7353 by Hao Peng on

I think this lemma is true without the hypothesis that is closed. One proof is given in Lemma2.1

Comment #7354 by Hao Peng on

Ah it seems this can be any subset of . But this lemma only makes sense when is the closure of , so it is still slightly more general.

Comment #7400 by Alex Scheffelin on

I think the end of the proof is more complicated then need be. If , then , and we can immediately conclude that is dense in , no need to introduce any .

Comment #7401 by Laurent Moret-Bailly on

In addition to #7400, we can simplifiy the exposition of (1)(2) as follows. First, (1)(2) is clear. Next, is a finite union of locally closed subsets of , so we can assume and forget about . Then since is irreducible, one of the must be dense in , hence open because it is open in its closure.

Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 005K. Beware of the difference between the letter 'O' and the digit '0'.