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.

Let $f: X\times_S Y \to X$ be the projection morphism in the definition of fiber product.$ U\subset X\times_S Y$ be an open set. Does $f(U)$ contain a non-empty open set of $X$? I know this can be reduced to the affine case.

If it is not true in general, can we save it by adding extra condition such as :$X,Y$ are noetherian, integral, etc.?

The problem comes from the attempt to prove: when $X$ is a noetherian integral separated scheme which is regular in codimension one, then $X\times_{\operatorname{Spec}\mathbb{Z}}\operatorname{Spec}(\mathbb{Z}[t])$ is also integral.

share|improve this question
add comment

1 Answer

up vote 4 down vote accepted

Unfortunately, it is completely false that if $U\subset X\times_{S} Y$ is open, then $f(U)$ contains a non-empty open subset of $X$. Here is why.

Take $X=S$ and for $X\to S$ just take the identity $X=S \to S$.
Then the morphism $f: X\times_{S} Y \to X$ is just the initially given arbitrary morphism $u: Y\to S$, for which there is absolutely no reason that the image of an open subset should contain a non-empty open subset. For a completely concrete example, embed a point in a line:
$$u: Y=Spec(k) \to S=Spec(k[T])=\mathbb A^1_k : (0) \mapsto (T)$$.

The good news
Fortunately your initial question is not affected at all by what precedes:
If a scheme $X$ is integral, so is $X\times_{Spec(\mathbb Z)} Spec(\mathbb Z[T])$
This result boils down to the fact that if $D$ is a domain, then the polynomial ring $D[T]$ is a domain too: indeed, constructing the product can be done locally on open affines of $X$ . Note joyfully that absolutely no hypothesis of noetherianness, regularity, ... is required of $X$.

share|improve this answer
    
Yes, I got you, thank you! –  Li Zhan Sep 13 '11 at 19:15
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.