On duality and Iwasawa descent

David Vauclair[1]

  • [1] Université de Caen Laboratoire de Mathématiques Nicolas Oresme Campus 2 14032 Caen Cedex (France)

Annales de l’institut Fourier (2009)

  • Volume: 59, Issue: 2, page 691-767
  • ISSN: 0373-0956

Abstract

top
Guided by the concrete examples of cyclotomic units and the ideal class group in cyclotomic Iwasawa theory, we develop a general tool for studying descent and codescent, with a special interest in relating the two of them.Given any « normic system » A = ( A n ) (that is a collection of Galois modules plus additional data), attached to a fixed p -adic Lie extension with Iwasawa algebra  Λ , we mainly show that there is a natural morphism R lim A n RHom Λ ( RHom p ( lim A n , p ) , Λ ) which can be given a functorial cone measuring the defect of descent as well as the defect of codescent (for the A n ’s). Thanks to a sharpening of the usual Poincaré duality, this results in an enlightening relation between these two.We show in great detail how known results in the cyclotomic situation fit into this setting, and give a generalization to multiple p -extensions.

How to cite

top

Vauclair, David. "Sur la dualité et la descente d’Iwasawa." Annales de l’institut Fourier 59.2 (2009): 691-767. <http://eudml.org/doc/10410>.

