On Gouvêa's conjecture on controlling the conductor
type: Item
instance of: scholarly article
title: On Gouvêa's conjecture on controlling the conductor
zbMATH Open document ID: 1004.11029
author: Atsushi Yamagami
published in: Journal of Number Theory
publication date: 2002-08-15T00:00:00Z
review text: Fix an odd prime number \(p\). Let \(\overline{\rho}: G_{\mathbb{Q}}\to \text{GL}_2(\mathbb{F}_p)\) be an absolutely irreducible residual representation of conductor \(N= N(\overline{\rho})\). Let \(S:=\{\)the prime divisors of \(N_p\}\cup \{\infty\}\), and let \(G_S\) denote the maximal Galois extension of \(\mathbb{Q}\) unramified outside \(S\). Then \(\overline{\rho}\) factors through \(G_S\); i.e. \(\overline{\rho}: G_S\to \text{GL}_2 (\mathbb{F}_p)\). Mazur showed that there exists a complete noetherian local ring \(\mathbb{R}(\overline{\rho},S)\) with residue field \(\mathbb{F}_p\) and a universal deformation of \(\overline{\rho}\); namely, \(\rho^{\text{univ}}: G_S\to \text{GL}_2 (\mathbb{R}(\overline{\rho},S))\). On the other hand there exists a deformation of \(\overline{\rho}\) to the Hecke algebra \(\mathbb{T}(\overline{\rho},N)\) (Gouvêa). Thus we have a natural surjective homomorphism \(\mathbb{R}(\overline{\rho},S)\to \mathbb{T}(\overline{\rho},N)\). Gouvêa also defined the level \(N\) universal deformation ring \(\mathbb{R}(\overline{\rho},N)\), and showed that \(\mathbb{R}(\overline{\rho},S)\to \mathbb{T}(\overline{\rho},N)\) factors through \(\mathbb{R}(\overline{\rho},N)\). Conjecture [\textit{F. Gouvêa}, J. Number Theory 34, 95-113 (1990; Zbl 0705.11032)]. The surjective homomorphism \(\mathbb{R}(\overline{\rho},N)\to \mathbb{T}(\overline{\rho},N)\) is an isomorphism. The author proves Gouvêa's conjecture in a special case when \(\overline{\rho}\) is associated to a class of classical eigenforms of type \((N,k,1)\) \((k\geq 2)\) (Main Theorem). He actually shows that \(\mathbb{R}(\overline{\rho},S)\simeq \mathbb{T}(\overline{\rho},N)\) (Theorem 2.2). The main ingredients in the proofs are: the Lenstra-de Smit construction of universal deformation rings [\textit{B. de Smit} and \textit{H. W. Lenstra jun.}, in: Modular forms and Fermat's last theorem, G. Cornell et al. (eds.), 313-326 (1997; Zbl 0907.13010)] and a generalization of the main theorem …
Mathematics Subject Classification ID: 11F80
Mathematics Subject Classification ID: 11F33
Mathematics Subject Classification ID: 11R23
Mathematics Subject Classification ID: 11F85
zbMATH DE Number: 1781936
zbMATH Keywords: deformation ring
zbMATH Keywords: universal deformation
zbMATH Keywords: Hecke algebra
zbMATH Keywords: \(p\)-adic modular form
zbMATH Keywords: Galois representation
reviewed by: Andrzej Dąbrowski
MaRDI profile type: Publication
full work available at URL: jnth.2001.2725
OpenAlex ID: W2033426372
Wikidata QID: Q122981907
cites work: Hecke operators on \(\Gamma_0(m)\)
cites work: Q4314335
cites work: Classical and overconvergent modular forms
cites work: \(p\)-adic Banach spaces and families of modular forms
cites work: On the semi-simplicity of the \(U_p\)-operator on modular forms
cites work: Arithmetic of p-adic modular forms
cites work: Deforming Galois representations: Controlling the conductor
cites work: Families of Modular Eigenforms
cites work: Q4213386
cites work: Q4369166
cites work: Q3199524
cites work: Q4369165
cites work: An ``infinite fern'' in the universal deformation space of Galois representations
cites work: Q5670687
cites work: On the modular representations of degree two of \(\text{Gal}({\overline {\mathbb Q}}/{\mathbb Q})\)
cites work: Ring-theoretic properties of certain Hecke algebras
cites work: Modular elliptic curves and Fermat's Last Theorem
DOI: 10.1006/JNTH.2001.2725
Recommended article: Q3972985
Recommended article: On Gouvêa's conjecture in the unobstructed case
Recommended article: Q3199524
Recommended article: Ordinary representations and modular forms
Recommended article: Nearly ordinary deformations of irreducible residual representations
Recommended article: Deformation rings and base change
Recommended article: The generic fiber of the universal deformation space associated to a tame Galois representation
Recommended article: Q4369169
Recommended article: Lifting Galois representations
Recommended article: On isomorphisms between deformation rings and Hecke rings (with an Appendix by Gebhard Böckle)
description: scientific article; zbMATH DE number 1781936