Asymptotic lower bound of class numbers along a Galois representation (Q2308828): Difference between revisions

In the paper the author generalizes the results of \textit{R. Greenberg} [Adv. Stud. Pure Math. 30, 335--385 (2001; Zbl 0998.11054)] and \textit{T. Fukuda} et al. [Acta Arith. 127, No. 4, 305--307 (2007; Zbl 1188.11055)] concerning the asymptotic behaviour of class numbers along a tower of number fields. Let \(\Sigma\) be the set of places of \(K\) containing all places above \(p\) and all infinite places. Let \(K_{\Sigma}\) be the maximal Galois extension unramified outside \(\Sigma\) and \(G_{K,\Sigma}:={\mathrm{Gal}}({ K}_{\Sigma}/K).\) Let \(T\) be a free \({\mathbb Z}_p\)-module of rank \(d\) with a continuous linear action of \(G_{K,\Sigma},\) \(V=T{\otimes}_{{\mathbb Z}_p}{\mathbb Q}_p,\) \(W=V/T \cong T{\otimes}_{{\mathbb Z}_p}{{\mathbb Q}_p}/{{\mathbb Z}_p}\) and \(K_n:=K(W[p^n])\) be the maximal subfield of \(K_{\Sigma}\) fixed by the kernel of the continuous group homomorphism \({\rho}_n: G_{K,\Sigma}\rightarrow {\mathrm{Aut}}_{{\mathbb Z}/p^n{\mathbb Z}}(W[p^n])\) induced by \({\rho}: G_{K,\Sigma}\rightarrow {\mathrm{Aut}}_{{\mathbb Z}_p}(T).\) Let \(h_n\) denote the class number of \(K_n.\) Using the Selmer group of \(W\) the author investigates the asymptotic behaviour of the sequence \(\{{\mathrm{ord}}_p(h_n)\}_{n\geq 0}.\) More precisely, assume that \(T\) satisfies the following conditions: the representation \(W[p]\) if \(G_{K,\Sigma}\) over \({\mathbb F}_p\) is absolutely irreducible and if \(d=1\) then \(G _{K,\Sigma}\) acts on \(W[p]\) non-trivially. Then \[ {\mathrm{ord}}_p(h_n) \succ d(r_{\mathrm{Sel}}-{\sum}_{v\in\Sigma}r_v) n\] where \(r_{\mathrm{Sel}}\) and \(r_v\) denote the coranks of suitable \({\mathbb Z}_p\)-modules and for two sequences \(a_n\succ b_n\) if the sequence \(\{a_n-b_n\}\) is bounded below. As an application of this result the author obtains an explicit lower bound for class numbers along a tower \(K(A[p^{\infty}])/K\) for an abelian variety with certain conditions in terms of the Mordell-Weil group. Another applications concern the case when \(A\) is Hilbert-Blumenthal or \(CM\) abelian variety.