Abstract:We study congruences between cuspidal modular forms and Eisenstein series at levels which are square-free integers and for equal even weights. This generalizes our previous results from Naskręcki [17] for prime levels and provides further evidence for the sharp bounds obtained under restrictive ramification conditions. We prove an upper bound on the exponent in the general square-free situation and also discuss the existence of the congruences when the coefficients belong to the rational numbers and weight equals 2.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the congruence relations between cuspidal modular forms and Eisenstein series in modular forms under square - free levels and even weights. Specifically, the author has studied the congruence properties between the Fourier coefficients of newforms of cuspidal forms and the Fourier coefficients of appropriately normalized Eisenstein series under these conditions.
### Core of the problem
1. **Extension of congruence relations**:
- The author aims to extend the previous research results only for prime levels to square - free integer levels and explore the impact of this extension on the upper bound of the congruence index.
2. **Upper bound of the congruence index**:
- The author attempts to prove an upper - bound formula for the congruence index \( r \) and discuss whether this upper bound is optimal in different situations.
3. **Existence of congruence in the case of rational coefficients**:
- When the weight is 2 and the coefficients belong to rational numbers, the author has studied the existence of such congruence relations and given a finite number of possible congruence situations.
### Main contributions
- **Theorem 3.2**: For a given square - free integer \( N \) and weight \( k>2 \), if the cuspidal newform \( f \) is congruent to a certain Eisenstein eigenform \( E \) under the power of the ideal \( \lambda \), then the congruence index \( r \) satisfies a specific upper - bound formula:
\[
r\leq \text{ord}_\lambda(\ell)\cdot v_\ell\left(\frac{-B_k}{2k}\prod_{i = 1}^t(1 - p_i)\right)
\]
where \( \ell \) is the residue characteristic of \( \lambda \), \( B_k \) is the \( k \)-th Bernoulli number, and \( p_1,\ldots,p_t \) are the distinct prime factors of \( N \).
- **Theorem 4.2**: For two different prime numbers \( p \) and \( q \), and the cuspidal newform \( f\in S_2(pq)^{\text{new}} \) of weight 2 and the Eisenstein eigenform \( E\in E_2(pq) \), if they are congruent under certain prime - power, then one of the following conditions is satisfied:
- \( \ell^r\in\{2,3,4,5\} \)
- \( \ell^r = 7 \) and \( E=[13]-[2]+E_2 \)
### Summary
Through a large number of computational experiments and theoretical derivations, the paper has explored the congruence relations between cuspidal forms and Eisenstein series under square - free levels and drawn several important conclusions about the upper bound of the congruence index. This not only generalizes the previous research results but also provides new perspectives and methods for further research on such congruence relations.