No Arabic abstract
We consider an abelian variety defined over a number field. We give conditional bounds for the order of its Tate-Shafarevich group, as well as conditional bounds for the Neron-Tate height of generators of its Mordell-Weil group. The bounds are implied by strong but nowadays classical conjectures, such as the Birch and Swinnerton-Dyer conjecture and the functional equation of the L-series. In particular, we improve and generalise a result by D. Goldfeld and L. Szpiro on the order of the Tate-Shafarevich group, and extends a conjecture of S. Lang on the canonical height of a system of generators of the free part of the Mordell-Weil group. The method is an extension of the algorithm proposed by Yu. Manin for finding a basis for the non-torsion rational points of an elliptic curve defined over the rationals.
The Shafarevich-Tate group $W (mathscr{A})$ measures the failure of the Hasse principle for an abelian variety $mathscr{A}$. Using a correspondence between the abelian varieties and the higher dimensional non-commutative tori, we prove that $W (mathscr{A})cong Cl~(Lambda)oplus Cl~(Lambda)$ or $W (mathscr{A})cong left(mathbf{Z}/2^kmathbf{Z}right) oplus Cl_{~mathbf{odd}}~(Lambda)oplus Cl_{~mathbf{odd}}~(Lambda)$, where $Cl~(Lambda)$ is the ideal class group of a ring $Lambda$ associated to the K-theory of the non-commutative tori and $2^k $ divides the order of $Cl~(Lambda)$. The case of elliptic curves with complex multiplication is considered in detail.
Given an abelian variety over a number field, its Sato-Tate group is a compact Lie group which conjecturally controls the distribution of Euler factors of the L-function of the abelian variety. It was previously shown by Fite, Kedlaya, Rotger, and Sutherland that there are 52 groups (up to conjugation) that occur as Sato-Tate groups of abelian surfaces over number fields; we show here that for abelian threefolds, there are 410 possible Sato-Tate groups, of which 33 are maximal with respect to inclusions of finite index. We enumerate candidate groups using the Hodge-theoretic construction of Sato-Tate groups, the classification of degree-3 finite linear groups by Blichfeldt, Dickson, and Miller, and a careful analysis of Shimuras theory of CM types that rules out 23 candidate groups; we cross-check this using extensive computations in Gap, SageMath, and Magma. To show that these 410 groups all occur, we exhibit explicit examples of abelian threefolds realizing each of the 33 maximal groups; we also compute moments of the corresponding distributions and numerically confirm that they are consistent with the statistics of the associated L-functions.
Let $X$ be a curve of genus $ggeq 2$ over a number field $F$ of degree $d = [F:Q]$. The conjectural existence of a uniform bound $N(g,d)$ on the number $#X(F)$ of $F$-rational points of $X$ is an outstanding open problem in arithmetic geometry, known by [CHM97] to follow from the Bombieri--Lang conjecture. A related conjecture posits the existence of a uniform bound $N_{{rm tors},dagger}(g,d)$ on the number of geometric torsion points of the Jacobian $J$ of $X$ which lie on the image of $X$ under an Abel--Jacobi map. For fixed $X$ this quantity was conjectured to be finite by Manin--Mumford, and was proved to be so by Raynaud [Ray83]. We give an explicit uniform bound on $#X(F)$ when $X$ has Mordell--Weil rank $rleq g-3$. This generalizes recent work of Stoll on uniform bounds on hyperelliptic curves of small rank to arbitrary curves. Using the same techniques, we give an explicit, unconditional uniform bound on the number of $F$-rational torsion points of $J$ lying on the image of $X$ under an Abel--Jacobi map. We also give an explicit uniform bound on the number of geometric torsion points of $J$ lying on $X$ when the reduction type of $X$ is highly degenerate. Our methods combine Chabauty--Colemans $p$-adic integration, non-Archimedean potential theory on Berkovich curves, and the theory of linear systems and divisors on metric graphs.
Faltings proved that there are finitely many abelian varieties of genus $g$ of a number field $K$, with good reduction outside a finite set of primes $S$. Fixing one of these abelian varieties $A$, we prove that there are finitely many smooth hypersurfaces in $A$, with good reduction outside $S$, representing a given ample class in the Neron-Severi group of $A$, up to translation, as long as the dimension of $A$ is at least $4$. Our approach builds on the approach of arXiv:1807.02721 which studies $p$-adic variations of Hodge structure to turn finiteness results for $p$-adic Galois representations into geometric finiteness statements. A key new ingredient is an approach to proving big monodromy for the variations of Hodge structure arising from the middle cohomology of these hypersurfaces using the Tannakian theory of sheaf convolution on abelian varieties.
Let $E$ be an elliptic curve defined over a number field $F$ with good ordinary reduction at all primes above $p$, and let $F_infty$ be a finitely ramified uniform pro-$p$ extension of $F$ containing the cyclotomic $mathbb{Z}_p$-extension $F_{cyc}$. Set $F^{(n)}$ be the $n$-th layer of the tower, and $F^{(n)}_{cyc}$ the cyclotomic $mathbb{Z}_p$-extension of $F^{(n)}$. We study the growth of the rank of $E(F^{(n)})$ by analyzing the growth of the $lambda$-invariant of the Selmer group over $F^{(n)}_{cyc}$ as $nrightarrow infty$. This method has its origins in work of A.Cuoco, who studied $mathbb{Z}_p^2$-extensions. Refined estimates for growth are proved that are close to conjectured estimates. The results are illustrated in special cases.