Lyndon-Demushkin method and crystalline lifts of $G_2$-valued Galois representations

Zhongyipan Lin
2024-03-06
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.
Number Theory
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.