Cartier smoothness in prismatic cohomology
arXiv:2211.16371
Abstract
We introduce the notion of a -Cartier smooth algebra. It generalises that of a smooth algebra and includes valuation rings over a perfectoid base. We give several characterisations of -Cartier smoothness in terms of prismatic cohomology, and deduce a comparison theorem between syntomic and étale cohomologies under this hypothesis.
v2: minor updates, some proofs are simplified