On the local-global divisibility of torsion points on elliptic curves and GL₂-type varieties

DOI10.1016/J.JNT.2016.10.012MaRDI QIDQ503707zbMATH OpenOpenAlexFDO

Authors Florence Gillibert, Gabriele Ranieri

Publication date 23 January 2017

Published in Journal of Number Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1609.00410

zbMATH Keywords

\(\mathrm{GL}_2\)-type varietieselliptic curvesGalois cohomologylocal-globalquaternionic multiplication

Mathematics Subject Classification ID

Elliptic curves over global fields (11G05) Abelian varieties of dimension (> 1) (11G10) Galois cohomology (11R34)

Abstract: Let $p$ be a prime number and let $k$ be a number field. Let $E$ be an elliptic curve defined over $k$. We prove that if $p$ is odd, then the local-global divisibility by any power of $p$ holds for the torsion points of $E$. We also show with an example that the hypothesis over $p$ is necessary. We get a weak generalization of the result on elliptic curves to the larger family of ${mGL}_2$-type varieties over $k$. In the special case of the abelian surfaces $A/k$ with quaternionic multiplication over $k$ we obtain that for all prime $p$, except a finite number depending on $A$, the local-global divisibility by any power of $p$ holds for the torsion points of $A$

Review text

Let \(\mathcal A\) be a commutative algebraic group over an algebraic number field \(k\). We say that the local-global divisibility by a positive integer \(N\) over \({\mathcal A}(k)\) holds if a point of \({\mathcal A}(k)\) which is divisible by \(N\) in the group \({\mathcal A}(k_v)\) for all but finitely many valuations \(v\) of \(k\) is divisible by \(N\) in the group \({\mathcal A}(k)\). In the case where \(N=p^n\) is a power of a prime number \(p\), it has been proved in [\textit{R. Dvornicich} and \textit{U. Zannier}, Bull. Soc. Math. Fr. 129, No. 3, 317--338 (2001; Zbl 0987.14016)] that the local-global divisibility by \(p^n\) over \({\mathcal A}(k)\) holds if the first local cohomology group \(H^1_{\text{loc}}(\text{Gal}(k({\mathcal A}[p^n])/k),{\mathcal A}[p^n])=0\). In this article, based on this cohomological result and by restricting their interest to torsion points of \(\mathcal A\), the authors show the following results: {\parindent=6mm \begin{itemize}\item[(i)] For torsion points on an elliptic curve, the local-global divisibility by any power of an odd prime number holds. Further they provide a counterexample in the case \(p=2\). \item[(ii)] Let \({\mathcal A}\) be a \(\text{GL}_2\)-type abelian variety defined over a number field \(k\), that is, \(\text{End}_k({\mathcal A})\otimes\mathbb Q\) contains a field \(E\) of degree \([E:k]=\dim ({\mathcal A})\). Let \(p\) be a good odd prime number that splits completely in \(E\). Then the local-global divisibility by any power of \(p\) holds for the torsion points of \({\mathcal A}(k)\). It is proved that the condition on \(p\) is necessary by considering the case where \(\dim({\mathcal A})=2\). \end{itemize}} As an application of the result (ii), a similar result is obtained for an abelian surface with quaternionic multiplication by an order in an indefinite quaternion algebra over \(\mathbb Q\).

Recommendations

• On local-global divisibility by p^n in elliptic curves
• On local-global divisibility over \(\mathrm{GL}_2\)-type varieties
• On the local-global divisibility over abelian varieties
• Local-global divisibility by 4 in elliptic curves defined over Q
• Counterexamples to the local-global divisibility over elliptic curves

Cites work

• An analogue for elliptic curves of the Grunwald--Wang example.
• Arithmétique des algèbres de quaternions
• Cohomology of integer matrices and local-global divisibility on the torus
• Elliptic curves with \(\mathbb Q({\mathcal E}[3])=\mathbb Q(\zeta_3)\) and counterexamples to local-global divisibility by 9
• Elliptic curves with maximal Galois action on their torsion points
• Elliptic curves with surjective adelic Galois representations
• Explicit surjectivity of Galois representations for abelian surfaces and \(\operatorname{GL}_{2}\)-varieties
• Galois Action on Division Points of Abelian Varieties with Real Multiplications
• Galois theory of iterated endomorphisms
• scientific article; zbMATH DE number 3657912 (Why is no real title available?)
• Local-global divisibility of rational points in some commutative algebraic groups
• On a local-global principle for the divisibility of a rational point by a positive integer
• On local-global divisibility by p^n in elliptic curves
• On the minimal set for counterexamples to the local-global principle

Cited in

(18)

• Cohomology of integer matrices and local-global divisibility on the torus
• Local-global divisibility by 4 in elliptic curves defined over Q
• Counterexamples to the local-global divisibility over elliptic curves
• Local-global questions for divisibility in commutative algebraic groups
• Tamagawa numbers of elliptic curves with torsion points
• Divisibility questions in commutative algebraic groups
• Local-global properties of torsion points on three-dimensional abelian varieties
• On local-global divisibility by p^n in elliptic curves
• On local-global divisibility over \(\mathrm{GL}_2\)-type varieties
• On a local-global principle for the divisibility of a rational point by a positive integer
• On the minimal set for counterexamples to the local-global principle
• On the local-global divisibility over abelian varieties
• Divisibility of torsion subgroups of abelian surfaces over number fields
• Local-global principles for Weil-Châtelet divisibility in positive characteristic
• Elliptic curves with \(\mathbb Q({\mathcal E}[3])=\mathbb Q(\zeta_3)\) and counterexamples to local-global divisibility by 9
• Local–global divisibility on algebraic tori
• A survey of local-global methods for Hilbert's tenth problem
• On the local-global principle for divisibility in the cohomology of elliptic curves

This page was built for publication: On the local-global divisibility of torsion points on elliptic curves and \(\operatorname{GL}_{2}\)-type varieties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q503707)