Syntomic sheaf conjecture for quasisyntomic semiperfectoid rings

About 8 years old · traced to

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 K2i−1(−;Zp)K_{2i-1}(-;\mathbb Z_p) vanishes; this vanishing is equivalent to the surjectivity of

φi−1:N≥i\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.

References

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.