Abstract:We prove new cases of Fontaine-Mazur conjecture on two-dimensional Galois representations over Q when the residual representation is reducible. Our approach is via a semi-simple local-global compatibility of the completed cohomology and a Taylor-Wiles patching argument for the completed homology in this case. As a key input, we generalize the work of Skinner-Wiles in the ordinary case. In addition, we also treat the residually irreducible case at the end of the paper. Combining with people's earlier work, we can prove the Fontaine-Mazur conjecture completely in the regular case when p is at least 5.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the proof of the Fontaine - Mazur conjecture in the residually reducible case. Specifically, the author attempts to prove that when the residual representation is reducible, the two - dimensional Galois representation under specific conditions comes from a cuspidal eigenform, that is, it satisfies the conditions of the Fontaine - Mazur conjecture.
### Introduction to the Fontaine - Mazur Conjecture
According to the conjecture proposed by Fontaine and Mazur, for an odd prime number \(p\) and a continuous, irreducible two - dimensional \(p\)-adic Galois representation:
\[ \rho: \text{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) \to \text{GL}_2(\mathbb{Q}_p) \]
If the following conditions are met:
1. \(\rho\) is ramified at only finitely many places.
2. \(\rho\) is potentially semi - stable on the decomposition group \(\text{Gal}(\overline{\mathbb{Q}}_p/\mathbb{Q}_p)\).
3. \(\rho\) is an odd representation, that is, for any complex conjugation \(c\in \text{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})\), we have \(\det(\rho(c))=- 1\).
Then \(\rho\) should come from a cuspidal eigenform (up to twist).
### Main Contributions of the Paper
The main contribution of this paper lies in dealing with the case where the residual representation \(\bar{\rho}\) is reducible. Specifically, the author has proved that under certain conditions, even if \(\bar{\rho}\) is reducible, \(\rho\) still comes from a cuspidal eigenform. These conditions include:
- \(\rho\mid_{\text{Gal}(\mathbb{Q}_p/\mathbb{Q}_p)}\) has distinct Hodge - Tate weights.
- The semi - simplification of \(\bar{\rho}\) is a direct sum of two characters \(\bar{\chi}_1\oplus\bar{\chi}_2\). If \(p = 3\), then it is required that \(\frac{\bar{\chi}_1}{\bar{\chi}_2}\mid_{\text{Gal}(\mathbb{Q}_p/\mathbb{Q}_p)}\neq\omega\), where \(\omega\) represents the cyclotomic character modulo \(p\).
### Method Overview
The author adopts the following methods to prove this result:
1. **Local - Global Compatibility**: Establish local - global compatibility by completed cohomology and Taylor - Wiles patching argument.
2. **Generalize the Work of Skinner - Wiles**: Generalize the work of Skinner - Wiles in the ordinary case to the non - ordinary case.
3. **Patching Argument**: Utilize the patching argument of completed cohomology, especially patching at one - dimensional prime ideals.
### Conclusion
Finally, the author has proved that in the residually reducible case, the two - dimensional Galois representation satisfying the above conditions does indeed come from a cuspidal eigenform. In addition, combined with previous work, the author has also proved that in the regular case when \(p\geq5\), the Fontaine - Mazur conjecture holds completely.
### Main Theorem
The specific main theorem is as follows:
\[ \text{Theorem 1.0.4.} \]
Let \(p\) be an odd prime number, and \(\rho\)