Abstract:We give a list of $83$ holomorphic eta-quotients of integral weight. For each of them we give a simple closed formula for its Fourier coefficients $c(l)$ where $l\equiv1\bmod{m}$ with some fixed $m\mid24$. The proof involves Wohlfahrt's extension of Hecke operators and a dimension formula for spaces of modular forms of general multiplier system.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to provide simple closed - form formulas for the Fourier coefficients of certain integral - weight holomorphic eta - quotients. Specifically, the author lists 83 integral - weight holomorphic eta - quotients and gives simple closed - form expressions for the Fourier coefficients of these eta - quotients under the condition \( l \equiv 1 \mod m_r \).
### Main problem decomposition:
1. **Research objects**:
- The research is on integral - weight holomorphic eta - quotients \( f(\tau) = \prod_{n|N} \eta(n\tau)^{r_n} \), where \( \eta(\tau) = q^{1/24} \prod_{m = 1}^{\infty}(1 - q^m) \) is the Dedekind eta function.
- \( N \) is a positive integer, \( r_n \) are integers, and satisfy the conditions \( \sum_{n|N} n\cdot r_n = 0 \) and \( \sum_{n|N} r_n \equiv 0 \mod 2 \).
2. **Goals**:
- Provide simple closed - form formulas for the Fourier coefficients \( c_f(l) \) of these eta - quotients, especially the formulas when \( l \equiv 1 \mod m_r \).
- The formulas involve the Hecke operators with Wohlfahrt's extension and the dimension formula of the space of modular forms.
3. **Methods**:
- Apply the Hecke operator \( T_l \) with Wohlfahrt's extension to \( f \), obtaining \( T_l f = c_l\cdot f \).
- Analyze these relations and derive the closed - form expressions of the Fourier coefficients.
### Main results:
For each pair \((N, r)\) listed in Table 1, when \( l \equiv 1 \mod m_r \), the Fourier coefficient \( c_f(l) \) can be expressed as:
\[ c_f(l)= - r_1\cdot\sum_{a|l,\gcd(a,N) = 1}\left(\frac{a}{\Pi}\right)\cdot a^{k - 1}\cdot\varepsilon_{l,a} \]
where:
- \( k=\frac{1}{2}\sum_{n|N} r_n \)
- \( \Pi=\prod_{n|N}(Nn - 1)^{|r_n|} \)
- \( m_r=\frac{24}{\gcd(24,\sum_{n|N} n r_n,\sum_{n|N}(Nn - 1)r_n)} \)
- \( \varepsilon_{l,a} \) is a sign function, defined as follows:
\[
\varepsilon_{l,a}=
\begin{cases}
1 & \text{if } 2|l \text{ and } 2\nmid N\\
(- 1)^{\frac{(k+\delta)(a - 1)}{2}} & \text{otherwise}
\end{cases}
\]
By this method, the author has successfully provided simple closed - form formulas for the Fourier coefficients of 83 specific eta - quotients, which is helpful for further research on the properties of these eta - quotients and their applications in the theory of modular forms.