Two variants of the support problem for products of abelian varieties and tori (Q1025894)

Let \(x\) and \(y\) be two elements in a number field \(K\). The support problem of Erdös (for \(\mathbb{G}_{m}\)) states that \(y\) is a power of \(x\) in \(K\) if they satisfy the property: \(y^n \equiv 1 \bmod \mathfrak p\) whenever \(x^n \equiv 1 \bmod \mathfrak p\) for all but finitely many primes \(\mathfrak p\). This problem was solved in [\textit{C. Corrales-Rodrigáñez} and \textit{R. Schoof}, J. Number Theory 64, No. 2, 276--290 (1997; Zbl 0922.11086)]. In their paper, an analogue for abelian varieties is introduced, and the case of elliptic curves is solved: Let \(P\) and \(Q\) be two points in an elliptic curve \(E\) over \(K\). Then, \(\phi(P)=cQ\) for some \(K\)-endomorphism \(\phi\) on \(E\) and a non-zero integer \(c\) if they satisfy the property: the order of (\(Q\bmod \mathfrak p\)) divides the order of (\(P\bmod\mathfrak p\)) for all but finitely many primes \(\mathfrak p\) of \(K\). In 2002 and 2003 progresses toward the support problems for abelian varieties were made in three papers by Khare-Prasad, Banaszak-Gajda-Krasoń, and Khare, and in [\textit{M. Larsen}, J. Number Theory 101, No. 2, 398--403 (2003; Zbl 1039.11040)], the support problem is solved for all abelian varieties. The author of the paper under review solves the support problem for two points \(P\) and \(Q\) in the product of an abelian variety and a torus defined \(K\) if they satisfy Condition LSP or Condition RSP, which are explained below. Larsen required a more general condition in his paper, called Radical Support Problem (RSP) Condition: There is an infinite set \(S\) of rational primes such that the order of (\(Q\bmod \mathfrak p\)) is coprime to \(\ell\) whenever the order of (\(P\bmod \mathfrak p\)) is coprime to \(\ell\) and \(\ell \in S\), for all but finitely many primes \(\mathfrak p\) of \(K\). In [\textit{C. Khare}, Math. Res. Lett. 10, 71--83 (2003; Zbl 1023.11026)] and [\textit{S. Barańczuk}, J. Number Theory 119, No. 1, 1--17 (2006; Zbl 1107.14033)], for the multiplicative group or simple abelian varieties, the support problem was solved under a condition, called \(\ell\)-adic Support Problem (LSP) condition: There is a rational prime \(\ell\) such that the \(\ell\)-adic valuation of the order of (\(Q\bmod \mathfrak p\)) is less than or equal to the \(\ell\)-adic valuation of the order of (\(P\bmod \mathfrak p\)), for all but finitely many primes \(\mathfrak p\) of \(K\).