Proof of the main conjecture of noncommutative Iwasawa theory for totally real number fields in certain cases
Author:
Mahesh Kakde
Journal:
J. Algebraic Geom. 20 (2011), 631-683
DOI:
https://doi.org/10.1090/S1056-3911-2011-00539-0
Published electronically:
April 5, 2011
MathSciNet review:
2819672
Full-text PDF
Abstract |
References |
Additional Information
Abstract: Fix an odd prime $p$. Let $G$ be a compact $p$-adic Lie group containing a closed, normal, pro-$p$ subgroup $H$ which is abelian and such that $G/H$ is isomorphic to the additive group of $p$-adic integers $\mathbb {Z}_p$. First we assume that $H$ is finite and compute the Whitehead group of the Iwasawa algebra, $\lambda (G)$, of $G$. We also prove some results about certain localisation of $\lambda (G)$ needed in Iwasawa theory. Let $F$ be a totally real number field and let $F_{\infty }$ be an admissible $p$-adic Lie extension of $F$ with Galois group $G$. The computation of the Whitehead groups are used to show that the Main Conjecture for the extension $F_{\infty }/F$ can be deduced from certain congruences between abelian $p$-adic zeta functions of Deligne and Ribet. We prove these congruences with certain assumptions on $G$. This gives a proof of the Main Conjecture in many interesting cases such as $\mathbb {Z}_p\rtimes \mathbb {Z}_p$-extensions.
References
- D. Burns and M. Flach, Tamagawa numbers for motives with (non-commutative) coefficients, Doc. Math. 6 (2001), 501–570. MR 1884523
- Pierrette Cassou-Noguès, Valeurs aux entiers négatifs des fonctions zêta et fonctions zêta $p$-adiques, Invent. Math. 51 (1979), no. 1, 29–59 (French). MR 524276, DOI https://doi.org/10.1007/BF01389911
- John Coates, $p$-adic $L$-functions and Iwasawa’s theory, Algebraic number fields: $L$-functions and Galois properties (Proc. Sympos., Univ. Durham, Durham, 1975) Academic Press, London, 1977, pp. 269–353. MR 0460282
- J. Coates, T. Fukaya, K. Kato, R. Sujatha, and O. Venjakob, The ${GL_2}$ main conjecture for elliptic curves without complex multiplication, Publ. Math. IHES (2005).
- J. Coates and S. Lichtenbaum, On $l$-adic zeta functions, Ann. of Math. (2) 98 (1973), 498–550. MR 330107, DOI https://doi.org/10.2307/1970916
- J. Coates and W. Sinnott, On $p$-adic $L$-functions over real quadratic fields, Invent. Math. 25 (1974), 253–279. MR 354615, DOI https://doi.org/10.1007/BF01389730
- J. Coates and R. Sujatha, Cyclotomic fields and zeta values, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2006. MR 2256969
- Pierre Deligne and Kenneth A. Ribet, Values of abelian $L$-functions at negative integers over totally real fields, Invent. Math. 59 (1980), no. 3, 227–286. MR 579702, DOI https://doi.org/10.1007/BF01453237
- Bruce Ferrero and Lawrence C. Washington, The Iwasawa invariant $\mu _{p}$ vanishes for abelian number fields, Ann. of Math. (2) 109 (1979), no. 2, 377–395. MR 528968, DOI https://doi.org/10.2307/1971116
- Jean-Marc Fontaine and Bernadette Perrin-Riou, Autour des conjectures de Bloch et Kato. III. Le cas général, C. R. Acad. Sci. Paris Sér. I Math. 313 (1991), no. 7, 421–428 (French, with English summary). MR 1127933
- Takako Fukaya and Kazuya Kato, A formulation of conjectures on $p$-adic zeta functions in noncommutative Iwasawa theory, Proceedings of the St. Petersburg Mathematical Society. Vol. XII, Amer. Math. Soc. Transl. Ser. 2, vol. 219, Amer. Math. Soc., Providence, RI, 2006, pp. 1–85. MR 2276851, DOI https://doi.org/10.1090/trans2/219/01
- Ralph Greenberg, On $p$-adic Artin $L$-functions, Nagoya Math. J. 89 (1983), 77–87. MR 692344, DOI https://doi.org/10.1017/S0027763000020250
- T. Hara, Iwasawa theory of totally real fields for certain non-commutative $p$-extensions, Master’s thesis, University of Tokyo, 2008.
- A. Huber and G. Kings, Equivariant Bloch-Kato conjecture and non-abelian Iwasawa main conjecture, Proceedings of the International Congress of Mathematicians, Vol. II (Beijing, 2002) Higher Ed. Press, Beijing, 2002, pp. 149–162. MR 1957029
- Wells Johnson, Irregular primes and cyclotomic invariants, Math. Comp. 29 (1975), 113–120. MR 376606, DOI https://doi.org/10.1090/S0025-5718-1975-0376606-9
- Kazuya Kato, Lectures on the approach to Iwasawa theory for Hasse-Weil $L$-functions via $B_{\rm dR}$. I, Arithmetic algebraic geometry (Trento, 1991) Lecture Notes in Math., vol. 1553, Springer, Berlin, 1993, pp. 50–163. MR 1338860, DOI https://doi.org/10.1007/BFb0084729
- Kazuya Kato, $K_1$ of some non-commutative completed group rings, $K$-Theory 34 (2005), no. 2, 99–140. MR 2180109, DOI https://doi.org/10.1007/s10977-005-3935-3
- Kazuya Kato, Iwasawa theory of totally real fields for Galois extensions of Heisenberg type, Very preliminary version, 2006.
- Serge Lang, Cyclotomic fields I and II, 2nd ed., Graduate Texts in Mathematics, vol. 121, Springer-Verlag, New York, 1990. With an appendix by Karl Rubin. MR 1029028
- B. Mazur and A. Wiles, Class fields of abelian extensions of ${\bf Q}$, Invent. Math. 76 (1984), no. 2, 179–330. MR 742853, DOI https://doi.org/10.1007/BF01388599
- Robert Oliver, Whitehead groups of finite groups, London Mathematical Society Lecture Note Series, vol. 132, Cambridge University Press, Cambridge, 1988. MR 933091
- Robert Oliver and Laurence R. Taylor, Logarithmic descriptions of Whitehead groups and class groups for $p$-groups, Mem. Amer. Math. Soc. 76 (1988), no. 392, vi+97. MR 938472, DOI https://doi.org/10.1090/memo/0392
- Jürgen Ritter and Alfred Weiss, Toward equivariant Iwasawa theory. II, Indag. Math. (N.S.) 15 (2004), no. 4, 549–572. MR 2114937, DOI https://doi.org/10.1016/S0019-3577%2804%2980018-1
- Jürgen Ritter and Alfred Weiss, Toward equivariant Iwasawa theory. III, Math. Ann. 336 (2006), no. 1, 27–49. MR 2242618, DOI https://doi.org/10.1007/s00208-006-0773-4
- Jürgen Ritter and Alfred Weiss, Congruences between abelian pseudomeasures, Math. Res. Lett. 15 (2008), no. 4, 715–725. MR 2424908, DOI https://doi.org/10.4310/MRL.2008.v15.n4.a10
- Jean-Pierre Serre, Formes modulaires et fonctions zêta $p$-adiques, Modular functions of one variable, III (Proc. Internat. Summer School, Univ. Antwerp, 1972) Springer, Berlin, 1973, pp. 191–268. Lecture Notes in Math., Vol. 350 (French). MR 0404145
- Jean-Pierre Serre, Linear representations of finite groups, Springer-Verlag, New York-Heidelberg, 1977. Translated from the second French edition by Leonard L. Scott; Graduate Texts in Mathematics, Vol. 42. MR 0450380
- Jean-Pierre Serre, Sur le résidu de la fonction zêta $p$-adique d’un corps de nombres, C. R. Acad. Sci. Paris Sér. A-B 287 (1978), no. 4, A183–A188 (French, with English summary). MR 506177
- Takuro Shintani, On evaluation of zeta functions of totally real algebraic number fields at non-positive integers, J. Fac. Sci. Univ. Tokyo Sect. IA Math. 23 (1976), no. 2, 393–417. MR 427231
- L. N. Vaseršteĭn, On the stabilization of the general linear group over a ring, Math. USSR-Sb. 8 (1969), 383–400. MR 0267009
- L. N. Vaserstein, On the Whitehead determinant for semi-local rings, J. Algebra 283 (2005), no. 2, 690–699. MR 2111217, DOI https://doi.org/10.1016/j.jalgebra.2004.09.016
- C. Weibel, An introduction to algebraic ${K}$-theory (online), 2007.
- A. Wiles, The Iwasawa conjecture for totally real fields, Ann. of Math. (2) 131 (1990), no. 3, 493–540. MR 1053488, DOI https://doi.org/10.2307/1971468
References
- D. Burns and M. Flach, Tamagawa numbers for motives with (non-commutative) coefficients, Doc. Math. 6 (2001), 501–570. MR 1884523 (2002m:11055)
- P. Cassou-Nogués, Valeurs aux entiers négatifs des fonctions zêta et fonctions zêta $p$-adiques, Invent. Math. 51 (1979), no. 1, 29–59. MR 524276 (80h:12009b)
- J. Coates, p-adic ${L}$-functions and Iwasawa’s theory, Algebraic Number Fields: $L$-functions and Galois properties (A. Frohlich, ed.), Academic Press, London, 1977. MR 0460282 (57:276)
- J. Coates, T. Fukaya, K. Kato, R. Sujatha, and O. Venjakob, The ${GL_2}$ main conjecture for elliptic curves without complex multiplication, Publ. Math. IHES (2005).
- J. Coates and S. Lichtenbaum, On ${L}$-adic zeta functions, Ann. of Math. 98 (1973), 498–550. MR 0330107 (48:8445)
- J. Coates and W. Sinnott, On $p$-adic ${L}$-functions over real quadratic fields, Invent. Math. 25 (1974), 253–279. MR 0354615 (50:7093)
- J. Coates and R. Sujatha, Cyclotomic fields and zeta values, SMM, Springer-Verlag, Berlin, 2006. MR 2256969 (2007g:11138)
- P. Deligne and Kenneth A. Ribet, Values of abelian L-functions at negative integers over totally real fields., Inventiones Math. 59 (1980), 227–286. MR 579702 (81m:12019)
- B. Ferrero and L.C. Washington, The Iwasawa invariant $\mu _p$ vanishes for abelian number fields., Ann. of Math. 109 (1979), 377–395. MR 528968 (81a:12005)
- J-M. Fontaine and B. Perrin-Riou, Autour des conjectures de Bloch et Kato. III. le case général, C. R. Acad. Sci Paris Sér. I Math. 313 (1991), no. 7, 421–428. MR 1127933 (93i:11076)
- T. Fukaya and K. Kato, A formulation of conjectures on p-adic zeta functions in non-commutative Iwasawa theory, Proceedings of the St. Petersburg Mathematical Society (N. N. Uraltseva, ed.), vol. 12, March 2006, pp. 1–85. MR 2276851 (2007k:11200)
- R. Greenberg, On $p$-adic artin ${L}$-functions., Nagoya Math. J. 89 (1983), 77–87. MR 692344 (85b:11104)
- T. Hara, Iwasawa theory of totally real fields for certain non-commutative $p$-extensions, Master’s thesis, University of Tokyo, 2008.
- A. Huber and G. Kings, Equivariant Bloch-Kato conjecture and non-abelian Iwasawa main conjecture, Proceedings of the International Congress of Mathematicians, vol. 2, Higher Ed. Press, Beijing, 2002. MR 1957029 (2004c:11113)
- Wells Johnson, Irregular primes and cyclotomic invariants, Mathematics of Computation 29 (1975), no. 129, 113–120. MR 0376606 (51:12781)
- K. Kato, Lectures on the approach to Iwasawa theory for Hasse-Weil ${L}$-functions via ${B}_{d{R}}$. i, Arithmetic algebraic geometry, LNM, 1553, Springer-Verlag, Berlin, 1993, pp. 50–163. MR 1338860 (96f:11067)
- K Kato, ${K}_1$ of some non-commutative completed group rings, K-Theory 34 (2005), 99–140. MR 2180109 (2006i:11139)
- Kazuya Kato, Iwasawa theory of totally real fields for Galois extensions of Heisenberg type, Very preliminary version, 2006.
- Serge Lang, Cyclotomic fields I and II (with an appendix by Karl Rubin), GTM, 121, Springer-Verlag, New York, 1990. MR 1029028 (91c:11001)
- A. Mazur, B. Wiles, Class fields of abelian extensions of $\mathbb {{Q}}$, Invent. Math. 76 (1984), no. 2, 179–330. MR 742853 (85m:11069)
- Robert Oliver, Whitehead groups of finite groups, London Mathematical Society Lecture Note Series, no. 132, Cambridge University Press, 1988. MR 933091 (89h:18014)
- Robert Oliver and L. R. Taylor, Logarithmic description of Whitehead groups and class groups for $p$-groups, Memoirs of the American Mathematical Society 76 (1988), no. 392. MR 938472 (89k:18024)
- J. Ritter and A. Weiss, Towards equivariant Iwasawa theory, II, Indag. Mathem., N.S. 15 (2004), no. 4, 549–572. MR 2114937 (2006d:11132)
- ---, Towards equivariant Iwasawa theory, III, Math. Ann. 336 (2006), no. 1, 27–49. MR 2242618 (2007d:11123)
- ---, Congruences between abelian pseudomeasures, (2007). MR 2424908
- J-P. Serre, Formes modulaires et fonctions zêta $p$-adiques, Modular functions of one variable, III, vol. LNM 350, 1973, pp. 191–268. MR 0404145 (53:7949a)
- J-P Serre, Linear representation of finite groups, Springer-Verlag, 1977. MR 0450380 (56:8675)
- J-P. Serre, Sur le résidu de la fonction zêta $p$-adique d’un corps de nombres, C. R. Acad. Sci Paris Sér. A-B 287 (1978), no. 4, A183–A188. MR 0506177 (58:22024)
- T. Shintani, On evaluation of zeta functions of totally real algebraic number fields at non-positive integers, J. Fac. Sci. Univ. Tokyo Sect. IA Math. 23 (1976), no. 2, 393–417. MR 0427231 (55:266)
- L. N. Vaserstein, On stabilization for general linear groups over a ring, Math. USSR Sbornik 8 (1969), 383–400. MR 0267009 (42:1911)
- ---, On the Whitehead determinant for semi-local rings, J. Algebra 283 (2005), 690–699. MR 2111217 (2005j:16008)
- C. Weibel, An introduction to algebraic ${K}$-theory (online), 2007.
- A. Wiles, The Iwasawa conjecture for totally real fields, Ann. of Math. 131 (1990), no. 3, 493–540. MR 1053488 (91i:11163)
Additional Information
Mahesh Kakde
Affiliation:
Trinity College, Trinity Street, Cambridge CB2, United Kingdom 01223 338 400
Address at time of publication:
Princeton University, Fine Hall, Washington Road, Princeton, New Jersey 08540
Email:
mkakde@math.princeton.edu
Received by editor(s):
December 9, 2008
Received by editor(s) in revised form:
April 20, 2009
Published electronically:
April 5, 2011
Additional Notes:
This work is a part of the author’s Ph.D. thesis. The author thanks Trinity College, Cambridge for the Ph.D. studentship