Conozco los siguientes teoremas de Serre:
1, La representación l-adic de 2 dim asociada a una curva elíptica no CM está abierta.
2, La representación l-adic de 2 dim asociada a la forma de cúspide de peso-12 %-%%% tiene imagen abierta (incluso antes de la construcción de Deligne de representaciones l-adic 2-dim).
Entonces, ¿hay algún teorema general sobre cuando la imagen de una representación l-adic de 2 minutos asociada a una forma modular está abierta?