We will present new work, following the techniques of Anderson and Ihara, demonstrating fields of p-power torsion of the Jacobian varieties of modular curves of level p^N are rational over this field, in the case p = 3. The result rests on both the arithmetic and geometry of X(p^N), when viewed as a cover of the projective line minus three points. This work is joint with Matt Papanikolas.