Congruences of Eisenstein series of level $Γ_1(N)$ via Dieudonné theory of formal groups

Ningchuan Zhang
DOI: https://doi.org/10.5802/jtnb.1277
2024-12-01
Abstract:In this paper, we give a new explanation of congruences of Eisenstein series of level $\Gamma_1(N)$ and character $\chi$. Our approach is based on Katz's algebro-geometric explanation of $p$-adic congruences of normalized Eisenstein series $E_{2k}$ of level $1$. One crucial step in our argument is to reformulate a Riemann-Hilbert correspondence in Katz's explanation in terms of Dieudonné theory of height $1$ formal $A$-modules and their finite subgroup schemes. We give a generalization of this Riemann-Hilbert correspondence in terms of formal groups of height greater than $1$.
Number Theory,Algebraic Geometry,Algebraic Topology
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the congruence properties of Eisenstein series at the level of Γ1(N). Specifically, the author attempts to provide a new interpretation of the congruence of Eisenstein series at the level of Γ1(N) and with character χ through Dieudonné formal group theory. ### Main problems and solutions #### 1. Research background In the study of modular forms, Eisenstein series are very important objects. In his early work, Katz used the Riemann - Hilbert - type correspondence and Igusa's theorem to give a congruence interpretation in the p - adic sense of the normalized Eisenstein series \( E_{2k} \). This paper aims to generalize this method to the more general Eisenstein series at the level of Γ1(N) and with character χ. #### 2. Key steps To achieve this goal, the author takes the following key steps: - **Reformulate the Riemann - Hilbert correspondence**: Reformulate the Riemann - Hilbert correspondence in Katz's interpretation by using Dieudonné formal A - modules of height 1 and their finite subgroup schemes. - **Generalize to formal groups of higher heights**: Further generalize this correspondence to deal with formal groups with height greater than 1. - **Use formal group theory**: Through formal group theory, transform the congruence problem of modular forms into the congruence problem of elements in Dieudonné modules. #### 3. Main results The main result of the article (Theorem 2.5) shows that for an ideal \( I \triangleleft \mathbb{Z}_p[\chi] \) and an integer \( k \geq 3 \), the following conditions are equivalent: - There exists a modular form \( f \in H^0(\mathcal{M}_{\mathrm{ord}}(p^v, \Gamma_1(N')), \omega^{\otimes k} \otimes \mathbb{Z}_p[\chi])^{\chi^{-1}} \) such that its q - expansion \( f(q) \in 1 + Iq \mathbb{Z}_p[\chi][[q]] \). - The formal group \( \widehat{C}_{k,\chi}[I] \cong (\widehat{\mathbb{G}}_m \otimes \mathbb{Z}_p[\chi])[I] \). - The Galois descent data \( \rho_{k,\chi} \colon \pi_1^{\mathrm{et}}(\mathcal{M}_{\mathrm{ord}}(\Gamma_0(N'))) \to (\mathbb{Z}_p[\chi])^\times \) is trivial modulo \( I \). - The character \( \mathbb{Z}_p^\times \times (\mathbb{Z}/N')^\times \ni (a,b) \mapsto \chi_p(a)\chi'(b)a^k \) is trivial modulo \( I \). These equivalent conditions reveal the profound connection between the congruence of modular forms and p - adic representations, especially in the framework of formal group theory. ### Summary By introducing Dieudonné theory and applying it to formal groups, the author has successfully generalized Katz's method to the more general Eisenstein series at the level of Γ1(N) and with character χ. This not only deepens our understanding of the congruence of modular forms but also provides new tools and perspectives for the study of p - adic representations.