Abstract:In this paper we generalize the forcing ramification argument of Khare-Ramakrishna to the setting of the lifting result by Fakhruddin-Khare-Patrikis. In particular, we show that in the relative deformation method the finite set of primes can be chosen so that the geometric characteristic 0 lift will be ramified at each of those primes. Moreover, we show that the restrictions of this lift to the local absolute Galois groups will correspond to formally smooth points in the generic fibers of the local universal lifting rings at each prime. Eventually, we prove that the local formal smoothness at each of the primes implies the vanishing of the geometric Bloch-Kato Selmer group associated to the adjoint representation of that characteristic 0 lift.
What problem does this paper attempt to address?
### What problem does this paper attempt to solve?
This paper aims to solve the problem of forcing ramification in the relative deformation method. Specifically, the author attempts to generalize the Khare - Ramakrishna forcing ramification argument within the framework of Fakhruddin - Khare - Patrikis' lifting results. The following are the main objectives and contributions of the paper:
1. **Generalize the forcing ramification argument**:
- The author hopes to generalize the forcing ramification argument in the relative deformation method, so that when choosing geometric characteristic 0 lifts over a finite set of prime numbers, these lifts are ramified at each prime number.
- Specifically, the author shows how to choose a finite set of prime numbers such that the geometric characteristic 0 lifts are ramified at each prime number, and the restrictions of these lifts on the local absolute Galois groups correspond to formally smooth points in the universal fibers of the local universal lifting rings.
2. **Prove the finiteness of the Selmer group**:
- The author further proves that the formal smoothness at each prime number implies that the geometric Bloch - Kato Selmer group associated with the adjoint representation vanishes. This step is crucial for understanding the properties of the lifts.
3. **Solve the limitations of Ramakrishna's method**:
- Ramakrishna's method, although allowing the annihilation of certain Selmer groups by introducing a finite number of prime numbers, cannot guarantee that the lifts are ramified at these prime numbers. This paper improves this method to ensure that the lifts are indeed ramified at the newly added prime numbers.
4. **Apply and develop existing theories**:
- This paper not only generalizes the existing forcing ramification methods but also combines the latest progress in lifting theory, especially the work of Fakhruddin - Khare - Patrikis, so that these methods can be applied in a broader context.
### Summary
In general, this paper solves the problem of lifts being ramified at specific prime numbers in the relative deformation method by improving and generalizing the existing forcing ramification methods, and proves the finiteness of the relevant Selmer groups. These results are of great significance for understanding and applying the deformation theory of Galois representations.