Serre's conjecture over F9

In this paper we show that an odd Galois representation (p) over bar: Gal((Q) over bar /Q) -> GL(2)(F-9) having nonsolvable image and satisfying certain local conditions at 3 and 5 is modular. Our main tools are ideas of Taylor [21] and Khare [10], which reduce the problem to that of exhibiting points on a Hilbert modular surface which are defined over a solvable extension of Q, and which satisfy certain reduction properties. As a corollary, we show that Hilbert-Blumenthal abelian surfaces with ordinary reduction at 3 and 5 are modular.