# Is $\mathbb{Z}_p \otimes_{\mathbb{Z}} \mathbb{Z}_p$ coherent?

The question is as in the title:

Is the ring $$\mathbb{Z}_p \otimes_{\mathbb{Z}} \mathbb{Z}_p = \mathbb{Z}_p \otimes_{\mathbb{Z}_{(p)}} \mathbb{Z}_p$$ coherent?

As shown in the related question, the ring $$\mathbb{Q}_p \otimes_{\mathbb{Q}} \mathbb{Q}_p$$ is coherent, and so one cannot reduce to this case. (On the other hand $$\mathbb{Q}_p \otimes_{\mathbb{Q}} \mathbb{Q}_p$$ is not Noetherian, and so neither is $$\mathbb{Z}_p \otimes_{\mathbb{Z}} \mathbb{Z}_p$$). The flatness lemma used in the answer to the rational case does also not appear to be applicable in this case.

• I am tempted to consider a more general question: Let $R$ be a DVR, and let $S$ be a flat $R$-algebra whose special and generic fibers are both coherent rings. Is $S$ a coherent ring? – David Hansen Jul 6 at 12:22
• Never mind, there are counterexamples to my more general question! More precisely, taking $R=\mathbf{R}[x]_{(x)}$ and $S=$germs of $C^\infty$ functions at $0 \in \mathbf{R}$ gives a counterexample. In this case, the special and generic fibers of $S$ are fields, but $S$ is not coherent. – David Hansen Jul 6 at 12:38
• Do we know the global dimension of $\mathbb{Z}_p \otimes_\mathbb{Z} \mathbb{Z}_p$? Is it $2$? – Badam Baplan Jul 20 at 17:20
• Dear Badam, I'm not sure, but it seems to be difficult/unknown. There is a paper of Auslander which considers the case of global dimension of algebras over a field, but this is as much as a I could find. – Drew Heard Jul 21 at 12:33
• @DrewHeard right, I'm not even sure what gl. dim. of $\mathbb{Q}_p \otimes_\mathbb{Q} \mathbb{Q}_p$ is! Just thinking out loud because if we knew the gl. dim. to be small we might have coherence for free or at least an easier route to checking it. – Badam Baplan Jul 21 at 22:40