Permítanme decirles lo que sé acerca de la cohomology de congruencia de los subgrupos de Sp_{2g}(\Z). Tan lejos como cohomology con coeficientes racionales va, esto fue determinado por Borel. En el límite de g->\infty, es isomorfo a un polinomio de álgebra con generadores en grados 4k+2. Ver a su papel
A. Borel, Estable real cohomology de la aritmética de los grupos, Ann. Sci. Ecole Norma. Sup.
(4) 7 (1974), 235-272 (1975).
No sé de muchos integral de los cálculos. He calculado H1 del nivel L congruencia subgrupos para L impar y g al menos 3 en mi trabajo "El abelianization del nivel L de asignación de grupo de clase", que está disponible en mi página web (haga clic en mi nombre para un enlace). Este fue también determina de forma independiente por Perron (inédito) y M. Sato. Sato del artículo es "La abelianization del nivel 2 asignación de grupo de clase", y está disponible en el arXiv. También trabaja fuera H_1 para L incluso.
Otro papel con información sobre H^2 es mi papel "El grupo de Picard de la espacio de moduli de las curvas de nivel de las estructuras", que también está disponible en mi página web.
Como una observación, tanto de los papeles de mí mismo antes mencionados son en realidad documentos acerca de la asignación de grupo de clase y el espacio de moduli de curvas, pero terminé probando los resultados acerca de PPAV y Sp_{2g}(\Z) a lo largo de la manera