Abstract:Let $p$ be a fixed odd prime, and let $K$ be a finite extension of $\mathbb{Q}_p$ with ring of integers $\mathcal{O}_K$. The Emerton-Gee stack for $\mathrm{GL}_2$ is a stack of $(\varphi, \Gamma)$-modules. The stack, denoted $\mathcal{X}_2$, can be interpreted as a moduli stack of representations of the absolute Galois group of $K$ with $p$-adic coefficients. The reduced part of the Emerton-Gee stack, denoted $\mathcal{X}_{2, \text{red}}$, is an algebraic stack defined over a finite field of characteristic $p$ and can be viewed as a moduli stack of Galois representations with mod $p$ coefficients. The irreducible components of $\mathcal{X}_{2, \text{red}}$ are labelled in a natural way by Serre weights, which are the irreducible mod $p$ representations of $\mathrm{GL}_2(\mathcal{O}_K)$. Each irreducible component of $\mathcal{X}_{2, \text{red}}$ has dimension $[K:\mathbb{Q}_p]$. Motivated by the conjectural categorical $p$-adic Langlands programme, we find representation-theoretic criteria for codimension one intersections of the irreducible components of $\mathcal{X}_{2, \text{red}}$. The methods involve two separate computations and a final comparison between the two. The first of these computations determines extension groups of Serre weights and the second determines all the pairs of irreducible components that intersect in codimension one. We show that a non-trivial extension of a pair of non-isomorphic Serre weights implies a codimension one intersection of the corresponding irreducible components. The converse of this statement is also true when the Serre weights are chosen to be sufficiently generic. Furthermore, we show that the number of top-dimensional components in a codimension one intersection is related to the nature of the extension group of corresponding Serre weights.

Cohomological integrality for weakly symmetric representations of reductive groups

Cohomological integrality for symmetric quotient stacks

Cohomologically Induced Distinguished Representations and a Non-Vanishing Hypothesis for Algebraicity of Critical L-values

Cohomologically Induced Distinguished Representations and Cohomological Test Vectors

The Cohomology Group of Weak Entwining Structure

Cohomology rings of the moduli of one-dimensional sheaves on the projective plane

Cohomology and geometry of Deligne--Lusztig varieties for ${\rm GL}_n$

Cohomology with integral coefficients of stacks of shtukas

Cohomological invariants and Brauer groups of algebraic stacks in positive characteristic

On the cohomology of differentiable stacks

Coherently complete algebraic stacks in positive characteristic

Cohomology and geometry of Deligne–Lusztig varieties for

Desingularizations of sheaves and higher genus reduced Gromov-Witten invariants

Relative étale slices and cohomology of moduli spaces

Motivic homotopy theory of the classifying stack of finite groups of Lie type

Integral structures in smooth $\mathrm{GL}_2(\mathbf{Q}_p)$-representations and zeta integrals

Codimension one intersections between components of the Emerton-Gee stack for $\mathrm{GL}_2$

Dieudonné theory via cohomology classifying stacks II

Hodge-to-de Rham degeneration for stacks

Nonabelian Hodge theory for stacks and a stacky P=W conjecture

On the cohomology of certain subspaces of $\mathit{Sym}^n(¶^1)$ and Occam's razor for Hodge structures