# How to prove that a certain curve does not lie in a proper abelian subvariety of abelian variety

Let $E$ be an elliptic curve defined over $\mathbb{Q}$ by the equation $$E: y^2=x^3-Ax+B=:f(x).$$

Consider the abelian variety $E^3:=E \times E \times E \subset \mathbb{P}^2 \times \mathbb{P}^2 \times \mathbb{P}^2$. Let $(x_1,y_1,x_2,y_2,x_3,y_3)$ denote the affine coordinates for a point in $E^3$. Inside $E^3$ we consider the curve $\mathcal{C}$ defined by the equations

$$\mathcal{C}:\begin{cases} y_1^2=f(x_1);\\ y_2^2=f(x_2);\\ y_3^2=f(x_3);\\ y_1=x_2^m;\\ y_2=x_3^n, \end{cases}$$ where $m$ and $n$ are positive integers, which can be taken as large as desired, if necessary.

I would like to know how one can show that $\mathcal{C}$ is not contained in any abelian subvariety of $E^3$ of dimension two. I would hope that once $m$ and $n$ are sufficiently large, one can prove this, but I cannot make any progress with it at this stage.

• Have you considered applying Andre-Oort? Does it say anything about this? Feb 14, 2018 at 18:49
• No, I have not, and unfortunately I am not very familiar with it
Feb 14, 2018 at 19:02
• Let $\phi_i, i=1,2,3$ be the three maps $C \to E$ and $\omega_i = \phi_i^* (dx/y)$, try to prove that the $\omega_i$ are linearly independent over $\mathbb{C}$. If true, this should be doable by local calculations. Feb 14, 2018 at 22:06

Consider the complex points $E\times E\times E$ as $\mathbb{C}^3/\Lambda$. A curve $C$ in the product is not contained in any (translated) two-dimensional abelian subvariety if and only if there exist three smooth points on $C$, such that the tangent vectors of $C$ at the three points are linearly independent. If you can find three random points on each $C_{m, n}$, then you may expect the tangent vectors (after translating to the origin) are linearly independent.