1: \begin{abstract}

2: We compare the homology of a congruence subgroup $\Gamma$ of $\GL_2(\Z)$ with coefficients in the Steinberg modules over $\Q$ and over $E$, where $E$ is a real quadratic field. If $R$ is any commutative base ring,  the last connecting homomorphism $\psi_{\Gamma,E}$ in the long exact sequence of homology stemming from this comparison has image in $H_0(\Gamma, \St(\Q^2;R))$ generated by classes $z_\beta$ indexed by 

3: $\beta\in E\setminus\Q$.  We investigate this image.

4: 

5: When $R=\C$, $H_0(\Gamma, \St(\Q^2;\C))$ is isomorphic to a space of classical modular forms of weight 2, and the image lies inside the cuspidal part.  In this case, $z_\beta$ is closely related to periods of modular forms over the geodesic in the upper half plane from $\beta$ to its conjugate  $\beta'$.  

6: Assuming GRH we prove that the image of $\psi_{\Gamma,E}$ equals the entire cuspidal part.

7: 

8: When $R=\Z$, we have an integral version of the situation.  

9: We define the cuspidal part of the Steinberg homology,

10:  $H_0^\cusp(\Gamma, \St(\Q^2;\Z))$.

11:  Assuming GRH we prove that for any congruence subgroup, $\psi_{\Gamma,E}$ always has finite index in 

12:  $H_0^\cusp(\Gamma, \St(\Q^2;\Z))$,

13:  and if $\Gamma=\Gamma_1(N)^\pm$ or $\Gamma_1(N)$,

14: then the image is all of

15:  $H_0^\cusp(\Gamma, \St(\Q^2;\Z))$.    

16: If $\Gamma=\Gamma_0(N)^\pm$ or $\Gamma_0(N)$,

17: we prove (still assuming GRH) 

18: an upper bound for the size of $H_0^\cusp(\Gamma, \St(\Q^2;\Z))/\image(\psi_{\Gamma,E})$.

19: We conjecture that the results in this paragraph are true unconditionally.

20: 

21: We also report on  extensive computations of the image of  $\psi_{\Gamma,E}$  that we made for 

22: $\Gamma=\Gamma_0(N)^\pm$ and

23: $\Gamma=\Gamma_0(N)$.  

24: Based on these computations, we believe that the image of $\psi_{\Gamma,E}$ is not all of $H_0^\cusp(\Gamma, \St(\Q^2;\Z))$ for these groups, for general $N$.  

25:  \end{abstract}

26: