Ashay A. Burungale,Laurent Clozel,Barry Mazur
Abstract:The weight two ordinary deformations are unobstructed in the cyclotomic limit under certain assumptions. We show that such an ordinary deformation ring over the cyclotomic tower can have arbitrarily large dimension.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the dimension of the deformation space of ordinary representations in the limit of the cyclotomic tower. Specifically, the authors studied whether the ordinary deformations of weight 2 are unobstructed in the cyclotomic limit under certain assumptions, and showed that in this case, the ordinary deformation ring can have an arbitrarily large dimension.
### Main content and objectives of the paper
1. **Background introduction**:
- The authors considered Galois representations $\bar{\rho}$ over a totally real field $F$, with weight 2 and being ordinary representations at all prime numbers $p$.
- It is assumed that $\bar{\rho}$ is absolutely irreducible and its determinant is the cyclotomic character.
2. **Main results**:
- Under certain conditions, the ordinary deformation ring $R_{\infty}$ is formally smooth on the cyclotomic tower, that is:
\[
R_{\infty}\cong W(k)[[X_1,\ldots,X_s]]
\]
where $s\geq1$.
- The authors further proved that the dimension of $R_{\infty}$ can be arbitrarily large if arbitrarily large ramification is allowed.
3. **Specific examples**:
- For the prime number $p = 5$, the authors gave a specific example to show how to construct elliptic curves with different conductors, and these curves have the same modulo - 5 Galois representation $\bar{\rho}$.
- By choosing a series of different prime numbers $p_i$, the authors constructed an infinite sequence of elliptic curves $E_1, E_2,\ldots$, such that the Galois representation $\rho_i$ of each $E_i$ is ramified at $p_i$ and unramified at other prime numbers.
4. **General case**:
- For a general odd prime number $p$, the authors extended the above results and proved that for $\bar{\rho}$ satisfying the conditions of Theorem 1.1, the dimension of the corresponding ordinary deformation ring $R_{\infty}$ is at least $m + 2$, where $m$ is the number of selected prime numbers.
### Conclusion
The main contribution of this paper is to reveal that in the cyclotomic limit, the dimension of the ordinary deformation ring can be very large, which provides a new perspective and tool for further research on the deformation theory of Galois representations.