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.

I'm self-studying some Algebraic Geometry and I have the following question. Let us take $X= Spec A$, A a commutative ring. I am trying to show that every locally closed irreducible subset of X contains an unique generic point.

This is what I've been thinking so far: Let $Y$ be our irreducible, locally closed subset. We know that $q=I(Y) = \cap_{p \in Y} p$ is a prime ideal, I believe we would be done if we could show that $q \in Y$. Let us write $Y = V(a) \cap U$, for U open. If U would happen to be a principal open, of the form $D(f)$, then $Y = V(a) \cap U$ could be written as $Spec B = B_f / a$.In this case, to say that Spec B is irreducible would simply mean that it had an unique minimal prime, which of course would have to lie in Spec B. I feel uneasy about this argument, and I'm not totally sure it is correct. However, if it is done in this special case, how could it be used to show the general case? I guess we could argue from our special case if we wrote $Y = V(a) \cap (\cup_i D(f_i)) = \cup_i (V(a) \cap D(f_i))$, but I'm not sure.

So, I am very grateful for any help here, and answers how to tackle this.

share|improve this question
add comment

1 Answer

up vote 3 down vote accepted

Write $Y=\bar Y\cap U$ where "bar" means closure in the topological space $X$ and $U\subset X$ is some open set.

Existence of generic point
Since $Y$ is irreducible, so is $\bar Y$.
Therefore $\bar Y$ has a generic point $\eta$ and $\bar{ \lbrace \eta\rbrace }=\bar Y$.
Of course $\eta\in Y$, else we would have $\bar{ \lbrace \eta\rbrace }=\bar Y\subset X\setminus U$ and thus $\overline { Y}\cap Y=\emptyset$, an absurd statement.
Thus $\eta$ is a generic point for $Y$ since its closure in $Y$ is $\bar Y\cap Y=Y$.

Uniqueness of generic point
If $\eta'$ were another generic point of $Y$, its closure in $X$ would also be $\bar Y$.
But an irreducible closed subset of a scheme has only one generic point, hence $ \eta'=\eta$ .

Edit: Warning !
If $Y \subset X=Spec(\mathbb Z)$ is the complement of the generic point $\eta=(0)\in Spec(\mathbb Z)$, then $Y$ is an irreducible subspace of $X$. However $Y$ has no generic point!
The explanation of this apparent contradiction to the above is that $Y$ is not locally closed in $X$.

share|improve this answer
1  
Offtopic question: how do you pronounce your last name? –  Mariano Suárez-Alvarez Jun 17 '12 at 10:25
    
Fantastic answer, thank you! –  Dedalus Jun 17 '12 at 10:30
    
@Mariano: in the International Phonetic Alphabet it would be written [elɛntsvaiɡ]. Since you know French, let me also put it this way: if the Austrian writer Stefan Zweig had had a daughter named Hélène, I would have been proud to have a homophone in her (if you pronounce Zweig the German way) : Hélène Zweig . –  Georges Elencwajg Jun 17 '12 at 11:07
    
Thanks! :=) ${}$ –  Mariano Suárez-Alvarez Jun 22 '12 at 20:05
add comment

Your Answer

 
discard

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.