Abstract:In this paper, we study the fine Selmer groups attached to a Galois module defined over a commutative complete Noetherian ring with finite residue field of characteristic p. Namely, we are interested in its properties upon taking residual representation and within field extensions. In particular, we will show that the variation of the fine Selmer group in a cyclotomic $\Zp$-extension is intimately related to the variation of the class groups in the cyclotomic tower. We also discuss some examples of pseudo-nullity of fine Selmer groups.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the properties of fine Selmer groups and their changes in different field extensions. Specifically, the author studies the fine Selmer groups of Galois modules defined on a commutative complete Noetherian ring with a residue field of finite characteristic \(p\), and explores their behaviors in residual representations and field extensions.
The main problems of the paper can be summarized as the following aspects:
1. **Generalization of the Iwasawa µ - invariant conjecture**:
- The author proposes a conjecture (Conjecture A) about fine Selmer groups, that is, for any number field \(F\), \(Y_S(T/F^{\text{cyc}})\) is a finitely - generated \(R\)-module.
- The author proves that if the Iwasawa µ - invariant conjecture holds for any finite extension \(L\) of \(F\), then \(Y_S(T/F^{\text{cyc}})\) is a finitely - generated \(R\)-module (Theorem 3.1).
2. **Pseudo - nullity problem**:
- The author studies the pseudo - nullity problem of fine Selmer groups in allowed \(p\)-adic Lie extensions. Specifically, the author proves that if the fine Selmer group of the residual representation of a given Galois representation is pseudo - null, then the fine Selmer group of the Galois representation itself is also pseudo - null (Theorem 5.4).
- In addition, the author also studies the descent property of pseudo - nullity, that is, if \(F'_\infty\subseteq F_\infty\) are two allowed \(p\)-adic Lie extensions, and \(\text{Gal}(F_\infty/F'_\infty)\) is a solvable uniform \(p\)-group, then the fine Selmer group on \(F_\infty\) is pseudo - null if and only if the fine Selmer group on \(F'_\infty\) is pseudo - null (Theorem 5.7).
3. **Study of algebraic structures**:
- The author provides tools for further discussion of fine Selmer groups by introducing some algebraic preliminaries, especially the formula for the rank of Iwasawa modules. For example, the author proves a formula for the rank of \(R[[H]]\)-modules (Lemma 4.3), and defines the concept of torsion modules (Lemma 4.4).
In summary, this paper aims to deeply understand the behaviors of fine Selmer groups under different mathematical structures, and through these studies, provide new evidence and support for important conjectures in Iwasawa theory.