The classical-points characterization of partially de Rham families

Fix a prime umidp u mid p, a nonempty proper \subset JeuJ e u of the set u u-adic embeddings, an integer ww, and integers kτ2k_{\tau}2 with kτw(mod2)k_{\tau} w\pmod{2} for every τotinJ\tau otin J. Let calE(kJ,w)cal E(\underline{k}_J,w)' be the closed subspace of the eigenvariety consisting of points with weights kτk_{\tau} for τotinJ\tau otin J and weight ww in the remaining direction, and let calE(kJ,w)cal E(\underline{k}_J,w) be the Zariski closure of its classical points. For zotincalE(kJ,w)(E)z otin cal E(\underline{k}_J,w)'(\overline{E}), write hozho_z for the associated absolutely irreducible GalF\operatorname{Gal}_F-representation and hoz,u:=hozGalFuho_{z, u}:=ho_z|_{\operatorname{Gal}_{F_{ u}}}. Partially de Rham family conjecture. The point zz belongs to calE(kJ,w)(E)cal E(\underline{k}_J,w)(\overline{E}) if and only if hoz,uho_{z, u} is JJ-de Rham. This gives a geometric characterization of the Zariski closure of classical points in terms of local JJ-de Rhamness, relating the geometry of partially de Rham eigenvariety families to local-global compatibility. The source provides no resolution status for this assertion.

Sources & referencesView supporting material

Primary source

Yiwen Ding, “L-invariants, partially de Rham families and local-global compatibility”, arXiv:1508.07420 (2016).

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.