MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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

share|cite|improve this question
At least over $\mathbb{C}$, any flat map is open, see… – 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

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|cite|improve this answer

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|cite|improve this answer

Your Answer


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.