relative resolution of singularity Is there a relative version of resolution of singularities (in characteristic 0)?
For finite type morphism $f:X\rightarrow S$ where $S$ is a variety over a field $k$ with char $k=0$(or more generally excellent scheme with residue field are characteristic 0?). Are there modifications $i:S' \rightarrow S$, $j:X'\rightarrow X$, and morphism $f':X'\rightarrow S'$ s.t. $fj=if'$, and $f'$ smooth, $i$ proper, surjective.
I'm not sure the above statement is a proper version of relative desingularities.
Thanks
 A: There are a bunch of very basic fundamental problems with doing this. 
Here is one example and you are invited to generalize this to get others: Let $X$ be a smooth surface and $f$ a surjective flat morphism to a smooth curve $S$. If $f$ is not already smooth, then it is not possible to make it smooth the way you suggest (or any reasonable way). 
This is one reason why moduli spaces of smooth objects are in general not compact or put it in another way why compactifying moduli spaces is a non-trivial question. (See $\overline {\mathfrak M}_g$ for instance).
To see that the above claim is true consider the following:


*

*If $f$ has a singular fiber, then for any $i:S'\to S$ the base change morphism:
$f_{S'}:S'\times_S X\to S'$ will also have singular fibers. 

*For any $f':X'\to X$ as in the question, the $fj=if'$ assumption means that $f'$ factors through $f_{S'}$, so in other words you want a $g:X'\to S'\times_S X$ modification such that $f'=f_{S'}g$ plus the rest of the requirements. 

*$S'\times_S X$ is normal. This is because the fibers of $f$ are CM and hence so are the fibers of $f_{S'}$. Hence $S'\times_S X$ is $S_2$ and by a similar argument it is also $R_1$, so by Serre's criterion it is normal. 

*There is no such $g$. If indeed $f$ had a singular fiber, then the same singular fiber appears as a fiber of $f_{S'}$. Being a curve its unique resolution is its normalization, so a $g$ like that would have to be a finite morphism of degree $1$. However, since $S'\times_S X$ is normal, Zariski's Main Theorem implies that $g$ would have to be the identity. (For simplicity assume that there is at least one non-unibranched singularity on one of the fibers).

