IntroductionIn this paper, building on work of Wiles [Wi] and of Taylor and Wiles [TW], we will prove the following two theorems (see §2.2). Theorem A. If E /Q is an elliptic curve, then E is modular. Theorem B. If ρ : Gal(Q/Q) → GL 2 (F 5 ) is an irreducible continuous representation with cyclotomic determinant, then ρ is modular.We will first remind the reader of the content of these results and then briefly outline the method of proof.If N is a positive integer, then we let Γ 1 (N ) denote the subgroup of SL 2 (Z) consisting of matrices that modulo N are of the form 1 * 0 1 .The quotient of the upper half plane by Γ 1 (N ), acting by fractional linear transformations, is the complex manifold associated to an affine algebraic curve Y 1 (N ) /C . This curve has a natural model Y 1 (N ) /Q , which for N > 3 is a fine moduli scheme for elliptic curves with a point of exact order N . We will let X 1 (N ) denote the smooth projective curve which contains Y 1 (N ) as a dense Zariski open subset.Recall that a cusp form of weight k ≥ 1 and level N ≥ 1 is a holomorphic function f on the upper half complex plane H such that• for all matrices Key words and phrases. Elliptic curve, Galois representation, modularity. The first author was supported by the CNRS. The second author was partially supported by a grant from the NSF. The third author was partially supported by a grant from the NSF and an AMS Centennial Fellowship, and was working at Rutgers University during much of the research. The fourth author was partially supported by a grant from the NSF and by the Miller Institute for Basic Science. The space S k (N ) of cusp forms of weight k and level N is a finite-dimensional complex vector space. If f ∈ S k (N ), then it has an expansionand we define the L-series of f to befor anywith c ≡ 0 mod N and d ≡ p mod N . The operators T p for p | N can be simultaneously diagonalised on the space S k (N ) and a simultaneous eigenvector is called an eigenform. If f is an eigenform, then the corresponding eigenvalues, a p (f ), are algebraic integers and we haveLet λ be a place of the algebraic closure of Q in C above a rational prime and let Q λ denote the algebraic closure of Q thought of as a Q algebra via λ. If f ∈ S k (N ) is an eigenform, then there is a unique continuous irreducible representation [DS]. Moreover ρ is odd in the sense that det ρ of complex conjugation is −1. Also, ρ f,λ is potentially semi-stable at in the sense of Fontaine. We can choose a conjugate of ρ f,λ which is valued in GL 2 (O Q λ ), and reducing modulo the maximal ideal and semi-simplifying yields a continuous representationwhich, up to isomorphism, does not depend on the choice of conjugate of ρ f,λ . Now suppose that ρ : G Q → GL 2 (Q ) is a continuous representation which is unramified outside finitely many primes and for which the restriction of ρ to a decomposition group at is potentially semi-stable in the sense of Fontaine. To ρ| Gal(Q /Q ) we can associate both a pair of Hodge-Tate numbers and a Weil-Deligne representation of the Weil g...
Résumé. En utilisant le système de Taylor-Wiles-Kisin construit dans un travail récent de Caraiani, Emerton, Gee, Geraghty, Paškūnas et Shin, nous construisons un analogue de la variété de Hecke. Nous montrons que cette variété coïncide avec une union de composantes irréductibles de l'espace des représentations galoisiennes triangulines. Nous précisons les relations de cette construction avec les conjectures de modularité dans le cas cristallin ainsi qu'avec une conjecture de Breuil sur le socle des vecteurs localement analytiques de la cohomologie complétée. Nous donnons également une preuve d'une conjecture de Bellaïche et Chenevier sur l'anneau local complété en certains points des variétés de Hecke.Abstract. Using a patching module constructed in recent work of Caraiani, Emerton, Gee, Geraghty, Paškūnas and Shin we construct some kind of analogue of an eigenvariety. We can show that this patched eigenvariety agrees with a union of irreducible components of a space of trianguline Galois representations. Building on this we discuss the relation with the modularity conjectures for the crystalline case, a conjecture of Breuil on the locally analytic socle of representations occurring in completed cohomology and with a conjecture of Bellaïche and Chenevier on the complete local ring at certain points of eigenvarieties.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.