On class numbers of division fields of abelian varieties (Q2199497): Difference between revisions

Let \(A\) be an abelian variety defined over a number field \(K\) and \(K_n=K(A[p^n])\) be the \(p^n\)-th division field. Let \({\mathrm{Cl}}(K_n)\) be the class group of \(K_n.\) Define \(k_n\) to be the following exponent: \[\#{\mathrm{Cl}}(K_n)[p^{\infty}]= p^{k_{n}}.\] The main theorem of the paper describes the lower bound for \(k_n\) in terms of the dimension of an abelian variety, the maximal number \(r\) of \({\mathrm{End}}_K(A)\) - independent points and suitably defined constants depending on \(K\), \(A\) and \(p.\) The main idea of the proof relies on finding a large unramified extensions of \(K_n\) inside the Kummer extensions \(L_n.\) By Bashmakov-Ribet theory of Kummer extensions for abelian varieties one obtains the map \[{\Gamma}^{(\infty)}: {\mathrm{Gal}}(L_{\infty}/K_{\infty})\rightarrow T_p(A)^{\oplus r},\] where \(K_{\infty}=\bigcup K_n, \,\, L_{\infty}=\bigcup L_n\) and \(T_p(A)\) is the \(p\)-adic Tate module of \(A.\) It is known that this map is a monomorphism with bounded cokernel. The map \({\Gamma}^{(\infty)}\) is used for estimating the degree \([L_n:K_n]\) Then estimating the inertia groups in the Kummer extensions yield the result.The author also proves that if the image of the \(p\)-adic representation \({\rho}_p: G_K\rightarrow {\mathrm{GSp}}_{2d}({\mathbb Z}_p)\) contains \({\mathrm{Sp}}_{2d}({\mathbb Z}_p)\) then \({\Gamma}^{(\infty)}\) is an isomorphism. The paper is written in a clear way. The author places his result against other related results.