Cooper's Lucas congruence conjecture for modular-form sequences
For with , let be the Dedekind eta function. Define the sequences , , , , , and by the generating-function identities and eta-quotients in the statement below; here and denotes the positive real square root. A sequence satisfies the Lucas congruence modulo if for every and , where is prime.
Cooper's conjecture. The sequences satisfy the Lucas congruence modulo if and only if or , and the sequences satisfy the Lucas congruence modulo if and only if or .
These are experimentally proposed cases from Cooper's study of Apéry-like sequences associated with modular forms. The supplied statement also defines further sequences at levels , , , and , but does not assert Lucas-congruence claims for all of them. The status of the stated congruence conditions is not resolved in the supplied material.
References
Primary source
Frits Beukers, Wei-Lun Tsai and Dongxi Ye, “Lucas congruences using modular forms”, arXiv:2408.16616 (2024).
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
No solutions have been posted yet.