Let $(R,\mathfrak{m})$ be a noetherian local domain. Let $(A,\mathfrak{n})$ be a regular local ring contains $R$ such that $\mathfrak{n}\cap R=\mathfrak{m}$ and $A$ is essential finitely generated as an $R$-algebra. Let $(\hat{R},\hat{\mathfrak{m}})$ be the completion of $R$ with respect to $\mathfrak{m}$.
Question: is the localization of $B:=A\otimes_R\hat{R}$ at the maximal ideal $\mathfrak{p}:=A\otimes_R\hat{\mathfrak{m}}+ \mathfrak{n}\otimes_R\hat{R}$ regular?
``Answer'': Yes. Let $\hat{A}$ be the $\mathfrak{n}$-adic completion of $A$ and let $\hat{B}$ be the $\mathfrak{p}$-adic completion of $B$. Since $B$ is Noetherian, $\widehat{B_{\mathfrak{p}}}\cong\hat{B} \cong \hat{A}$ (the second isomorphism is not quite obvious). The claim follows from that a Noetherian local ring is regular if and only if its completion is regular.
