4
$\begingroup$

What is an interesting example of that? Things like $Spec(K) \to Spec(L)$ do not count cause they are not interesting.

$\endgroup$
5
  • 2
    $\begingroup$ An open embedding that is not closed. I don't how "interesting" that is. $\endgroup$
    – Angelo
    Sep 24, 2010 at 4:54
  • 5
    $\begingroup$ Dear Dung: Are you aware of Zariski's Main Theorem, which in one form says that Angelo's example and your example are nearly the only examples? To be precise, a quasi-finite separated map $X \rightarrow S$ with $S$ quasi-compact and quasi-separated (e.g., noetherian) always factors as an open immersion into a finite $S$-scheme. So by the transitive property of "not interesting", can we say that all quasi-finite separated maps are "not interesting" (at least locally on the base)? I'd hope not, because I can think of interesting ones (e.g., torsion in semi-abelian schemes). $\endgroup$
    – BCnrd
    Sep 24, 2010 at 5:37
  • $\begingroup$ I do not understand, what this $\operatorname{Spec}(K)\to\operatorname{Spec}(L)$ example should be. I assume, that $L$ is a field and $K/L$ a field extension. But then we do have: If $\operatorname{Spec}(K)\to\operatorname{Spec}(L)$ is quasi-finite, then $K/L$ is a finite extension and $\operatorname{Spec}(K) \to \operatorname{Spec}(L)$ is a finite morphism. Right? $\endgroup$ Sep 28, 2010 at 7:30
  • $\begingroup$ Sorry, something went wrong above. I cannot delete / edit the comment. I do not understand, what this $Spec(K)\to Spec(L)$ example should be. I assume $L$ is a field and $K/L$ a field extension. But then we do have: If $Spec(K)\to Spec(L)$ is quasi-finite, then $K/L$ is finite and $Spec(K)\to Spec(L)$ is a finite morphism. Right? $\endgroup$ Sep 28, 2010 at 7:33
  • $\begingroup$ It does not have to be a finite extension. $\endgroup$
    – John Doe
    Oct 9, 2010 at 2:44

1 Answer 1

5
$\begingroup$

Dear Dung, a pleasantly geometric example of a quasi-finite, separated, but not finite morphism is the projection of the hyperbola $xy=1$ in the affine $x,y$ plane on the $x$-axis. Its image is the affine line minus the origin. It is clearly quasi-finite (even injective) but not finite, since its image is not closed . (Also, morphisms between affine schemes are separated)

$\endgroup$
3
  • 1
    $\begingroup$ My only excuse for posting an example subsumed under BCnrd's comment is that I am, alas, completely unable to think spontaneously at his level of generality and that only simple pictures like the above come to my mind. $\endgroup$ Sep 24, 2010 at 22:40
  • 1
    $\begingroup$ Dear Georges: Since your example is an isomorphism onto the punctured affine line, it is an open immersion (as we can also see algebraically). In that sense, it meshes better with Angelo's comment than with mine. $\endgroup$
    – BCnrd
    Sep 28, 2010 at 2:13
  • $\begingroup$ I should have added "surjective", but BCnrd's comment answered my question. $\endgroup$
    – John Doe
    Oct 9, 2010 at 2:41

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.