Comparison of integral structures on the space of modular forms of full level N

Let $N\ge 3$ and $r\ge 1$ be integers and $p\ge 2$ be a prime such that $p\nmid N$. One can consider two different integral structures on the space of modular forms over $Q$, one coming from arithmetic via q-expansions, the other coming from geometry via integral models of modular curves. Both structures are stable under the Hecke operators; furthermore, their quotient is finite torsion. Our goal is to investigate the exponent of the annihilator of the quotient. We will apply methods due to Brian Conrad to the situation of modular forms of even weight and level $\Gamma \left(N{p}^r\right)$ over $Q_p\left({\zeta }_{N{p}^r}\right)$ to obtain an upper bound for the exponent. We also use Klein forms to construct explicit modular forms of level $p^r$ whenever $p^r>3$, allowing us to compute a lower bound which agrees with the upper bound. Hence we compute the exponent precisely.