@article{Vauclair2009,
abstract = {Nous développons – en nous appuyant sur l’exemple concret des unités cyclotomiques et du groupe de classes en théorie d’Iwasawa cyclotomique – de nouveaux outils pour une étude générale de la descente et de la codescente, dans l’optique de comparer ces deux points de vue duaux.Si $A=(A_n)$ est un « système normique » (i.e. une collection de modules galoisiens avec données supplémentaires), attaché à une extension de Lie $p$-adique fixée d’algèbre d’Iwasawa $\Lambda $, nous montrons principalement qu’il existe un morphisme naturel\[ R \varprojlim A\_n \rightarrow \{\rm RHom\}\_\Lambda (\{\rm RHom\}\_\{\{\mathbb\{Z\}\}\_p\} (\varinjlim A\_n,\{\mathbb\{Z\}\}\_p),\Lambda ) \]lequel peut être muni d’un cône fonctoriel mesurant à la fois le défaut de descente (pour les $A_n$) et celui de codescente. Grâce à un raffinement de la dualité de Poincaré, on aboutit à une relation éclairante entre les deux.Nous détaillons comment les résultats connus du cadre cyclotomique s’intègrent dans cette étude, et donnons des généralisations au cas des $\{\mathbb\{Z\}\}_p$-extensions multiples.},
affiliation = {Université de Caen Laboratoire de Mathématiques Nicolas Oresme Campus 2 14032 Caen Cedex (France)},
author = {Vauclair, David},
journal = {Annales de l’institut Fourier},
keywords = {Théorie d’Iwasawa; dualité; contrôle},
language = {fre},
number = {2},
pages = {691-767},
publisher = {Association des Annales de l’institut Fourier},
title = {Sur la dualité et la descente d’Iwasawa},
url = {http://eudml.org/doc/10410},
volume = {59},
year = {2009},
}

TY - JOUR
AU - Vauclair, David
TI - Sur la dualité et la descente d’Iwasawa
JO - Annales de l’institut Fourier
PY - 2009
PB - Association des Annales de l’institut Fourier
VL - 59
IS - 2
SP - 691
EP - 767
AB - Nous développons – en nous appuyant sur l’exemple concret des unités cyclotomiques et du groupe de classes en théorie d’Iwasawa cyclotomique – de nouveaux outils pour une étude générale de la descente et de la codescente, dans l’optique de comparer ces deux points de vue duaux.Si $A=(A_n)$ est un « système normique » (i.e. une collection de modules galoisiens avec données supplémentaires), attaché à une extension de Lie $p$-adique fixée d’algèbre d’Iwasawa $\Lambda $, nous montrons principalement qu’il existe un morphisme naturel\[ R \varprojlim A_n \rightarrow {\rm RHom}_\Lambda ({\rm RHom}_{{\mathbb{Z}}_p} (\varinjlim A_n,{\mathbb{Z}}_p),\Lambda ) \]lequel peut être muni d’un cône fonctoriel mesurant à la fois le défaut de descente (pour les $A_n$) et celui de codescente. Grâce à un raffinement de la dualité de Poincaré, on aboutit à une relation éclairante entre les deux.Nous détaillons comment les résultats connus du cadre cyclotomique s’intègrent dans cette étude, et donnons des généralisations au cas des ${\mathbb{Z}}_p$-extensions multiples.
LA - fre
KW - Théorie d’Iwasawa; dualité; contrôle
UR - http://eudml.org/doc/10410
ER -

References

top
  1. J.-R. Belliard, Global Units Modulo Circular Units : descent without Iwasawa’s Main Conjecture Zbl1205.11115
  2. J.-R. Belliard, T. Nguyen Quang Do, On modified circular units and annihilation of real classes, Nagoya Math. J. 177 (2005), 77-115 Zbl1092.11043MR2124548
  3. Jean-Robert Belliard, Sous-modules d’unités en théorie d’Iwasawa, Théorie des nombres, Années 1998/2001 (2002), Univ. Franche-Comté, Besançon Zbl1161.11394MR1987282
  4. A. Brumer, Pseudocompact algebras, profinite groups and class formations, J. Algebra 4 (1966), 442-470 Zbl0146.04702MR202790
  5. P. Deligne, Cohomologie à supports propres Zbl0255.14011
  6. R. Greenberg, On a certain -adic representation, Invent. Math. 21 (1973), 117-124 Zbl0268.12004MR335468
  7. R. Greenberg, On the Iwasawa invariants of totally real number fields, Amer. J. Math. 98 (1976), 263-284 Zbl0334.12013MR401702
  8. R. Greenberg, On the structure of certain Galois groups, Invent. Math. 47 (1978), 85-99 Zbl0403.12004MR504453
  9. R. Greenberg, Iwasawa theory, past and present, Adv. Stud. Pure Math. 30 (2001), 335-385 Zbl0998.11054MR1846466
  10. R. Greenberg, On the structure of certain Galois cohomology groups, Doc. Math. (2006), 335-391 Zbl1138.11048MR2290593
  11. C. Greither, Sur les normes universelles dans les Z p -extensions, J. Th. Nb. Bordeaux 6 (1994), 205-220 Zbl0833.11051MR1360643
  12. J. A. Hillman, Algebraic invariants of links, (2002), World Scientific Zbl1007.57001MR1932169
  13. K. Iwasawa, On Z -extensions of algebraic number fields, Ann. of Math. 98 (1973), 246-326 Zbl0285.12008MR349627
  14. K. Iwasawa, On cohomology groups of units for Z p -extensions, Amer. J. Math. 105 (1983), 189-200 Zbl0525.12009MR692110
  15. U. Jannsen, Continuous étale Cohomology, Math. Ann. 280 (1988), 207-245 Zbl0649.14011MR929536
  16. U. Jannsen, Iwasawa Modules up to Isomorphism, Adv. Stud. Pure Math. 17 (1989), 171-207 Zbl0732.11061MR1097615
  17. U. Jannsen, A spectral sequence for Iwasawa adjoints, (1994/2003) Zbl1316.11099
  18. C. U. Jensen, Les foncteurs dérivés de lim et leurs applications en théorie des modules, (1972), Springer-Verlag, Berlin Zbl0238.18007MR407091
  19. M. Kashiwara, P. Schapira, Categories and sheaves, (2005), Springer Zbl1118.18001MR2182076
  20. K. Kato, Universal norms of p -units in some non-commutative Galois extensions, Doc. Math. (2006), 551-565 Zbl1125.11065MR2290597
  21. V. G. Khalin, A. V. Yakovlev, Universal norms in Γ -extensions, J. Math. Sci. 20 (1982), 2692-2696 Zbl0498.12008
  22. M. Kolster, An idelic approach to the wild kernel, Invent. Math. 103 (1991), 9-24 Zbl0724.11056MR1079838
  23. R. Kucera, J. Nekovář, Cyclotomic units in Z p -extensions, J. Algebra 171 (1995), 457-472 Zbl0824.11071MR1315907
  24. L. V. Kuz’min, The Tate module for algebraic number fields, Math. USSR Izvestija 6 (1972), 263-321 Zbl0257.12003MR304353
  25. A. Lannuzel, T. Nguyen Quand Do, Conjectures de Greenberg et extensions pro- p -libres d’un corps de nombres, Manuscripta Math. 102 (2000), 187-209 Zbl0983.11063MR1771439
  26. M. Lazard, Groupes analytiques p -adiques, Publ. Math. Inst. Hautes Études Sci. 26 (1965), 5-219 Zbl0139.02302MR209286
  27. M. Le Floc’h, A. Movahhedi, T. Nguyen Quang Do, On Capitulation cokernels in Iwasawa theory, Amer. J. Math. 127 (2005), 851-877 Zbl1094.11039MR2154373
  28. W. McCallum, Greenberg’s conjecture and units in multiple Z p -extensions, Amer. J. Math. 123 (2001), 909-930 Zbl1020.11068MR1854114
  29. A. S. Merkur’ev, A seven-term sequence in the Galois theory of schemes, Matematicheskiĭ Sbornik. Novaya Seriya 109(151) (1979), 395-409, 479 Zbl0465.14001MR542808
  30. J. S. Milne, Arithmetic duality theorems, (2006), BookSurge, LLC, Charleston, SC Zbl1127.14001MR2261462
  31. J. Nekovář, Selmer complexes, Astérisque 310 (2006) Zbl1211.11120MR2333680
  32. T. Nguyen Quand Do, Formation de classes et modules d’Iwasawa, Springer Lect. Notes 1068 (1984), 167-185 Zbl0543.12007MR756093
  33. T. Nguyen Quand Do, M. Lescop, Iwasawa descent and co-descent for units modulo circular units, Pure Appl. Math. Quarterly 2 (2006), 199-230 Zbl1129.11047MR2251477
  34. T. Nguyen Quand Do, D. Vauclair, K 2 et conjectures de Greenberg dans les Z p -extensions multiples, J. Th. Nombres Bordeaux 17 (2005), 693-712 Zbl1091.11041MR2211313
  35. J.-E. Roos, Sur les foncteurs dérivés de lim . Applications, C. R. Acad. Sc. Paris 252 (1961), 3702-3704 Zbl0102.02501MR132091
  36. J.-P. Serre, Algèbre locale, multiplicités, (1965), Springer Zbl0142.28603MR201468
  37. J.-P. Serre, Cohomologie Galoisienne, (1973/1997), Springer Zbl0259.12011MR404227
  38. W. Sinnott, On the Stickelberger ideal and the circular units of an abelian field, Invent. Math. 62 (1980), 181-234 Zbl0465.12001MR595586
  39. J. Tate, Relations between K 2 and Galois cohomology, Invent. Math. 36 (1976), 257-274 Zbl0359.12011MR429837
  40. T. Tsuji, Semi-local units modulo cyclotomic units, J. Number Theory 78 (1999), 1-26 Zbl0948.11042MR1706941
  41. D. Vauclair, Cup produit, noyaux de capitulation étales et conjecture de Greenberg généralisée, -theory 36 (2005), 223-244 Zbl1156.11342MR2275006
  42. D. Vauclair, Sur les normes universelles et la structure de certains modules d’Iwasawa, (2006) 
  43. D. Vauclair, Noyaux de Tate et capitulation, J. Number Th. 128 (2008), 619-638 Zbl1194.11101MR2389859

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.