Independence of CM points in elliptic curves (Q2143207)

Let \(Y\) be a modular or Shimura curve, \(E\) an elliptic curve over \(\mathbb C\), \(V \subset Y \times E\) an irreducible correspondence, and \(n\) a positive integer. A point \(x \in E\) is called a \(V\)-image of \(s \in Y\) if \((s, x) \in V\). The main result of this paper describes all linear dependencies over \(\text{End} (E)\) of the \(V\)-images of \(n\) special points in \(Y\). The relationship between this result and various other results (and conjectures) in the literature are discussed in detail. These include, among others, the conjectures of [\textit{B. Zilber}, J. Lond. Math. Soc., II. Ser. 65, No. 1, 27--44 (2002; Zbl 1030.11073) and [\textit{R. Pink}, Prog. Math. 235, 251--282 (2005; Zbl 1200.11041)], and the results of [\textit{A. Buium} and \textit{B. Poonen}, Duke Math. J. 147, No. 1, 181--191 (2009; Zbl 1177.11050); \textit{M. Rosen} and \textit{J. H. Silverman}, J. Number Theory 127, No. 1, 10--36 (2007; Zbl 1151.11024); \textit{L. Kühne}, Acta Arith. 198, No. 2, 109--127 (2021; Zbl 07349951)].