On maps between modular Jacobians and Jacobians of Shimura curves (Q2480567)

The Jacquet-Langlands correspondence together with Faltings' isogeny theorem imply the existence of isogenies between the Jacobians of certain Shimura curves. However, this reasoning does not yield any concrete information about them. In the paper at hand, the author makes these isogenies more accessible [see also \textit{K. A. Ribet}, Invent. Math. 100, No. 2, 431--476 (1990; Zbl 0773.11039)]. We describe this phenomenon more precisely: Let \(D\) be a square-free product of an even number of primes, \(p\), \(q\) primes not dividing \(D\), and \(B\) and \(B'\) the quaternion algebras over \(\mathbb Q\) with discriminants \(D\) and \(D_{pq}\), resp. The Jaquet-Langlands correspondence shows that \(S_2^{Dpq}(\Gamma) \cong S_2^D(\Gamma_0(pq)\cap \Gamma)_{pq\text{-new}}\), where \(\Gamma\) is a congruence subgroup of level coprime to \(Dpq\). We denote by \(X^{Dpq}(\Gamma)\) the Shimura curve associated to these data, by \(J^{Dpq}(\Gamma)\) its Jacobian, and similarly for the right hand side. Then \(J^{Dpq}(\Gamma)\) is isogenous to the \(pq\)-new subvariety of \(J^D(\Gamma_0(pq)\cap \Gamma)\). The approach taken by the author is to study the entire category of abelian varieties with an action of the Hecke algebra \(\mathbb T\) which are Hecke-equivariantly isogenous to \(J^{Dpq}(\Gamma)\). A description of this category in terms of \(\mathbb T\)-modules is obtained. In particular, it is shown that if one works up to support on \(S\), the set of Eisenstein primes of \(\mathbb T\), one can classify all abelian varieties in this category in terms of isomorphism classes of \(\mathbb T\)-modules (rank one modules in the terminology of Mazur). An important step is studying what happens on the character groups of the tori associated to the mod \(p\) reductions of the abelian varieties.