Local higher-weight crystalline lift conjecture

Let K/QpK/\mathbb{Q}_p be a finite extension with residue field kKk_K, absolute ramification degree ee, and let ρK:GKGL2(Fp)\overline\rho_K:G_K\to\operatorname{GL}_2(\overline{\mathbb{F}}_p) be continuous. For bτ1b_{\overline\tau}\geq1, set

σa,b=τ:kKFpdetaτSymbτ1kK2τFp.\sigma_{\vec a,\vec b}=\bigotimes_{\overline\tau:k_K\hookrightarrow\overline{\mathbb F}_p}\det^{a_{\overline\tau}}\otimes\operatorname{Sym}^{b_{\overline\tau}-1}k_K^2\otimes_{\overline\tau}\overline{\mathbb F}_p.

For each τ\overline\tau, let τj\tau^j be the embeddings of KK lifting it. Local higher-weight conjecture. The following are equivalent: ρK\overline\rho_K has a crystalline lift whose Hodge–Tate weights with respect to τj\tau^j are aτa_{\overline\tau} and aτ+bτa_{\overline\tau}+b_{\overline\tau} for j=1j=1, and 00 and 11 otherwise; and some Jordan–Hölder factor σa,b\sigma'_{\vec a',\vec b'} of σa,b\sigma_{\vec a,\vec b}, with 1bτp1\leq b'_{\overline\tau}\leq p, admits a crystalline lift with the corresponding weights aτa'_{\overline\tau}, aτ+bτa'_{\overline\tau}+b'_{\overline\tau} for j=1j=1, and 00, 11 otherwise. This conjecture would make the higher-weight formulation equivalent to a purely local assertion about crystalline lifts.

Sources & referencesView supporting material

Primary source

Toby Gee, “Automorphic lifts of prescribed types”, arXiv:0810.1877 (2010).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.