In SGA 1 Expose XIII, $\S2.1$, they give a definition of a "normal crossings divisor relative to $S$" which is a bit difficult to parse (and has some typos).

**My first question is:** Is the following a correct interpretation of their definition? (If not, what is the right definition?)

Let $f : X\rightarrow S$ be a morphism of schemes, and let $D$ be an effective cartier divisor on $X$. We say that it is a *strict normal crossings divisor relative to $S$* if for every $x\in\text{Supp }D$,

$X$ is smooth over $S$ at $x$,

there exist $f_1,\ldots,f_r\in \mathcal{O}_{X,x}$ such that the ideal $I_{D,x}$ of $\mathcal{O}_{X,x}$ corresponding to $D$ is generated by $\prod_{i=1}^r f_i$ and such that the ideal $(f_1,f_2,\ldots,f_r)$ has height $r$ (ie, the closed subscheme given by $(f_1,f_2,\ldots,f_r)$ is pure codimension $r$ in $\text{Spec }\mathcal{O}_{X,x}$), and

letting $s := f(x)$, and $Y := \text{Spec }\mathcal{O}_{X,x}/(f_1,\ldots,f_r)$, then $Y$ is flat over $\mathcal{O}_{S,s}$ and $Y_s$ is a smooth $\kappa(s)$-algebra.

A normal crossings divisor relative to $S$ is then just an effective cartier divisor which etale locally on $X$ (or should it be local on $S$?) is strict NCD over $S$.

Later, in Proposition 5.1, they seem to give a definition of a normal crossings divisor which is compatible with the definition given in the stacks project:

If $X$ is a locally noetherian scheme, then a strict normal crossings divisor on $X$ is an effective Cartier divisor $D\subset X$ such that for every $p\in D$, the local ring $\mathcal{O}_{X,p}$ is regular and there exists a regular system of parameters $f_1,\ldots,f_d\in\mathfrak{m}_p$ and $1\le r\le d$ such that $D$ is cut out by $f_1,\ldots,f_r$ in $\mathcal{O}_{X,p}$. A normal crossings divisor is then an effective Cartier divisor which etale locally is a strict NCD.

I'm fairly confident this definition of (non-relative) NCD's is correct.

**My second question is:** Consider $X = \text{Spec }\mathbb{Z}[t]$, and let $D$ be the divisor $t(t-2)$. Am I correct in saying that this is a strict normal crossings divisor, but is not a strict NCD relative to $\text{Spec }\mathbb{Z}$? (it fails the flatness part of condition (3)). This seems slightly weird to me. For example, $D$ is certainly a relative effective Cartier divisor (relative to $\text{Spec }\mathbb{Z}$) since it is flat over $\mathbb{Z}$, and $D$ is also a strict NCD, but is not a strict NCD relative to $\mathbb{Z}$. Would it be accurate to say that the "relative" part of being a relative NCD is that the "crossings should also be relative?" (ie, flat over $S$)?

two$k$-smooth curves crossing transversally, but that description cannot be attainedZariski-locally. Note that $I(z)$ of size 2 is determined only etale-locally at $z$! The interest lies in non-smooth part. $\endgroup$1more comment