Log-prismatic extension conjecture after semistable alteration

From papers

Let Spf(A)\operatorname{Spf}(A) be an affine smooth pp-adic formal scheme over Spf(OE˘)\operatorname{Spf}(\mathcal{O}_{\breve{E}}), and let

NVect(Aqsyn,\mathbblΔ[1/(p,I)])\mathcal{N}\in \operatorname{Vect}(A_{\mathrm{qsyn}},\mathbbl{\Delta}_{\bullet}[1/(p,I)])

be a finite locally free crystal. A morphism g ⁣:Spf(A)Spf(A)g\colon \operatorname{Spf}(A')\rightarrow \operatorname{Spf}(A) is required to be a composition of a rig-étale morphism followed by an admissible blow-up, with Spf(A)\operatorname{Spf}(A') semistable over Spf(OE˘)\operatorname{Spf}(\mathcal{O}_{\breve{E}}).

Log-prismatic extension conjecture. There exists such a morphism

g ⁣:Spf(A)Spf(A)g\colon \operatorname{Spf}(A')\rightarrow \operatorname{Spf}(A)

and a finite locally free log-prismatic crystal

MVect(Spf(A)\mathbblΔlog,O\mathbblΔlog)\mathcal{M}\in \operatorname{Vect}(\operatorname{Spf}(A')_{\mathbbl{\Delta}_{\log}},\mathcal{O}_{\mathbbl{\Delta}_{\log}})

which extends N\mathcal{N}.

This is an extension statement for finite locally free prismatic crystals after a semistable alteration. The source supplies no resolution status, so it is recorded as open.

Progress summary

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

Sources & referencesView supporting material

Primary source

Sebastian Bartling, “G-μ-displays and local shtuka”, arXiv:2206.13194 (2022).

Solutions 0

No solutions have been posted yet.