{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q801964","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q801964","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q801964","kernelVersion":"v1","immutable":true,"modified":"2026-01-05T19:36:24Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q801964","name":"Modular forms and de Rham cohomology; Atkin-Swinnerton-Dyer congruences","headline":"Modular forms and de Rham cohomology; Atkin-Swinnerton-Dyer congruences","description":"scientific article; zbMATH DE number 3880807","url":"https://portal.mardi4nfdi.de/entity/Q801964","datePublished":"1985-00-00","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q171283"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q163162"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1007/BF01388656","url":"https://doi.org/10.1007/BF01388656"},"sameAs":["https://doi.org/10.1007/BF01388656"],"comment":"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.","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q5644042"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4163626"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3008631"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1150411"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1845034"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2546924"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2541231"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2545071"},{"@id":"https://portal.mardi4nfdi.de/entity/Q769523"}]},"provenance":{"prov:generatedAtTime":"2026-01-05T19:36:24Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}