Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Suppose that $p \colon P \to X$ is a projective bundle. Is $p$ an open map ?

share|improve this question
1  
At least over $\mathbb{C}$, any flat map is open, see mathoverflow.net/questions/41158/… –  Francesco Polizzi Feb 19 '13 at 12:20
    
thanks.. i saw the references, just to be sure, does it also prove in the zariski topology (instead of complex topology) for the map P-->X over the field of complex numbers. –  john Feb 19 '13 at 12:37
add comment

2 Answers

For any $X,Y$ the projection $X \times Y \to Y$ is an open map. Since being open is a local property you know this holds also for any fiber bundle and in particular any projective bundle.

share|improve this answer
add comment

Isn't any fiber bundle $p: E \to B$ projection an open map? If $e \in E$ belongs to an open $U$, then there is a trivializing neighborhood $V_e$ of $p(e)$ so that $p^{-1}(V_e) \to V_e$ is isomorphic to a projection map $V_e \times F \to V_e$, which is certainly open. Hence $p(U \cap p^{-1}(V_e))$ is open. Since direct images preserve unions, we see that

$$p(U) = p(\bigcup_{e \in U} U \cap p^{-1}(V_e)) = \bigcup_{e \in U} p(U \cap p^{-1}(V_e))$$

is open.

share|improve this answer
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.