A modular framework of generalized Hurwitz class numbers

Olivia Beckwith,Andreas Mono
2024-03-27
Abstract:We discover a non-trivial rather simple relation between the mock modular generating functions of the level $1$ and level $N$ Hurwitz class numbers. This relation yields a holomorphic modular form of weight $\frac{3}{2}$ and level $4N$, where $N > 1$ is stipulated to be odd and square-free. We extend this observation to a non-holomorphic framework and obtain a higher level non-holomorphic Zagier Eisenstein series as well as a higher level preimage of it under the Bruinier--Funke operator $\xi_{\frac{1}{2}}$. All of these observations are deduced from a more general inspection of a certain weight $\frac{1}{2}$ Maass--Eisenstein series of level $4N$ at its spectral point $s=\frac{3}{4}$. This idea goes back to Duke, Imamoglu and Tóth in level $4$ and relies on the theory of so-called sesquiharmonic Maass forms. We calculate the Fourier expansion of our sesquiharmonic preimage and of its shadow. We conclude by offering an example if $N=5$ or $N=7$ and we provide the SAGE code to compute the Fourier coefficients involved.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the non - trivial relations of generalized Hurwitz class numbers in the theory of modular forms and their modular properties. Specifically, the author discovers a non - trivial and relatively simple relation, which exists between the quasi - modular generating functions of Hurwitz class numbers of level 1 and level \(N\) (where \(N > 1\), \(N\) is odd and square - free). This relation gives rise to a holomorphic modular form of weight \(\frac{3}{2}\) and level \(4N\). Moreover, the author extends this observation to the non - holomorphic framework, obtaining non - holomorphic Zagier Eisenstein series of higher levels and their pre - images under the Bruinier - Funke operator \(\xi_{\frac{1}{2}}\). ### Main contributions: 1. **Holomorphic modular forms**: The author proves that a linear combination of Hurwitz class numbers of level 1 and level \(N\) constitutes a holomorphic modular form of weight \(\frac{3}{2}\) and level \(4N\). 2. **Non - holomorphic modular forms**: The author further studies the properties of these Hurwitz class numbers in the non - holomorphic framework, obtaining non - holomorphic Zagier Eisenstein series of higher levels and their pre - images. 3. **Harmonic Maass forms**: By studying the properties of Maass - Eisenstein series of weight \(\frac{1}{2}\) at its spectral point \(s = \frac{3}{4}\), the author obtains a series of important results, including the Fourier expansion of harmonic Maass forms and their shadow parts. ### Specific problems: - **Modular properties**: The author explores the modular properties of Hurwitz class numbers at different levels, especially their manifestations in the holomorphic and non - holomorphic frameworks. - **Fourier expansion**: The author calculates in detail the Fourier expansion of related functions and provides specific methods for calculating coefficients. - **Pre - image construction**: The author studies how to construct the pre - images of harmonic Maass forms through the Bruinier - Funke operator and gives specific examples. ### Application backgrounds: - **Number theory**: Hurwitz class numbers have wide applications in number theory, including connections with the sum of three squares problem, class number formulas, and the study of recurrence formulas. - **Elliptic curves**: These class numbers are also used to count the isomorphism classes of elliptic curves with a specified number of points over a finite field. - **Gaussian hypergeometric functions**: Recent research shows that Hurwitz class numbers can be used to calculate the distribution of Gaussian hypergeometric functions. ### Conclusion: This paper, through in - depth study of the modular properties of Hurwitz class numbers at different levels, provides a series of new results on modular forms and Maass forms, making important contributions to the development of number theory and the theory of automorphic forms.