An Explicit Uniform Mordell Conjecture over Function Fields of Characteristic Zero

Jiawei Yu
2024-07-16
Abstract:We give an explicit uniform result on the Mordell conjecture for non-isotrivial curves over function field of characteristic 0. The proof is based on Vojta's method, and make use of Zhang's admissible adelic line bundles and a quantitative proof of the Bogomolov conjecture by Looper-Silverman-Wilms.
Number Theory,Algebraic Geometry
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to estimate the number of \(C(K)\) points in the intersection with \(\Gamma\) for a given finite - rank subgroup \(\Gamma\subseteq J(K)\) on a geometrically connected smooth projective curve \(C\) over a function field of characteristic zero. Specifically, the goal of the paper is to determine an explicit constant \(c(g)\) such that for any non - isogenous - trivial curve \(C\) and finite - rank subgroup \(\Gamma\), the following inequality is satisfied: \[ \sharp(i_\alpha(C(K)) \cap \Gamma) \leq (8g^2 + 16g + 62)\log_{10}\left(\frac{7}{30g}\right)\cdot26\rho+ 1\] where \(g\) is the genus of the curve \(C\), \(\rho\) is the rank of \(\Gamma\), and \(i_\alpha\) is the Abel - Jacobi mapping from \(C\) to its Jacobian variety \(J\). To achieve this goal, the paper combines multiple methods and techniques, including Vojta's proof, results of the Bogomolov type, and fine estimates of height differences. Through these methods, the author is able to give an explicit upper bound, thus solving this problem.