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.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).