We define a category of smooth 1-motives with torsion over a locally noetherian base scheme and prove its Cartier duality. More precisely, we prove that …
The sequence of division polynomials for an elliptic curve satisfies a non-linear recurrence relation. Specialising to a chosen elliptic curve and evaluating at a chosen …