By Tag 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?
Exact functor in syntomic cohomology
prochet
- 3.5k
- 1
- 13
- 20