Log-prismatic extension conjecture after semistable alteration

About 4 years old · traced to

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

N∈Vect⁡(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

M∈Vect⁡(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.

References

Primary source

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

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.