Modular forms and de Rham cohomology; Atkin-Swinnerton-Dyer congruences (Q801964): Difference between revisions

Let \(G\) be a subgroup of the modular group \(\mathrm{PSL}_2(\mathbb{Z})\) of finite index, not necessarily a congruence subgroup. The author proves that cusp forms on \(G\) have \(p\)-adic properties analogous to the Euler product identities satisfied by forms on congruence subgroups. These properties were predicted by \textit{A. O. L. Atkin} and \textit{H. P. F. Swinnerton-Dyer} [Proc. Symp. Pure Math. 19, 1--25 (1971; Zbl 0235.10015)], and proved in the special case of forms of weight 2 by them, and by others. The method of proof consists in constructing a certain \(p\)-adic analogue of the Eichler-Shimura-Deligne parabolic cohomology groups, which carries a canonical Frobenius operator \(F\). The sum of \(F\) and its transpose then plays the role of the usual Hecke operator \(T_p\). The congruence properties arise from an explicit determination of the cohomology in the neighbourhood of a cusp, using the Tate curve.