engleski

Congruences for sporadic sequences and modular forms for non-congruence subgroups

In 1979, in the course of the proof of the irrationality of ζ(2) Apéry introduced numbers bn that are, surprisingly, integral solutions of the recursive relation (n+1)2un+1−(11n2+11n+3)un−n2un−1=0. Indeed, bn can be expressed as bn=∑nk=0(nk)2(n+kk). Zagier performed a computer search of the first 100 million triples (A, B, C)∈Z3 and found that the recursive relation generalizing bn (n+1)2un+1−(An2+An+B)un+Cn2un−1=0, with the initial conditions u−1=0 and u0=1 has (non-degenerate, i.e., C(A2−4C)≠0) integral solution for only six more triples (whose solutions are so-called sporadic sequences). Stienstra and Beukers showed that for the prime p≥5 b(p−1)/2≡{;4a2−2p(modp) if p=a2+b2, a odd0(modp) if p≡3(mod4). Recently, Osburn and Straub proved similar congruences for all but one of the six Zagier’s sporadic sequences (three cases were already known to be true by the work of Stienstra and Beukers) and conjectured the congruence for the sixth sequence [which is a solution of the recursion determined by triple (17, 6, 72)]. In this paper, we prove that the remaining congruence by studying Atkin and Swinnerton-Dyer congruences between Fourier coefficients of a certain cusp forms for non-congruence subgroup.

apery numbers ; modular forms ; Atkin and Swinnerton-Dyer congruences ; non-congruence subgroups

nije evidentirano