Abstract:In this paper, we study possible obstructed deformations of 2-dimensional Galois Representations attached to newforms of weight 2 and level $N > 1$. We provide conditions on the existence of local and global obstructions, and explicit description of the Universal Deformation Ring in several cases.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the obstructed deformation problems of two - dimensional Galois representations. Specifically, the author studied whether there are local and global obstructions under specific conditions for two - dimensional Galois representations associated with newforms, and provided a specific description of the universal deformation ring.
### Problem Background
The paper mainly focuses on two - dimensional Galois representations related to newforms of weight 2 and level N. These representations can be projected onto \( GL_2(k) \) over a finite field \( k \), where \( k \) is a finite field of characteristic \( \ell \), and \( W(k) \) is the Witt vector ring of \( k \). From this representation, we can obtain a residual representation \( \rho: G_{\mathbb{Q}, S}\to GL_2(k) \).
### Core Problem
The core problem of the paper is to explore whether these representations can be lifted under certain local or global conditions and to study the possible obstructions during the lifting process. Specifically:
1. **Local Obstructions**: Local obstructions may occur when the first term in the short exact sequence is nontrivial. The paper discusses in detail how to describe these obstructions in some cases.
2. **Global Obstructions**: Global obstructions may occur when certain conditions are violated. The paper explores these conditions by combining other works, such as [Dia97], [Til97], [Wes04], etc.
### Main Results
The main results of the paper include:
- **Theorem 1**: For a modular representation \( \rho: G_{\mathbb{Q}, S}\to GL_2(\mathbb{F}_\ell) \), if we consider the deformation problem on \( S\cup\{q\} \), then:
- The obstruction group \( H^2(G_{\mathbb{Q}, S\cup\{q\}}, \text{ad}\rho) \) is cyclic and, in particular, one - dimensional.
- The obstruction is determined by the upper - right element of the generator.
- The deformation problem is obstructed, and the universal deformation ring is \( \mathbb{Z}_\ell[[T_1, T_2, T_3, T]]/\langle T(\ell - \Phi) \rangle \), where \( \Phi \) is an appropriate Frobenius power series.
- **Theorem 2**: For a modular representation \( \rho: G_{\mathbb{Q}_p, S}\to GL_2(\mathbb{F}_\ell) \), if certain conditions are satisfied, then the deformation problem is obstructed and is controlled by \( X^1(G_{\mathbb{Q}, S}, \varepsilon_\ell\otimes\text{ad}\rho) \), and the universal deformation ring is \( \mathbb{Z}_\ell[[T_1, T_2, T_3, T_4]]/\langle T_1T_2 - T_2 - pT_3T_4 + T_4 \rangle \).
### Methods and Tools
The paper uses a variety of tools and techniques to study these problems, including:
- **Poitou - Tate Duality**: Used to extract short exact sequences.
- **Galois Cohomology**: Used to study the obstruction space \( H^2(G_{\mathbb{Q}, S}, \text{ad}\rho) \).
- **Weil - Deligne Representations**: Used to understand inertial types and decompositions.
In conclusion, this paper reveals the local and global obstructions that may occur under different conditions by in - depth study of the deformation problems of two - dimensional Galois representations and provides specific descriptions of the universal deformation rings.