0
$\begingroup$

Let $k$ be a field, $R$ a $k$-algebra (of finite type if necessary), $B$ an algebra of finite type over ring of the formal Laurent series $R((t))$, which is smooth.

Up to this generality, can one construct a flat model of $B$ over ring of formal power series $R[[t]]$ (i.e. a flat algebra $\tilde{B}$ over $R[[t]]$ such that $\tilde{B}\otimes_{R[[t]]}R((t))=B$)?

If not, what could be the weakest assumption that will allow this?

$\endgroup$
4
  • 2
    $\begingroup$ Why not $\tilde{B}=B$? $\endgroup$ Dec 14, 2010 at 12:05
  • $\begingroup$ by model I mean that is really defined over entire Spec R[[t]], to be more precise I would require "faithfully flatness"... $\endgroup$
    – Samuel
    Dec 14, 2010 at 13:40
  • 1
    $\begingroup$ Then you should at least assume $B$ faithfully flat over $R((t))$. $\endgroup$ Dec 14, 2010 at 14:01
  • $\begingroup$ of course, you are right! $\endgroup$
    – Samuel
    Dec 14, 2010 at 14:43

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.