Tate sequences and Fitting ideals of Iwasawa modules

C. Greither, Masato Kurihara

Research output: Contribution to journalArticle

Abstract

We consider Abelian CM extensions L/k of a totally real field k, and we essentially determine the Fitting ideal of the dualized Iwasawa module studied by the second author in the case where only places above p ramify. In doing so we recover and generalize the results mentioned above. Remarkably, our explicit description of the Fitting ideal, apart from the contribution of the usual Stickelberger element Θ˙ at infinity, only depends on the group structure of the Galois group Gal(L/k) and not on the specific extension L. From our computation it is then easy to deduce that T˙Θ˙ is not in the Fitting ideal as soon as the p-part of Gal(L/k) is not cyclic. We need a lot of technical preparations: resolutions of the trivial module ℤ over a group ring, discussion of the minors of certain big matrices that arise in this context, and auxiliary results about the behavior of Fitting ideals in short exact sequences.

Original languageEnglish
Pages (from-to)941-965
Number of pages25
JournalSt. Petersburg Mathematical Journal
Volume27
Issue number6
DOIs
Publication statusPublished - 2016

Fingerprint

Module
Exact Sequence
Group Ring
Galois group
Minor
Deduce
Preparation
Trivial
Infinity
Generalise
Context

Keywords

  • Class groups
  • CM-fields
  • Cohomology
  • Tate sequences
  • Totally real fields

ASJC Scopus subject areas

  • Analysis
  • Algebra and Number Theory
  • Applied Mathematics

Cite this

Tate sequences and Fitting ideals of Iwasawa modules. / Greither, C.; Kurihara, Masato.

In: St. Petersburg Mathematical Journal, Vol. 27, No. 6, 2016, p. 941-965.

Research output: Contribution to journalArticle

@article{23dd3ca2caf54defae6da4b1b5541432,
title = "Tate sequences and Fitting ideals of Iwasawa modules",
abstract = "We consider Abelian CM extensions L/k of a totally real field k, and we essentially determine the Fitting ideal of the dualized Iwasawa module studied by the second author in the case where only places above p ramify. In doing so we recover and generalize the results mentioned above. Remarkably, our explicit description of the Fitting ideal, apart from the contribution of the usual Stickelberger element Θ˙ at infinity, only depends on the group structure of the Galois group Gal(L/k) and not on the specific extension L. From our computation it is then easy to deduce that T˙Θ˙ is not in the Fitting ideal as soon as the p-part of Gal(L/k) is not cyclic. We need a lot of technical preparations: resolutions of the trivial module ℤ over a group ring, discussion of the minors of certain big matrices that arise in this context, and auxiliary results about the behavior of Fitting ideals in short exact sequences.",
keywords = "Class groups, CM-fields, Cohomology, Tate sequences, Totally real fields",
author = "C. Greither and Masato Kurihara",
year = "2016",
doi = "10.1090/spmj/1428",
language = "English",
volume = "27",
pages = "941--965",
journal = "St. Petersburg Mathematical Journal",
issn = "1061-0022",
publisher = "American Mathematical Society",
number = "6",

}

TY - JOUR

T1 - Tate sequences and Fitting ideals of Iwasawa modules

AU - Greither, C.

AU - Kurihara, Masato

PY - 2016

Y1 - 2016

N2 - We consider Abelian CM extensions L/k of a totally real field k, and we essentially determine the Fitting ideal of the dualized Iwasawa module studied by the second author in the case where only places above p ramify. In doing so we recover and generalize the results mentioned above. Remarkably, our explicit description of the Fitting ideal, apart from the contribution of the usual Stickelberger element Θ˙ at infinity, only depends on the group structure of the Galois group Gal(L/k) and not on the specific extension L. From our computation it is then easy to deduce that T˙Θ˙ is not in the Fitting ideal as soon as the p-part of Gal(L/k) is not cyclic. We need a lot of technical preparations: resolutions of the trivial module ℤ over a group ring, discussion of the minors of certain big matrices that arise in this context, and auxiliary results about the behavior of Fitting ideals in short exact sequences.

AB - We consider Abelian CM extensions L/k of a totally real field k, and we essentially determine the Fitting ideal of the dualized Iwasawa module studied by the second author in the case where only places above p ramify. In doing so we recover and generalize the results mentioned above. Remarkably, our explicit description of the Fitting ideal, apart from the contribution of the usual Stickelberger element Θ˙ at infinity, only depends on the group structure of the Galois group Gal(L/k) and not on the specific extension L. From our computation it is then easy to deduce that T˙Θ˙ is not in the Fitting ideal as soon as the p-part of Gal(L/k) is not cyclic. We need a lot of technical preparations: resolutions of the trivial module ℤ over a group ring, discussion of the minors of certain big matrices that arise in this context, and auxiliary results about the behavior of Fitting ideals in short exact sequences.

KW - Class groups

KW - CM-fields

KW - Cohomology

KW - Tate sequences

KW - Totally real fields

UR - http://www.scopus.com/inward/record.url?scp=84999133838&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84999133838&partnerID=8YFLogxK

U2 - 10.1090/spmj/1428

DO - 10.1090/spmj/1428

M3 - Article

AN - SCOPUS:84999133838

VL - 27

SP - 941

EP - 965

JO - St. Petersburg Mathematical Journal

JF - St. Petersburg Mathematical Journal

SN - 1061-0022

IS - 6

ER -