Arithmetic of modular curves and applications
\(ABC\)-conjecturealgorithmsarithmetic of modular curvesArtin's conjecturecomputation of Hecke operatorsintersection pairingJacobian of hyperelliptic curvemodular formsmodular symbolsMordell-Weil groupperiod matricesSelmer groups
Holomorphic modular forms of integral weight (11F11) Hecke-Petersson operators, differential operators (one variable) (11F25) Special values of automorphic (L)-series, periods of automorphic forms, cohomology, modular symbols (11F67) Arithmetic aspects of modular and Shimura varieties (11G18) [https://duckduckgo.com/?q=MSC%2011G30%20%22Curves+of+arbitrary+genus+or+genus+%28%0D%0Ae+1%29+over+global+fields%22 Curves of arbitrary genus or genus ( e 1) over global fields (11G30)] Number-theoretic algorithms; complexity (11Y16)
The authors use the theory of the arithmetic of modular curves to construct and develop appropriate algorithms and use them in many, very interesting, applications. The first part of the paper contains the theory which has been used. The second part contains the developed algorithms, i.e. use of the theory of modular symbols and the explicit action of the Hecke operators on them in order to decompose spaces of cusp forms into eigenspaces which then determine the \(\mathbb{Q}\)-factors of the Jacobian \(J_0(N)\) of the modular curve \(X_0(N)\), to construct \(\mathbb{Z}\)-bases for these spaces. The method of modular symbols which has been used is the most efficient known. In the last section applications of these calculations have been given: \begin{itemize} \item[--] computations of modular forms of weight 1 and \(\frac 32\) and their applications to Artin's conjecture and to the determination of Selmer groups of twists of elliptic curves, \item[--] the computation of intersection pairing inside of \(J_0(N)\) with applications to congruence primes and interesting diophantine conjectures like the \(ABC\)-conjecture, \item[--] the computation of period matrices of factors of \(J_0(N)\) and the explicit construction of curves up to genus 5 which are hyperelliptic with Jacobian equal to one of these factors, \item[--] the computation of Hecke operators \(T_l\) for rather large prime numbers \(l\) combined with the Eichler-Shimura relation used to compute local factors of the \(L\)-series which correspond to such curves over large finite fields, something which is of interest for the construction of public key cryptosystems based on discrete logarithms, \item[--] assuming the correctness of Manin's conditional algorithm they determine the Mordell-Weil group of the Jacobian of hyperelliptic curve over \(\mathbb{Q}\). \end{itemize} Many examples have been calculated and the results have been given in a series of tables at the end of the paper. For the entire collection see [Zbl 0903.00035].
- Linearizing torsion classes in the Picard group of algebraic curves over finite fields
- Realization of modular Galois representations in the Jacobians of modular curves
- Arithmetic discriminants and morphisms of curves
- scientific article; zbMATH DE number 3961820 (Why is no real title available?)
- Modular symbols for 1(N) and elliptic curves with everywhere good reduction
- On the Computational Complexity of Modular Symbols
- scientific article; zbMATH DE number 592841 (Why is no real title available?)
- scientific article; zbMATH DE number 1866883 (Why is no real title available?)
- Point-counting algorithms for the Hecke operator and applications to modular curves of genus 4
- Approximate computations with modular curves
- Modular Forms and Elliptic Curves over the Field of Fifth Roots of Unity
- On explicit formulas for the modular equation
- Counting points on genus-3 hyperelliptic curves with explicit real multiplication
- An effective open image theorem for products of principally polarized abelian varieties
- Arithmetic applications of the Langlands program
This page was built for publication: Arithmetic of modular curves and applications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4247781)
