Shaunak V. Deo,Anna Medvedovsky
Abstract:We use deformation theory to study the big Hecke algebra acting on mod-2 modular forms of prime level $N$ and all weights, especially its local component at the trivial representation. For $N = 3, 5$, we prove that the maximal reduced quotient of this big Hecke algebra is isomorphic to the maximal reduced quotient of the corresponding universal deformation ring. Then we completely determine the structure of this big Hecke algebra. We also describe a natural grading on mod-$p$ Hecke algebras.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the structure of mod - 2 Hecke algebras, especially for the cases where the prime levels \(N = 3\) and \(N = 5\). Specifically, the author studied the structure of the large Hecke algebras acting on all mod - 2 modular forms on the local components of their trivial representations, and used deformation theory to explore the properties of these algebras.
### Main problems and goals
1. **Determining the structure**: The author's main goal was to determine the structure of the large Hecke algebras \(A(N,\mathbb{F}_{2})\), especially when \(N = 3\) and \(N = 5\). They hoped to prove that the maximal reduced quotient is isomorphic to the maximal reduced quotient of the corresponding universal deformation ring by the method of deformation theory.
2. **Application of deformation theory**: By introducing the "level - N shape" deformation condition, the author was able to limit the range of deformation, making it closer to the deformation coming from modular forms. This condition helped them better understand the structure of these algebras.
3. **Existence of natural grading**: The author also described a natural grading on the mod - \(p\) Hecke algebras, which is defined by the 2 - Frattini quotient of the Galois group and is compatible with the grading on the universal constant - determinant deformation ring.
### Specific contributions
- **Relationship between deformation rings and Hecke algebras**: The author proved that for \(N = 3\) and \(N = 5\), the maximal reduced quotient of the large Hecke algebras is isomorphic to the maximal reduced quotient of the corresponding universal deformation ring.
- **Completely determining the structure**: The author not only proved the above isomorphism relationship, but also completely determined the structures of \(A(3,\mathbb{F}_{2})\) and \(A(5,\mathbb{F}_{2})\).
- **Examples of non - regular local rings**: This is the first example of a mod - \(p\) Hecke algebra that clearly gives the structure of a non - regular local ring.
### Method overview
The author achieved these results through the following steps:
1. **Constructing the universal deformation ring**: First, construct the universal deformation ring \(R(N,\mathbb{F}_{2})^{\text{shape}}_{1\oplus1}\) that satisfies specific local conditions.
2. **Calculating the dimension of the tangent space**: Use Chenevier's calculation results to obtain the dimension of the tangent space of the restricted deformation ring.
3. **Using true representations**: Through true representations, obtain the bounds of the dimension of the tangent space of the deformation ring quotient by prime ideals.
4. **Applying the nilpotent method**: Determine the structure of the Hecke algebras on the space of very new modular forms, and thus deduce the pre - image of the minimal prime ideal.
5. **Combining other methods**: Use the partially surjective Hecke algebras, integral domain quotients, and the specific description of the cotangent space to finally determine the structure of \(A(N,\mathbb{F}_{2})\).
Through these methods, the author successfully solved the problem of the structure of mod - 2 Hecke algebras at specific levels and provided new tools and perspectives for future research.