No Arabic abstract
We give an effective proof of Faltings theorem for curves mapping to Hilbert modular stacks over odd-degree totally real fields. We do this by giving an effective proof of the Shafarevich conjecture for abelian varieties of $mathrm{GL}_2$-type over an odd-degree totally real field. We deduce for example an effective height bound for $K$-points on the curves $C_a : x^6 + 4y^3 = a^2$ ($ain K^times$) when $K$ is odd-degree totally real. (Over $overline{mathbb{Q}}$ all hyperbolic hyperelliptic curves admit an {e}tale cover dominating $C_1$.)
We prove a special case of a dynamical analogue of the classical Mordell-Lang conjecture. In particular, let $phi$ be a rational function with no superattracting periodic points other than exceptional points. If the coefficients of $phi$ are algebraic, we show that the orbit of a point outside the union of proper preperiodic subvarieties of $(bP^1)^g$ has only finite intersection with any curve contained in $(bP^1)^g$. We also show that our result holds for indecomposable polynomials $phi$ with coefficients in $bC$. Our proof uses results from $p$-adic dynamics together with an integrality argument. The extension to polynomials defined over $bC$ uses the method of specializations coupled with some new results of Medvedev and Scanlon for describing the periodic plane curves under the action of $(phi,phi)$ on $bA^2$.
In this paper, we prove the Uniform Mordell-Lang Conjecture for subvarieties in abelian varieties. As a byproduct, we prove the Uniform Bogomolov Conjecture for subvarieties in abelian varieties.
This expository survey is based on my online talk at the ICCM 2020. It aims to sketch key steps of the recent proof of the uniform Mordell-Lang conjecture for curves embedded into Jacobians (a question of Mazur). The full version of this conjecture is proved by combining Dimitrov-Gao-Habegger (https://annals.math.princeton.edu/articles/17715) and K{u}hne (arXiv:2101.10272). We include in this survey a detailed proof on how to combine these two results, which was implicitly done in another short paper of Dimitrov-Gao-Habegger (arXiv:2009.08505) but not explicitly written in existing literature. At the end of the survey we state some future aspects.
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.
We make several improvements to methods for finding integer solutions to $x^3+y^3+z^3=k$ for small values of $k$. We implemented these improvements on Charity Engines global compute grid of 500,000 volunteer PCs and found new representations for several values of $k$, including $k=3$ and $k=42$. This completes the search begun by Miller and Woollett in 1954 and resolves a challenge posed by Mordell in 1953.