Eisenstein ideal and reducible $\lambda$-adic Representations Unramified Outside a Finite Number of Primes.

Ciavarella, Miriam

Bollettino dell'Unione Matematica Italiana, Tome 9-A (2006), p. 711-721 / Harvested from Biblioteca Digitale Italiana di Matematica

Abstract

The object of this note is to study certain 2-dimensional $\lambda$-adic representations of $\operatorname{Gal}(\bar{Q}/Q)$; fixed $p_{1}, \ldots, p_{n}$ distinct primes, we will consider representations $\rho \colon G \to GL_{2}(A)$, given by the matrix $\rho = \left(\begin{smallmatrix} a & b \\ c & d \end{smallmatrix}\right)$ which are unramified outside $p_{1}, \ldots, p_{n}, \infty$ and the residue characteristic of $\lambda$, which are a product of $m$ representations over finite extensions of the ring of Witt vectors of the residue field and which are reducible modulo $\lambda$. In analogy with the theory of the modular representations, we will introduce the analogue of Mazur's Hecke algebra $T$, together with an ideal $I$ of $T$ which we will call the Eisenstein ideal. Following the Ribet and Papier's method [3], under the hypotheses: $\bullet$$p_{i} \not\equiv 1 \mod \ell$, for any $i = 1, \ldots, n$, $\bullet$ the semisimplification of $\bar{\rho}$ is described by two characters $\alpha$, $\beta$ which are distinct if restricted to $Z^{\times}_{\ell}$, we obtain the following results: PROPOSITION 0.3--The Eisenstein ideal $I$ is equal to $BC$, where $B$ is the $T$-submodule of $A$ generated by all $b(g)$ with $g \in G$ and similary $C$ is defined using the $c(g)$'s. Moreover, $I$ is the ideal of $T$ generated by the quantities $a(h) - 1$ for $h \in \operatorname{Gal}(K/Q^{ab} \cap K)$. PROPOSITION 0.4 -- Suppose that Vandiver's conjecture is true for $\ell$ and that $I$ is non-zero. Then, after replacement of $\rho$ by a conjugate, the representation $\rho$ takes values in $GL_{2}(T)$ and its matrix coefficients satisfy: a≡φ,d≡ψ,c≡0(modI)$\varphi \equiv a \mod \mathcal{M}$ and $\psi \equiv \beta \mod \mathcal{M}$, for $\mathcal{M} = T \cap (\lambda)$. . In particular there is one and only one surjective ring homomorphism from the universal deformation ring $\mathcal{R}(\bar{\rho})$ to $T$, inducing the identity isomorphism on residue fields.

Résumé

L'argomento di questo articolo è lo studio di particolari rappresentazioni e $\lambda$-adiche bidimensionali di $\operatorname{Gal}(\bar{Q}/Q)$; fissati $p_{1}, \ldots, p_{n}$ primi distinti, considereremo rappresentazioni $\rho \colon G \to GL_{2}(A)$, date dalla matrice $\rho = \left(\begin{smallmatrix} a & b \\ c & d \end{smallmatrix}\right)$ che sono non ramificate fuori $p_{1}, \ldots, p_{n}, \infty$ e dalla caratteristica residua di $\lambda$, che sono prodotto di $m$ rappresentazioni su estensioni finite dell'anello dei vettori di Witt del campo residuo e che sono riducibili modulo $\lambda$. In analogia con la teoria delle rappresentazioni modulari, introdurremo l'analogo dell'algebra di Hecke di Mazur $T$, con un ideale $I$ di $T$ che chiameremo ideale di Eisenstein. Seguendo la strategia di Ribet e Papier [3], sotto le ipotesi: $\bullet$$p_{i} \not\equiv 1 \mod \ell$, per ogni $i = 1, \ldots, n$, $\bullet$ la semisemplificazione di $\bar{\rho}$ è descritta da due caratteri $\alpha$, $\beta$ che sono distinti se ristretti a $Z^{\times}_{\ell}$, otterremo i seguenti risultati: PROPOSIZIONE 0.1 - L'ideale di Eisenstein $I$ è uguale a $BC$, dove $B$ è il $T$-sottomodulo di $A$ generato da tutti i $b(g)$ con $g \in G$ e analogamente $C$ è definito usando i $c(g)$. Inoltre, $I$ è l'deale di $T$ generato dalle quantità $a(h) - 1$ per $h \in \operatorname{Gal}(K/Q^{ab} \cap K)$. PROPOSIZIONE 0.2 -- Supponiamo che la congettura di Vandiver sia vera per $\ell$ e che $I$ sia non-zero. Allora, a meno di sostituire $\rho$ con un coniugato, la rappresentazione $\rho$ assume valori in $GL_{2}(T)$ e la sua matrice dei coefficienti soddisfa: a≡φ,d≡ψ,c≡0(modI) dove $\varphi \equiv a \mod \mathcal{M}$ e $\psi \equiv \beta \mod \mathcal{M}$, per $\mathcal{M} = T \cap (\lambda)$. In particolare esiste uno e uno solo omomorfismo di anelli suriettivo dall'anello di deformazione universale $\mathcal{R}(\bar{\rho})$ in $T$, che induce l'isomorfismo identita sui campi residui.

Détail

Publié le : 2006-10-01

MR 2274122 | Zbl 1177.11042

Bibliographie

[1] Atiyah, M. F. - Macdonald, I. G., Introduction to Commutative Algebra, University of Oxford, Addison-Wesley Publishing Company, 1969. | Zbl 0175.03601

[2] Carayol, H., Formes modulaires et representations galoisiennes valeurs dans un anneau local complet, Contemporary Mathematics, Volume 165, Amer. Math. Soc., Providence, RI, 1994, 213-237. | Zbl 0812.11036

[3] Ribet Kenneth, A. - Papier, E., Eisenstein ideals and $\lambda$-adic representations, J. Fac. Sci. Univ. Tokyo Sect. IA Math., 28 1981, no. 3 (1982), 651-665. | Zbl 0508.12012

[4] Mazur, B., An introduction to the deformation theory of Galois representation. In Modular Forms and Fermat's Last Theorem, G. Cornell, J. H. Silverman, G. Stevens, Eds. Springer, 43-311.

[5] Wagstaff, S., The irregular prime to 125.000, Math. Comp., 32 (1978), 583-591. | Zbl 0377.10002

[6] Wiles, A., Modular elliptic curves and Fermat last Theorem, Ann. of Math., 141 (1995), 443-551. | Zbl 0823.11029