Table of Contents
Fetching ...

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

Zhongyipan Lin

TL;DR

This work proves that every mod $p$ Galois representation valued in the exceptional group ${G_2}$ over a $p$-adic field with $p>3$ admits a crystalline lift to ${G_2}$. The authors develop a fully explicit obstruction theory based on Lyndon–Demuškin cochains, replacing non-abelian obstructions with tractable abelian cup-product data via Heisenberg quotients, and they integrate Emerton–Gee stacks to control deformations. A central technical achievement is the construction and analysis of the Lyndon–Demuškin complex for both abelian and nilpotent coefficients, together with precise cup-product calculus modulo $\varpi$ and over residue fields. They then combine these local obstructions with the Emerton–Gee framework to produce crystalline lifts for ${G_2}$, including compatibility of lifts with chosen parabolic Levi factors, and they provide codimension estimates for the loci where obstructions persist. The results illustrate a broad strategy to extend crystalline lifting results beyond classical groups to exceptional groups by leveraging explicit combinatorial group theory and modern stacks techniques.

Abstract

We show for all local fields $K/\mathbb{Q}_p$, with $p >3$, all representations $\barρ:G_K \to G_2(\bar{\mathbb{F}}_p)$ admit a crystalline lift $ρ: 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 $(φ, Γ)$-modules to construct abelian extensions.

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

TL;DR

This work proves that every mod Galois representation valued in the exceptional group over a -adic field with admits a crystalline lift to . The authors develop a fully explicit obstruction theory based on Lyndon–Demuškin cochains, replacing non-abelian obstructions with tractable abelian cup-product data via Heisenberg quotients, and they integrate Emerton–Gee stacks to control deformations. A central technical achievement is the construction and analysis of the Lyndon–Demuškin complex for both abelian and nilpotent coefficients, together with precise cup-product calculus modulo and over residue fields. They then combine these local obstructions with the Emerton–Gee framework to produce crystalline lifts for , including compatibility of lifts with chosen parabolic Levi factors, and they provide codimension estimates for the loci where obstructions persist. The results illustrate a broad strategy to extend crystalline lifting results beyond classical groups to exceptional groups by leveraging explicit combinatorial group theory and modern stacks techniques.

Abstract

We show for all local fields , with , all representations admit a crystalline lift , where is the exceptional Chevalley group of type . 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 -modules to construct abelian extensions.

Paper Structure

This paper contains 97 sections, 3 theorems, 148 equations.

Key Result

Theorem A

Assume $p>3$. Every mod $\varpi$ Galois representation valued in the exceptional group $G_2$ admits a crystalline lift $\rho^{\circ}:G_K\to G_2(\bar{\mathbb{Z}}_p)$. Moreover, if $\bar{\rho}$ factors through a maximal parabolic $P=L\ltimes U$ and the Levi factor $\bar{r}_{\bar{\rho}}:G_K\to L(\bar{\mathbb{F}}_p)$ of $\bar{\rho}$ admits a Hodge-Tate regular and crystalline lift $r_1:G_K\to L

Theorems & Definitions (43)

  • Theorem A: Theorem \ref{['thm:existence-crys-lift-G2']}
  • Theorem B: \ref{['thm:heisenberg-lift']}
  • Theorem C: \ref{['cor:obstruction-theory']}
  • proof
  • proof
  • proof
  • proof
  • proof
  • proof
  • proof
  • ...and 33 more