Ciavarella, Miriam: 
Congruences between modular forms and related modules
 Bollettino dell'Unione Matematica Italiana Serie 8 9-B (2006), fasc. n.2, p. 507-514,  (English)
pdf (387 Kb), djvu (90 Kb).  | MR 2233148  | Zbl 1178.11044 
Sunto
-- Fissiamo $\ell$ un primo e $M$ un intero tale che $\ell \operatorname{\not|} M$; sia $f \in S_2(\Gamma_1(M\ell^2))$ una forma nuova supercuspidale di tipo fissato a $\ell$ e speciale in un insieme finito di primi. Per un'algebra di quaternioni indefinita su $Q$, di discriminante che divide il livello di $f$, associamo a $f$ un'algebra di Hecke locale quaternionica $T$. L'algebra $T$ agisce su un modulo $M_f$ proveniente dalla coomologia di una curva di Shimura. Applicando il criterio di Taylor-Wiles e il teorema di Savitt, rivediamo $T$ come l'anello di deformazione universale di un problema di deformazione globale di Galois associato a $\bar\rho_f$. In particolare $M_f$Mf è libero di rango 2 su $T$. Nel caso particolare in cui $f$ sia di livello e minimale, come conseguenza dei nostri risultati e grazie al lemma di Ihara classico, proviamo un teorema di alzamento di livello e un risultato sugli ideali di congruenza. L'estensione al caso non minimale è un problema aperto.
Referenze Bibliografiche
[2] 
C. BREUIL - 
A. MÉZARD, 
Multiplicités modulaires et représentations de $GL_2(Z_p)$ et de $\operatorname{Gal}(\bar Q_p / Q_p )$ en $\ell = p$, 
Duke Math. J., 
115, no. 2 (
2002), 205-310, With an appendix by Guy Henniart. | 
fulltext (doi) | 
MR 1944572[3] 
M. CIAVARELLA, 
Eisenstein ideal and reducible λ-adic representations unramified outside a finite number of primes, 
Bollettino U.M.I. (8) 
9-B (
2006), to appear. | 
fulltext bdim | 
MR 2274122 | 
Zbl 1177.11042[4] 
B. CONRAD - 
F. DIAMOND - 
R. TAYLOR, 
Modularity of certain Potentially Barsotti-Tate Galois Representations, 
Journal of the American Mathematical Society, Vol. 
12, Number 2 (April 
1999), 521-567. | 
fulltext (doi) | 
MR 1639612 | 
Zbl 0923.11085[5] 
H. DARMON - 
F. DIAMOND - 
R. TAYLOR, 
Fermat's Last Theorem, 
Current Developments in Mathematics, 1995, 
International Press, 1-154. | 
MR 1474977 | 
Zbl 0877.11035[9] 
J.-M. FONTAINE - 
B. MAZUR, 
Geometric Galois representation, 
Conference on Elliptic Curves and Modular Forms (Hong Kong, 1993), 
International Press, 41-78. | 
MR 1363495[12] 
H. JACQUET - 
R. LANGLANDS, 
Automorphic forms on $GL_2$, 
Lecture Notes Math., vol 
114, 
Springer 1970. | 
MR 401654[13] 
R. LANGLANDS, 
Modular Forms and $\ell$-adic representation, 
Modular Functions of One Variable II, 1972, vol. 
349 of 
Lecture Notes Math., 
Springer, 361-500. | 
MR 354617[17] D. SAVITT, On a conjecture of Conrad, Diamond, and Taylor, Peprint, April 19, 2004.
[18] 
T. SAITO, 
Modular forms and p-adic Hodge theory, 
Inventiones Mathematcae, 
129 (
1997), 607-620. | 
Zbl 0877.11034[19] 
R. TAYLOR - 
A. WILES, 
Ring-theoretic properties of certain Hecke algebras, 
Ann. Math., 
141 (
1995), 553-572. | 
Zbl 0823.11030[20] 
L. TERRACINI, 
A Taylor-Wiles System for Quaternionic Hecke Algebras, 
Compositio Mathematica, 
137 (
2003), 23-47. | 
Zbl 1028.11036[21] 
A. WILES, 
Modular elliptic curves and Fermat last Theorem, 
Ann. of Math., 
141 (
1995), 443-551. | 
Zbl 0823.11029