Can the valuative criteria for separatedness/properness be checked "formally"? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T23:27:44Z http://mathoverflow.net/feeds/question/79 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/79/can-the-valuative-criteria-for-separatedness-properness-be-checked-formally Can the valuative criteria for separatedness/properness be checked "formally"? Anton Geraschenko 2009-10-03T05:15:26Z 2009-11-08T14:42:11Z <p>Suppose f:X&rarr;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&rarr;Y is a morphism, and C-{p}&rarr;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&rarr;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#93 Answer by Jarod Alper for Can the valuative criteria for separatedness/properness be checked "formally"? Jarod Alper 2009-10-04T18:42:11Z 2009-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>