0
$\begingroup$

I came across with a statement

Let $X\rightarrow \mathbb{P}^n$ be a map defined by a linear system $|L|$ for some line bundle $L$ on $X$. It is embeding if $H^0(\mathbb{P}^n,O(1))\rightarrow H^0(X,O(1))=H^0(X,L)$ is injective.

Here $O(1)$ stands for the line bundle defined by hyperplane on $\mathbb{P}^n$, and the induced one on $X$ (hence it coincides with $L$).

The statement above means that if global sections of $O(1)$ can be distinguished after restricting to the image of $X$, then $X\rightarrow \mathbb{P}^n$ is embedding. It seems true but I am not so convinced. How should I understand the statement above?

  • 0
    @atricolf This was one of my concerns. Namely, injectivity seems to say there is a dimension $n$ linear system $\mathfrak{d} \subset |L|$ defining the map (possibly properly contained if $H^0(X, L)$ is larger than $n+1$ dimensional. The thing that concerned me much more is that in order for $X\to \mathbb{P}^n$ to be a closed immersion, $|L|$ must separate points and tangent vectors and I don't see how the global sections map being injective will imply that.2012-10-29

1 Answers 1

2

The statement is false. A correct statement is:

Suppose $X$ is reduced. Then $H^0(\mathbb P^n,O(1))\to H^0(X,L)$ is injective if and only if the image of the morphism $f: X\to \mathbb P^n$ is not contained in a hyperplane.

Proof. Let $s\in H^0(\mathbb P^n,O(1))$, let $t\in H^0(X, L)$ be its image. Then $t=0$ if and only if $t(x)=0$ for all $x\in X$ (we use the fact that $X$ is reduced). Now $t(x)=s(f(x))$. So $t=0$ if and only if $f(X)\subseteq (s)_0$ (the zero locus of $s$). As $(s)_0$ is a hyperplane if $s\ne 0$, our statement is proved.

In particular, for any finite morphism from a curve $X$ to $\mathbb P^1$, the map on the $H^0$'s is always injective, but $f$ is not an embedding in general.