We prove that the equation A 4 + B 2 = C p has no solutions in coprime positive integers when p ≥ 211. The main step is to show that, for all sufficiently large primes p , every [inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="02i" /]-curve over an imaginary quadratic field K with a prime of potentially multiplicative reduction greater than 6 has a surjective mod p Galois representation. The bound on p depends on K and the degree of the isogeny between E and its Galois conjugate, but is independent of the choice of E . The proof of this theorem combines geometric arguments due to Mazur, Momose, Darmon, and Merel with an analytic estimate of the average special values of certain L -functions.
No takes yet. Share an insight, caveat, or question.
Jordan S. Ellenberg (2004) studied this question.
Synapse has enriched one closely related paper. Consider it for comparative context: