Syntomic sheaf conjecture for quasisyntomic semiperfectoid rings

Let pp be a prime, let ii be an integer, and let QRSPerfd\mathrm{QRSPerfd} denote the site of quasisyntomic semiperfectoid rings. Write Zp(i)\mathbb Z_p(i) for the corresponding syntomic sheaf of complexes.

Syntomic sheaf conjecture. The sheaf of complexes Zp(i)\mathbb Z_p(i) on QRSPerfd\mathrm{QRSPerfd} is locally concentrated in degree 00 and is given by a pp-torsion-free sheaf. Equivalently, on QRSPerfd\mathrm{QRSPerfd} the sheafification of K2i(;Zp)K_{2i}(-;\mathbb Z_p) is pp-torsion-free and the sheafification of K2i1(;Zp)K_{2i-1}(-;\mathbb Z_p) vanishes; this vanishing is equivalent to the surjectivity of

φi1:Ni\mathbblΔ^(){i}\mathbblΔ^(){i}.\varphi_i-1:\mathcal N^{\geq i}\widehat{\mathbbl{\Delta}}_{(-)}\{i\}\longrightarrow \widehat{\mathbbl{\Delta}}_{(-)}\{i\}.

The preceding proposition proves the case n=1n=1, while the source indicates that the conjecture is proved in characteristic pp. The general integral statement is therefore recorded here as resolved according to the supplied status evidence.

Sources & referencesView supporting material

Primary source

Bhargav Bhatt, Matthew Morrow and Peter Scholze, “Topological Hochschild homology and integral p-adic Hodge theory”, arXiv:1802.03261 (2019).

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.