From:
American Journal of Mathematics
Volume 139, Number 5, October 2017
pp. 12051273  10.1353/ajm.2017.0030
POTENTIAL AUTOMORPHY AND THE LEOPOLDT CONJECTURE By CHANDRASHEKHAR B. KHARE and JACK A. THORNE Abstract. We study in this paper Hida’s padic Hecke algebra for GLn over a CM field F . Hida has made a conjecture about the dimension of these Hecke algebras, which he calls the nonabelian Leopoldt conjecture, and shown that his conjecture in the case F = Q implies the classical Leopoldt conjecture for a number field K of degree n over Q, if one assumes further the existence of automorphic induction of characters for the extension K/Q. We study Hida’s conjecture using the automorphy lifting techniques adapted to the GLn setting by CalegariGeraghty. We prove an automorphy lifting result in this setting, conditional on existence and localglobal compatibility of Galois representations arising from torsion classes in the cohomology of the corresponding symmetric manifolds. Under the same conditions we show that one can deduce the classical (abelian) Leopoldt conjectures for a totally real number field K and a prime p using Hida’s nonabelian Leopoldt conjecture for padic Hecke algebra for GLn over CM fields without needing to assume automorphic induction of characters for the extension K/Q. For this methods of potential automorphy results are used. Contents. 1. Introduction. 1.1. Notation. 2. Preliminaries in commutative algebra. 2.1. Change of coefficients. 2.2. Minimal complexes and the derived category. 2.3. Dimension. 2.4. Ordinary part. 3. Abstract patching. 4. Galois deformation theory. 4.1. Galois cohomology. 4.2. Local deformation problems. 4.2.1. Ordinary deformations. 4.2.2. TaylorWiles deformations. 4.3. Auxiliary places. 5. Interlude on qadic Iwahori Hecke algebras. 6. Ordinary completed cohomology. 6.1. Setup. 6.2. Cohomology and Hecke operators. 6.3. Ordinary part of homology. Manuscript received February 17, 2015; revised October 7, 2015. Research of the first author supported by NSF grant DMS1161671 and by a Humboldt Research Award. In the period during which this research was conducted, the second author served as a Clay Research Fellow. American Journal of Mathematics 139 (2017), 1205–1273. c 2017 by Johns Hopkins University Press. 1205 1206 C. B. KHARE AND J. A. THORNE 6.4. Independence of weight. 6.5. Hecke algebras. 6.6. Auxiliary primes. 6.7. The TaylorWiles argument. 7. Potential automorphy and Leopoldt’s conjecture. References. 1. Introduction. Let F be a number field, and let p be a prime. If U is a sufficiently small open compact subgroup of GLn(A∞ F ), then the double quotient XU = GLn(F)\GLn(A)/(U ×K∞Z∞) has a natural structure of smooth manifold. (We write G∞ = GLn(F ⊗Q R), K∞ ⊂ G∞ for a choice of maximal compact subgroup, and Z∞ for the center of G∞.) This paper is an exploration of the ordinary part of the padic completed homology groups of the manifolds XU . More precisely, if U factors as U = UpUp, then for each integer c ≥ 1, we define Up (c) = Up· vp Iv(c,c), where Iv(c,c) ⊂ GLn(OFv ) is the subgroup of matrices which, modulo c v, are uppertriangular with constant diagonal entry (see Equation (6.8)). Then the manifolds XUp(c) fit into a tower··· −→ XUp(c) −→ ··· −→ XUp(2) −→ XUp(1), and there is a corresponding tower of homology groups (which are finite Zpmodules ):··· −→ H∗(XUp(c),Zp) −→ ··· −→ H∗(XUp(2),Zp) −→ H∗(XUp(1),Zp). There is a Hecke operator Up which acts compatibly on the whole tower of homology groups, and we define H∗(XUp(c))ord ⊂ H∗(XUp(c)) to be the ordinary part of H∗(XUp(c),Zp) with respect to Up, i.e., the maximal direct summand Zpmodule on which Up acts invertibly. We then define H∗ ord(U) = lim ← − c Hd−∗(XUp(c),Zp)ord, where d = dimXU . These are Hida’s ordinary cohomology groups. They have a natural structure of finite Λmodule, where Λ = Zp(OF ⊗ Zp)×(p)n−1 is the completed group ring of the prop part of the padic points of a maximal torus of PGLn(F ⊗Q Qp). POTENTIAL AUTOMORPHY AND THE LEOPOLDT CONJECTURE 1207 A basic question is: what is...

If you would like to authenticate using a different subscribed institution that supports Shibboleth authentication or have your own login and password to Project MUSE, click 'Authenticate'.


You are not currently authenticated.

View freely available titles: Book titles OR Journal titles
