This result states that fix . Over , the modular curve is the smooth compact modular curve compactifying the coarse moduli curve of pairs , where is an elliptic curve over and is a cyclic subgroup of order . The boundary is the finite set... It places Moduli Interpretation of the Modular Curve in the framework of modular forms and Galois representations.