What is an interesting example of that? Things like $Spec(K) \to Spec(L)$ do not count cause they are not interesting.
$\begingroup$
$\endgroup$
5
-
2$\begingroup$ An open embedding that is not closed. I don't how "interesting" that is. $\endgroup$– AngeloSep 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$– BCnrdSep 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$– Sebastian PetersenSep 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$– Sebastian PetersenSep 28, 2010 at 7:33
-
$\begingroup$ It does not have to be a finite extension. $\endgroup$– John DoeOct 9, 2010 at 2:44
Add a comment
|
1 Answer
$\begingroup$
$\endgroup$
3
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)
-
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$– BCnrdSep 28, 2010 at 2:13
-
$\begingroup$ I should have added "surjective", but BCnrd's comment answered my question. $\endgroup$– John DoeOct 9, 2010 at 2:41