2
$\begingroup$

Let $\pi: Y \to X$ be a finite morphism of projective varieties over a field $k$, ramified over a divisor $D \subset X$. Let {$\{ X_t \}$} be a pencil of hyperplane section with respect to some embedding $X \hookrightarrow \mathbb{P}^N$.

Question. Is $\pi^{-1}(X_t)$ a pencil of hyperplane sections on $Y$?

$\endgroup$

1 Answer 1

5
$\begingroup$

Not in general.

In fact, the pullback of an ample divisor under a finite morphism is ample, but the pullback of a very ample divisor is not necessarily very ample.

The easiest couterexample is probably the following. Take $ \pi \colon Y \to X$, where $X \cong \mathbb{P}^1$, $Y$ is a genus $2$ curve and $\pi$ is induced by the hyperelliptic involution.

If $X_t$ is a point in $X$ (which is a very ample divisor), then $\pi^{-1}(X_t)$ is an element of the complete $g^1_2$ on $Y$, which is ample but not very ample.

$\endgroup$
3
  • 1
    $\begingroup$ Thanks Francesco! In general the pullback of a very ample divisor will only be ample, so it would be necessary to pass to a power to have something very ample. Does it mean that if I consider a suitable multiple of my embedding $X \hookrightarrow \mathbb{P}^N$ and I replace hyperplane sections by hypersurface sections the condition I want will be verified? $\endgroup$
    – leffe
    Commented Apr 1, 2013 at 12:31
  • $\begingroup$ As a comment, another example in dimension $2$ (which is almost the same as the one of Francesco): let $X\to \mathbb{P}^2$ be the double covering ramified over a smooth quartic. Then, $X$ is a smooth del Pezzo surface of degree $2$ and the pull-back of an hyperplane section is the anticanonical divisor of $X$, which is ample but not very ample (the morphism associated is exactly the double covering). $\endgroup$ Commented Apr 1, 2013 at 12:32
  • $\begingroup$ @ leffe: yes, this is exactly this. $\endgroup$ Commented Apr 1, 2013 at 12:33

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .