Base change for Elliptic Curves over Real Quadratic Fields

Abstract

Let E be an elliptic curve over a real quadratic field K and F/K a totally real finite Galois extension. We prove that E/F is modular.

added a short proof of Proposition 2.1 and a few more small changes to improve readability