Skip to main content
2 of 2
Proofreading
LSpice
  • 12.9k
  • 4
  • 45
  • 69

Regular morphisms and formal power series

Let $A$ be a local noetherian ring. When (besides when $A$ is excellent) do we have that $\operatorname{Spec}(A[[t]])\rightarrow \operatorname{Spec}(A[t])$ is regular?

prochet
  • 3.5k
  • 1
  • 13
  • 20