Abstract
A well-known observation of Serre and Tate is that the Hecke algebra acts locally nilpotently on modular forms mod 2 on \({{\,\mathrm{\textrm{SL}}\,}}_2({{\,\mathrm{{\mathbb {Z}}}\,}})\). We give an algorithm for calculating the degree of Hecke nilpotency for cusp forms, and we obtain a formula for the total number of cusp forms mod 2 of any given degree of nilpotency. Using these results, we find that the degrees of Hecke nilpotency in spaces \(M_k\) have no limiting distribution as \(k \rightarrow \infty \). As an application, we study the parity of the partition function using Hecke nilpotency.
Similar content being viewed by others
Data availability
The SAGE code for Algorithm 1 can be found at the following page: https://alejandrodlpc.github.io/files/hecke-nilpotency.ipynb.
Notes
SAGE code for this algorithm is available at https://alejandrodlpc.github.io/files/hecke-nilpotency.ipynb.
References
Apostol, T.: Modular Functions and Dirichlet Series in Number Theory. Springer, New York (1990)
Bellaïche, J., Nicolas, J.-L.: Parité des coefficients de formes modulaires. Ramanujan J. 40, 1–44 (2016)
Boylan, M., Ono, K.: Parity of the Partition Function in Arithmetic Progressions, II. Bull. Lond. Math. Soc. 33(5), 558–564 (2001)
Deligne, P.: Formes modulaires et représentations \(\ell \)-adiques. In: Séminaire Bourbaki Exposés vol. 1968/69, Lecture Notes in Math., vol. 179. Springer, Berlin (1971)
Deligne, P.: La conjecture de Weil. I. Mathématiques de L’Institut des Hautes Scientifiques 43, 273–307 (1974)
Deligne, P., Serre, J.-P.: Formes modulaires de poid 1. Ann. Sci. École Norm. Sup. 4(7), 507–530 (1974)
Eichler, M.: Eine Verallgemeinerung der Abelschen Integrale. Mathematische Zeitschrift 67, 267–298 (1957)
Lucas, E.: Théorie des fonctions numériques simplement périodiques. Am. J. Math. 1(2), 184–196 (1878)
Nicolas, J.-L., Serre, J.P.: Formes modulaires modulo 2: L’ordre de nilpotence des opérateurs de hecke. Comptes Rendus Mathematique 350, 343–348 (2012)
Nicolas, J.-L., Serre, J.-P.: Formes modulaires modulo 2: structure de l’algèbre de hecke. Comptes Rendus Mathematique 350, 449–454 (2012)
Ono, K.: Parity of the partition function in arithmetic progressions. J. Reine Angew. Math. 472, 1–15 (1996)
Ono, K.: The web of modularity: arithmetic of the coefficients of modular forms and q-series. In: Conference Board of the Mathematical Sciences (2004)
Parkin, T.R., Shanks, D.: On the distribution of parity in the partition function. Math. Comput. 21(99), 466–480 (1967)
Radu, C.-S.: A proof of Subbarao’s conjecture. J. Reine Angew. Math. 672, 161–175 (2012)
Ramanujan, S.: On certain arithmetical functions. Trans. Camb. Philos. Soc. 22(9), 159–184 (1916)
Serre, J.-P.: Formes modulaires et fonctions zêta p-adiques. In: Kuijk, W., Serre, J.-P. (eds.) Modular Functions of One Variable III, pp. 191–268. Springer, Berlin (1973)
Serre, J.-P.: Divisibilité de certaines fonctions arithmétiques. L’Enseignement Math. 2, 227–260 (1976)
Shimura, G.: Sur les intégrales attachées aux formes automorphes. J. Math. Soc. Jpn. 11, 291–311 (1959)
Subbarao, M.: Some remarks on the partition function. Am. Math. Monthly 73, 851–854 (1966)
Swinnerton-Dyer, H.P.F.: On \(\ell \)-adic representations and congruences for coefficients of modular forms. In: Kuijk, W., Serre, J.-P. (eds.) Modular Functions of One Variable III, pp. 1–55. Springer, Berlin (1973)
Tate, J.: The non-existence of certain Galois extensions of \({{\mathbb{Q} }}\) unramified outside 2. Arithmetic geometry (Tempe, AZ, 1993). Contemp. Math. 174, 153–156 (1994)
Acknowledgements
The authors thank Professor Ken Ono for suggesting this problem when we were in his 2022 REU Program at the University of Virginia, and for his continued guidance. They would also like to thank Alejandro De Las Penas Castano, Badri Pandey, and Wei-Lun Tsai for valuable discussions, as well as an anonymous referee for helpful comments.
Author information
Authors and Affiliations
Contributions
CC and SZ wrote the manuscript.
Corresponding author
Ethics declarations
Conflict of interest
The authors declare no competing interests.
Ethical approval
Not applicable.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Catherine Cossaboom and Sharon Zhou were supported by NSF Grants DMS-2002265, DMS-2055118, DMS-2147273, NSA Grant H98230-22-1-0020, and the Templeton World Charity Foundation.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Cossaboom, C., Zhou, S. Hecke nilpotency for modular forms mod 2 and an application to partition numbers. Ramanujan J 62, 899–923 (2023). https://doi.org/10.1007/s11139-023-00720-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11139-023-00720-6