Fitting ideals and various notions of equivalence for modules

DOI10.1007/S00229-022-01448-1MaRDI QIDQ6185956zbMATH OpenOpenAlexFDO

Authors Cornelius Greither, Takenori Kataoka

Publication date 9 January 2024

Published in Manuscripta Mathematica (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s00229-022-01448-1

zbMATH Keywords

cohomological equivalenceFitting invariantsGorenstein ringideal class groupPontryagin dualsyzygies

Mathematics Subject Classification ID

Class numbers, class groups, discriminants (11R29) Integral representations related to algebraic numbers; Galois module structure of rings of integers (11R33) Syzygies, resolutions, complexes and commutative rings (13D02) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10)

Review text

Let \(K/k\) be an abelian extension of number fields with Galois group \(G\), where \(K\) is a CM-field and \(k\) a totally real subfield. One is interested to study the structure of the minus part of the class group of \(K\) (or its Pontryagin dual, resp.) as a module over the minus part of the group ring \(\mathbb Z[G]^-\). One first step is to determine the Fitting ideal of this module, or at least up to a principal ideal factor. For this purpose, the authors develop a new concept of equivalence of modules, formulated for (finitely generated) torsion modules over a Gorenstein ring \(R\) of finite Krull dimension (Section 2). In Section 3, connections of this equivalence to the shifted Fitting invariants, as introduced by the second author [Adv. Stud. Pure Math. 86, 413--465 (2020; Zbl 1469.11421)], are investigated to study the relation between the Fitting ideal of a module and its dual. In Section 4, this new equivalence is described in terms of syzygies and lattices (i.e., finitely generated, torsion-free \(R\)-modules). In the following, the authors restrict to the case where \(R= \mathbb Z_p[G]\) with \(G\) a finite abelian \(p\)-group. They investigate the connection of the new equivalence to the Fitting equivalence and the cohomological equivalence, resp., and show that the new one is finer than both of the known ones. For the case that \(G\) is cyclic of order \(p\) or \(p^2\), an explicit description for the monoid of the equivalence classes of modules is obtained.

Recommendations

• scientific article; zbMATH DE number 3183246
• scientific article; zbMATH DE number 3285059
• Generalized Cells in Generalized Manifolds
• On a combinatorical problem of K. Zarankiewicz
• scientific article; zbMATH DE number 3195031
• Die Suzukigruppen und ihre Geometrien. Vorlesung Sommersemester 1965 in Mainz
• Time-lag control systems
• A numerical method of calculating the three-dimensional flow of a supersonic gas current around solids

Cites work

• Determining Fitting ideals of minus class groups via the equivariant Tamagawa number conjecture
• Fitting ideals of class groups for CM abelian extensions
• Fitting ideals of class groups of real fields with prime power conductor
• Fitting invariants in equivariant Iwasawa theory
• scientific article; zbMATH DE number 4210277 (Why is no real title available?)
• scientific article; zbMATH DE number 3323113 (Why is no real title available?)
• Lattices over Group Rings of Cyclic p -Groups and Generalized Factor Space Categories
• Notes on the dual of the ideal class groups of CM-fields
• On the Brumer-Stark conjecture

Cited in

(2)

• Minimal resolutions of Iwasawa modules
• On the Galois module structure of minus class groups

This page was built for publication: Fitting ideals and various notions of equivalence for modules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6185956)