Complex Period Lattice

Contents

Period Map

Let A be a modular abelian variety. The period mapping of A is a map from the rational homology of A to a complex vector space.

PeriodMapping(A, prec) : ModAbVar, RngIntElt -> Map
The complex period mapping from the rational homology of the abelian variety A to Cd, where d=(dim)A, computed using prec terms of q-expansions.

Period Lattice

Periods(A, n) : ModAbVar, RngIntElt -> SeqEnum
Given an abelian variety A and an integer n return generators for the complex period lattice of A, computed using n terms of q-expansions. We use the map from A to a modular symbols abelian variety to define the period mapping (so this map must be injective).
V2.28, 13 July 2023