Modular parametrization of elliptic curve Let $f$ be a cusp form of weight $2$ on $\Gamma_0(N)$ and assume that $f$ is a Hecke form and a newform. Then, we easily see that
$$C(\gamma)=2i\pi \int_{\tau}^{\gamma \tau}{f(\tau')d\tau'} \quad (\gamma \in \Gamma_0(N))$$
is independant of $\tau$ (assumed in $\mathcal{H}$) and defines a group morphism from $\Gamma_0(N)$ to $(\textbf{C},+)$.
I can't find any references for the following statement (I think that it must be well-known) :
Theorem :
The image of $C$ in $(\textbf{C},+)$ is a lattice unless $f$ is trivial (i.e. $f=0$).
I am looking for any references or ideas of a proof. Many thanks !
 A: I think this should follow from the fact that there exists a perfect pairing
$$\langle\cdot ,\cdot\rangle \colon H_1(X_0(N),\mathbb R)\times H^0(X_0(N),\Omega^1_{\mathbb C})\to \mathbb C$$
$$\langle\{\alpha,\beta\},f\rangle=\int_{\alpha}^{\beta}f$$
Here $\{\alpha,\beta\}$ is the real homology class on $X_0(N)$ of any path from $\alpha$ to $\beta$ in $\mathcal H^*$ and $f$ is a cuspform of weight $2$ and level $\Gamma_0(N)$ (under the canonical identification of $H^0(X_0(N),\Omega^1_{\mathbb C})$ with $S_2(\Gamma_0(N))$).
Now there is a theorem which tells you that for any congruence subgroup $G\leq \text{SL}_2(\mathbb Z)$ and any fixed $\alpha\in \mathcal H^*$ the map
$$G\to H_1(X_G,\mathbb Z)$$
$$g\mapsto \{\alpha,g\alpha\}$$
is a surjective group homomorphism which does not depend on $\alpha$. (For a proof of this, you can look at the paper "Parabolic points and zeta-functions of modular curves" by Y.Manin). This implies that the image of your homomorphism coincides with the image of the homomorphism
$$\langle\cdot,f\rangle\colon H_1(X_0(N),\mathbb Z)\to \mathbb C$$
$$\gamma\mapsto \int_{\gamma}f$$
obtained by restricting the bilinear pairing I defined above to $H_1(X_0(N),\mathbb Z)$.
Edit: the conclusion was wrong, as Bruno noticed.
For more details about these topics, you can take a look at http://wstein.org/books/modform/modform/weight_two.html or at the nice book by W. Stein "Modular forms, a computational approach".
