Flatness conjecture for the local-model weight morphisms

Let XLX_L be the local model with closed subschemes XwX_w, let X^L,y^\widehat{\mathcal X}^{\flat}_{L,\widehat y} and X^L,w,y^\widehat{\mathcal X}^{\flat}_{L,w,\widehat y} be the corresponding formal schemes, and let t^L\widehat{\mathfrak t}_L be the formal Cartan scheme. For i=1,2i=1,2, write κi\kappa_i and κw,i\kappa_{w,i} for the induced morphisms to t^L\widehat{\mathfrak t}_L. Flatness conjecture. The morphisms

κi:X^L,y^t^L,\kappa_i:\widehat{\mathcal X}^{\flat}_{L,\widehat y}\rightarrow\widehat{\mathfrak t}_L,

respectively

κw,i:X^L,w,y^t^L,\kappa_{w,i}:\widehat{\mathcal X}^{\flat}_{L,w,\widehat y}\rightarrow\widehat{\mathfrak t}_L,

are flat. The paper proves the analogous assertion when r=1r=1, but the general flatness statement is presented as a conjecture.

Sources & referencesView supporting material

Primary source

Yiqin He, “Companion points and locally analytic socle conjecture for Steinberg case”, arXiv:2401.13242 (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.