Abstract:Let $F$ be a $p$-adic field. For certain non-abelian nilpotent algebraic groups $U$ over $\bar{\mathbb{Z}}_p$ equipped with $\operatorname{Gal}_F$-action, we study the associated {\it Heisenberg varieties} which model the non-abelian cohomology set ``$H^1(\operatorname{Gal}_F, U)$''. The construction of Heisenberg varieties involves the Herr complexes including their cup product structure.
Write $U_n$ for a quasi-split unitary group and assume $p\ne 2$. We classify mod $p$ Langlands parameters for $U_n$ (quasi-split), $\operatorname{SO}_{2n+1}$, $\operatorname{SO}_{2n}$, $\operatorname{Sp}_{2n}$, $\operatorname{GSpin}_{2m}$ and $\operatorname{GSpin}_{2m+1}$ (split) over $F$, and show they are successive Heisenberg-type extensions of elliptic Langlands parameters.
We employ the Heisenberg variety to study the obstructions for lifting a non-abelian cocycle along the map $H^1(\operatorname{Gal}_F, U(\bar{\mathbb{Z}}_p))\to H^1(\operatorname{Gal}_F, U(\bar{\mathbb{F}}_p))$. We present a precise theorem that reduces the task of finding de Rham lifts of mod $p$ Langlands parameters for unitary, symplectic, orthogonal, and spin similitude groups to the dimension analysis of specific closed substacks of the reduced Emerton-Gee stacks for the corresponding group.
Finally, we carry out the dimension analysis for the unitary Emerton-Gee stacks using the geometry of Grassmannian varieties. The paper culminates in the proof of the existence of potentially crystalline lifts of regular Hodge type for all mod $p$ Langlands parameters for $p$-adic (possibly ramified) unitary groups $U_n$. It is the first general existence of de Rham lifts result for non-split (ramified) groups, and provides evidence for the topological Breuil-Mézard conjecture for more general groups.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is how to construct Heisenberg varieties on specific non - Abelian groups and use these varieties to study the existence of de Rham lifts of mod \(p\) Langlands parameters. Specifically:
1. **Background and Motivation**:
- The research objects are certain non - commutative nilpotent algebraic groups \(U\) over the \(p\)-adic field \(F\), equipped with the action of the Galois group \(\text{Gal}(F)\).
- The author introduced the concept of Heisenberg varieties to model the non - commutative cohomology set \(H^1(\text{Gal}(F), U)\).
2. **Main Problem**:
- The core problem of the paper is to explore how to lift a mod \(p\) Langlands parameter \(\bar{\rho}:\text{Gal}(F)\to L_P(\bar{\mathbb{F}}_p)\) to a parameter \(\rho:\text{Gal}(F)\to L_P(\bar{\mathbb{Z}}_p)\) of de Rham type.
- Here \(L_P\) is the semidirect product \(P\rtimes\text{Gal}(K/F)\) of a parabolic subgroup \(P\), where \(K/F\) is a tamely ramified extension.
3. **Specific Methods**:
- The author studies the lifting obstructions by constructing Heisenberg varieties and uses the Herr complex and its cup - product structure for analysis.
- For quasi - split unitary groups, symplectic groups, orthogonal groups and spin - similitude groups, the mod \(p\) Langlands parameters are classified and they are proved to be Heisenberg class extensions of elliptic Langlands parameters.
4. **Key Results**:
- The paper finally proves that all mod \(p\) Langlands parameters for \(p\)-adic (possibly ramified) unitary groups \(U_n\) have potentially crystalline lifts of regular Hodge type.
- This is the first time to provide a general result on the existence of de Rham lifts for non - split (ramified) groups and provides evidence for the topological Breuil - Mézard conjecture for a wider range of groups.
In summary, this paper solves the de Rham lifting problem of mod \(p\) Langlands parameters on specific non - Abelian groups, especially in the applications to unitary groups, symplectic groups, orthogonal groups and spin - similitude groups.