Perfectoid approximation conjecture for smooth closed subschemes

Let KK be a perfectoid field with tilt KK^\flat, let XPKnX\subset \mathbb{P}^n_K be a smooth closed subscheme, and let X~(PKn)ad\tilde{X}\subset (\mathbb{P}^n_K)^\mathrm{ad} be a small open neighborhood of XX. Perfectoid approximation conjecture. There exists a closed subscheme YPKnY\subset \mathbb{P}^n_{K^\flat} such that

Yadπ1(X~),dimY=dimX.Y^\mathrm{ad}\subset \pi^{-1}(\tilde{X}),\qquad \dim Y=\dim X.

If true, this would extend the proof of weight-monodromy beyond complete intersections by approximating the relevant fractal globally by an algebraic variety; the conjecture is presented as open.

Sources & referencesView supporting material

Primary source

Peter Scholze, “Perfectoid Spaces: A survey”, arXiv:1303.5948 (2013).

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.