2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/67269We prove that any abelian surface defined over $\Q$ of $GL_2$-type having quaternionic multiplication and good reduction at 3 is modular. We generalize the result to higher dimensional abelian varieties with ``sufficiently many endomorphisms".to appear at Math. Res. LettersNumber Theorytext