Lemma 48.25.5. A syntomic morphism is Gorenstein. Equivalently a flat local complete intersection morphism is Gorenstein.
Proof. Recall that a syntomic morphism is flat and its fibres are local complete intersections over fields, see Morphisms, Lemma 29.30.11. Since a local complete intersection over a field is a Gorenstein scheme by Lemma 48.24.5 we conclude. The properties “syntomic” and “flat and local complete intersection morphism” are equivalent by More on Morphisms, Lemma 37.62.8. \square
Comments (0)