Fitting ideals and various notions of equivalence for modules (Q6185956)

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.