Theorem of the day

Let (A,I) be a henselian pair. Set X = Spec(A) and Z = Spec(A/I). For any torsion abelian sheaf F on X_{e´tale} we have H^q_{e´tale}(X, F) = H^q_{e´tale}(Z, F|Z). See Theorem Tag 09ZI.

Slogan: Affine analogue of the proper base change theorem (due to Gabber; can also be found in a paper by Huber)