Let $(R, \mathfrak{m})$ be a noetherian local ring, and let $\hat R$ be its $\mathfrak{m}$-adic completion. Extension of scalars allows one to transform an $R$-scheme into an $\hat R$-scheme. Is this association surjective, up to isomorphism? More precisely, given a finite type scheme $X \to \mathrm{Spec} \ \hat R$, does there exist an $R$-scheme $Y$ and an $\hat R$-isomorphism $$X \cong Y \times\_{\mathrm{Spec} \ R} \mathrm{Spec} \ \hat R\ \ ? $$


My interest stems from the case where $R$ is the ring of germs of holomorphic functions at the origin in $\mathbb{C}$. If $t$ is the usual coordinate on $\mathbb{C}$, then we have a canonical isomorphism $\hat R \cong \mathbb{C}[[t]]$, where the latter is the ring of formal power series in $t$. Is every formal family $X \to \mathbb{C}[[t]]$ isomorphic to an analytic family? I suppose it may be relevant that $R$ is henselian in my example (by the implicit function theorem). 


**Update:**  Let $K$ be the field of fractions of $R$, and let $\hat K$ be the field of fractions of $\hat R$. Suppose that there exists a $K$-scheme $Y\_K$ and a $\hat K$ isomorphism $X\_{\hat K} \cong Y\_K \times\_{\mathrm{Spec} \ K} \mathrm{Spec \ \hat K}$. Can we conclude that there exists an $R$-scheme $Y$ as above, which necessarily has generic fiber $Y\_K$? That is, if we already know the generic fiber is algebraic, can we arrange for the whole scheme to be algebraic? 



Schemes over a noetherian local ring and its completion
This is really just ayanta's example again: even with the condition on the generic fiber, the answer is still "no". Let $R$ be the local ring of $k[s,t]$ at the maximal ideal $\langle s,t\rangle$. Begin with $Y\_R$ being $\mathbb{P}^1\_R$ -- this is not the final scheme. For the base change $Y\_{\widehat{R}}$ of $Y\_R$, restrict over the closed subscheme $Z(s) = \text{Spec} \widehat{R}/s\widehat{R}$. Let $D\_s \subset \mathbb{P}^1\_{Z(s)}$ be a Cartier divisor that is flat over $Z(s)$ of relative degree $4$ and whose corresponding $j$-invariant, $j(D\_s)\in \widehat{R}/s\widehat{R}$, is not the pullback of an element in $R/sR$. Now let $X$ be the blowing up of $\mathbb{P}^1\_{\widehat{R}}$ along the codimension $2$ closed subscheme $D\_s$. 


