Realmente debería saber la respuesta a esto, pero no la sé, así que preguntaré aquí.
A Curva Q es una curva elíptica E sobre Q-bar que es isógena a todas sus conjugadas de Galois. Una curva Q es modular si es isógena (sobre Q-bar) a algún factor del Jacobiano de X_1(N) para algún N>=1 (aquí X_1(N) es la curva modular compacta sobre Q-bar).
¿Ha demostrado ya la maquinaria actual la conocida conjetura de que todas las curvas Q son modulares?
Observación: Sé que hay muchos resultados parciales. Lo que estoy tratando de establecer es si cosas como Khare-Wintenberger más teoremas de elevación de modularidad más conocidos son lo suficientemente fuertes como para dar la conjetura completa todavía, o si todavía estamos esperando.
