On Gouvêa's conjecture in the unobstructed case
type: Item
instance of: scholarly article
title: On Gouvêa's conjecture in the unobstructed case
zbMATH Open document ID: 1031.11032
DOI: 10.1016/S0022-314X(02)00057-4
author: Atsushi Yamagami
published in: Journal of Number Theory
publication date: 2003-04-28T00:00:00Z
review text: Fix an odd prime number \(p\). Let \(\mathbb{K}\) be a finite field of characteristic \(p\), and \(N\) a positive integer prime to \(p\). Let \(S= \{\text{the prime divisors of }N_p\}\cup\{\infty\}\) and \(G_S\) be the Galois group of the maximal Galois extension of \(\mathbb{Q}\) unramified outside \(S\). Let \(\overline\rho: G_S\to GL_2(\mathbb{K})\) be an absolutely irreducible residual representation which is associated to a classical eigenform of tame level \(N\) and weight \(k\) with any slope defined over the ring of integers \(O\) of a totally ramified finite extension \(K\) over the fraction field of the Witt ring \(W(\mathbb{K})\). B. Mazur showed that there exists a complete Noetherian local ring \(R(\overline\rho, S)\) with residue field \(\mathbb{K}\) and a universal deformation \(\rho^{\text{univ}}\) of \(\overline\rho: \rho^{\text{univ}}: G_S\to GL_2(R(\overline\rho, S))\). Let \(\rho^{\text{mod}}: G_S\to GL_2(\mathbb{T}(\overline\rho, N))\) denote the universal deformation of \(\overline\rho\) associated to Katz's \(p\)-adic modular forms. In particular, there exists a natural surjective homomorphism \(R(\overline\rho, S)\to\mathbb{T}(\overline\rho, N)\), and Gouvêa made the conjecture: \(R(\overline\rho, S)\simeq \mathbb{T}(\overline\rho, N)\). The author proves Gouvêa's conjecture in the unobstructed case (Theorem 1). For the proof he generalizes the theory of infinite ferns over \(\mathbb{Q}_p\) to the case that the ``universal deformation space'' is defined over \(K\) (Section 3). Note that \textit{G. Böckle} [Am. J. Math. 123, 985-1007 (2001; Zbl 0984.11025)] also showed Gouvêa's conjecture by other methods.
reviewed by: Andrzej Dąbrowski
Mathematics Subject Classification ID: 11F80
Mathematics Subject Classification ID: 11F33
zbMATH DE Number: 1902895
zbMATH Keywords: residual modular representation
zbMATH Keywords: deformation problem
zbMATH Keywords: Hecke algebra
zbMATH Keywords: \(p\)-adic modular form
zbMATH Keywords: Gouvêa's conjecture
Wikidata QID: Q123178606
MaRDI profile type: Publication
cites work: On the density of modular points in universal deformation spaces
cites work: Q4314335
cites work: \(p\)-adic Banach spaces and families of modular forms
cites work: Hodge-Tate structures and 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: Q4373851
cites work: A Study of the Local Components of the Hecke Algebra mod l
cites work: Congruences Between Systems of Eigenvalues of Modular Forms
cites work: Q3199524
cites work: An ``infinite fern'' in the universal deformation space of Galois representations
cites work: Q4490702
cites work: Continuous cohomology and \(p\)-adic Galois representations
cites work: The analytic variation of p-adic Hodge structure
cites work: Q5341863
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: Q4369161
cites work: Modular elliptic curves and Fermat's Last Theorem
cites work: On Gouvêa's conjecture on controlling the conductor
full work available at URL: s0022-314x(02)00057-4
OpenAlex ID: W4205855877
description: scientific article; zbMATH DE number 1902895