My question is related to this one, but it has some important differences.

Consider a Noetherian, local domain $A$ and fix a prime ideal $\mathfrak p \subset A$.

Notation: The symbol $\widehat R$ indicates the completion of $R$ with respect to its maximal ideal if $R$ is a local domain.

Consider the embedding $A\to \hat A$ and let $\mathfrak P\subset\hat A $ a prime ideal lying over $\mathfrak p$ (I mean that $\mathfrak P\cap A=\mathfrak p$).

What is the relationship between $\widehat{A_\mathfrak p}$ and $\hat A_\mathfrak P$?

If $$\text{Br}(\mathfrak p):=\{\mathfrak P_1,\ldots, \mathfrak P_n\}$$ is the set of ideals lying over $\mathfrak p$, my bet is that:

$$\widehat{A_\mathfrak p}=\prod_{i}\hat A_{\mathfrak P_i}$$

Is the above statement true? If yes, can you give a reference for the proof?

  • $\begingroup$ Since $\iota: A \rightarrow \hat{A}$ is such that $\iota(\mathfrak{p}) \subset \mathfrak{P}$, certainly we have a map $\widehat{A_{\mathfrak{p}}} \simeq A_\mathfrak{p} \otimes_A \hat{A} \rightarrow \hat{A}_\mathfrak{P}$. It seems that this map is not likely to be nice (i.e., not integral so that lying over theorems will not apply). $\endgroup$ – walkar Feb 7 '17 at 17:44
  • $\begingroup$ Maybe stacks.math.columbia.edu/tag/07N9, can be useful $\endgroup$ – notsure Feb 7 '17 at 17:48
  • $\begingroup$ That requires an integral map (I assume finite ring map means $S$ is module finite over $R$) to begin with, and I don't see a natural one floating around there. $\endgroup$ – walkar Feb 7 '17 at 17:51
  • $\begingroup$ I think we just need that the induced (and reversing arrows) map between affine schemes ha finite fibres. They quote lemma 10.35.21 (in the above link) . $\endgroup$ – notsure Feb 7 '17 at 17:54
  • 1
    $\begingroup$ Perhaps math.stackexchange.com/questions/38152/… will help $\endgroup$ – Andres Mejia Feb 7 '17 at 18:14

I talked with a professor about this topic and he was skeptical that there would be anything you can say in general or even in nice cases.

First, in my initial comment, I lied a little -- $\widehat{A_\mathfrak{p}} \not \simeq A_\mathfrak{p}\otimes_A \hat{A}$ in general.

Furthermore, I think you run into issues when you want to compare $\widehat{A_\mathfrak{p}}$ and $\hat{A}_\mathfrak{P}$. Notably, $\widehat{A_\mathfrak{p}}$ is a complete ring whereas $\hat{A}_\mathfrak{P}$ is not complete.

Another issue; say $(A,\mathfrak{p})$ is an normal local domain. Then $\widehat{A_\mathfrak{p}}$ is also a domain, but $\prod_i \hat{A}_{\mathfrak{P}_i}$ cannot be a domain (as products of rings are never domains).

Another thing; you seem to assume that any prime in $A$ should only have finitely many primes lying over it in $\hat{A}$, but there's no reason to expect that.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.