Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I really should know the answer to this, but I don't, so I'll ask here.

A Q-curve is an elliptic curve E over Q-bar which is isogenous to all its Galois conjugates. A Q-curve is modular if it's isogenous (over Q-bar) to some factor of the Jacobian of X_1(N) for some N>=1 (here X_1(N) is the compact modular curve over Q-bar).

Has current machinery proved the well-known conjecture that all Q-curves are modular yet?

Remark: I know there are many partial results. What I'm trying to establish is whether things like Khare-Wintenberger plus best-known modularity lifting theorems are strong enough to give the full conjecture yet, or whether we're still waiting.

share|improve this question
add comment

1 Answer

up vote 16 down vote accepted

Yes, this is a consequence of Serre's conjecture. The canonical reference is probably Corollary 6.2 of Ribet's paper on Q-curves:

http://math.berkeley.edu/~ribet/Articles/korea.pdf

share|improve this answer
    
Excellent---thanks. I could see the argument that Serre implied that ab vars of GL_2 type were modular, but I was missing Ribet's 6.1. –  Kevin Buzzard Nov 3 '09 at 15:37
    
I had exactly that conversation with KB a couple of weeks ago, except that I didn't know the punchline. –  user1125 Nov 3 '09 at 21:31
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.