The paper investigates a special class of algebraic curves called hyperelliptic curves, which are generalizations of elliptic curves to higher complexity. These curves can be described by equations of the form y squared equals a polynomial in x, and they are defined over a field that includes a free variable T. Associated to each such curve is a mathematical object called the Jacobian, which captures information about the curve's geometry. One key numerical measure of the Jacobian is its rank, which roughly counts how many independent rational solutions the curve has. The central question is: for a given level of complexity (called the genus), which rank values are actually achievable?
The authors prove that infinitely many hyperelliptic curves exist for each rank value in a specific range. They treat two cases: imaginary hyperelliptic curves, where the polynomial has even degree, and real hyperelliptic curves, where it has odd degree. For imaginary curves of genus g, they show ranks between 5 and 4g+2 are achievable, and for real curves, ranks between 6 and 4g+4. The proof uses two independent strategies. The first relies on a conjecture (called the generalized Nagao conjecture) that connects an average count of solutions to the rank, and the authors verify this conjecture holds for their specific curves, making the result fully rigorous rather than conditional. The second strategy directly writes down explicit rational points on the curves and uses a classical theorem, known as the Shioda-Tate formula, to confirm the rank exactly matches the claimed value.
The significance of this work lies in showing that high ranks are not exotic or accidental but can be systematically constructed across infinitely many curves for a wide range of genera. Constructing curves with prescribed ranks is a notoriously difficult problem in number theory, and results tend to be sparse. By providing two independent proofs of the rank, the authors add both confidence and structural insight to their constructions. The work fits into a broader effort to understand the arithmetic of curves and their Jacobians, with connections to questions about rational points and the geometry of algebraic varieties over number fields.