3

Let $\varphi: V \to W$ be a map between projective varieties $V \subset P^n$ and $W \subset \mathbb{P}^m$ given by $\varphi([x_0 : \ldots : x_n]) = [\varphi_0([x_0 : \ldots : x_n]): \ldots : \varphi_m([x_0 : \ldots : x_n])]$, where the $\varphi_i$ are homogeneous polynomials of the same degree that don't vanish simultaneously at any point of $V$.

I would like to show that this is a morphism in the sense of Hartshorne's definition in I.3: a continuous map such that for every open $U \subset W$ and for every regular function $f: U \to k$, the function $f\varphi$ is regular on $\varphi^{-1}(U)$.

How do I do this? Also, can this be generalized? Thanks in advance.

Ricardo Buring
  • 6,323
  • 3
    Alternatively to Jared's solution, if you dehomogenize in any neighborhood you are just getting polynomial maps between affine varieties. Since being a morphism is local, this should be enough. – Alex Youcis Aug 06 '13 at 20:47

1 Answers1

4

We want to show that for any point $p\in\varphi^{-1}(W)$, there is an open neighborhood $U$ of $p$ such that the composition $f\circ\varphi=h$ on $U$, where $h$ is a well-defined (non-vanishing denominator) rational function of degree $0$. Now, since $f$ is regular, there is an open neighborhood $U'$ around $\varphi(p)\in W$ and a well-defined rational function $g$ of degree $0$ such that $f=g$ on $U'$. Now, let $U=\varphi^{-1}(U')$ and let $h=g\circ\varphi$, noticing that $g\circ\varphi$ is indeed a rational function of degree $0$ because the component functions of $\varphi$ are homogeneous of the same degree.

Jared
  • 31,451