Generators of the group of modular units for Gamma1(N) over the rationals

2015/03/27 by Marco Streng, Streng, Marco · 1 citation
Computer Science · Mathematics · #11B37 #11B39 #11F03 #11G16 (Primary) #14H52 (Secondary) #Advanced Algebra and Geometry #Advanced Mathematical Identities #Algebraic Geometry (math.AG) #Coding theory and cryptography #FOS: Mathematics #Number Theory (math.NT)

paper · pdf · doi:10.48550/arxiv.1503.08127

openalex publication_date 2015/03/27 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

We give two explicit sets of generators of the group of invertible regular functions over QQ on the modular curve Y1(N). The first set of generators is very surprising. It is essentially the set of defining equations of Y1(k) for k <= N/2 when all these modular curves are simultaneously embedded into the affine plane, and this proves a conjecture of Derickx and Van Hoeij. This set of generators is an elliptic divisibility sequence in the sense that it satisfies the same recurrence relation as the elliptic division polynomials. The second set of generators is explicit in terms of classical analytic functions known as Siegel functions. This is both a generalization and a converse of a result of Yang.

Cited by

• Prime order torsion on elliptic curves over number fields. Part I: Asymptotics

Related

• The modular curves X0(65) and X0(91) and rational isogeny
• The modular curve X 0 (39) and rational isogeny
• A Divisor Formula and a Bound on the ℚ-gonality of the Modular Curve X₁(N)
• Explicit constructions of cyclic N-isogenies
• Geometric families of multiple elliptic Gamma functions and arithmetic applications, I