Skip to main content
2 of 3
deleted 80 characters in body

Is Mazur's deformation ring R integral?

Consider the absolutely irreducible Galois representation $\overline{\rho} \colon G_{\Bbb Q} \to {\mathrm{GL}}_2({\Bbb F}_p)$. We apply the Mazur's deformation theory on the lift ${\rho} \colon G_{\Bbb Q} \to {\mathrm{GL}}_2({\Bbb Z}_p)$ of $\overline{\rho}$ such that

  1. ${\mathrm{det}}\rho$ = cyclotomic character

  2. Ramifying primes in ${\rho}$ are exactly the same ones that ramify in $\overline{\rho}$

  3. $\rho$ is finite at $p$. I.e., the restriction of $\rho$ to ${\mathrm{G}}_{{\Bbb Q}_p}$ comes from the finite flat group scheme.

Mazur showed that there is a deformation ring $R$ finitely generated over ${\Bbb Z}_p$, and any such lift $\rho$ can be obtained from the universal Galois representation $\rho^{\mathrm{univ}} \colon G_{\Bbb Q} \to {\mathrm{GL}}_2(R)$ followed by the map ${\mathrm{GL}}_2(R) \to {\mathrm{GL}}_2({\Bbb Z}_p)$ induced by the unique ring homomorphism $\psi_{\rho} \colon R \twoheadrightarrow {\Bbb Z}_p$ corresponding to $\rho$.

Question: Assume that Mazur's deformaton ring $R$ is reduced, then is $R$ necessarily integral?