The valuative criterion for separatedness (resp. properness) says that a noetherian scheme X is separated (resp. proper) if and only if

for any DVR R, with fraction field K, any map Spec(K)→X extends in at most one way (resp. extends uniquely) to a map Spec(R)→X.

If U⊆X is a dense open subscheme, is it sufficient to check the valuative criteria only in the cases where the map Spec(K)→X lands in U?

Intuitively, the valuative criteria are checking if it is possible to fill in a "missing point" on a curve on X (and if it is possible to fill it in in multiple ways). If there is a curve in Z=X\U with a missing point, it feels like it should be possible to find a curve in U that should have the same limit point. Also, I think it's common to verify that a compactified moduli space is separated by checking the valuative criterion using only families in the original moduli space (not "on the boundary").

  • $\begingroup$ Hartshorne uses valuation rings instead of DVRs, even though he uses a Noetherian hypothesis. Is he being excessively cautious? $\endgroup$
    – S. Carnahan
    Oct 14 '09 at 16:17
  • $\begingroup$ I think he is, but I'm also being a bit sloppy. To use DVRs, I need to assume X is finite type over a locally noetherian base. See EGA II, Proposition 7.2.3 and Theorem 7.3.8. $\endgroup$ Oct 14 '09 at 16:57
  • $\begingroup$ I'm not really sure why I threw in the DVR assumption (maybe, to make it seem less intimidating). Of course, I'm happy to know whether it's enough to consider the cases where the generic point of an arbitrary valuation ring maps into a fixed dense open subscheme. $\endgroup$ Oct 14 '09 at 16:59
  • $\begingroup$ IIRC Hartshorne has an exercise generalizing the valuative criterion to DVRs. $\endgroup$
    – Lars
    Oct 15 '09 at 6:08
  • $\begingroup$ What does IIRC mean? $\endgroup$ Oct 15 '09 at 15:23

If you have a separated, finite type morphism of schemes which are finite type over a field (some more general bases are also valid), then you can get this reduction from Chow's lemma: every finite type, separated scheme over a field is the target of a projective, birational morphism whose domain is quasi-projective.

First of all, properness is local on the target. Thus, you may replace your original target with a covering by open affines. So assume that the domain and target are both separated.

Next apply Chow's lemma to the domain. This gives a new morphism with the same target as the original morphism, but the domain of the new morphism is quasi-projective. It is easy to see that the new morphism is proper if and only if the original morphism is proper. Thus you are reduced to the case when the domain is quasi-projective.

Since the domain is quasi-projective it admits a (dense) open immersion into a projective scheme. So consider the "diagonal" map from the quasi-projective domain into the product of the target and this projective scheme. The diagonal map is certainly a locally closed immersion. In fact the original morphism is proper if and only if this diagonal map is a closed immersion. In other words, the original map is proper if and only if the image of the diagonal map equals its closure, i.e., if and only if the boundary is empty.

But this can easily be checked with valuations / curves of the type you are discussing. If you prefer valuations, choose any irreducible component of the image of the diagonal map whose closure intersects the boundary. Next normalize the closure of that component, and form the inverse image of the boundary in that normalization. Next blow up this inverse image to produce an exceptional Cartier divisor. Finally, take the stalk of the blowing up at any generic point of the exceptional divisor to get a DVR of the type you want.

If you prefer curves, do the same normalization and blowing up. You can arrange that everything is still quasi-projective. Now intersect with generic hyperplanes to produce an integral curve which intersects both the boundary and the strict transform of whatever dense open set you originally specified.

  • 1
    $\begingroup$ Cf. EGA II 7.3.10 (ii). $\endgroup$ Aug 11 '10 at 20:40

Here's a proof by intimidation. On page 103 of Deligne and Mumford's The irreducibility of the space of curves of a given genus, just after Theorem 4.19 (the valuative criterion for properness), they say say the answer is "yes". Their notation doesn't agree with mine, and they allow a field extension because they're dealing with algebraic stacks, but I'm pretty sure everything lines up:

To prove a given f is proper, it suffices to verify the above criterion under the additional hypothesis that V is complete and has an algebraically closed residue field. Further, given a dense open subset U of T, it is enough to test only g's which factor through U.

The bit about being about to being able to restrict to compete DVRs with algebraically closed residue field is EGA II, Remark 7.3.9 (i), as Jarod points out. But I couldn't find any justification of the last part.


I'm probably not in the good decade to answer, but Lemma 4.1.1 in this article looks like what you want.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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