Hostname: page-component-78c5997874-t5tsf Total loading time: 0 Render date: 2024-11-05T23:26:47.959Z Has data issue: false hasContentIssue false
  • English
  • Français

Chinburg's Third Invariant in the Factorisability Defect Class Group

Published online by Cambridge University Press:  20 November 2018

D. Holland
D. Holland*
Affiliation:
Department of Mathematics and Statistics McMaster University 1280 Main Street West Hamilton, Ontario L8S4K1
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Chinburg's third invariant Ω(N/K, 3) ∊ C1(Z[Γ]) of a Galois extension N/K of number fields with group Γ is closely related to the Galois structure of unit groups and ideal class groups, and deep unsolved problems such as Stark's conjecture.

We give a formula for Ω(N/K, 3) modulo D(ZΓ) in the factorisability defect class group, reminiscent of analytic class number formulas. Specialising to the case of an absolutely abelian, real field N, we give a natural conjecture in terms of Hecke factorisations which implies the vanishing of the invariant in the defect class group.

We prove this conjecture when N has prime-power conductor using Euler systems of cyclotomic units, Ramachandra units and Hecke factorisation. This supports a general conjecture of Chinburg, which in our situation specialises to the statement that Ω(N/K, 3) = 0 for such extensions.

We also develop a slightly extended version of Euler systems of units for general abelian extensions, which will be applied to abelian extensions of imaginary quadratic fields elsewhere

Keywords

11R3311R6516E3011R18factorisabilitydefect class groupEuler systemsmultiplicative Galois structureChinburg conjecture
Type
Research Article
Information
Canadian Journal of Mathematics , Volume 46 , Issue 2 , 01 April 1994 , pp. 324 - 342
Copyright
Copyright © Canadian Mathematical Society 1994

References

[Bl] Burns, D. J., On integral Stark conjectures (and multiplicative Galois module structures), J. reine angew. Math. 422(1991), 141–163.Google Scholar
[B2] Burns, D. J., Canonical factorisability and a variant of Martinet's conjecture, J. London Math. Soc. (2) 44(1991), 24–46.Google Scholar
[Bu3] Burns, D. J., On Multiplicative Galois structure invariants, (1992), preprint.Google Scholar
[Cl] Chinburg, T., On the Galois structure of algebraic integers and S-units, Invent. Math. 74 (1983), 321–349.Google Scholar
[C2] Chinburg, T., Multiplicative Galois module structure, J. London Math. Soc (2), 29(1984), 23–33.Google Scholar
[C3] Chinburg, T., Exact sequences and Galois module structure, Ann. Math. 121(1985), 351–376.Google Scholar
[Fl] Frohlich, A., L-values at zero and multiplicative Galois module structure (also Galois Gauss sums and additive Galois module structure), J. reine angew. Math. 397(1989), 42–99.Google Scholar
[F2] Frohlich, A., Units in real, abelian fields, J. reine angew. Math. 429(1992), 191–217.Google Scholar
[F3] Frohlich, A., Module Defect and Factorisability, 111. J. Math., 32(1988), 407–421.Google Scholar
[Gi] Gillard, R., Remarques sur les unités cyclotomiques et les unités elliptiques, J. Number Theory 11(1979), 21–48.Google Scholar
[G-H] Greither, C. and Holland, D., Chinburg 's third invariant in the defect class group for abelian extensions ofQ, preprint 1993Google Scholar
[G-W] Gruenberg, K. W. and A. Weiss, Galois invariants for units, (1992), preprint.Google Scholar
[He] Heller, A., Some exact sequences in algebraic K-theory, Topology 3(1965), 389–408.Google Scholar
[HI] Holland, D., Additive Galois structure and Chinburg's invariant, J. reine angew. Math. 425(1992), 193— 218.Google Scholar
[H2] Holland, D., Homological equivalences of modules and their projective invariants, J. London Math. Soc. (2), 43(1991), 396–411.Google Scholar
[H-Wl] Holland, D. and Wilson, S. M. J., Localization and class groups of module categories with exactness defect, Proc. Camb. Phil. Soc, 113 (1993) 233–251.Google Scholar
[H-W2] Holland, D. and Wilson, S. M. J., Factor equivalence of rings of integers and Chinburg's second invariant in the defect class group, J. London Math. Soc, to appear. 442(1993), 1–17.Google Scholar
[K] Kolyvagin, V. A., Euler systems (1988). In: The Grothendieck Festschrift (Vol. 2), Prog, in Math. 86, Boston, Birkauser, (1990).Google Scholar
[Ra] Ramachandra, K., On the units of eye lotomic fields, Acta Arith. 12(1966), 165–173.Google Scholar
[R-W] Ritter, J. and Weiss, A., On the local Galois structure of S-units and applications, (1992), preprint.Google Scholar
[Rul] Rubin, K., Appendix: The Main Conjecture. In: Cyclotomic Fields I and II (Combined Second Edition), Grad. Texts Math. 121, Springer-Verlag, Berlin-Heidelberg-New York, (1990).Google Scholar
[Ru2] Rubin, K., Stark units and Kolyvagin's Euler systems, J. reine angew. Math. 425(1992), 141–154.Google Scholar
[Ru3] Rubin, K., The “main conjecture” of Iwasawa theory for imaginary quadratic fields, Invent. Math. 103 (1991), 25–68.Google Scholar
[St] Stark, H. M., L-functions at s = \.IV. First Derivatives at s = 0, Advances in Math. 35(1980), 197–235.Google Scholar
[T] Tate, J., Les Conjectures de Stark sur les Fonctions L d'Artin en s = 0, Prog, in Math. 47, Basel-Stuttgart- Boston, 1984.Google Scholar
[Wa] Washington, L. C., Introduction to cyclotomic fields, Grad. Texts Math. 83, Springer-Verlag, Berlin- Heidelberg-New York, (1982).Google Scholar