Classicality detection conjecture via the Fontaine operator

Let TS(Kp,O)m\mathbb{T}^S(K^p,\mathcal{O})_{\mathfrak{m}} be the localized Hecke algebra, let φ:TS(Kp,O)mO\varphi:\mathbb{T}^S(K^p,\mathcal{O})_{\mathfrak{m}}\to\mathcal{O} be an eigensystem, and let ρφ\rho_\varphi and χφ\chi_\varphi be the associated Galois characters or representations. Let NN be the first map of ADRλΨlaADR^{\Psi-\mathrm{la}}_{\lambda}. Fontaine-operator detection conjecture. If ρφGFw\rho_\varphi|_{G_{F_w}} is de Rham of pp-adic Hodge type λw\lambda_w for every wvw\mid v, if χφGF0,vc\chi_\varphi|_{G_{F_{0,v^c}}} is de Rham of pp-adic Hodge type λ0\lambda_0, and if

H^d(SKp,VλΨ)mΨla[φ]0,\widehat{H}^d(S_{K^p},V_{\lambda^{\Psi}})_{\mathfrak{m}}^{\Psi-\mathrm{la}}[\varphi]\neq 0,

then

KerHd(F ⁣,N)m[φ]0.\mathrm{Ker}H^d(\mathscr{F}\!\ell,N)_{\mathfrak{m}}[\varphi]\neq 0.

This is intended to detect the relevant classical eigensystem in the kernel of the Fontaine-operator complex; the supplied text does not state a proof or resolution.

Sources & referencesView supporting material

Primary source

Kojiro Matsumoto, “On the classicality theorem and its applications to the automorphy lifting theorem and the Breuil-Mezard conjecture in some GL_2(Q_p^2) cases”, arXiv:2512.04641 (2025).

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.