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.

A Kleiman criterion for GIT stack quotients

A correspondence of good G-sets under partial geometric quotients

GIT quotient of Schubert varieties modulo one dimensional torus

GIT Constructions of Compactified Universal Jacobians over Stacks of Stable Maps

GIT stability of divisors in products of projective spaces

Reductive quotients of klt singularities

Affine Non-Reductive GIT and moduli of representations of quivers with multiplicities

Computation of GIT quotients of semisimple groups

GIT stability of linear maps on projective space with marked points

On the Teichmüller stack of compact quotients of

Stratifying quotient stacks and moduli stacks

Embedding Deligne-Mumford stacks into GIT quotient stacks of linear representations

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

Proper good quotients for $\mathbf{G}_m$-actions

The semi-invariant ring as the Cox ring of a GIT quotient

G-invariant Hilbert schemes on Abelian surfaces and enumerative geometry of the orbifold Kummer surface

An algebraic generalization of Giroux's criterion

Coherently complete algebraic stacks in positive characteristic

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

Crepant resolutions of stratified varieties via gluing

Cactus varieties of sufficiently ample embeddings of projective schemes have determinantal equations