2
$\begingroup$

Let $k$ be an algebraically closed field. We consider the projective space $\mathbb P_n$ over defined over $k$, the point $Q=(0:\dots:1)$, the hyperplane $H=\{X_n=0\}$ and a hypersurface $X$. We want to study the image of $X$ under the projection from $Q$ to $H$. If $Q\notin X$ everything is clear and every point $(x_0:\dots:x_n)\in X$ is mapped to $(x_0:\dots:x_{n-1}:0)$.

What happens if $Q\in X$? I've read that the projection must be thought using the blow up but I am still confused... what does the projection look like?

$\endgroup$
1
  • $\begingroup$ Note that this question was also asked at MO: mathoverflow.net/questions/177526/… (It is considered good form to link to the other question in cases of cross-posting, so that efforts to answer are not duplicated.) $\endgroup$
    – user43208
    Aug 1, 2014 at 14:12

1 Answer 1

Reset to default
2
$\begingroup$

If $Q\in X$, then the projection is a rational map $X\dashrightarrow H$ which is a morphism $X\setminus Q\to H$. Sometimes, this rational map extends to a morphism $X\to H$, so $Q$ has in fact an image, which depends on $X$.

$\endgroup$
1
  • $\begingroup$ How do I construct such an extension? $\endgroup$
    – Wesley Barnard
    Jul 31, 2014 at 20:33

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.