1
$\begingroup$

What kind of conditions we need to make morphisms of schemes quasi-projective?

I am really interested in the following case:

If $f : X \to Y$ is an etale, of finite type and separated morphism of schemes, then is it quasi-projective?

If so, which conditions we use?

If necessary, please assume that the scheme $Y$ is locally noetherian.

$\endgroup$
2
  • $\begingroup$ A quasi-projective morphism of locally Noetherian schemes is of finite type, so that should be a hypothesis as well. $\endgroup$
    – Matt
    Sep 22, 2011 at 0:59
  • $\begingroup$ Oh, you are right! I will edit the condition. Thank you so much. $\endgroup$
    – Hiro
    Sep 22, 2011 at 1:12

1 Answer 1

6
$\begingroup$

The answer is yes, if you assume that $Y$ is quasi-compact, and $f:X\to Y$ is of finite type and separated.

Every etale morphism is unramified, which implies it is quasi-finite (Milne, Prop 3.2). This in turn implies by Zariski's main theorem (Milne, Thm 1.8), that $f$ factors as an open immersion followed by a finite map. Hence $f$ is quasi-affine, hence quasi-projective.

The reference is Milne: Etale cohomology.

$\endgroup$
0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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