Lemma 66.41.2. Let $S$ be a scheme. Let $f : X \to Y$ be a morphism of algebraic spaces over $S$. Assume $f$ is representable. The following are equivalent

$f$ satisfies the existence part of the valuative criterion as in Definition 66.41.1,

given any commutative solid diagram

\[ \xymatrix{ \mathop{\mathrm{Spec}}(K) \ar[r] \ar[d] & X \ar[d] \\ \mathop{\mathrm{Spec}}(A) \ar[r] \ar@{-->}[ru] & Y } \]where $A$ is a valuation ring with field of fractions $K$, there exists a dotted arrow, i.e., $f$ satisfies the existence part of the valuative criterion as in Schemes, Definition 26.20.3.

## Comments (2)

Comment #2101 by Kestutis Cesnavicius on

Comment #2128 by Johan on