Skip to main content
added 278 characters in body
Source Link
Johan
  • 213
  • 1
  • 4

Let $S' \subset \mathbb{P}^3$ be the birational projection of a smooth surface $S \subset \mathbb{P}^4$. The general projection theorem of Gruson-Peskine (http://arxiv.org/abs/1010.2399v1) tells you that $S'$ is either smooth or has a curve of double points.

For instance if $S$ is the Severi surface in $\mathbb{P}^4$, then its projection on $\mathbb{P}^3$ (the Steiner surface) has a curve of double points.

So the answer to your question is "never true", unless your surface naturally lives in $\mathbb{P}^3$.

Edit Ok after some times, I realize that you are interested in a smooth surface (say $S \subset \mathbb{P}^5$) which maps birationnaly to a surface $S' \subset \mathbb{P}^3$ but for which the map does not come from the ambiant projective space. So my answer is useless...

Let $S' \subset \mathbb{P}^3$ be the birational projection of a smooth surface $S \subset \mathbb{P}^4$. The general projection theorem of Gruson-Peskine (http://arxiv.org/abs/1010.2399v1) tells you that $S'$ is either smooth or has a curve of double points.

For instance if $S$ is the Severi surface in $\mathbb{P}^4$, then its projection on $\mathbb{P}^3$ (the Steiner surface) has a curve of double points.

So the answer to your question is "never true", unless your surface naturally lives in $\mathbb{P}^3$.

Let $S' \subset \mathbb{P}^3$ be the birational projection of a smooth surface $S \subset \mathbb{P}^4$. The general projection theorem of Gruson-Peskine (http://arxiv.org/abs/1010.2399v1) tells you that $S'$ is either smooth or has a curve of double points.

For instance if $S$ is the Severi surface in $\mathbb{P}^4$, then its projection on $\mathbb{P}^3$ (the Steiner surface) has a curve of double points.

So the answer to your question is "never true", unless your surface naturally lives in $\mathbb{P}^3$.

Edit Ok after some times, I realize that you are interested in a smooth surface (say $S \subset \mathbb{P}^5$) which maps birationnaly to a surface $S' \subset \mathbb{P}^3$ but for which the map does not come from the ambiant projective space. So my answer is useless...

Source Link
Johan
  • 213
  • 1
  • 4

Let $S' \subset \mathbb{P}^3$ be the birational projection of a smooth surface $S \subset \mathbb{P}^4$. The general projection theorem of Gruson-Peskine (http://arxiv.org/abs/1010.2399v1) tells you that $S'$ is either smooth or has a curve of double points.

For instance if $S$ is the Severi surface in $\mathbb{P}^4$, then its projection on $\mathbb{P}^3$ (the Steiner surface) has a curve of double points.

So the answer to your question is "never true", unless your surface naturally lives in $\mathbb{P}^3$.