Processing math: 100%
Go to main content
Format
BibTeX
MARCXML
TextMARC
MARC
DataCite
DublinCore
EndNote
NLM
RefWorks
RIS

Files

Abstract

Fix a prime number p>2. Let ˉr:Gal(¯Qp/Qp)GL2(¯Fp) be an absolutely irreducible residual representation. In this paper, we describe an algorithm to compute arbitrarily close approximations to the non-framed fixed-determinant crystalline deformation ring Rkˉr of ˉr whose ¯Qp-points parametrize crystalline representations with Hodge--Tate weights (0,k1) using the Taylor--Wiles--Kisin patching. We give an implementation of this algorithm in Magma and Python (with Sagemath imported). Based on the data we have collected, we formulate a conjecture on the Hilbert series of the special fiber of Rkˉr when k=2+n(p1) for some non-negative integer n. The conjectural formula implies that the Hilbert series goes to (1x)3 as n tends to . This aligns with the expectation that, as n grows, the special fiber of Rkˉr gradually ``fills out" that of the universal fixed-determinant deformation ring of ˉr, which is a formal power series ring in three variables. We also formulate a conjecture on when Rkˉr is Gorenstein.

Details

Actions

PDF

from
to
Export
Download Full History