Abstract
In this paper, we study the module-theoretic structure of classical Iwasawa modules. More precisely, for a finite abelian p-extension K/k of totally real fields and the cyclotomic \(\mathbb {Z}_p\)-extension \(K_{\infty }/K\), we consider \(X_{K_{\infty },S}={{\,\textrm{Gal}\,}}(M_{K_{\infty },S}/K_{\infty })\) where S is a finite set of places of k containing all ramifying places in \(K_{\infty }\) and archimedean places, and \(M_{K_{\infty },S}\) is the maximal abelian pro-p-extension of \(K_{\infty }\) unramified outside S. We give lower and upper bounds of the minimal numbers of generators and of relations of \(X_{K_{\infty },S}\) as a \(\mathbb {Z}_p[[{{\,\textrm{Gal}\,}}(K_{\infty }/k)]]\)-module, using the p-rank of \({{\,\textrm{Gal}\,}}(K/k)\). This result explains the complexity of \(X_{K_{\infty },S}\) as a \(\mathbb {Z}_p[[{{\,\textrm{Gal}\,}}(K_{\infty }/k)]]\)-module when the p-rank of \({{\,\textrm{Gal}\,}}(K/k)\) is large. Moreover, we prove an analogous theorem in the setting that K/k is non-abelian. We also study the Iwasawa adjoint of \(X_{K_{\infty },S}\), and the minus part of the unramified Iwasawa module for a CM-extension. In order to prove these theorems, we systematically study the minimal resolutions of \(X_{K_{\infty },S}\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Throughout this paper we fix a prime number p. We write \(F_{\infty }\) for the cyclotomic \(\mathbb {Z}_p\)-extension of F for any number field F.
Let K/k be a finite abelian p-extension of totally real fields (see Theorem 3.3 for the non-abelian case). We consider the abelian extension \(K_{\infty }/k\), whose Galois group we denote by \(\mathcal {G}={{\,\textrm{Gal}\,}}(K_{\infty }/k)\). Suppose that S is a finite set of places of k, containing all archimedean places and all places that ramify in \(K_{\infty }\). In particular, S contains all p-adic places. Let \(M_{K_{\infty },S}\) denote the maximal abelian pro-p-extension of \(K_{\infty }\) unramified outside S. Our main purpose in this paper is to study the classical Iwasawa module \(X_{K_{\infty },S}={{\,\textrm{Gal}\,}}(M_{K_{\infty },S}/K_{\infty })\) over the Iwasawa algebra \(\mathcal {R}= \mathbb {Z}_p[[\mathcal {G}]]\).
Define \(I_{\mathcal {G}}\) to be the augmentation ideal of \(\mathcal {R}= \mathbb {Z}_p[[\mathcal {G}]]\), namely \(I_{\mathcal {G}}={{\,\textrm{Ker}\,}}(\mathbb {Z}_p[[\mathcal {G}]] \rightarrow \mathbb {Z}_p)\). We write \(Q(\mathcal {R})\) for the total quotient ring of \(\mathcal {R}\). We consider an \(\mathcal {R}\)-submodule \(\mathcal {R}^{\sim }\) of \(Q(\mathcal {R})\), which consists of elements \(x \in Q(\mathcal {R})\), satisfying \(x I_{\mathcal {G}} \subset \mathcal {R}\). This is the module of pseudo-measures of \(\mathcal {G}\) in the sense of Serre. The p-adic L-function of Deligne and Ribet is an element \(g_{K_{\infty }/k,S}\) in \(\mathcal {R}^{\sim }\), satisfying the following property. Suppose that \(\kappa :\mathcal {G}\rightarrow \mathbb {Z}_p^\times \) is the cyclotomic character. For a character \(\psi \) of \(\mathcal {G}\) of finite order with values in an algebraic closure \(\overline{\mathbb {Q}}_{p}\) of \(\mathbb {Q}_p\) and for a positive integer n, one can extend a character \(\kappa ^n \psi : \mathcal {G}\rightarrow \overline{\mathbb {Q}}_{p}^{\times }\) to a ring homomorphism \(\mathcal {R}\rightarrow \overline{\mathbb {Q}}_{p}\), and also to \(\mathcal {R}^{\sim } \rightarrow \overline{\mathbb {Q}}_{p}\). Then \(g_{K_{\infty }/k,S}\) satisfies
for any character \(\psi \) of \(\mathcal {G}\) of finite order and for any positive integer \(n \in \mathbb {Z}_{>0}\), where \(L_{S}(s, \psi \omega ^{-n})\) is the S-truncated L-function, and \(\omega \) is the Teichmüller character.
Put \(G = {{\,\textrm{Gal}\,}}(K_{\infty }/k_{\infty })\). In [5, Theorem 3.3] and [6, Theorem 4.1], as a refinement of the usual main conjecture, Greither and the second author computed the Fitting ideal of \(X_{K_{\infty },S}\) as an \(\mathcal {R}\)-module to obtain
where \({\mathfrak a}_{G}\) is a certain ideal of \(\mathcal {R}\) which is determined only by the group structure of G. The explicit description of \({\mathfrak a}_{G}\) is obtained in [7, Sect. 1.2] by Greither, Tokio and the second author. We do not explain this ideal \({\mathfrak a}_{G}\) in this paper, but only mention two facts. If s is the p-rank of G (i.e., \(s = \dim _{\mathbb {F}_p}(\mathbb {F}_p \otimes _{\mathbb {Z}} G)\)) and \({\mathfrak m}_{\mathcal {R}}\) is the maximal ideal of \(\mathcal {R}\), then we have \({\mathfrak a}_{G} \subset {\mathfrak m}_{\mathcal {R}}^{s(s-1)/2}\). Also, if G is isomorphic to \((\mathbb {Z}/p^m)^{\oplus s}\), then \({\mathfrak a}_{G}=(p^m\mathcal {R}+I_{\mathcal {G}})^{s(s-1)/2}\). We also note here that the classical main conjecture in Iwasawa theory studies the character component \(X_{K_{\infty },S}^{\psi }\) for K which corresponds to the kernel of \(\psi \). In this case, G is cyclic, and only the case \(s=1\) is studied.
The above computation of \({{\,\textrm{Fitt}\,}}_{\mathcal {R}}(X_{K_{\infty },S})\) suggests that \(X_{K_{\infty },S}\) is complicated as an \(\mathcal {R}\)-module when the p-rank s of G is large. To understand why and in which way the module has to be complicated, we study in this paper the minimal numbers of generators and relations of \(X_{K_{\infty },S}\). Let \({{\,\textrm{gen}\,}}_{\mathcal {R}}(X_{K_{\infty }, S})\) (resp. \(r_{\mathcal {R}}(X_{K_{\infty }, S})\)) be the minimal number of generators (resp. of relations) of \(X_{K_{\infty }, S}\) as an \(\mathcal {R}\)-module.
In order to state the main result of this paper, we need the maximal abelian pro-p-extension \(M_{k, S}\) of k unramified outside S. By our choice of S, we have
Now we state the main result of this paper. For any abelian group A, we define its p-rank by \({{\,\textrm{rank}\,}}_p A = \dim _{\mathbb {F}_p}(\mathbb {F}_p \otimes _{\mathbb {Z}} A)\), which is finite in all cases we consider in this paper.
Theorem 1.1
Let us write
for the p-ranks of the Galois groups. Then we have
and
Remark 1.2
We note that Leopoldt’s conjecture for k is equivalent to that the extension \(M_{k, S}/k_{\infty }\) is finite though we do not assume it in Theorem 1.1. We get the equalities of the minimal numbers of generators in the following special cases.
-
(1)
If Leopoldt’s conjecture holds and \(p \ge 3\), then we may take K so that \(K_{\infty } = M_{k, S}\). In this case, we have \(t = 0\), so the theorem says
$$\begin{aligned} {{\,\textrm{gen}\,}}_{\mathcal {R}}(X_{M_{k, S}, S}) = \frac{s(s+1)}{2}, \end{aligned}$$where \(s = {{\,\textrm{rank}\,}}_p{{\,\textrm{Gal}\,}}(M_{k, S}/k_{\infty })\).
-
(2)
In case \(K_{\infty } = k_{\infty }\), we have \(s = 0\), so the theorem says
$$\begin{aligned} {{\,\textrm{gen}\,}}_{\mathcal {R}}(X_{k_{\infty }, S}) = t = {{\,\textrm{rank}\,}}_p {{\,\textrm{Gal}\,}}(M_{k, S}/k_{\infty }). \end{aligned}$$Indeed, this follows directly from Lemma 6.1.
Except for these cases, we have no theoretical method to determine the exact value of \({{\,\textrm{gen}\,}}_{\mathcal {R}}(X_{K_{\infty }, S})\) so far.
Remark 1.3
In Sect. 7 we give several numerical examples for \(p=2\), 3. We take \(k=\mathbb {Q}\) and \(K/\mathbb {Q}\) to be a real abelian extension such that \({{\,\textrm{Gal}\,}}(K/\mathbb {Q}) \simeq (\mathbb {Z}/p\mathbb {Z})^{\oplus s}\). Here, we pick up some typical examples from Sect. 7.
-
(1)
Take \(p=3\). For two primes \(\ell _i\) with \(i=1\), 2 such that \(\ell _i \equiv 1\) (mod 3), let K be the unique \((\mathbb {Z}/3\mathbb {Z})^{\oplus 2}\)-extension over \(\mathbb {Q}\) with conductor \(\ell _1\ell _2\). Take \(\ell _1=7\), and \(\ell _2\) satisfying \(\ell _2 \equiv 1\) (mod 9), and consider \(S=\{3, \ell _1, \ell _2, \infty \}\). In this case \(s=2\) and \(t=1\). So Theorem 1.1 says that
$$\begin{aligned} 3 \le {{\,\textrm{gen}\,}}_{\mathcal {R}}(X_{K_{\infty }, S}) \le 4. \end{aligned}$$For \(\ell _2\) less than 200, we have
$$\begin{aligned} {{\,\textrm{gen}\,}}_{\mathcal {R}}(X_{K_{\infty }, S}) =3 \ \ \text{ if } \ \ \ell _2 = 19, 37, 73, 109, 163, 199 \end{aligned}$$and
$$\begin{aligned} {{\,\textrm{gen}\,}}_{\mathcal {R}}(X_{K_{\infty }, S}) =4 \ \ \text{ otherwise, } \text{ namely } \text{ if } \ \ \ell _2= 127, 181. \end{aligned}$$Thus the above inequality is sharp in this case.
-
(2)
Take \(p=2\). Suppose that \(\ell _1\), \(\ell _2\), \(\ell _3\) are three distinct primes such that \(\ell _{i} \equiv 1\) (mod 4). We take \(K=\mathbb {Q}(\sqrt{\ell _1},\sqrt{\ell _2}, \sqrt{\ell _3})\) and \(S=\{2, \ell _1, \ell _2, \ell _3, \infty \}\). Then \({{\,\textrm{Gal}\,}}(K/\mathbb {Q})\simeq (\mathbb {Z}/2\mathbb {Z})^{\oplus 3}\), so \(s=3\). Taking account of the archimedean place, we know \(t=1+3=4\). Since \(s(s+1)/2=6\), Theorem 1.1 says in this case
$$\begin{aligned} 6 \le {{\,\textrm{gen}\,}}_{\mathcal {R}}(X_{K_{\infty }, S}) \le 10. \end{aligned}$$Take \(\ell _1=5\). For any \(5< \ell _2 < \ell _3 \le 100\), we have \( {{\,\textrm{gen}\,}}_{\mathcal {R}}(X_{K_{\infty }, S}) =7 \) except for
$$\begin{aligned} (\ell _2,\ell _3) = (17, 89), (37,41), (41,61), (41, 73), (41, 89), (53, 89), (73, 89), (89, 97), \end{aligned}$$for which we have \({{\,\textrm{gen}\,}}_{\mathcal {R}}(X_{K_{\infty }, S}) =8\). Also we have \({{\,\textrm{gen}\,}}_{\mathcal {R}}(X_{K_{\infty }, S}) =9\) for \((\ell _1,\ell _2,\ell _3)=(17,73,89)\), and \({{\,\textrm{gen}\,}}_{\mathcal {R}}(X_{K_{\infty }, S}) =10\) for \((\ell _1,\ell _2,\ell _3)=(73,89,97)\). We never observed \({{\,\textrm{gen}\,}}_{\mathcal {R}}(X_{K_{\infty }, S}) =6\) at least in this range.
In this paper, we prove not only the above Theorem 1.1 but also its non-abelian generalization in Theorem 3.3. We also study and determine the minimal numbers of generators and relations of the dual (Iwasawa adjoint) of \(X_{K_{\infty }, S}\) (see Theorem 3.4). This is relatively easier than Theorem 3.3. Also, we give in Sect. 3.3 some applications to the minus part of certain Iwasawa modules of CM-fields (see Corollary 3.5), using Kummer duality.
A key to the proof of our theorems is the existence of certain exact sequences, called Tate sequences. We remark here that Greither also used a different kind of Tate sequence in [3] to get information on the minimal numbers of generators of class groups of number fields. Our method of using the Tate sequences is totally different from Greither’s.
This paper is organized as follows. After algebraic preliminaries in Sect. 2, we will state the main results in Sect. 3. The proofs are given in Sects. 4–6. Finally in Sect. 7, we will study numerical examples.
2 Algebraic preliminaries
2.1 Minimal resolutions
Let R be a Noetherian local ring, which we do not assume to be commutative. Let \(\mathfrak {m}\) be the Jacobson radical of R, that is, \(\mathfrak {m}\) is the maximal left (right) ideal of R. For simplicity, let us assume that \(\textbf{k} := R/\mathfrak {m}\) is a commutative field. We will often consider the case \(R = \mathbb {Z}_p[[\mathcal {G}]]\) for a pro-p group \(\mathcal {G}\), in which case R is indeed local and we have \(\textbf{k} = \mathbb {F}_p\) (see [13, Proposition 5.2.16 (iii)]).
Definition 2.1
For a finitely generated (left) R-module M, we write \({{\,\textrm{gen}\,}}_R(M)\) for the minimal number of generators of M as an R-module. Also, we write \(r_R(M)\) for the minimal number of relations of M as an R-module (see Definition 2.4 below).
Remark 2.2
The following observations will be often used.
-
(1)
By Nakayama’s lemma (for non-commutative rings, see e.g., [8, Corollary 13.12]), we have
$$\begin{aligned} {{\,\textrm{gen}\,}}_R(M) = {{\,\textrm{gen}\,}}_{R/I}((R/I) \otimes _R M) \end{aligned}$$for any two-sided ideal \(I \subset \mathfrak {m}\) of R. In particular, we have
$$\begin{aligned} {{\,\textrm{gen}\,}}_R(M) = {{\,\textrm{gen}\,}}_{\textbf{k}}(\textbf{k} \otimes _R M) = \dim _{\textbf{k}}(\textbf{k} \otimes _R M). \end{aligned}$$Therefore, for a finitely generated \(\mathbb {Z}_p\)-module M, we have
$$\begin{aligned} {{\,\textrm{gen}\,}}_{\mathbb {Z}_p}(M) = \dim _{\mathbb {F}_p}(\mathbb {F}_p \otimes _{\mathbb {Z}_p} M) = {{\,\textrm{rank}\,}}_p(M). \end{aligned}$$ -
(2)
If we have an exact sequence
$$\begin{aligned} 0 \rightarrow M' \rightarrow M \rightarrow M'' \rightarrow 0 \end{aligned}$$of finitely generated R-modules, we have
$$\begin{aligned} {{\,\textrm{gen}\,}}_{R}(M'') \le {{\,\textrm{gen}\,}}_{R}(M) \le {{\,\textrm{gen}\,}}_{R}(M') + {{\,\textrm{gen}\,}}_{R}(M''). \end{aligned}$$The proof is standard and easy.
-
(3)
In item (2) above, if we assume that R is a discrete valuation ring (DVR), the formula may be refined to
$$\begin{aligned} \max \left\{ {{\,\textrm{gen}\,}}_{R}(M'), {{\,\textrm{gen}\,}}_{R}(M'') \right\} \le {{\,\textrm{gen}\,}}_{R}(M) \le {{\,\textrm{gen}\,}}_{R}(M') + {{\,\textrm{gen}\,}}_{R}(M''). \end{aligned}$$This follows from the structure theorem for finitely generated modules over principal ideal domains.
Example 2.3
Let us observe an example for which the formula in item (3) above does not hold when R is not a DVR. Let \(R = \mathbb {Z}_p[[T]]\). Consider \(M = \mathbb {Z}_p[[T]]\) and its submodule
with \(n \ge 1\). Then we have \({{\,\textrm{gen}\,}}_{R}(M') = n + 1\) and \({{\,\textrm{gen}\,}}_{R}(M) = 1\), so \({{\,\textrm{gen}\,}}_{R}(M') \le {{\,\textrm{gen}\,}}_{R}(M)\) does not hold.
Next we introduce the minimal resolutions of modules.
Definition 2.4
Let M be a finitely generated R-module. We can construct an exact sequence of R-modules
such that the image of each homomorphism \(R^{r_{n+1}} \rightarrow R^{r_n}\) (\(n \ge 0\)) is contained in \(\mathfrak {m}^{r_n}\). Such a sequence is called a minimal resolution of M. In this case, since \(R^{r_{n+1}} \rightarrow R^{r_n}\) induces the zero map on \((R/\mathfrak {m})^{r_{n+1}} \rightarrow (R/\mathfrak {m})^{r_n}\), by the definition of the \({{\,\textrm{Tor}\,}}\) functor, the integer \(r_n\) coincides with
for \(n \ge 0\). In particular, the integer \(r_n\) is independent of the choice of the minimal resolution. By definition we have
Lemma 2.5
If G is a finite p-group, we have
for all \(n \ge 0\).
Proof
This follows from \(H_n(G, \mathbb {F}_p) \simeq {{\,\textrm{Tor}\,}}_n^{\mathbb {Z}_p[G]}(\mathbb {Z}_p, \mathbb {F}_p) \simeq {{\,\textrm{Tor}\,}}_n^{\mathbb {Z}_p[G]}(\mathbb {F}_p, \mathbb {Z}_p)\) and the formula in Definition 2.4. \(\square \)
2.2 Group homology
In this subsection, we summarize facts about group homology.
Let G be a finite group. The following lemma is well-known.
Lemma 2.6
We have
the abelianization of G, and
for \(M \in \mathbb {Z}_{\ge 1}\).
As for the second homology groups, if G is abelian, it is known that \(H_2(G, \mathbb {Z})\) is isomorphic to \(\bigwedge ^2 G\) (see [1, Chap. V, Theorem 6.4 (iii)]). If G is not abelian, \(H_2(G, \mathbb {Z})\) is much harder to study, and is also known as the Schur multiplier of G (cf. [11]).
For now, we observe a relation between \(H_n(G, \mathbb {Z})\) and \(H_n(G, \mathbb {Z}/M\mathbb {Z})\) for a p-power M.
Lemma 2.7
Let \(n \ge 2\). For any \(m \ge 1\), we have
In particular, as the right hand side is independent from m, we have
Proof
This follows from the universal coefficient theorem (see [1, Chap. I, Proposition 0.8], for example), which says in our case that
is split exact. \(\square \)
In case G is abelian, it is not hard to compute the p-rank of the n-th homology group:
Lemma 2.8
Suppose G is abelian and put \(s = {{\,\textrm{rank}\,}}_p G\). Then we have
for \(n \ge 0\) (when \(n = 0\), the right hand side is understood to be 1).
Proof
By replacing G by its p-Sylow subgroup, we may assume that G is a p-group. As in [5, Sect. 1.2] or [12, Sect. 4.3], we can construct an explicit minimal free resolution of \(\mathbb {Z}_p\) as an R-module
with \(s_{n}=s(s+1) \cdots (s+n-1)/n!\). Thus, the lemma follows from Lemma 2.5. \(\square \)
We also need the following duality theorem between the cohomology groups and the homology groups (see [1, Chap VI Proposition 7.1], for example).
Lemma 2.9
Let G be a finite group and M a (discrete) G-module. We define its Pontryagin dual \(M^{\vee }\) by \(M^{\vee }={{\,\textrm{Hom}\,}}(M, \mathbb {Q}/\mathbb {Z})\). Then for any \(n \in \mathbb {Z}_{\ge 0}\), we have an isomorphism between \(H^{n}(G, M)\) and \({{\,\textrm{Hom}\,}}(H_{n}(G,M^{\vee }), \mathbb {Q}/\mathbb {Z})\).
3 The main results
3.1 Setting
As in Sect. 1, let p be any prime number, k a totally real field, and \(k_{\infty }\) its cyclotomic \(\mathbb {Z}_p\)-extension. For a finite set S of places of k such that S contains all the archimedean places and all p-adic places, we write \(M_{k, S}\) for the maximal abelian pro-p-extension of k unramified outside S.
Let \(K_{\infty }/k\) be a pro-p Galois extension of totally real fields such that \(K_{\infty }\) contains \(k_{\infty }\) and the extension \(K_{\infty }/k_{\infty }\) is finite. We do not assume that \(K_{\infty }/k\) is abelian, but we have to assume the following.
Assumption 3.1
There exists an intermediate finite Galois extension K/k of \(K_{\infty }/k\) such that
In other words, the map induced by the restriction maps
is an isomorphism.
Lemma 3.2
If \(K_{\infty }/k\) is abelian, then Assumption 3.1 holds.
Proof
We consider the restriction homomorphism \(f: {{\,\textrm{Gal}\,}}(K_{\infty }/k) \twoheadrightarrow {{\,\textrm{Gal}\,}}(k_{\infty }/k)\). Since f is a homomorphism of \(\mathbb {Z}_p\)-modules and the target is free, f has a section. We take a section and define K to be the fixed field of the image of the section. A point is that K/k is then automatically Galois as \(K_{\infty }/k\) is abelian. \(\square \)
Set \(\mathcal {G}= {{\,\textrm{Gal}\,}}(K_{\infty }/k)\) and \(G = {{\,\textrm{Gal}\,}}(K_{\infty }/k_{\infty })\). We take an S such that \(K_{\infty }/k\) is unramified outside S. Let \(M_{K_{\infty }, S}/K_{\infty }\) be the Galois group of the maximal abelian pro-p-extension of \(K_{\infty }\) that is unramified outside places lying above S, and \(X_{K_{\infty }, S} = {{\,\textrm{Gal}\,}}(M_{K_{\infty }, S}/K_{\infty })\) as in the Introduction. Then it is known that \(X_{K_{\infty }, S}\) is a finitely generated torsion module over the associated Iwasawa algebra \(\mathcal {R}= \mathbb {Z}_p[[\mathcal {G}]]\). Since \(K_{\infty }/k\) is a pro-p extension, the algebra \(\mathcal {R}\) is a local ring whose residue field is \(\mathbb {F}_p\).
3.2 The statements
We use the notation in Sect. 3.1. To state the result, let us put
for \(n \ge 0\) (recall \(G = {{\,\textrm{Gal}\,}}(K_{\infty }/k_{\infty })\)). For instance, we have \(s_0 = 1\) and \(s_1 = {{\,\textrm{rank}\,}}_p G^{{{\,\textrm{ab}\,}}}\) by Lemma 2.6. Recall that Lemma 2.8 tells us an explicit formula of \(s_n\) in case \(K_{\infty }/k_{\infty }\) is abelian; in particular, we have \(s_2 = s(s+1)/2\) and \(s_3 = s(s+1)(s+2)/6\) with \(s = {{\,\textrm{rank}\,}}_p G (= s_1)\).
The following is the main result, which contains a non-abelian generalization of Theorem 1.1.
Theorem 3.3
When Assumption 3.1 is satisfied, the following inequalities and equalities hold.
-
(1)
Put \(t = {{\,\textrm{rank}\,}}_p {{\,\textrm{Gal}\,}}(M_{k, S}/M_{k, S} \cap K_{\infty })\). Then we have
$$\begin{aligned} \max \left\{ s_2, t \right\} \le {{\,\textrm{gen}\,}}_{\mathcal {R}}(X_{K_{\infty }, S}) \le s_2 + t. \end{aligned}$$ -
(2)
We have
$$\begin{aligned} r_n(X_{K_{\infty }, S}) = s_{n+2} + s_{n+1} \end{aligned}$$for \(n \ge 2\) and
$$\begin{aligned} r_1(X_{K_{\infty }, S}) - r_0(X_{K_{\infty }, S}) = r_{\mathcal {R}}(X_{K_{\infty }, S}) - {{\,\textrm{gen}\,}}_{\mathcal {R}}(X_{K_{\infty }, S}) = s_3. \end{aligned}$$
It is easy to see that Theorems 3.3 implies 1.1, thanks to Lemma 3.2.
We also prove corresponding theorems concerning the dual (Iwasawa adjoint) of \(X_{K_{\infty }, S}\). For a finitely generated torsion \(\mathcal {R}\)-module M, we define the dual (Iwasawa adjoint) of M by
Using the field K in Assumption 3.1, we put \(\Lambda = \mathbb {Z}_p[[{{\,\textrm{Gal}\,}}(K_{\infty }/K)]]\). As a consequence of Assumption 3.1, \(\mathcal {R}\) is isomorphic to \(\Lambda [G]\). Then we have
because \({{\,\textrm{Hom}\,}}_{\mathcal {R}}(N, \mathcal {R}) \simeq {{\,\textrm{Hom}\,}}_{\Lambda }(N, \Lambda )\) for any \(\mathcal {R}\)-module N. Therefore, our \(M^{*}\) coincides with the Iwasawa adjoint of M in [13, Definition 5.5.5], [9, Sect. 5.1], [10, Sect. 1.3].
We are interested in the \(\mathcal {R}\)-module \(X_{K_{\infty }, S}^{*}\). It is known that the structure of \(X_{K_{\infty }, S}^{*}\) is often simpler than \(X_{K_{\infty }, S}\) itself (e.g., when we are concerned with their Fitting ideals). The following theorem implies that we encounter such a phenomenon when we are concerned with the minimal resolutions.
Theorem 3.4
When Assumption 3.1 is satisfied, the following equalities hold.
-
(1)
We have
$$\begin{aligned} {{\,\textrm{gen}\,}}_{\mathcal {R}}(X_{K_{\infty }, S}^{*}) = {{\,\textrm{rank}\,}}_p {{\,\textrm{Gal}\,}}(M_{k, S}/k_{\infty }). \end{aligned}$$ -
(2)
If \(K_{\infty } \supsetneqq k_{\infty }\), then we have
$$\begin{aligned} r_n(X_{K_{\infty }, S}^{*}) = s_{n-2} + s_{n-3} \end{aligned}$$for \(n \ge 3\),
$$\begin{aligned} r_2(X_{K_{\infty }, S}^{*}) = s_0 + s_0 = 2, \end{aligned}$$and
$$\begin{aligned} r_1(X_{K_{\infty }, S}^{*}) - r_0(X_{K_{\infty }, S}^{*}) =r_{\mathcal {R}}(X_{K_{\infty }, S}^{*}) - {{\,\textrm{gen}\,}}_{\mathcal {R}}(X_{K_{\infty }, S}^{*}) = s_0 = 1. \end{aligned}$$If \(K_{\infty } = k_{\infty }\), then we have \(r_n(X_{K_{\infty }, S}^{*}) = 0\) for \(n \ge 2\) and \(r_1(X_{K_{\infty }, S}^{*}) - r_0(X_{K_{\infty }, S}^{*}) = 0\).
In Sect. 5, we will prove \(s_2 \le {{\,\textrm{gen}\,}}_{\mathcal {R}}(X_{K_{\infty , S}})\) in Theorems 3.3(1), 3.3(2), and 3.4(2). These parts follow only from the existence of the Tate sequence introduced in Sect. 4. The rest of the statements (\(t \le {{\,\textrm{gen}\,}}_{\mathcal {R}}(X_{K_{\infty }, S}) \le s_2 + t\) in Theorems 3.3(1) and 3.4(1)) will be proved in Sect. 6.
3.3 Applications for the minus parts of Iwasawa modules for CM-extensions
In this subsection we apply the main theorems in the previous subsection to CM-extensions. We keep the notation in Sect. 3.1, so \(K_{\infty }/k\) is an extension of totally real fields satisfying Assumption 3.1. Only in this subsection we assume that p is odd, which is mainly for making the functor of taking the character component exact for characters of \({{\,\textrm{Gal}\,}}(K_{\infty }(\mu _{p})/K_{\infty })\).
We consider the field \(\mathcal {K}_{\infty }=K_{\infty }(\mu _{p})\) obtained by adjoining all p-th roots of unity to \(K_{\infty }\). So \(\mathcal {K}_{\infty }/k\) is a CM-extension. We also use an intermediate field \(\mathcal {K}_{n}\) of the \(\mathbb {Z}_p\)-extension \(\mathcal {K}_{\infty }/K(\mu _{p})\) such that \([{\mathcal K}_{n}:K(\mu _{p})]=p^n\) for each \(n \ge 0\). Let \(\mathcal {L}_{n}\) be the maximal abelian pro-p-extension of \(\mathcal {K}_{n}\) unramified everywhere. So \({{\,\textrm{Gal}\,}}(\mathcal {L}_{n}/{\mathcal K}_{n})\) is isomorphic to the p-component \(A_{\mathcal {K}_{n}}\) of the ideal class group of \(\mathcal {K}_{n}\) by class field theory. We denote by \(A_{\mathcal {K}_{\infty }}\) the inductive limit of \(A_{\mathcal {K}_{n}}\), which is a discrete \(\mathbb {Z}_p[[{{\,\textrm{Gal}\,}}({\mathcal K}_{\infty }/k)]]\)-module. We write \(\mathcal {X}_{{\mathcal K}_{\infty }}\) for the projective limit of \(A_{\mathcal {K}_{n}}\). Then \(\mathcal {X}_{\mathcal {K}_{\infty }}\) is a compact \(\mathbb {Z}_p[[{{\,\textrm{Gal}\,}}(\mathcal {K}_{\infty }/k)]]\)-module. Defining \({\mathcal L}_{\infty }\) to be the maximal abelian pro-p-extension of \(\mathcal {K}_{\infty }\) unramified everywhere, we know that \(\mathcal {X}_{\mathcal {K}_{\infty }}={{\,\textrm{Gal}\,}}({\mathcal L}_{\infty }/\mathcal {K}_{\infty })\). Let \(n_{0}\) be the smallest integer such that all p-adic places are totally ramified in \(\mathcal {K}_{\infty }/\mathcal {K}_{n_0}\). We define a submodule \(\mathcal {Y}_{\mathcal {K}_{\infty }}\) of \(\mathcal {X}_{{\mathcal K}_{\infty }}\) by \(\mathcal {Y}_{{\mathcal K}_{\infty }}={{\,\textrm{Gal}\,}}(\mathcal {L}_{\infty }/\mathcal {L}_{n_0}{\mathcal K}_{\infty })\).
Put \(\Delta ={{\,\textrm{Gal}\,}}(\mathcal {K}_{\infty }/K_{\infty })\), which is of order prime to p by our assumption \(p \ne 2\) in this subsection. Therefore, since \({{\,\textrm{Gal}\,}}(\mathcal {K}_{\infty }/k)\simeq \mathcal {G}\times \Delta \), any \(\mathbb {Z}_p[[{{\,\textrm{Gal}\,}}(\mathcal {K}_{\infty }/k)]]\)-module M is decomposed into \(M=\bigoplus _{\chi } M^{\chi }\) where \(\chi \) runs over all characters of \(\Delta \) with values in \(\mathbb {Z}_p^{\times }\), and \(M^{\chi }\) is the \(\chi \)-component of M defined by
Note that each \(M^{\chi }\) is an \(\mathcal {R}\)-module. Let \(\omega : \Delta \rightarrow \mathbb {Z}_p^{\times }\) be the Teichmüller character, giving the action on \(\mu _{p}\). Using our main results in Sect. 3.2, we study \(A_{\mathcal {K}_{\infty }}^{\omega }\) and \({\mathcal Y}_{\mathcal {K}_{\infty }}^{\omega }\). Note that \(\omega \) is an odd character, so the complex conjugation acts on these modules as \(-1\).
Let \(S_{p}\) be the set of all p-adic places and all archimedean places. Recall that we write \((-)^{\vee }\) for the Pontryagin dual. By Kummer pairing (see [13, Theorem 11.4.3] or [15, Proposition 13.32]), we have an isomorphism
where (1) is the Tate twist. Also, by [13, Theorem 11.1.8] we have
Therefore, we have
For any finitely generated torsion \(\mathcal {R}\)-module M which has no nontrivial finite submodule, we know \((M^{*})^{*} \simeq M\) (see, for example, [13, Proposition 5.5.8 (iv)]). Since \({\mathcal X}_{\mathcal {K}_{\infty },S_{p}}\) has no nontrivial finite submodule, so does \(\mathcal {Y}_{\mathcal {K}_{\infty }}^{\omega }\). Therefore, it follows from the previous isomorphism that
is an isomorphism.
Thus, from Theorems 3.3 and 3.4 we get
Corollary 3.5
In Theorem 3.3, we further assume that \(p >2\) and \(S = S_p\) (so \(K_{\infty }/k_{\infty }\) is unramified outside p).
-
(1)
Then we have
$$\begin{aligned} \max \left\{ s_2, t \right\} \le {{\,\textrm{gen}\,}}_{\mathcal {R}}\left( \left( A_{\mathcal {K}_{\infty }}^{\omega }\right) ^{\vee }\right) \le s_2 + t \end{aligned}$$and
$$\begin{aligned} r_{\mathcal {R}}\left( \left( A_{\mathcal {K}_{\infty }}^{\omega }\right) ^{\vee }\right) = {{\,\textrm{gen}\,}}_{\mathcal {R}}\left( \left( A_{\mathcal {K}_{\infty }}^{\omega }\right) ^{\vee }\right) + s_3. \end{aligned}$$ -
(2)
Put \(t'={{\,\textrm{rank}\,}}_p {{\,\textrm{Gal}\,}}(M_{k, S}/k_{\infty })\). Then we have \({{\,\textrm{gen}\,}}_{\mathcal {R}}(\mathcal {Y}_{\mathcal {K}_{\infty }}^{\omega }) = t'\) and
$$\begin{aligned} r_{\mathcal {R}}\left( \mathcal {Y}_{\mathcal {K}_{\infty }}^{\omega }\right) = \left\{ \begin{array}{ll} t'+1 &{} \ \text{ if } \quad K_{\infty } \supsetneqq k_{\infty } \\ t' &{} \ \text{ if } K_{\infty } = k_{\infty }. \end{array}\right. \end{aligned}$$
4 The Tate sequence
A key ingredient to prove Theorems 3.3 and 3.4 is an exact sequence that \(X_{K_{\infty }, S}\) satisfies, which is often called the Tate sequence. Indeed, as noted in the final paragraph of Sect. 3.2, some parts of our main theorems can be deduced by using the Tate sequence and not much else. On the other hand, the other parts require additional arithmetic study that we will do in Sect. 6. The Tate sequence also played a key role in computing the Fitting ideal of \(X_{K_{\infty }, S}\) in the work [5,6,7] that we mentioned in Sect. 1.
In order to prove the main theorems, we need the Tate sequence of the following type.
Theorem 4.1
There exists an exact sequence of \(\mathcal {R}\)-modules
where P and Q are finitely generated torsion \(\mathcal {R}\)-modules whose projective dimensions are \(\le 1\). Moreover, this sequence is functorial when \(K_{\infty }\) varies. More precisely, for a finite normal subgroup H of \({{\,\textrm{Gal}\,}}(K_{\infty }/k)\), we have an exact sequence
over the Iwasawa algebra \(\mathbb {Z}_p[[{{\,\textrm{Gal}\,}}(K_{\infty }^H/k)]]\), where \(P_H\), \(Q_H\) denote the H-coinvariant modules, and \(\phi _H\) the homomorphism induced by \(\phi \).
Proof
For an intermediate field F of \(K_{\infty }/k\) with \([F:k]<\infty \), we use a perfect complex \(\textsf{R}\Gamma _{c}(\mathcal {O}_{F,S}, \mathbb {Z}_p(1))\) in Burns–Flach [2, Proposition 1.20]. Note that this complex works well even for \(p=2\) (here, we use our assumption that S contains all archimedean places). Taking the project limit, we get a perfect complex \(C^{\bullet }=\textsf{R}\Gamma _{c}(\mathcal {O}_{K_{\infty },S}, \mathbb {Z}_p(1))\) which is quasi-isomorphic to a complex of the form \([C^0 \overset{d^0}{\rightarrow }\ C^1 \overset{d^1}{\rightarrow }\ C^2]\) concentrated on degrees 0, 1, 2 with \(C^i\) finitely generated projective over \(\mathcal {R}\) and whose cohomology groups are
(see [2, p. 86, line 6]) and \(H^i(C^{\bullet })=0\) for \(i \ne 1\), 2, where we used the weak Leopoldt conjecture which is proven in this case (see [13, Theorem 10.3.25]). By the definition of cohomology groups, we have an exact sequence
where we regard \(C^0\) as a submodule of \(C^1\) via \(d^0\) and \(\Phi \) is induced by \(d^1\). Take a non-zero-divisor f in the center of \(\mathcal {R}\) that annihilates \(\mathbb {Z}_p\). Then the image of \(\Phi \) contains \(f C^2\), so by the projectivity of \(C^2\) we can construct a commutative diagram of \(\mathcal {R}\)-modules
![](http://media.springernature.com/lw126/springer-static/image/art%3A10.1007%2Fs40993-024-00549-y/MediaObjects/40993_2024_549_Equ146_HTML.png)
Then defining P and Q as the cokernel of these vertical maps respectively, we obtain the Tate sequence as claimed. The functoriality follows from that of \(\textsf{R}\Gamma _{c}({\mathcal O}_{K_{\infty },S}, \mathbb {Z}_p(1))\). \(\square \)
5 Abstract Tate sequences
Set \(\Lambda = \mathbb {Z}_p[[T]]\). Let G be a (not necessarily abelian) finite p-group.
Motivated by Theorem 4.1, we study a \(\Lambda [G]\)-module X that admits an abstract Tate sequence, that is:
Setting 5.1
There exists an exact sequence of \(\Lambda [G]\)-modules
where both P and Q are finitely generated torsion \(\Lambda [G]\)-modules whose projective dimensions are \(\le 1\).
In this section, we show that the existence of a Tate sequence gives a severe constraint on the integers \({{\,\textrm{gen}\,}}_{\Lambda [G]}(X) = r_0(X)\), \(r_{\Lambda [G]}(X) = r_1(X)\), and \(r_n(X)\) (\(n \ge 2\)).
5.1 The statements
To state the result, let us define
for \(n \ge 0\).
The following are the main theorems in this section. As noted in the final paragraph of Sect. 3.2, those are enough to show parts of Theorems 3.3 and 3.4.
Theorem 5.2
Let X be a \(\Lambda [G]\)-module that satisfies a Tate sequence as in Setting 5.1.
-
(1)
We have \({{\,\textrm{gen}\,}}_{\Lambda [G]}(X) \ge s_2\).
-
(2)
We have
$$\begin{aligned} r_n(X) = s_{n+2} + s_{n+1} \end{aligned}$$for \(n \ge 2\) and
$$\begin{aligned} r_1(X) - r_0(X) = s_3. \end{aligned}$$
Claims (1) and (2) will be proved respectively in Sects. 5.3 and 5.4.
For a \(\Lambda [G]\)-module M, we define its dual (Iwasawa adjoint) by
The corresponding theorem for the dual is:
Theorem 5.3
Let X be a \(\Lambda [G]\)-module that satisfies a Tate sequence as in Setting 5.1.
-
(1)
We have \({{\,\textrm{gen}\,}}_{\Lambda [G]}(X^{*}) \ge s_1\).
-
(2)
If G is non-trivial, then we have
$$\begin{aligned} r_n(X^{*}) = s_{n-2} + s_{n-3} \end{aligned}$$for \(n \ge 3\),
$$\begin{aligned} r_2(X^{*}) = s_0 + s_0 (= 2), \end{aligned}$$and
$$\begin{aligned} r_1(X^{*}) - r_0(X^{*}) = s_0 (= 1). \end{aligned}$$If G is trivial, then we have \(r_n(X^{*}) = 0\) for \(n \ge 2\) and \(r_1(X^{*}) - r_0(X^{*}) = 0\).
This theorem will be proved in §5.6. The idea is basically the same as that of Theorem 5.2. However, we need an additional algebraic proposition shown in §5.5.
5.2 Specialization
We consider modules over \(\Lambda = \mathbb {Z}_p[[T]]\). As explained in Example 2.3, \({{\,\textrm{gen}\,}}_{\Lambda }(-)\) does not behave very well for short exact sequences. A key idea to prove the main theorems is to apply a specialization method to reduce to modules over DVRs.
We define
Here, a monic distinguished polynomial is by definition a polynomial of the form
where \(a_1, \dots , a_e \in p\mathbb {Z}_p\). By the Weierstrass preparation theorem, any prime element of \(\Lambda \) can be written as the product of a unit element and an element of \(\mathcal {F}\) in a unique way.
For each \(f \in \mathcal {F}\), put
which is a domain. We define a subset \(\mathcal {F}_0 \subset \mathcal {F}\) by
The following lemma tells us a concrete description of \(\mathcal {F}_0\). Although the lemma is unnecessary for the proof of the main results, we include it in this paper to clarify the situation.
Lemma 5.4
We have \(\mathcal {F}_0 = \{p\} \cup \mathcal {F}_1 \cup \mathcal {F}_2\), where we put
and
Proof
It is clear that \(\{p \} \subset \mathcal {F}_0\) and \(\mathcal {F}_1 \subset \mathcal {F}_0\). Also, \(\mathcal {F}_2 \subset \mathcal {F}_0\) holds by the Eisenstein irreducibility criterion. Therefore, it remains to only show \(\mathcal {F}_0 \setminus \{p\} \subset \mathcal {F}_1 \cup \mathcal {F}_2\).
Let \(f \in \mathcal {F}_0 \setminus \{p\}\). Since \(\mathcal {O}_f\) is a DVR, it is the integral closure of \(\mathbb {Z}_p\) in the p-adic field \(K_f = {{\,\textrm{Frac}\,}}(\mathcal {O}_f)\). Moreover, since the residue field of \(\mathcal {O}_f\) is the same as that of \(\Lambda \), namely \(\mathbb {F}_p\), we see that the extension \(K_f/\mathbb {Q}_p\) is totally ramified. In case the extension \(K_f/\mathbb {Q}_p\) is trivial, we have \(\deg (f) = 1\), so we obtain \(f \in \mathcal {F}_1\). In case \(K_f/\mathbb {Q}_p\) is non-trivial, the image of T in \(\mathcal {O}_f\) must be a uniformizer of \(\mathcal {O}_f\), so its minimal polynomial f is in \(\mathcal {F}_2\) (see [14, Chap. I, Proposition 18]). This completes the proof. \(\square \)
5.3 Proof of Theorem 5.2(1)
Let us now study a \(\Lambda [G]\)-module X admitting a Tate sequence as in Setting 5.1. We define a \(\Lambda \)-module \(X_{(G)}\) by
where \(P_G\) and \(Q_G\) denote the G-coinvariant modules and \(\phi _G\) denotes the induced homomorphism. Note that \(X_{(G)}\) does not coincide with the coinvariant module \(X_G\) in general; in fact, the difference is what we shall investigate from now on.
The following proposition is a key to prove the main theorem.
Proposition 5.5
Let \(f \in \mathcal {F}\) be an element that is prime to both \({{\,\textrm{char}\,}}_{\Lambda }(P)\) and \({{\,\textrm{char}\,}}_{\Lambda }(Q)\), where \({{\,\textrm{char}\,}}_{\Lambda }(-)\) denotes the characteristic polynomial. We set \(m = {{\,\textrm{ord}\,}}_p(f(0)) \ge 1\). Then we have an exact sequence of finitely generated torsion \(\mathcal {O}_f\)-modules
Proof
Firstly note that \(f(0) \ne 0\) since \({{\,\textrm{char}\,}}_{\Lambda }(Q)\) is divisible by \({{\,\textrm{char}\,}}_{\Lambda }(\mathbb {Z}_p) = (T)\). By taking modulo f of the sequence (5.1), we obtain an exact sequence of finitely generated torsion \(\mathcal {O}_{f}[G]\)-modules
Let L denote the image of the map \(\overline{\phi }: P/f \rightarrow Q/f\). Since both P/f and Q/f are G-cohomologically trivial, taking the G-homology, we obtain exact sequences
and
and also an isomorphism \(H_2(G, \mathbb {Z}_p/p^m \mathbb {Z}_p) \simeq H_1(G, L)\).
We can combine these observations with the exact sequence obtained by taking modulo f of sequence (5.2) to construct a diagram
![](http://media.springernature.com/lw699/springer-static/image/art%3A10.1007%2Fs40993-024-00549-y/MediaObjects/40993_2024_549_Equ147_HTML.png)
This is a commutative diagram of finitely generated torsion \(\mathcal {O}_f\)-modules. By applying the snake lemma, we obtain the proposition. \(\square \)
Proof of Theorem 5.2(1)
In Proposition 5.5, we take f so that \(f \in \mathcal {F}_0\), i.e., \(\mathcal {O}_f\) is a DVR. Then the injective homomorphism from \(H_2(G, \mathbb {Z}_p/p^m \mathbb {Z}_p)\) to \((X/f)_G\) in Proposition 5.5 implies
where the first equality follows from Nakayama’s lemma. Since \(H_2(G, \mathbb {Z}_p/p^m \mathbb {Z}_p)\) is annihilated by T and \(\mathcal {O}_f/(T) \simeq \mathbb {Z}_p/p^m\mathbb {Z}_p\), we have
where the second equality follows from Lemma 2.7. Combining these formulas, we obtain \({{\,\textrm{gen}\,}}_{\Lambda [G]}(X) \ge s_2\), as claimed. \(\square \)
Remark 5.6
This argument also shows
with \(\pi \) as in Proposition 5.5. Then the full statement of Theorem 3.3(1) follows if we can take f so that \({{\,\textrm{gen}\,}}_{\mathcal {O}_f}({{\,\textrm{Ker}\,}}(\pi ))\) coincides with the t in Theorem 3.3(1). This is indeed possible, but in §6 we will give a more direct proof for the rest of Theorem 3.3(1) instead.
5.4 Proof of Theorem 5.2(2)
We introduce several lemmas. We abbreviate \(r_n^{\Lambda [G]}(-)\) as \(r_n(-)\) and we never omit the coefficient ring otherwise.
Lemma 5.7
Let P be a finitely generated torsion \(\Lambda [G]\)-module whose projective dimension is \(\le 1\). Then we have \(r_n(P) = 0\) for \(n \ge 2\) and \(r_1(P) = r_0(P)\).
Proof
By the assumption on P, there exists a presentation of P of the form \(0 \rightarrow \Lambda [G]^a \rightarrow \Lambda [G]^a \rightarrow P \rightarrow 0\). The lemma follows immediately from this. \(\square \)
Lemma 5.8
Let \(0 \rightarrow M' \rightarrow P \rightarrow M \rightarrow 0\) be a short exact sequence of finitely generated torsion \(\Lambda [G]\)-modules such that the projective dimension of P is \(\le 1\). Then we have
for \(n \ge 2\) and
Proof
This follows immediately from the long exact sequence of \({{\,\textrm{Tor}\,}}_*^{\Lambda [G]}(\mathbb {F}_p, -)\) applied to the given sequence, taking Lemma 5.7 into account. \(\square \)
Lemma 5.9
Let M be a finitely generated \(\mathbb {Z}_p[G]\)-module that is free over \(\mathbb {Z}_p\). We regard M as a \(\Lambda [G]\)-module so that T acts trivially on M. Then we have
for \(n \ge 0\). Here, we set \(r_{-1}^{\mathbb {Z}_p[G]}(M) = 0\).
Proof
Let us take a minimal resolution of M as a \(\mathbb {Z}_p[G]\)-module
where we put \(\rho _n = r_n^{\mathbb {Z}_p[G]}(M)\). We have an exact sequence
which may be regarded as a minimal resolution of \(\mathbb {Z}_p\) as a \(\Lambda \)-module. Then we take the tensor product over \(\mathbb {Z}_p\) of the two complex above (omitting M and \(\mathbb {Z}_p\) respectively). As a result, we obtain an exact sequence
By construction, this is a minimal resolution of M as a \(\Lambda [G]\)-module. This completes the proof of the lemma. \(\square \)
Now we are ready to prove Theorem 5.2(2).
Proof of Theorem 5.2(2)
First we recall \(s_n = r_n^{\mathbb {Z}_p[G]}(\mathbb {Z}_p)\) by Lemma 2.5. By applying Lemma 5.9 to \(M = \mathbb {Z}_p\), we obtain
for \(n \ge 0\), where we set \(s_{-1} = 0\). We apply Lemma 5.8 to the two short exact sequences obtained by splitting the Tate sequence. As a consequence, we obtain
for \(n \ge 2\) and
This completes the proof. \(\square \)
5.5 An algebraic proposition
This subsection provides preliminaries to the proof of Theorem 5.3. Let \(\mathcal {C}\) be the category of finitely generated torsion \(\Lambda [G]\)-modules whose projective dimension over \(\Lambda \) is \(\le 1\), that is, those that do not have nontrivial finite submodules.
We also write \(\mathcal {P}\) for the subcategory of \(\mathcal {C}\) that consists of modules whose projective dimension over \(\Lambda [G]\) is \(\le 1\).
For a module \(M \in \mathcal {C}\), it is known that the dual
is also in \(\mathcal {C}\) and \((M^*)^* \simeq M\) ([13, Propositions 5.5.3 (ii) and 5.5.8 (iv)]). Moreover, if \(P \in \mathcal {P}\), we have \(P^{*} \in \mathcal {P}\). These facts are also explained in [12, Sect. 3.1].
In this subsection, we prove the following proposition.
Proposition 5.10
Let \(d \ge 0\) be an integer. Let us consider exact sequences
and
in \(\mathcal {C}\) such that \(P_i, P_i' \in \mathcal {P}\) for \(1 \le i \le d\). Then the following hold.
-
(1)
If \(M \simeq M'\), then we have
$$\begin{aligned} r_n(N) = r_n(N') \end{aligned}$$for \(n \ge 2\) and
$$\begin{aligned} r_1(N) - r_0(N) = r_1(N') - r_0(N'). \end{aligned}$$ -
(2)
Similarly, if \(N \simeq N'\), then we have
$$\begin{aligned} r_n(M) = r_n(M') \end{aligned}$$for \(n \ge 2\) and
$$\begin{aligned} r_1(M) - r_0(M) = r_1(M') - r_0(M'). \end{aligned}$$
Remark 5.11
It is easy to deduce claim (1) from Lemma 5.8. Indeed, we have
for \(n \ge 2\) and
On the other hand, claim (2) cannot be deduced from Lemma 5.8. Roughly speaking, claims (1) and (2) are respectively what we need to prove Theorems 5.2 and 5.3.
To prove Proposition 5.10, it is convenient to use the concept of axiomatic Fitting invariants introduced by the first author [12]. More concretely, inspired by [4, Sect. 3.2], we use the notion of \(\mathcal {P}\)-trivial Fitting invariant defined as follows.
Definition 5.12
A \(\mathcal {P}\)-trivial Fitting invariant is a map \(\mathcal {F}: \mathcal {C}\rightarrow \Omega \), where \(\Omega \) is a commutative monoid, satisfying the following properties:
-
(i)
If \(P \in \mathcal {P}\), we have \(\mathcal {F}(P)\) is the identity element of \(\Omega \).
-
(ii)
For a short exact sequence \(0 \rightarrow M' \rightarrow M \rightarrow P \rightarrow 0\) in \(\mathcal {C}\) with \(P \in \mathcal {P}\), we have \(\mathcal {F}(M') = \mathcal {F}(M)\).
-
(iii)
For a short exact sequence \(0 \rightarrow P \rightarrow M \rightarrow M' \rightarrow 0\) in \(\mathcal {C}\) with \(P \in \mathcal {P}\), we have \(\mathcal {F}(M') = \mathcal {F}(M)\).
It is an important fact [12, Proposition 3.17] that conditions (ii) and (iii) are equivalent to each other (assuming (i)). Note that in this setting we do not have to assume \(\Omega \) is a commutative monoid, and instead a pointed set structure suffices.
A fundamental example of a Fitting invariant is, of course, given by the Fitting ideal; more precisely, the Fitting ideal modulo principal ideals satisfies the axioms of \(\mathcal {P}\)-trivial Fitting invariants.
The following proposition introduces another kind of Fitting invariants.
Proposition 5.13
For \(n \ge 2\), define \(\mathcal {F}_n: \mathcal {C}\rightarrow \mathbb {N}\) by \(\mathcal {F}_n(M) = r_n(M)\). We also define \(\mathcal {F}_{0, 1}: \mathcal {C}\rightarrow \mathbb {Z}\) by \(\mathcal {F}_{0, 1}(M) = r_1(M) - r_0(M)\). Then all the maps \(\mathcal {F}_n\) and likewise the map \(\mathcal {F}_{0, 1}\) are \(\mathcal {P}\)-trivial Fitting invariants.
Proof
We check the conditions (i) and (ii). Firstly, (i) is a restatement of Lemma 5.7. Secondly, (ii) follows from the associated long exact sequence, taking Lemma 5.7 into account again. Indeed, the long exact sequence collapses into isomorphisms for degree \(\ge 2\) and a 6-term exact sequence for degrees 0, 1. \(\square \)
Note that (iii) cannot be shown in a similar manner. This is because the lower degree part of the associated long exact sequence becomes an 8-term exact sequence. It is important that (iii) follows from (i) and (ii).
Proof of Proposition 5.10
By Proposition 5.13, it is enough to show \(\mathcal {F}(N) = \mathcal {F}(N')\) (resp. \(\mathcal {F}(M) = \mathcal {F}(M')\)) if \(M \simeq M'\) (resp. \(N \simeq N'\)) for any \(\mathcal {P}\)-trivial Fitting invariant \(\mathcal {F}\). For this, we apply the theory of shifts \(\mathcal {F}^{\langle d \rangle }(-)\), \(\mathcal {F}^{\langle -d \rangle }(-)\) of Fitting invariants of the first author [12, Theorem 3.19]. By the exact sequence involving M, N, and \(P_i\), the definition of the shifts implies
and similarly for \(M'\), \(N'\). Then what we have to show is just a reformulation of the well-definedness of the shifts, which is already established by the first author in [12, Theorem 3.19]. \(\square \)
5.6 Proof of Theorem 5.3
Proof of Theorem 5.3
(1) By taking the dual of the Tate sequence, we obtain an exact sequence
where we used \(\mathbb {Z}_p^{*} \simeq \mathbb {Z}_p\).
As in Sect. 5.3, we use the specialization method. Let us take any element \(f \in \mathcal {F}_0\) that is coprime to \({{\,\textrm{char}\,}}_{\Lambda }(P)\) and \({{\,\textrm{char}\,}}_{\Lambda }(Q)\). Put \(m = {{\,\textrm{ord}\,}}_p(f(0)) \ge 1\). Then (5.3) yields an exact sequence
Observe that both \(P^{*}/f\) and \(Q^{*}/f\) are G-cohomologically trivial. So we have
where \(\hat{H}^{-1}\) denotes the Tate cohomology group. By definition, \(\hat{H}^{-1}(G, X^*/f)\) is a submodule of \(H_0(G, X^*/f)\), so the above isomorphism shows
as \(\mathcal {O}_f\) is a DVR. By Nakayama’s lemma, the left hand side is equal to \({{\,\textrm{gen}\,}}_{\Lambda [G]}(X^{*})\). Also, as in the proof of Theorem 5.2(1) in Sect. 5.3,
where the second equality follows from Lemma 2.9 and the third from Lemma 2.7. Thus we obtain (1).
(2) In case G is trivial, since the projective dimension of X as a \(\Lambda \)-module is \(\le 1\), we may apply Lemma 5.7 to obtain the assertion.
From now on, we assume G is non-trivial. Since \(s_n = r_n^{\mathbb {Z}_p[G]}(\mathbb {Z}_p)\) by Lemma 2.5, a minimal resolution of \(\mathbb {Z}_p\) as a \(\mathbb {Z}_p[G]\)-module is of the form
We truncate it to an exact sequence
Since its dual \((-)^{*}\) is also exact and we have \(\mathbb {Z}_p^{*} \simeq \mathbb {Z}_p\) and \(\mathbb {Z}_p[G]^{*} \simeq \mathbb {Z}_p[G]\), we obtain an exact sequence
By comparing (5.3) and (5.5), Proposition 5.10(2) implies
and
for \(n \ge 2\).
Let us compute \(r_n({{\,\textrm{Ker}\,}}(d_1)^{*})\) for any \(n \ge 0\). We combine (5.5) with (5.4) to an exact sequence
By construction, this is a minimal resolution of \({{\,\textrm{Ker}\,}}(d_1)^{*}\) as a \(\mathbb {Z}_p[G]\)-module. For this we need the hypothesis that G is non-trivial; the map \(\varepsilon ^{*} \circ \varepsilon \) can be identified with the map \(\mathbb {Z}_p[G] \rightarrow \mathbb {Z}_p[G]\) that sends 1 to the norm element \(N_G = \sum _{g \in G} g\), and \(N_G\) is in the Jacobson radical of \(\mathbb {Z}_p[G]\) if and only if G is non-trivial. Therefore, we obtain
By applying Lemma 5.9, we obtain
This completes the proof. \(\square \)
6 Proof of the rest of Theorems 3.3(1) and 3.4(1)
Now we return to the arithmetic situation described in Sect. 3.1.
6.1 Proof of Theorem 3.4(1)
First we recall the following well-known fact.
Lemma 6.1
We have an isomorphism
In particular, by Nakayama’s lemma we have
To prove Theorem 3.4(1), we also need the following general lemma.
Lemma 6.2
As in Sect. 5, consider \(\Lambda = \mathbb {Z}_p[[T]]\) and a finite p-group G. For a finitely generated torsion \(\Lambda [G]\)-module M whose projective dimension is \(\le 1\), we have
Proof
As in Lemma 5.7, the minimal resolution of M is of the form \(0 \rightarrow \Lambda [G]^a \rightarrow \Lambda [G]^a \rightarrow M \rightarrow 0\). By taking \({{\,\textrm{Ext}\,}}\)-functor, this induces an exact sequence \(0 \rightarrow \Lambda [G]^a \rightarrow \Lambda [G]^a \rightarrow M^* \rightarrow 0\), which is again a minimal resolution. Thus we obtain the lemma. \(\square \)
Proof of Theorem 3.4(1)
Applying the dual of the Tate sequence introduced in (5.3) to our setting, we obtain an exact sequence
By the compatibility of the Tate sequences, we obtain an isomorphism
Therefore, we have
By Lemma 6.2 (with G trivial), this is then equal to \({{\,\textrm{gen}\,}}_{\Lambda }(X_{k_{\infty }, S})\). By Lemma 6.1, this completes the proof. \(\square \)
6.2 Proof of Theorem 3.3(1)
Note that applying Theorem 5.2(1) to the Tate sequence introduced in Theorem 4.1, we already obtained the inequality \(s_2 \le {{\,\textrm{gen}\,}}_{\mathcal {R}}(X_{K_{\infty }, S})\). Therefore, it remains only to prove \(t \le {{\,\textrm{gen}\,}}_{\mathcal {R}}(X_{K_{\infty },S}) \le s_2 + t\).
Lemma 6.3
We have an exact sequence
of \(\Lambda \)-modules.
Proof
By the Hochschild–Serre spectral sequence we have an exact sequence
where we used the weak Leopoldt conjecture \(H^2({\mathcal O}_{K_{\infty },S},\mathbb {Q}_p/\mathbb {Z}_p)=0\). For \(i = 1, 2\), the Pontryagin dual of \(H^i(G, \mathbb {Q}_p/\mathbb {Z}_p)\) is the projective limit of \(H_{i}(G, \mathbb {Z}/p^m)\) by Lemma 2.9. But since G is a finite p-group, it is finite and isomorphic to \(H_{i}(G, \mathbb {Z})\). Therefore, taking the Pontryagin dual of the above exact sequence and using Lemma 2.6, we get the conclusion.
Note that \(G^{{{\,\textrm{ab}\,}}} = {{\,\textrm{Gal}\,}}(M_{k_{\infty }, S} \cap K_{\infty }/k_{\infty })\). Then putting \(Y={{\,\textrm{Gal}\,}}(M_{k_{\infty },S}/M_{k_{\infty }, S} \cap K_{\infty })\), by Lemma 6.3 we obtain two exact sequences
The first sequence implies
On the other hand, by taking the \(\Gamma ={{\,\textrm{Gal}\,}}(k_{\infty }/k)\)-coinvariant of the second sequence, we obtain an exact sequence
By Lemma 6.1, this is reformulated as
This sequence, together with \(M_{k_{\infty },S} \cap K_{\infty }=M_{k,S} \cap K_{\infty }\) and the definition of t, implies that
By combining (6.1) and (6.2), we obtain
where we used Lemma 2.7 to get the final equality. Note that if G is abelian, we have \(H_{2}(G, \mathbb {Z}) \simeq \bigwedge ^2 G\) and \({{\,\textrm{gen}\,}}_{\mathbb {Z}_p}(\bigwedge ^2 G)=s(s-1)/2\) (with \(s = {{\,\textrm{rank}\,}}_p G\)), which imply explicitly
This completes the proof of Theorem 3.3(1).
7 Numerical examples
In this section, we numerically check the inequality concerning \({{\,\textrm{gen}\,}}_{\mathcal {R}}(X_{K_{\infty }, S})\) in Theorem 1.1 by using the computer package PARI/GP. We consider \(k = \mathbb {Q}\) and a finite abelian p-extension K of k that is totally real. Let S be a finite set of places of \(\mathbb {Q}\) containing p and the archimedean place \(\infty \), such that \(K/\mathbb {Q}\) is unramified outside S.
The basic method is as follows. First, by Nakayama’s lemma and Lemma 6.1, we have
We observe that \(M_{K, S}\) is the union of the maximal p-extensions of K in the ray class fields of modulus \(p^m \prod _{v \in S \setminus \{p\}} v\) for all \(m \ge 0\). Note here that, since K is abelian over \(\mathbb {Q}\), the Leopoldt conjecture is shown to be true for K by work of Brumer (see [13, Theorem 10.3.16]). Therefore, \({{\,\textrm{Gal}\,}}(M_{K, S}/K_{\infty })\) is finite, and we can compute it by computing the ray class groups for finitely many m. In this way we can determine the quantity \({{\,\textrm{gen}\,}}_{\mathbb {Z}_p}({{\,\textrm{Gal}\,}}(M_{K, S}/K_{\infty })_{{{\,\textrm{Gal}\,}}(K/\mathbb {Q})})\).
7.1 The case \(p = 3\)
Let us take \(p = 3\), though the discussion is basically valid for any odd prime p. We write \(S \setminus \{p, \infty \} = \{\ell _1, \dots , \ell _s\}\). By the theorem of Kronecker–Weber, the Galois group of the maximal abelian extension of \(\mathbb {Q}\) unramified outside S is isomorphic to \(\mathbb {Z}_p^{\times } \times \prod _{i = 1}^s \mathbb {Z}_{\ell _i}^{\times }\), so we have
As is well-known, we may assume \(\ell _i \equiv 1 (\bmod \ p)\) for \(1 \le i \le s\) without loss of generality. For such an S, let us take K as the unique intermediate field of \(\mathbb {Q}(\mu _{\ell _1}, \dots , \mu _{\ell _s})/\mathbb {Q}\) such that
In this case, the above information on \(M_{\mathbb {Q}, S}\) implies that
so the integer t in Theorem 1.1 is determined as \(t = \# \{1 \le i \le s \mid \ell _i \equiv 1 (\bmod \ p^2)\}\). To ease the notation, we write \({{\,\textrm{gen}\,}}(X) = {{\,\textrm{gen}\,}}_{\mathbb {Z}_p[[{{\,\textrm{Gal}\,}}(K_{\infty }/\mathbb {Q})]]}(X_{K_{\infty }, S})\). Then Theorem 1.1 asserts
Let P be the set of all prime numbers \(\ell \) such that \(\ell \equiv 1 (\bmod \ p)\). We divide P into two subsets \(P_1\) and \(P_2\) defined by
and
Then we have \(t = \# \{1 \le i \le s \mid \ell _i \in P_2\}\).
First we consider the case \(t = 0\), that is, \(\ell _{1}, \dots , \ell _{s}\) are s distinct primes in \(P_1\). Then Theorem 1.1 asserts \({{\,\textrm{gen}\,}}(X) = s(s+1)/2\) as in Remark 1.2(1). By using PARI/GP, we numerically checked \({{\,\textrm{gen}\,}}(X) = 1\) if \(s = 1\) and \(\ell _1 \le 100\), and \({{\,\textrm{gen}\,}}(X) = 3\) if \(s = 2\) and \(\ell _1, \ell _2 \le 100\), as Theorem 1.1 says.
Suppose that \(t = 1\) and \(s = 1\), that is, \(S=\{3, \ell _1, \infty \}\) with \(\ell _1 \in P_2\). Then Theorem 1.1 asserts
By numerical computation, we find only \({{\,\textrm{gen}\,}}(X) = 2\) in the range \(\ell _1 \le 200\), and did not encounter \({{\,\textrm{gen}\,}}(X) = 1\).
Next consider the case \(t = 1\) and \(s = 2\), that is, \(S=\{3, \ell _1, \ell _2, \infty \}\) with \(\ell _1 \in P_1\) and \(\ell _2 \in P_2\). Then we have
by Theorem 1.1. In the range \(\ell _1 < 100\) and \(\ell _2 < 200\), we find \({{\,\textrm{gen}\,}}(X)=3\) except for
for which \({{\,\textrm{gen}\,}}(X) = 4\). Thus the above inequality on \({{\,\textrm{gen}\,}}(X)\) is sharp in this case.
Finally we consider the case \(t = 2\) and \(s = 2\), that is, \(S=\{3, \ell _1, \ell _2, \infty \}\) with \(\ell _1\), \(\ell _2 \in P_2\). Then Theorem 1.1 says
By numerical computation, in the range \(\ell _1 < \ell _2 \le 200\), we find \({{\,\textrm{gen}\,}}(X) = 4\) except for \((\ell _1, \ell _2) = (109, 199)\), for which \({{\,\textrm{gen}\,}}(X) = 5\). We did not encounter \({{\,\textrm{gen}\,}}(X) = 3\) in this situation.
Due to the limitation of the machine power we could not handle \(s \ge 3\) when \(p = 3\).
7.2 The case \(p = 2\)
Let us discuss the case \(p = 2\). Suppose that \(S=\{2, \ell _1, \dots , \ell _s, \infty \}\) where \(\ell _1, \dots , \ell _s\) are s distinct odd prime numbers. We have
Let us set K as \(K = \mathbb {Q}(\sqrt{\ell _1}, \dots , \sqrt{\ell _s})\), so we have \({{\,\textrm{Gal}\,}}(K/\mathbb {Q}) \simeq (\mathbb {Z}/2\mathbb {Z})^s\) and
As in the previous subsection, we define P to be the set of all odd prime numbers, \(P_2\) to be the subset of P consisting of \(\ell \) such that \(\ell \equiv 1 (\bmod \ 4)\), and \(P_1=P \setminus P_2\). The integer t in Theorem 1.1 is then \(t = 1 + \# \{1 \le i \le s \mid \ell _i \in P_2\}\).
We first consider the case \(s=1\), so \(K=\mathbb {Q}(\sqrt{\ell _1})\). If \(\ell _1\) is in \(P_1\), then \(t=1\) and Theorem 1.1 says \(1 \le {{\,\textrm{gen}\,}}(X) \le 2\). For \(\ell _1 \in P_1\) less than 100, we always have \({{\,\textrm{gen}\,}}(X) = 2\). If \(\ell _1\) is in \(P_2\), then \(t=2\) and Theorem 1.1 says \(2 \le {{\,\textrm{gen}\,}}(X) \le 3\). For \(\ell _1 \in P_2\) less than 100, we have \({{\,\textrm{gen}\,}}(X) = 2\) except for \(\ell _1=73\), 89, 97, for which we have \({{\,\textrm{gen}\,}}(X) = 3\). So in this case the inequality is sharp.
In the following we focus on the case \(\ell _1, \dots , \ell _s\) are all in
Then \(t=s+1\), and the inequality in Theorem 1.1 becomes
for \(s \ge 2\).
For \(s=2\), we have
by Theorem 1.1. By numerical computation, we find \({{\,\textrm{gen}\,}}(X) = 4, 5, 6\) in the range \(\ell _1 < \ell _2 \le 100\). Concretely, we have \({{\,\textrm{gen}\,}}(X) = 6\) if
\({{\,\textrm{gen}\,}}(X) = 5\) if
and \({{\,\textrm{gen}\,}}(X) = 4\) otherwise.
For \(s=3\), Theorem 1.1 says
For \(\ell _1 = 5\) and \(5< \ell _2 < \ell _3 \le 100\), we have \({{\,\textrm{gen}\,}}(X)=7\) except for
for which we have \({{\,\textrm{gen}\,}}(X)=8\). Also, we find examples for \({{\,\textrm{gen}\,}}(X) = 9, 10\) by taking respectively \((\ell _1, \ell _2, \ell _3) = (17, 73, 89), (73, 89, 97)\).
7.3 A variant
As a final remark, let us briefly discuss a variant that matters only when \(p = 2\). So far we always assumed that S contains all archimedean places, so we studied the narrow class groups. Theoretically this assumption is necessary to use the Tate sequence in Theorem 4.1. However, the numerical computation in this section is possible (and simpler) even if we remove the archimedean places from S.
Suppose that \(p=2\), \(k=\mathbb {Q}\), \(K=\mathbb {Q}(\sqrt{\ell _1}, \dots , \sqrt{\ell _s})\) as in the previous subsection, and \(S'=S \setminus \{\infty \}\). We consider \({{\,\textrm{gen}\,}}_{\mathbb {Z}_p[[{{\,\textrm{Gal}\,}}(K_{\infty }/\mathbb {Q})]]}(X_{K_{\infty }, S'})\), which we abbreviate as \({{\,\textrm{gen}\,}}(X')\). We have a natural surjective homomorphism from \(X_{K_{\infty }, S}\) to \(X_{K_{\infty }, S'}\) whose kernel is a cyclic module (since \(k = \mathbb {Q}\)). Therefore, we have
Still assuming \(\ell _i \equiv 1 (\bmod \ 4)\) for any \(1 \le i \le s\), we find the following numerical examples.
-
When \(s = 1\), we find examples for \({{\,\textrm{gen}\,}}(X') = 1, 2\).
-
When \(s = 2\), we find examples for \({{\,\textrm{gen}\,}}(X') =3, 4, 5\).
-
When \(s = 3\), we find examples for \({{\,\textrm{gen}\,}}(X') = 6, 7, 8, 9\).
These results suggest that \(s(s+1)/2 \le {{\,\textrm{gen}\,}}(X') \le s(s+1)/2 + s\), but this does not follow directly from Theorem 1.1. The above computations suggest that Theorem 1.1 holds true without assumption that S contains all archimedean places.
Data availability
The code used to generate the results presented in Sect. 7 is available from the authors upon a reasonable request.
References
Brown, K.S.: Cohomology of Groups. Graduate Texts in Mathematics, vol. 87. Springer, New York (1982)
Burns, D., Flach, M.: Motivic \(L\)-functions and Galois module structures. Math. Ann. 305(1), 65–102 (1996)
Greither, C.: Tate sequences and lower bounds for ranks of class groups. Acta Arithmetica 160(1), 55–66 (2013)
Greither, C., Kataoka, T.: Fitting ideals and various notions of equivalence for modules. Manuscr. Math. 173(1–2), 259–291 (2024)
Greither, C., Kurihara, M.: Tate sequences and Fitting ideals of Iwasawa modules. Algebra i Analiz 27(6), 117–149 (2015)
Greither, C., Kurihara, M.: Fitting ideals of Iwasawa modules and of the dual of class groups. Tokyo J. Math. 39(3), 619–642 (2017)
Greither, C., Kurihara, M., Tokio, H.: The second syzygy of the trivial \(G\)-module, and an equivariant main conjecture. In Development of Iwasawa theory—the centennial of K. Iwasawa’s birth, volume 86 of Adv. Stud. Pure Math. pp. 317–349. Math. Soc. Japan, Tokyo (2020)
Isaacs, I.M.: Algebra: A Graduate Course, Volume 100 of Graduate Studies in Mathematics. American Mathematical Society, Providence (2009)
Iwasawa, K.: On \(\Gamma \)-extensions of algebraic number fields. Bull. Am. Math. Soc. 65, 183–226 (1959)
Iwasawa, K.: On \({ Z}_{l}\)-extensions of algebraic number fields. Ann. Math. 2(98), 246–326 (1973)
Karpilovsky, G.: The Schur Multiplier. London Mathematical Society Monographs, vol. 2. The Clarendon Press, Oxford University Press, New York (1987)
Kataoka, T.: Fitting invariants in equivariant Iwasawa theory. In: Development of Iwasawa Theory—The Centennial of K. Iwasawa’s birth, Volume 86 of Adv. Stud. Pure Math. pp. 413–465. Math. Soc. Japan, Tokyo (2020)
Neukirch, J., Schmidt, A., Wingberg, K.: Cohomology of Number Fields, Volume 323 of Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], second Springer, Berlin (2008)
Serre, J.-P.: Local Fields, Volume 67 of Graduate Texts in Mathematics. Springer, New York (1979). Translated from the French by Marvin Jay Greenberg
Washington, L.C.: Introduction to Cyclotomic Fields, Volume 83 of Graduate Texts in Mathematics, second Springer, New York (1997)
Acknowledgements
The authors would like to thank Yuta Nakamura, who computed \({{\,\textrm{gen}\,}}_{\mathcal {R}}(X_{K_{\infty }, S})\) for several examples in his master’s thesis in a slightly different situation from ours. They also thank Cornelius Greither heartily for his interest in the subject of this paper and for giving them some valuable comments. They are very grateful to the anonymous referees for their careful reading. The first and the second author is supported by JSPS KAKENHI Grant Numbers 22K13898 and 22H01119, respectively.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors have no relevant financial or non-financial interests to disclose.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Kataoka, T., Kurihara, M. Minimal resolutions of Iwasawa modules. Res. number theory 10, 64 (2024). https://doi.org/10.1007/s40993-024-00549-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40993-024-00549-y