Remark 50.15.8. Let S be a locally Noetherian scheme. Let X be locally of finite type over S. Let Y \subset X be an effective Cartier divisor. If the map
\mathcal{O}_{X, y}^\wedge \longrightarrow \mathcal{O}_{Y, y}^\wedge
has a section for all y \in Y, then the de Rham complex of log poles is defined for Y \subset X over S. If we ever need this result we will formulate a precise statement and add a proof here.
Comments (0)
There are also: