Definition 88.21.1. Let $S$ be a scheme. Let $f : X \to Y$ be a morphism of formal algebraic spaces over $S$. Assume that $X$ and $Y$ are locally Noetherian and that $f$ is locally of finite type. We say $f$ is rig-surjective if for every solid diagram
\[ \xymatrix{ \text{Spf}(R') \ar@{..>}[r] \ar@{..>}[d] & X \ar[d]^ f \\ \text{Spf}(R) \ar[r]^-p & Y } \]
where $R$ is a complete discrete valuation ring and where $p$ is an adic morphism there exists an extension of complete discrete valuation rings $R \subset R'$ and a morphism $\text{Spf}(R') \to X$ making the displayed diagram commute.
Comments (0)