# Which elliptic curves over totally real fields are modular these days?

As the title says. In particular, every elliptic curve over $\mathbb{Q}$ is modular; but what is the current state of the art for general totally real number fields? I assume the answer is extractable from some papers of, say, Kisin, but I am not an expert in this material and hesitate to try that myself.

-
All of them are potentially modular (this is because there exists a rational prime l such that E has good ordinary reduction at every prime in F above l). To prove that a specific example is actually modular might be hard, as all the works I am familiar with assume either residual modularity or large image (but I am definitely no expert either). –  Olivier Sep 16 '10 at 5:24
But is one of those things enough? For example, if the curve has an irreducible mod-3 representation, then you can get started via Langlands-Tunnell - but are other things required? –  David Hansen Sep 26 '10 at 18:04
It is known (potential modularity + Solomon's induction theorem) that the $L$-function of any elliptic curve over any totally real field is meromorphic on ${\mathbb C}$ and satisfies the expected functional equation. For many applications this is as good as modularity, but I don't whether whether this is of help to you. –  Tim Dokchitser Nov 18 '10 at 23:11