Can the valuative criteria for separatedness/properness be checked "formally"? - MathOverflow most recent 30 from http://mathoverflow.net2013-05-25T23:27:44Zhttp://mathoverflow.net/feeds/question/79http://www.creativecommons.org/licenses/by-nc/2.5/rdfhttp://mathoverflow.net/questions/79/can-the-valuative-criteria-for-separatedness-properness-be-checked-formallyCan the valuative criteria for separatedness/properness be checked "formally"?Anton Geraschenko2009-10-03T05:15:26Z2009-11-08T14:42:11Z
<p>Suppose f:X→Y is a morphism of finite type between locally noetherian schemes. The valuative criterion for separatedness (resp. properness) says roughly that f is a separated (resp. proper) morphism if and only if the following condition holds:</p>
<blockquote>
<p>For any curve C in Y and for any lift
of C-{p} to X, there is at most one
(resp. exactly one) way to extend this
to a lift of C to X.</p>
</blockquote>
<p>More precisely,</p>
<blockquote>
<p>If C is the spectrum of a DVR with
closed point p (a <em>very local</em> version
of a curve: the intersection of all
open neighborhoods of p on an "honest"
curve), C→Y is a morphism, and
C-{p}→X is a lift of that
morphism along f, there is at most one
(resp. exactly one) way to complete it to
a lift C→X.</p>
</blockquote>
<p>Does it suffice to check the valuative criteria on an even more local kind of object: the spectrum of a <strong>complete</strong> DVR? This would be quite nice because the only complete DVRs over a field k are rings of the form L[[t]] where L is an extension of k.</p>
<p>More generally, if you drop the hypotheses that f is of finite type and X and Y are locally noetherian, the usual valuative criteria must be verified for arbitrary valuation rings. Is it enough to check them for complete valuation rings?</p>
http://mathoverflow.net/questions/79/can-the-valuative-criteria-for-separatedness-properness-be-checked-formally/93#93Answer by Jarod Alper for Can the valuative criteria for separatedness/properness be checked "formally"?Jarod Alper2009-10-04T18:42:11Z2009-10-04T18:42:11Z<p>Yep, a quasi-compact morphism of schemes (resp. locally noetherian schemes) is universally closed if and only the existence part of the valuative criterion holds for complete valuation rings (resp. complete DVRs) with algebraically closed residue field.</p>
<p>This is in EGA (see II.7.3.8 and the remark II.7.3.9). Note that the separated hypothesis is not necessary there; for the valuative criterion of properness one needs to require that the morphism is quasi-separated. </p>
<p>This holds more generally for Artin stacks if one allows a field extension of the fraction field of the valuation ring (see LMB 7.3).</p>