Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
The problem is local, so we can assume $X$ affine. And since the equation for each added coordinate is independent of the rest, you get that your space is the fiber product over $X$ of the spaces defined by $O_X[T_i]/(T_i^n-x_i).$ (This is a very fundamental property of tensor products, which can be checked from the definition). If you believe what I said about ramification of fiber products, this reduces to checking what you said for a single $O_X[T_i]/(T^i-x_i). Now if a space is given by an equation like this over a base, the ramification divisor is the vanishing locus of the derivative.
Thanks. Could you say how Young symmetrizers give a basis? As far as I understand them, they project $V^{\otimes n}$ to the Schur functor, but they certainly don't project basis vectors to linearly independent elements. Is there some dual way of looking at them that fixes this problem?
Thanks! I didn't see his Theorem 5.9. Is it kosher on MO to accept an answer and rewrite an edited version of a question? Qing, you're right that I'd like $S'\to S$ to be surjective (and not necessarily smooth), and it's enough for $X'/S'$ to be semistable rather than smooth. This is more like Theorem 6.5 in dJ's original paper, and for this the general case is equivalent to the $S$ local one. Is there a counterexample with some $S$ some higher-dimensional local ring?