By Tag. 04C4Tag 04C4 of the Stacks Project, for $f:X\rightarrow Y$ a closed immersion of schemes, the pushforward $f_*$ is exact for abelian sheaves on the big syntomic site. Is it also true for a finite flat morphism?
Bumped by Community user
Bumped by Community user
Bumped by Community user
Bumped by Community user