Explicit height bounds for $K$-rational points on transverse curves in powers of elliptic curves

TL;DR

This paper provides explicit height bounds for rational points on certain algebraic curves within powers of elliptic curves, extending previous results to cases with complex multiplication.

Contribution

It offers a fully explicit version of the Manin-Dam'janenko Theorem for elliptic curves, including those with complex multiplication.

Findings

Derived explicit height bounds for rational points on transverse curves

Extended the Manin-Dam'janenko Theorem to elliptic curves with complex multiplication

Generalized previous results limited to non-CM elliptic curves

Abstract

Let $C$ be an algebraic curve embedded transversally in a power $E^N$ of an elliptic curve $E$. In this article we produce a good explicit bound for the height of all the algebraic points on $C$ contained in the union of all proper algebraic subgroups of $E^N$. The method gives a totally explicit version of the Manin-Dam'janenko Theorem in the elliptic case and it is a generalisation of previous results only proved when $E$ does not have Complex Multiplication.