1
$\begingroup$

A proper morphism is defined as separated, of finite type and universally closed. I wonder if the requirement of being of finite type is superfluous, i.e. if being not of finite type implies not universally closed. Recall that a morphism is of finite type if and only if it is locally of finite type and quasi-compact.

In an answer to this question Bjorn Poonen showed that not quasi-compact implies not universally closed.

Is it true that being not locally of finite type (plus possibly quasi-compact) implies not universally closed?

$\endgroup$
3
  • 4
    $\begingroup$ Let $L|K$ be an infinite algebraic extension. Then the morphism ${\rm Spec}\ L\to{\rm Spec}\ K$ is not locally of finite type but it is universally closed, because it is entire. See EGA II, 6.1.10. $\endgroup$ Jan 6, 2012 at 22:23
  • $\begingroup$ Thank you! I didn't realize untill seeing your comment that one doesn't use the finite type assumption when proving properness of finite morphisms, so in fact the proof works for integral morphisms too. $\endgroup$ Jan 7, 2012 at 17:49
  • $\begingroup$ Now that I thought a bit about it, I have a follow up question. Is it true that an arbitrary extension of fields (not necessarily algebraic) gives rise to a universally closed morphism? $\endgroup$ Jan 9, 2012 at 14:16

1 Answer 1

4
$\begingroup$

Let $k$ be a field, $A=k[X_1,X_2,\dots]$ and $I=(X_1,X_2,\dots)$. Then $\mathrm{Spec}(A/I^2)\to\mathrm{Spec}(k)$ is a universal homeomorphism, but not locally of finite type.

added in edit: In particular, there is no purely topological condition which implies locally finite type.

$\endgroup$
3
  • 1
    $\begingroup$ To generalise both this example and Damian's: every integral morphism is universally closed (EGA II, 6.1.10). $\endgroup$ Jan 7, 2012 at 8:34
  • $\begingroup$ Thank you! Why does the definition of a proper morphism include "of finite type" then? I thought that if the answer to the title question is positive, then it is natural to include the requirement of being of finite type in the definition. Since this requirement turned out to be not vacuous, it seems that there must be a reason to assume it. $\endgroup$ Jan 7, 2012 at 17:57
  • 3
    $\begingroup$ Coherence of direct images fails if the finite type condition is dropped or weakened to being locally of finite type or to quasi-compactness. $\endgroup$
    – user2035
    Jan 8, 2012 at 11:46

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.