Table of Contents
Fetching ...

Structure of fine Selmer groups over $\mathbb{Z}_p$-extensions

Meng Fai Lim

Abstract

This paper is concerned with the study of the fine Selmer group of an abelian variety over a $\mathbb{Z}_p$-extension which is not necessarily cyclotomic. It has been conjectured that these fine Selmer groups are always torsion over $\mathbb{Z}_p[[Γ]]$, where $Γ$ is the Galois group of the $\mathbb{Z}_p$-extension in question. In this paper, we shall provide several strong evidences towards this conjecture. Namely, we show that the conjectural torsionness is consistent with the pseudo-nullity conjecture of Coates-Sujatha. We also show that if the conjecture is known for the cyclotomic $\mathbb{Z}_p$-extension, then it holds for almost all $\mathbb{Z}_p$-extensions. We then carry out a similar study for the fine Selmer group of an elliptic modular form. When the modular forms are ordinary and come from a Hida family, we relate the torsionness of the fine Selmer groups of the specialization. This latter result allows us to show that the conjectural torsionness in certain cases is consistent with the growth number conjecture of Mazur. Finally, we end with some speculations on the torsionness of fine Selmer groups over an arbitrary $p$-adic Lie extension.

Structure of fine Selmer groups over $\mathbb{Z}_p$-extensions

Abstract

This paper is concerned with the study of the fine Selmer group of an abelian variety over a -extension which is not necessarily cyclotomic. It has been conjectured that these fine Selmer groups are always torsion over , where is the Galois group of the -extension in question. In this paper, we shall provide several strong evidences towards this conjecture. Namely, we show that the conjectural torsionness is consistent with the pseudo-nullity conjecture of Coates-Sujatha. We also show that if the conjecture is known for the cyclotomic -extension, then it holds for almost all -extensions. We then carry out a similar study for the fine Selmer group of an elliptic modular form. When the modular forms are ordinary and come from a Hida family, we relate the torsionness of the fine Selmer groups of the specialization. This latter result allows us to show that the conjectural torsionness in certain cases is consistent with the growth number conjecture of Mazur. Finally, we end with some speculations on the torsionness of fine Selmer groups over an arbitrary -adic Lie extension.
Paper Structure (9 sections, 24 theorems, 34 equations)

This paper contains 9 sections, 24 theorems, 34 equations.

Key Result

Proposition 1.1

Let $A$ be an abelian variety defined over a number field $F$, and $L_{\infty}$ a $\mathbb{Z}_{p}^2$-extension of $F$ which contains $F^\mathrm{cyc}$. Denote by $\Phi(L_\infty/F)$ the set of all $\mathbb{Z}_{p}$-extensions of $F$ contained in $L_\infty$. Suppose that $Y(A/L_\infty)$ is pseudo-null o

Theorems & Definitions (51)

  • Proposition 1.1: Proposition \ref{['torsion psuedo-null Zp2']}
  • Theorem 1.2: Theorem \ref{['torsion Zp2']}
  • Theorem 1.3: Theorem \ref{['control theorem']}
  • Theorem 1.4: Theorem \ref{['Hida main']}
  • Lemma 2.1
  • proof
  • Lemma 2.2
  • proof
  • Conjecture 3.1: Conjecture Y
  • Remark 3.2
  • ...and 41 more