Modular algorithms for Gross-Stark units and Stark-Heegner points

DOI10.1090/CONM/796/16005MaRDI QIDQ6424016zbMATH OpenOpenAlexFDO

Authors Håvard Damm-Johnsen

Publication date 21 January 2023

Full work available at URL https://doi.org/10.1090/conm/796/16005

Mathematics Subject Classification ID

Congruences for modular and (p)-adic modular forms (11F33) Zeta functions and (L)-functions of number fields (11R42) Algebraic number theory computations (11Y40)

Abstract: In recent work, Darmon, Pozzi and Vonk explicitly construct a modular form whose spectral coefficients are $p$-adic logarithms of Gross-Stark units and Stark-Heegner points. Here we describe how this construction gives rise to a practical algorithm for explicitly computing these logarithms to specified precision, and how to recover the exact values of the Gross-Stark units and Stark-Heegner points from them. Key tools are overconvergent modular forms, reduction theory of quadratic forms and Newton polygons. As an application, we tabulate Brumer-Stark units in narrow Hilbert class fields of real quadratic fields with discriminants up to $10000$, for primes less than $20$, as well as Stark-Heegner points on elliptic curves.

Recommendations

• Explicit computation of Gross-Stark units over real quadratic fields
• Efficient calculation of Stark-Heegner points via overconvergent modular symbols
• Elliptic Curves and Class Fields of Real Quadratic Fields: Algorithms and Evidence
• Stark–Heegner points on modular Jacobians
• ANOTHER LOOK AT GROSS–STARK UNITS OVER THE NUMBER FIELD ℚ

Describes a project that uses

Uses Software

• SageMath

This page was built for publication: Modular algorithms for Gross-Stark units and Stark-Heegner points

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6424016)