Abstract:We show for all local fields $K/\mathbb{Q}_p$, with $p >3$, all representations $\bar\rho:G_K \to G_2(\bar{\mathbb{F}}_p)$ admit a crystalline lift $\rho: G_K\to G_2(\bar{\mathbb{Z}}_p)$, where $G_2$ is the exceptional Chevalley group of type $G_2$.
The main ingredient is a new technique for analyzing the obstruction of non-abelian extensions of Galois modules, which has roots in combinatorial group theory. We also rely on the Emerton-Gee stack of $(\phi, \Gamma)$-modules to construct abelian extensions.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the existence problem of crystalline lifts of a specific type of Galois representations. Specifically, the article focuses on the case where the characteristic \(p\) local Galois representations take values in the special linear group \(G_2\), and explores whether these representations can be lifted to crystalline representations of characteristic 0.
### Specific problem description
1. **Background and motivation**:
- For a given local field \(K / \mathbb{Q}_p\), let \(G\) be a connected reductive group, and \(\bar{\rho}: G_K\rightarrow G(\overline{\mathbb{F}}_p)\) be a Galois representation.
- The core problem of the research is: whether there exists a crystalline lift of \(\bar{\rho}\), that is, whether there exists a Galois representation \(\rho: G_K\rightarrow G(\overline{\mathbb{Z}}_p)\) such that \(\rho\) is the same as \(\bar{\rho}\) modulo \(p\) and \(\rho\) is crystalline.
2. **Existing research and challenges**:
- Such problems have been proposed in multiple literatures, such as irreducible geometric Galois representations, Serre weight conjectures, and ramification theory, etc.
- Constructing Galois representation lifts of characteristic 0 (at least in the high - dimensional case) is resistant to elementary techniques.
3. **Main contributions of this paper**:
- The author has developed an obstruction theory for lifting characteristic \(p\) local Galois representations to take values in the connected reductive group \(G\).
- Applying the Emerton - Gee stack to simplify the existence problem of crystalline lifts to a purely combinatorial problem when \(p\) is not too small.
- As a toy example, it is proved that for all local fields \(K / \mathbb{Q}_p\), when \(p>3\), all \(\bar{\rho}: G_K\rightarrow G_2(\overline{\mathbb{F}}_p)\) have crystalline lifts \(\rho: G_K\rightarrow G_2(\overline{\mathbb{Z}}_p)\).
4. **Methods and techniques**:
- Use the Lyndon - Demuškin method to analyze non - commutative cohomology, and replace it with abelian cohomology with cup - product structure through the cup - product structure.
- This method is especially applicable to groups of type \(A, B, C, D\) or \(G_2\).
- Calculate abelian Galois cohomology by constructing specific chain complexes, and show that the cup - product is non - trivial in some special cases.
### Conclusion
This paper has successfully solved the problem of crystalline lifts of Galois representations of type \(G_2\) through the Lyndon - Demuškin method, showing the effectiveness and potential of this method in dealing with such problems.