Investigating a conjecture of Zannier, we study irreducible subvarieties of abelian schemes that dominate the base and contain a Zariski dense set of torsion points that lie on pairwise isogenous fibers. If everything is defined over the algebraic numbers and the abelian scheme has maximal variation, we prove that the geometric generic fiber of such a subvariety is a union of torsion cosets. We go on to prove fully or partially explicit versions of this result in fibered powers of the Legendre family of elliptic curves. Finally, we apply a recent result of Galateau and Martínez to obtain uniform bounds on the number of maximal torsion cosets in the Manin–Mumford problem across a given isogeny class. For the proofs, we adapt the strategy, due to Lang, Serre, Tate, and Hindry, of using Galois automorphisms that act on the torsion as homotheties to the family setting.

In this note, we will apply the results of Gross–Zagier, Gross–Kohnen–Zagier and their generalizations to give a short proof that the differences of singular moduli are not units. As a consequence, we obtain a result on isogenies between reductions of CM elliptic curves.

Let $E$ be an elliptic curve over a field $k$. Let $R:=\operatorname{End}E$. There is a functor $\mathscr{H}\!\mathit{om}_{R}(-,E)$ from the category of finitely presented torsion-free left $R$-modules to the category of abelian varieties isogenous to a power of $E$, and a functor $\operatorname{Hom}(-,E)$ in the opposite direction. We prove necessary and sufficient conditions on $E$ for these functors to be equivalences of categories. We also prove a partial generalization in which $E$ is replaced by a suitable higher-dimensional abelian variety over $\mathbb{F}_{p}$.

Consider a quartic $q$-Weil polynomial $f$. Motivated by equidistribution considerations, we define, for each prime $\ell$, a local factor that measures the relative frequency with which $f$$ \bmod \,\ell $ occurs as the characteristic polynomial of a symplectic similitude over ${{\mathbb{F}}_{\ell }}$. For a certain class of polynomials, we show that the resulting infinite product calculates the number of principally polarized abelian surfaces over ${{\mathbb{F}}_{q}}$ with Weil polynomial $f$.

We show how to efficiently evaluate functions on Jacobian varieties and their quotients. We deduce an algorithm to compute $(l,l)$ isogenies between Jacobians of genus two curves in quasi-linear time in the degree $l^{2}$.

Let $A$ be an abelian variety of dimension $g$ together with a principal polarization ${\it\phi}:A\rightarrow \hat{A}$ defined over a field $k$. Let $\ell$ be an odd integer prime to the characteristic of $k$ and let $K$ be a subgroup of $A[\ell ]$ which is maximal isotropic for the Riemann form associated to ${\it\phi}$. We suppose that $K$ is defined over $k$ and let $B=A/K$ be the quotient abelian variety together with a polarization compatible with ${\it\phi}$. Then $B$, as a polarized abelian variety, and the isogeny $f:A\rightarrow B$ are also defined over $k$. In this paper, we describe an algorithm that takes as input a theta null point of $A$ and a polynomial system defining $K$ and outputs a theta null point of $B$ as well as formulas for the isogeny $f$. We obtain a complexity of $\tilde{O} (\ell ^{(rg)/2})$ operations in $k$ where $r=2$ (respectively, $r=4$) if $\ell$ is a sum of two (respectively, four) squares which constitutes an improvement over the algorithm described in Cosset and Robert (Math. Comput. (2013) accepted for publication). We note that the algorithm is quasi-optimal if $\ell$ is a sum of two squares since its complexity is quasi-linear in the degree of $f$.

We give an explicit recipe for the determination of the images associated to the Galois action on $p$-torsion points of elliptic curves. We present a table listing the image for all the elliptic curves defined over $\mathbb{Q}$ without complex multiplication with conductor less than 200 and for each prime number $p$.