226a298ea453158e.tex
1: \begin{definition}[Du~Bois singularities, \cite{DuBoisMain,KovacsSchwedeDuBoisSurvey}]
2: \label{def.DuBoisSings}
3: Suppose that $X$ is a scheme essentially of finite type over a field of characteristic zero.  We say that $X$ is \emph{Du~Bois} if the canonical map $\O_X \to \DuBois{X}$ is a quasi-isomorphism.  A quick way to define $\DuBois{X}$ is as follows.  If $X \subseteq Y$ can be embedded in a smooth scheme and $\pi : \tld Y \to Y$ is a log resolution of $X \subseteq Y$, or an embedded resolution of $X \subseteq Y$ such that the reduced exceptional divisor of $\pi$ is SNC and intersects the strict transform $\tld X$ in a SNC divisor.  In either case, let $\overline{X} = (\pi^{-1}(X))_{\red}$.  Then $\DuBois{X} = \myR \pi_* \O_{\overline{X}}$, see \cite[Theorem 6.4]{KovacsSchwedeDuBoisSurvey}
4: \end{definition}
5: