0
$\begingroup$

Let $A$ be an affine domain over a field $k$ (need not be algebraically closed). Let $\mathfrak{p}$ be a prime ideal of $A$, such that $A_{\mathfrak{p}}$ is a regular local ring. Does there always exist a maximal ideal $\mathfrak{m}$ of $A$, such that $\mathfrak{p}\subseteq \mathfrak{m}$, and $A_{\mathfrak{m}}$ is also a regular local ring?

$\endgroup$
8
  • 1
    $\begingroup$ Don't understand why people are in such a hurry to reply without even understanding the question! $\endgroup$ Mar 6, 2015 at 10:05
  • $\begingroup$ How about taking the localization of $k[X,Y]/(Y²-X²(X+1))$ at the nodal singularity? The result is local ring of dimension 1 which is not regular. However, the field of fractions is a regular local ring. This should be a negative answer to the question. $\endgroup$ Mar 6, 2015 at 10:15
  • $\begingroup$ I need some maximal ideal (not all!) containing the prime ideal. Sorry to say, but you've also failed to understand the question! $\endgroup$ Mar 6, 2015 at 10:24
  • 1
    $\begingroup$ @MatthiasWendt No need to assume characteristic 0. What you say works for any affine algebra over any field. $\endgroup$
    – naf
    Mar 6, 2015 at 11:44
  • 2
    $\begingroup$ The regular locus is open more generally for finite type algebras over a complete local ring (search for "excellent rings" if you want to explore this condition in more generality, for instance in EGA IV, 6 and 7). $\endgroup$
    – Vinteuil
    Mar 6, 2015 at 12:47

0

Your Answer

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

Browse other questions tagged or ask your own question.