Colength one deformation rings

Authors Daniel Le, Bao Le Hung, Stefano Morra, Chol Park, Zicheng Qian

Publication date 6 April 2023

Abstract: Let

K / m a t h b f Q_{p}

be a finite unramified extension,

o v e r l i n e h o : m a t h r m G a l (o v e r l i n e {m a t h b f Q}_{p} / K) i g h t a r r o w m a t h r m {G L}_{n} (o v e r l i n e {m a t h b f F}_{p})

a continuous representation, and

a u

a tame inertial type of dimension

n

. We explicitly determine, under mild regularity conditions on

a u

, the potentially crystalline deformation ring

R_{o v e r l i n e h o}^{e t a, a u}

in parallel Hodge--Tate weights

e t a = (n - 1, c d o t s, 1, 0)

and inertial type

a u

when the emph{shape} of

o v e r l i n e h o

with respect to

a u

has colength at most one. This has application to the modularity of a class of shadow weights in the weight part of Serre's conjecture. Along the way we make unconditional the local-global compatibility results of cite{PQ} and further study the geometry of moduli spaces of Fontaine--Laffaille representations in terms of colength one weights.

This page was built for publication: Colength one deformation rings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6432310)