January 2024 Purity for flat cohomology
Kęstutis Česnavičius, Peter Scholze
Author Affiliations +
Ann. of Math. (2) 199(1): 51-180 (January 2024). DOI: 10.4007/annals.2024.199.1.2

Abstract

We establish the flat cohomology version of the Gabber--Thomason purity for étale cohomology: for a complete intersection Noetherian local ring $(R, \mathfrak{m})$ and a commutative, finite, flat $R$-group $G$, the flat cohomology $H^i_\mathfrak{m}(R, G)$ vanishes for $i \lt \mathrm{dim}(R)$. For small $i$, this settles conjectures of Gabber that extend the Grothendieck--Lefschetz theorem and give purity for the Brauer group for schemes with complete intersection singularities. For the proof, we reduce to a flat purity statement for perfectoid rings, establish $p$-complete arc descent for flat cohomology of perfectoids, and then relate to coherent cohomology of $\mathbb{A}_{\mathrm{Inf}}$ via prismatic Dieudonné; theory. We also present an algebraic version of tilting for étale cohomology, use it to reprove the Gabber--Thomason purity, and exhibit general properties of fppf cohomology of (animated) rings with finite, locally free group scheme coefficients, such as excision, agreement with fpqc cohomology, and continuity.

Citation

Download Citation

Kęstutis Česnavičius. Peter Scholze. "Purity for flat cohomology." Ann. of Math. (2) 199 (1) 51 - 180, January 2024. https://doi.org/10.4007/annals.2024.199.1.2

Information

Published: January 2024
First available in Project Euclid: 29 December 2023

Digital Object Identifier: 10.4007/annals.2024.199.1.2

Subjects:
Primary: 14F20
Secondary: 14F22 , 14F30 , 14H20 , 18G30 , 18G55

Keywords: Animated ring , Brauer group , complete intersection , flat cohomology , perfectoid , purity

Rights: Copyright © 2024 Department of Mathematics, Princeton University

JOURNAL ARTICLE
130 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

Vol.199 • No. 1 • January 2024
Back to Top