Purity for the Brauer group

Source abstract

A purity conjecture due to Grothendieck and Auslander–Goldman predicts that the Brauer group of a regular scheme does not change after removing a closed subscheme of codimension ≥2. The combination of several works of Gabber settles the conjecture except for some cases that concern p-torsion Brauer classes in mixed characteristic (0,p). We establish the remaining cases by using the tilting equivalence for perfectoid rings. To reduce to perfectoids, we control the change of the Brauer group of the punctured spectrum of a local ring when passing to a finite flat cover.